- 1st
- 01:43 pmcold- 1 comment
 
 
- 2nd
- 03:17 amHamburg and Lisp- 1 comment
 Tags:
 
- 3rd
- 03:19 amAubrey de Grey video- 13 comments
 Tags:
 
- 4th
- 10:25 pmbone or mucosa: which would I rather lose?- 5 comments
 Tags:
 
- 6th
- 04:15 pmAn Epistemology for Software / Dutch book as a tool for refining estimates
 Tags:
 
- 8th
- 12:19 amJeremy Avigad - Computers in Mathematical Inquiry
 
 
- 10th
- 06:59 pmsmart text- 7 comments
 Tags:
 
- 12th
- 01:59 pmhow I think of logic
 
 08:40 pmCMU, here I come / places to live in Pittsburgh- 1 comment
 
 
- 13th
- 06:20 pmlandlord irrationality
 
 10:01 pmmoving to Pittsburgh - stuff- 1 comment
 
 
- 14th
- 05:39 pmwebsite- 12 comments
 
 
- 15th
- 12:40 amlanguages
 Tags:
 
- 16th
- 09:01 pmwhere bugs come from - programming languages as languages of thought- 2 comments
 Tags:
 
- 19th
- 09:51 amBiking + Soccer = Cycleball
 
 05:11 pmShould you ever buy rental car insurance?- 5 comments
 Tags:
 
- 21st
- 06:21 pmwhy are Ligers bigger than Lions and Tigers?- 11 comments
 Tags:
 
- 22nd
- 08:54 pmhow did the peacock's handicap arise?- 7 comments
 Tags:
 
- 26th
- 12:02 pmZeilberger on two pedagogical principles: good examples, black-box vs white box- 1 comment
 Tags:
 
- 30th
- 01:45 amFirefox annoyance- 3 comments
 Tags:
 11:16 pmimplementing GTD- 1 comment
 
 
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)