yuppiemephisto's submissions

1.		Formally Verified Code Benchmark (arxiv.org)
		2 points by yuppiemephisto 25 days ago \| past
2.		Which of the classical groups are compact? (alok.github.io)
		3 points by yuppiemephisto 10 months ago \| past
3.		Derivative at a Discontinuity (alok.github.io)
		134 points by yuppiemephisto 11 months ago \| past \| 62 comments
4.		Learn perfect pitch in 15 years (moderndescartes.com)
		171 points by yuppiemephisto 11 months ago \| past \| 147 comments
5.		Derivative at a discontinuity (alok.github.io)
		2 points by yuppiemephisto on Sept 29, 2024 \| past \| 1 comment
6.		Graphs and Manifolds (lesswrong.com)
		1 point by yuppiemephisto on Jan 30, 2023 \| past
7.		What it’s like to dissect a cadaver (alok.github.io)
		208 points by yuppiemephisto on Nov 10, 2022 \| past \| 102 comments
8.		What is the prime factorization of zero? (alok.github.io)
		4 points by yuppiemephisto on Nov 10, 2022 \| past \| 2 comments
9.		Using Vim's Conceal Feature to Make Code More Readable (For You) (alok.github.io)
		1 point by yuppiemephisto on April 4, 2021 \| past
10.		Show HN: Notational Velocity for Vim (github.com/alok)
		171 points by yuppiemephisto on May 30, 2019 \| past \| 33 comments