HN Explorer

yuppiemephisto

↗ HN profile [ 69.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Lean 4 software scaling laws (gwern.net)
    1 points 0
  2. What's the Ideal Analogy? (alok.github.io)
    3 points 0
  3. A perfectable programming language (alok.github.io)
    210 points 48
  4. Formally Verified Code Benchmark (arxiv.org)
    2 points 0
  5. Which of the classical groups are compact? (alok.github.io)
    3 points 0
  6. Derivative at a Discontinuity (alok.github.io)
    134 points 67
  7. Learn Perfect Pitch in 15 years (moderndescartes.com)
    3 points 146
  8. Derivative of a function that's not even continuous at the discontinuity (alok.github.io)
    2 points 1
  9. Graphs and Manifolds (lesswrong.com)
    1 points 0
  10. What it’s like to dissect a cadaver (alok.github.io)
    208 points 110
  11. What is the prime factorization of zero? (alok.github.io)
    4 points 2
  12. Using Vim's Conceal Feature to Make Code More Readable (For You) (alok.github.io)
    1 points 0
  13. Show HN: Notational Velocity for Vim (github.com)
    171 points 37