Organizations Drift into Politics: A Follow-up to Game Theory Patterns at Workdaeus.blog5 points·by kurinikku·지난달·0 comments
AI Didn't Create These Problems. It Just Stopped Routing Around Thembaweaver.com3 points·by kurinikku·2개월 전·0 comments
Why Nobody Is Hiring Junior Devs (and How to Get Hired Anyway)loforeal.substack.com1 points·by kurinikku·2개월 전·0 comments
Judgment is the scarce resource in data scienceallthingsinsights.com1 points·by kurinikku·3개월 전·0 comments
Building More Resilient Local-First Software with ATProtojakelazaroff.com1 points·by kurinikku·3개월 전·1 comments
Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptionsgithub.com2 points·by kurinikku·3개월 전·1 comments
Show HN: Spend weekend Claude tokens making your code bulletproof with Leangithub.com3 points·by kurinikku·4개월 전·1 comments
From Bootcamp Grad to Distributed Databases: What Moved the Needlemedium.com2 points·by kurinikku·4개월 전·0 comments
Claude as Retired CIA Chief of Station Does Psych Evaluation, Does Not Hold Backezzeriesa.notion.site2 points·by kurinikku·4개월 전·0 comments
I Asked Claude to Profile Me Like a CIA Asset. It Was Uncomfortably Accurateezzeriesa.notion.site3 points·by kurinikku·4개월 전·0 comments
I Used to Write 8k Lines of Code in a Month. Now I Write That in a Dayezzeriesa.notion.site2 points·by kurinikku·4개월 전·0 comments
Cutting Through to What Matters: Why Software Engineers Should Think Like Chefsblog.bradfieldcs.com1 points·by kurinikku·4개월 전·0 comments
So You Want to Cure Your Own Disease – Using AI to Take Agency over Your Healthandrewjrod.substack.com13 points·by kurinikku·5개월 전·1 comments
David Beazley: An End to Week-Long Immersion Coursesbuttondown.com2 points·by kurinikku·5개월 전·0 comments
Parallel AI Agents That Review My Code (Claude Code Setup)hamy.xyz2 points·by kurinikku·5개월 전·1 comments
kurinikku·3개월 전·discussIf you haven't heard of Lean, it's a mathematical proof assistant. lean-refine plugs it into Claude Code to find every assumption your code makes but doesn't enforce - then fixes them one by oneBefore: https://github.com/savarin/ledger/blob/67d6e236296e4787e8924...After: https://github.com/savarin/ledger/blob/506584542d1c1c2751e2d...
kurinikku·4개월 전·discussAndrej Karpathy's microgpt after https://github.com/savarin/microgpt/blob/lean-forge/with-lea...
Before: https://github.com/savarin/ledger/blob/67d6e236296e4787e8924...
After: https://github.com/savarin/ledger/blob/506584542d1c1c2751e2d...