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·4 माह पहले·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
Are Computers Making Society More Unequal? (2013)newyorker.com1 points·by kurinikku·4 माह पहले·0 comments
Reflecting on 12 years of writing codeezzeriesa.notion.site2 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·4 माह पहले·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...