![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
- 2nd
- 12:16 pm
logic survey ; designing logics
- 2 comments
- 3rd
- 01:14 am
user-adaptive proof explanation
10:47 pmmore reading on Tarskian models in science
Tags:
- 7th
- 05:03 pm
Java 5 ; object persistence
- 13 comments
Tags:
- 10th
- 08:58 pm
library of algorithms
- 13th
- 03:18 pm
reflections on academia
- 6 comments
Tags:
- 16th
- 11:01 pm
entertaining academic readings
- 21st
- 07:43 pm
Probabilistic debugging
- 23rd
- 12:11 am
shabbat goy
- 13 comments
- 27th
- 12:51 am
tidal locking
- 3 comments
- 28th
- 09:25 pm
interesting readings from the CMU philosophy dept
Reload page in style: light