It was Bach violin concert, interestin
Saw the movie today with Renee and Daniel, crazy and disturbing
Need to get real and start finding my own stuff to do and prove to myself that i can come up with non trivial math….. someday, i will do pure mathematics ruthlessly
And yes…… apart from Math, i would love to meet Tori black….
At risk of sounding desperate, i would love to meet tori black
watched barzakh and the bengali detective at Berlinale
Other things, spent a weekend at saint Malo-the beautiful town on the Northern coast of France
and realized working on proofs full time can make times when the mind is not required to think more pleasurable than any other feeling can offer
Expanders Mixing time and existence proofs
TM workshop report
Determinism result-Threads; possibly extend to TM
Finish reading denotational semantics and operational semantics for DC-IMP
Check out: Geometry of interaction, linear logic aspects of proof theory with applications to PLT
need to stop filling in fear of myself and paranoia……