svara

↗ HN profile [ 76.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Content Credentials (en.wikipedia.org)
  2. Comment sections on AI threads tend to split into "we're all cooked" and "AI is useless." I'd like to cut through the noise and learn what's actually working and what isn't, from concrete experience. If you've recently…

  3. Global Privacy Control (globalprivacycontrol.org)
  4. French Republican calendar (en.wikipedia.org)
  5. HPS Residential Hydrogen Power (homepowersolutions.de)
  6. Coconut Programming Language (coconut-lang.org)
  7. Mathematical Components (math-comp.github.io)
  8. The Lean Mathematical Library (leanprover-community.github.io)