![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
- 2nd
- 01:59 pm
how English is more expressive than Portuguese
Tags:
- 4th
- 04:42 pm
Things I've been meaning to write:
- 8 comments
- 7th
- 11:09 am
locksmithery bleg
- 3 comments
- 11th
- 08:39 pm
the Continuum Hypothesis is true
- 20 comments
Tags:
- 16th
- 09:32 pm
America, here I come
- 1 comment
- 18th
- 07:17 pm
staying cheap in Pittsburgh
- 4 comments
09:20 pmplace to crash
- 5 comments
10:56 pmSteatopygia and the Hottentot venus
- 21st
- 09:26 pm
is satisficing rational? / ignorance is bliss
- 7 comments
Tags:
- 25th
- 11:08 am
automatic programming, theorem proving & intelligence
- 14 comments
09:42 pmmechanical solution to airway blockage
- 6 comments
Tags:
- 29th
- 02:03 am
Jeremy Avigad's "Mathematical Method and Proof"
Tags:
- 30th
- 12:51 am
multiple proofs
- 1 comment
Tags:
Reload page in style: light