HN Explorer

quag

↗ HN profile [ 77.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Lean 4.0 (github.com)
    130 points 91
  2. OpenThermo: Customizable Thermostat for Furnace Control (nathanpetersen.com)
    1 points 0
  3. The writing’s on the wall for Google Stadia (theverge.com)
    1 points 0
  4. The convergence of notability and verifiability on Wikipedia (kmjn.org)
    4 points 0