![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
- 1st
- 08:02 pm
a language for talking about math precisely
- 6 comments
- 2nd
- 02:35 am
gustavo_quotes
- 2 comments
- 3rd
- 04:21 pm
types in Statistics
- 36 comments
- 9th
- 10:26 pm
Mihai Pătraşcu on teaching
- 2 comments
- 11th
- 03:09 am
is my money safe?
- 19 comments
02:15 pmformalization of Statistics
- 1 comment
02:22 pm2 questions about Twelf
- 18 comments
- 12th
- 12:35 pm
intuitive proofs can be formal too
- 1 comment
Tags:
- 16th
- 09:19 pm
this potato is alive!
- 16 comments
- 17th
- 01:58 pm
type declarations & inference in Haskell or ML?
- 9 comments
- 19th
- 05:41 pm
NLP; native language classification
- 5 comments
- 23rd
- 09:09 pm
Tim Minchin
- 1 comment
- 24th
- 11:48 am
cognitive style, formal-mindedness and hacking
- 9 comments
- 25th
- 02:17 pm
poll: enforcing small personal debts
- 12 comments
- 26th
- 10:33 pm
Housing; December
- 4 comments
- 28th
- 10:07 pm
more on being a nit-picker
- 2 comments
Tags:
- 29th
- 02:43 am
some foundational linear algebra
- 3 comments
Reload page in style: light