![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
- 2nd
- 12:15 pm
Hugh Hefner was a virgin until 22.
- 1 comment
- 4th
- 01:13 pm
grad school, Olympics, Silodam
- 5th
- 02:15 pm
Learning Languages
- 12 comments
10:34 pmgaze economies; Krugman's "in praise of cheap labor"
- 2 comments
11:57 pmmisc links
- 2 comments
- 8th
- 10:40 am
"proof-theoretical tools" OR "making mathematicians more intelligent"
- 1 comment
- 11th
- 12:26 pm
Why is the sound of fingernails scraping a chalkboard so Annoying?
- 2 comments
- 16th
- 07:50 pm
2 links about Ed Fredkin
- 20th
- 03:16 pm
AAAI Spring Symposium on Metacognition in Computation
06:52 pmidea
- 5 comments
07:33 pmmelodic minds (musician ad)
Tags:
- 21st
- 11:38 am
links, links, links
- 3 comments
11:48 amI bought a banjo
11:53 amhonesty meme
- 18 comments
- 23rd
- 05:06 pm
"The Logic of Real Arguments", by Alec Fisher
Tags:
05:48 pmlogic for reasoning about experimental design?
06:33 pmHenk Barendregt - Reflection and Its Use: from Science to Meditation
- 24th
- 02:48 pm
a simple information-theoretic measure of language ability
- 1 comment
- 27th
- 06:39 pm
Lakoff
- 2 comments
- 30th
- 03:29 pm
Freek's class on Proof Assistants
Reload page in style: light