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