Organizations Drift into Politics: A Follow-up to Game Theory Patterns at Workdaeus.blog5 points·by kurinikku·bulan lalu·0 comments
AI Didn't Create These Problems. It Just Stopped Routing Around Thembaweaver.com3 points·by kurinikku·2 bulan yang lalu·0 comments
Why Nobody Is Hiring Junior Devs (and How to Get Hired Anyway)loforeal.substack.com1 points·by kurinikku·2 bulan yang lalu·0 comments
Judgment is the scarce resource in data scienceallthingsinsights.com1 points·by kurinikku·3 bulan yang lalu·0 comments
Building More Resilient Local-First Software with ATProtojakelazaroff.com1 points·by kurinikku·3 bulan yang lalu·1 comments
Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptionsgithub.com2 points·by kurinikku·3 bulan yang lalu·1 comments
Show HN: Spend weekend Claude tokens making your code bulletproof with Leangithub.com3 points·by kurinikku·4 bulan yang lalu·1 comments
From Bootcamp Grad to Distributed Databases: What Moved the Needlemedium.com2 points·by kurinikku·4 bulan yang lalu·0 comments
Claude as Retired CIA Chief of Station Does Psych Evaluation, Does Not Hold Backezzeriesa.notion.site2 points·by kurinikku·4 bulan yang lalu·0 comments
I Asked Claude to Profile Me Like a CIA Asset. It Was Uncomfortably Accurateezzeriesa.notion.site3 points·by kurinikku·4 bulan yang lalu·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 bulan yang lalu·0 comments
Cutting Through to What Matters: Why Software Engineers Should Think Like Chefsblog.bradfieldcs.com1 points·by kurinikku·4 bulan yang lalu·0 comments
Are Computers Making Society More Unequal? (2013)newyorker.com1 points·by kurinikku·4 bulan yang lalu·0 comments
Reflecting on 12 years of writing codeezzeriesa.notion.site2 points·by kurinikku·4 bulan yang lalu·0 comments
So You Want to Cure Your Own Disease – Using AI to Take Agency over Your Healthandrewjrod.substack.com13 points·by kurinikku·5 bulan yang lalu·1 comments
David Beazley: An End to Week-Long Immersion Coursesbuttondown.com2 points·by kurinikku·5 bulan yang lalu·0 comments
Parallel AI Agents That Review My Code (Claude Code Setup)hamy.xyz2 points·by kurinikku·5 bulan yang lalu·1 comments
kurinikku·3 bulan yang lalu·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 bulan yang lalu·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...