65
1
Formally Verified Code Benchmark (arxiv.org)
1
Which of the classical groups are compact? (alok.github.io)
14
Derivative at a Discontinuity (alok.github.io)
21
Learn perfect pitch in 15 years (moderndescartes.com)
2
Derivative of a function that's not even continuous at the discontinuity (alok.github.io)
1
Graphs and Manifolds (lesswrong.com)
52
What it’s like to dissect a cadaver (alok.github.io)
3