While not technically too productive, the hike to the Juras was good.
http://wanderland.myswitzerland.com/en/orte_detail.cfm?id=344386
Next time, Aletsch and Mt Blanc and once my skiing skills get better, off piste at Verbier
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….
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
