All
5+
10+
25+
50+
100+
47
Dimension 126 Contains Twisted Shapes, Mathematicians Prove (quantamagazine.org)
a week ago |
baruchel
| quantamagazine.org
|
best
2
Rocq 9.0.0 (rocq-prover.org)
2 months ago |
baruchel
| rocq-prover.org
|
newest
3
Boris Spassky (1937-2025) Chess World Champion and Legendary Grandmaster (europechess.org)
3 months ago |
baruchel
| europechess.org
|
newest
4
Lambda Calculus and Lisp, part 2 (recursion excursion) (babbagefiles.xyz)
3 months ago |
baruchel
| babbagefiles.xyz
|
newest
30
Lambda Calculus and Lisp, part 1 (babbagefiles.xyz)
3 months ago |
baruchel
| babbagefiles.xyz
|
frontpage
1
When is it worth the time and effort to verify a proof FORMALLY? (computationalcomplexity.org)
a year ago |
baruchel
| computationalcomplexity.org
|
newest
1
Thinking Big (futilitycloset.com)
a year ago |
baruchel
| futilitycloset.com
|
newest