- 1st
- 13:43
cold
- 1 comment
- 2nd
- 03:17
Hamburg and Lisp
- 1 comment
Entry tags:
- 3rd
- 03:19
Aubrey de Grey video
- 13 comments
Entry tags:
- 4th
- 22:25
bone or mucosa: which would I rather lose?
- 5 comments
Entry tags:
- 6th
- 16:15
An Epistemology for Software / Dutch book as a tool for refining estimates
Entry tags:
- 8th
- 00:19
Jeremy Avigad - Computers in Mathematical Inquiry
Entry tags:
- 10th
- 18:59
smart text
- 7 comments
Entry tags:
- 12th
- 13:59
how I think of logic
20:40CMU, here I come / places to live in Pittsburgh
- 1 comment
- 13th
- 18:20
landlord irrationality
22:01moving to Pittsburgh - stuff
- 1 comment
- 14th
- 17:39
website
- 12 comments
- 15th
- 00:40
languages
Entry tags:
- 16th
- 21:01
where bugs come from - programming languages as languages of thought
- 2 comments
Entry tags:
- 19th
- 09:51
Biking + Soccer = Cycleball
17:11Should you ever buy rental car insurance?
- 5 comments
Entry tags:
- 21st
- 18:21
why are Ligers bigger than Lions and Tigers?
- 11 comments
Entry tags:
- 22nd
- 20:54
how did the peacock's handicap arise?
- 7 comments
Entry tags:
- 26th
- 12:02
Zeilberger on two pedagogical principles: good examples, black-box vs white box
- 1 comment
Entry tags:
- 30th
- 01:45
Firefox annoyance
- 3 comments
Entry tags:
23:16implementing GTD
- 1 comment