On the plus side of the ledger, the lecture in automated theorem proving was really cool, and I'm enjoying reading "Rules of Play" that I got at Borders on sunday. Progress on the type-checker for research is still chugging along.
On the plus side of the ledger, the lecture in automated theorem proving was really cool, and I'm enjoying reading "Rules of Play" that I got at Borders on sunday. Progress on the type-checker for research is still chugging along.
-
(no subject)
Still kinda sick but maybe getting better. Really love these custom cast-plastic Settlers-of-Catan tiles: http://imgur.com/gallery/6hfG5
-
(no subject)
Nice way of showing off easing functions: http://easings.net/
-
(no subject)
_wirehead_ over on twitter linked to this blogpost which has some thoughts about " Genius Loci". I found it notable initially because it…
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments
