HN Explorer

kurinikku

↗ HN profile [ 135 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Lean Golf – Code golf but you're proving theorems in Lean (lean.golf)
    1 points 0
  2. I wrote an AI textbook – how long until AI can do it better? (interconnects.ai)
    2 points 0
  3. 1 points 0
  4. I audited Stanford's CS336 and built an LLM from scratch for $353 (andytimm.github.io)
    1 points 0
  5. Beyond Enumerable: For Want of Better Windows (baweaver.com)
    2 points 0
  6. Organizations Drift into Politics: A Follow-up to Game Theory Patterns at Work (daeus.blog)
    5 points 0
  7. AI Didn't Create These Problems. It Just Stopped Routing Around Them (baweaver.com)
    3 points 0
  8. Why Nobody Is Hiring Junior Devs (and How to Get Hired Anyway) (loforeal.substack.com)
    1 points 0
  9. Judgment is the scarce resource in data science (allthingsinsights.com)
    1 points 0
  10. Positioning, Leverage, and Judgment (daeus.blog)
    2 points 0
  11. I watch most videos at single speed (liquidbrain.net)
    3 points 0
  12. Building More Resilient Local-First Software with ATProto (jakelazaroff.com)
    1 points 1
  13. Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions (github.com)
    2 points 1
  14. Show HN: Spend weekend Claude tokens making your code bulletproof with Lean (github.com)
    3 points 1
  15. From Bootcamp Grad to Distributed Databases: What Moved the Needle (medium.com)
    2 points 0
  16. Claude as Retired CIA Chief of Station Does Psych Evaluation, Does Not Hold Back (ezzeriesa.notion.site)
    2 points 0
  17. I Asked Claude to Profile Me Like a CIA Asset. It Was Uncomfortably Accurate (ezzeriesa.notion.site)
    3 points 0
  18. I Used to Write 8k Lines of Code in a Month. Now I Write That in a Day (ezzeriesa.notion.site)
    2 points 0
  19. Cutting Through to What Matters: Why Software Engineers Should Think Like Chefs (blog.bradfieldcs.com)
    1 points 0
  20. Are Computers Making Society More Unequal? (2013) (newyorker.com)
    1 points 0
  21. Reflecting on 12 years of writing code (ezzeriesa.notion.site)
    2 points 0
  22. So You Want to Cure Your Own Disease – Using AI to Take Agency over Your Health (andrewjrod.substack.com)
    13 points 1
  23. David Beazley: An End to Week-Long Immersion Courses (buttondown.com)
    2 points 0
  24. Parallel AI Agents That Review My Code (Claude Code Setup) (hamy.xyz)
    2 points 1
  25. Python Developers Survey 2026 (surveys.jetbrains.com)
    2 points 0