kurinikku

6 ms·

1.
Lean Golf – Code golf but you're proving theorems in Lean(lean.golf)
1 points by kurinikku 2mo ago|0 comments
2.
I wrote an AI textbook – how long until AI can do it better?(interconnects.ai)
2 points by kurinikku 2mo ago|0 comments
3.
I audited Stanford's CS336 and built an LLM from scratch for $353(andytimm.github.io)
1 points by kurinikku 2mo ago|0 comments
4.
Beyond Enumerable: For Want of Better Windows(baweaver.com)
2 points by kurinikku 4mo ago|0 comments
5.
Organizations Drift into Politics: A Follow-up to Game Theory Patterns at Work(daeus.blog)
5 points by kurinikku 4mo ago|0 comments
6.
AI Didn't Create These Problems. It Just Stopped Routing Around Them(baweaver.com)
3 points by kurinikku 4mo ago|0 comments
7.
Why Nobody Is Hiring Junior Devs (and How to Get Hired Anyway)(loforeal.substack.com)
1 points by kurinikku 5mo ago|0 comments
8.
Judgment is the scarce resource in data science(allthingsinsights.com)
1 points by kurinikku 6mo ago|0 comments
9.
Positioning, Leverage, and Judgment(daeus.blog)
2 points by kurinikku 6mo ago|0 comments
10.
I watch most videos at single speed(liquidbrain.net)
3 points by kurinikku 6mo ago|0 comments
11.
Building More Resilient Local-First Software with ATProto(jakelazaroff.com)
1 points by kurinikku 6mo ago|1 comments
12.
by kurinikku 6mo ago
If 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 one Before: https://git
13.
Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions(github.com)
2 points by kurinikku 6mo ago|1 comments
14.
by kurinikku 6mo ago
Andrej Karpathy's microgpt after https://github.com/savarin/microgpt/blob/lean-forge/with-lea...
15.
Show HN: Spend weekend Claude tokens making your code bulletproof with Lean(github.com)
3 points by kurinikku 6mo ago|1 comments
16.
From Bootcamp Grad to Distributed Databases: What Moved the Needle(medium.com)
2 points by kurinikku 7mo ago|0 comments
17.
Claude as Retired CIA Chief of Station Does Psych Evaluation, Does Not Hold Back(ezzeriesa.notion.site)
2 points by kurinikku 7mo ago|0 comments
18.
I Asked Claude to Profile Me Like a CIA Asset. It Was Uncomfortably Accurate(ezzeriesa.notion.site)
3 points by kurinikku 7mo ago|0 comments
19.
I Used to Write 8k Lines of Code in a Month. Now I Write That in a Day(ezzeriesa.notion.site)
2 points by kurinikku 7mo ago|0 comments
20.
Cutting Through to What Matters: Why Software Engineers Should Think Like Chefs(blog.bradfieldcs.com)
1 points by kurinikku 7mo ago|0 comments
21.
Are Computers Making Society More Unequal? (2013)(newyorker.com)
1 points by kurinikku 7mo ago|0 comments
22.
Reflecting on 12 years of writing code(ezzeriesa.notion.site)
2 points by kurinikku 7mo ago|0 comments
23.
So You Want to Cure Your Own Disease – Using AI to Take Agency over Your Health(andrewjrod.substack.com)
13 points by kurinikku 7mo ago|1 comments
24.
David Beazley: An End to Week-Long Immersion Courses(buttondown.com)
2 points by kurinikku 8mo ago|0 comments
25.
Parallel AI Agents That Review My Code (Claude Code Setup)(hamy.xyz)
2 points by kurinikku 8mo ago|1 comments
26.
Python Developers Survey 2026(surveys.jetbrains.com)
2 points by kurinikku 8mo ago|0 comments
27.
MIT's Missing Semester Features Agentic Coding(missing.csail.mit.edu)
2 points by kurinikku 8mo ago|0 comments
28.
Designing Data-Intensive Applications 2nd Edition is heading to print(bsky.app)
2 points by kurinikku 8mo ago|1 comments
29.
The Many Meanings of "Stack": From Data Structures, VMs, to Calling Conventions(ezzeriesa.notion.site)
3 points by kurinikku 8mo ago|0 comments
30.
What I Built in My First 6 Weeks at Recurse Center and What's Next(hamy.xyz)
2 points by kurinikku 8mo ago|0 comments

More ›