![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
- 3rd
- 11:38 am
reading about interactive media
Tags:
04:23 pmthe program-proof analogy
- 1 comment
Tags:
06:34 pmemacs mode creation tutorial
- 5th
- 05:01 pm
proud to be smoke-free
- 3 comments
- 6th
- 03:25 pm
A QED Project for Science: The Promises of Computer-Level Formalization
- 4 comments
Tags:
05:15 pmFreek's notes
Tags:
08:38 pmontology + "concept formation"
- 7th
- 06:11 pm
modularity: how to create & delete a temporary file elegantly
- 11 comments
Tags:
- 8th
- 02:00 pm
Some German words that Germans think are English words
Tags:
- 10th
- 07:19 pm
category theory for high-school students
- 2 comments
Tags:
- 15th
- 11:39 am
PBWiki
- 1 comment
- 17th
- 07:15 pm
my compiled rants against physicists
- 29 comments
- 23rd
- 06:50 pm
how to distinguish work from play
- 4 comments
- 27th
- 02:48 pm
Linux distributions
- 2 comments
Tags:
04:23 pminstall Farmer's IMPS
Tags:
- 28th
- 03:20 pm
my views on legal liability
Tags:
Reload page in style: light