- chicken & eggplant chinese leftovers while reviewing 0-CFA
- discussed the shift from denotational to constraint-based presentations of type systems
- looked at a PLer's take on string theory
- jointly critiqued another's critique of the metasystem of his metalanguage
- met in order to schedule a meeting around a soccer (AKA football) match
- chase citations (Kahn networks, Lustre/clock-calculus driven compilation, some other goodies..)
- ginger & garlic (pepper, really) soup, spiced with more papers
- chance encounter to briefly discuss speculative sand-boxes
- summarized ~150 bug reports from 2006
@LMeyerov: Scientist-at-large launching a big data visualization startup.
Previous life in hacking new languages: Superconductor for hardware accelerated data visualization, Ph.D. at Berkeley on multicore web browsers, Flapjax for reactive JavaScript (FRP), and ConScript+Margrave for secure scripting.
Wednesday, June 25, 2008
A Day in the Life
I'm still ruminating over the implications of my day. Presented chronologically; I claim no objectivity.
No comments:
Post a Comment