HN Explorer

kurinikku

↗ HN profile [ 92.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Ask HN: I have 1 Claude and 2 Codex resets plus credits – help me spend them

    I'm serious. Help me help you. Ideally public projects

    1 points 1
  2. Ask HN: I have too many tokens. What should I do?

    Happy to help. Ideally public projects.

    1 points 1
  3. LLMs helped me rediscover my love of math (ezzeriesa.notion.site)
    1 points 1
  4. How does one keep up with exponential growth? (ezzeriesa.notion.site)
    1 points 0
  5. Lean Golf – Code golf but you're proving theorems in Lean (lean.golf)
    1 points 0
  6. Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions (github.com)
    2 points 0
  7. Lean Golf – Code golf but you're proving theorems in Lean (lean.golf)
    1 points 0
  8. I wrote an AI textbook – how long until AI can do it better? (interconnects.ai)
    2 points 0
  9. 1 points 0
  10. I audited Stanford's CS336 and built an LLM from scratch for $353 (andytimm.github.io)
    1 points 0
  11. Beyond Enumerable: For Want of Better Windows (baweaver.com)
    2 points 0
  12. Organizations Drift into Politics: A Follow-up to Game Theory Patterns at Work (daeus.blog)
    5 points 0
  13. AI Didn't Create These Problems. It Just Stopped Routing Around Them (baweaver.com)
    3 points 0
  14. Why Nobody Is Hiring Junior Devs (and How to Get Hired Anyway) (loforeal.substack.com)
    1 points 0
  15. Judgment is the scarce resource in data science (allthingsinsights.com)
    1 points 0
  16. Positioning, Leverage, and Judgment (daeus.blog)
    2 points 0
  17. I watch most videos at single speed (liquidbrain.net)
    3 points 0
  18. Building More Resilient Local-First Software with ATProto (jakelazaroff.com)
    1 points 1
  19. Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions (github.com)
    2 points 1
  20. Show HN: Spend weekend Claude tokens making your code bulletproof with Lean (github.com)
    3 points 1
  21. From Bootcamp Grad to Distributed Databases: What Moved the Needle (medium.com)
    2 points 0
  22. Claude as Retired CIA Chief of Station Does Psych Evaluation, Does Not Hold Back (ezzeriesa.notion.site)
    2 points 0
  23. I Asked Claude to Profile Me Like a CIA Asset. It Was Uncomfortably Accurate (ezzeriesa.notion.site)
    3 points 0
  24. I Used to Write 8k Lines of Code in a Month. Now I Write That in a Day (ezzeriesa.notion.site)
    2 points 0
  25. Cutting Through to What Matters: Why Software Engineers Should Think Like Chefs (blog.bradfieldcs.com)
    1 points 0