Ask HN: I have 1 Claude and 2 Codex resets plus credits – help me spend them 1 kurinikku 28 days ago 3 comments
How does one keep up with exponential growth? e ezzeriesa.notion.site 1 kurinikku 1 month ago 0 comments
Lean Golf – Code golf but you're proving theorems in Lean l lean.golf 3 kurinikku 1 month ago 0 comments
Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions g github.com 3 kurinikku 1 month ago 0 comments
Lean Golf – Code golf but you're proving theorems in Lean l lean.golf 1 kurinikku 2 months ago 0 comments
I wrote an AI textbook – how long until AI can do it better? i interconnects.ai 2 kurinikku 2 months ago 0 comments
I audited Stanford's CS336 and built an LLM from scratch for $353 a andytimm.github.io 1 kurinikku 3 months ago 0 comments
Organizations Drift into Politics: A Follow-up to Game Theory Patterns at Work d daeus.blog 5 kurinikku 4 months ago 0 comments
AI Didn't Create These Problems. It Just Stopped Routing Around Them b baweaver.com 3 kurinikku 5 months ago 0 comments
Why Nobody Is Hiring Junior Devs (and How to Get Hired Anyway) l loforeal.substack.com 1 kurinikku 5 months ago 0 comments
