HNHacker News
TopNewBestAskShowJobs

yuppiemephisto

425 karma · joined May 30, 2019

submissionscomments

Lean 4 software scaling laws

gwern.net·2 pts·yuppiemephisto·
0

What's the Ideal Analogy?

alok.github.io·3 pts·yuppiemephisto·
0

A perfectable programming language

alok.github.io·210 pts·yuppiemephisto·
143

Formally Verified Code Benchmark

arxiv.org·2 pts·yuppiemephisto·
0

Which of the classical groups are compact?

alok.github.io·3 pts·yuppiemephisto·
0

Derivative at a Discontinuity

alok.github.io·134 pts·yuppiemephisto·
62

Learn perfect pitch in 15 years

moderndescartes.com·171 pts·yuppiemephisto·
147

Derivative at a discontinuity

alok.github.io·2 pts·yuppiemephisto·
1

Graphs and Manifolds

lesswrong.com·1 pts·yuppiemephisto·
0

What it’s like to dissect a cadaver

alok.github.io·208 pts·yuppiemephisto·
102

What is the prime factorization of zero?

alok.github.io·4 pts·yuppiemephisto·
2

Using Vim's Conceal Feature to Make Code More Readable (For You)

alok.github.io·1 pts·yuppiemephisto·
0

Show HN: Notational Velocity for Vim

github.com·171 pts·yuppiemephisto·
33