HN Explorer

viscousviolin

↗ HN profile [ 62.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Origami research takes top prize at 2026 Regeneron ISEF competition (snexplores.org)
    2 points 1
  2. Introduction to Formal Real Analysis (alexkontorovich.github.io)
    1 points 1
  3. Lean Game Server (adam.math.hhu.de)
    2 points 0
  4. Linear Algebra Game (adam.math.hhu.de)
    2 points 0
  5. An Elizabethan mansion's secrets for staying warm (bbc.com)
    185 points 41