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