kurinikku | Dark Hacker News

user:	kurinikku
created:	June 21, 2018
karma:	754

1.	How does one keep up with exponential growth?(ezzeriesa.notion.site) 1 points by kurinikku 5 hours ago \| 0 comments
2.	Lean Golf – Code golf but you're proving theorems in Lean(lean.golf) 1 points by kurinikku 14 hours ago \| 0 comments
3.	Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions(github.com) 3 points by kurinikku 1 day ago \| 0 comments
4.	Lean Golf – Code golf but you're proving theorems in Lean(lean.golf) 1 points by kurinikku 36 days ago \| 0 comments
5.	I wrote an AI textbook – how long until AI can do it better?(interconnects.ai) 2 points by kurinikku 44 days ago \| 0 comments
6.	1 points by kurinikku 46 days ago \| discuss
7.	I audited Stanford's CS336 and built an LLM from scratch for $353(andytimm.github.io) 1 points by kurinikku 64 days ago \| 0 comments
8.	Beyond Enumerable: For Want of Better Windows(baweaver.com) 2 points by kurinikku 107 days ago \| 0 comments
9.	Organizations Drift into Politics: A Follow-up to Game Theory Patterns at Work(daeus.blog) 5 points by kurinikku 109 days ago \| 0 comments
10.	AI Didn't Create These Problems. It Just Stopped Routing Around Them(baweaver.com) 3 points by kurinikku 120 days ago \| 0 comments
11.	Why Nobody Is Hiring Junior Devs (and How to Get Hired Anyway)(loforeal.substack.com) 1 points by kurinikku 143 days ago \| 0 comments
12.	Judgment is the scarce resource in data science(allthingsinsights.com) 1 points by kurinikku 172 days ago \| 0 comments
13.	Positioning, Leverage, and Judgment(daeus.blog) 2 points by kurinikku 174 days ago \| 0 comments
14.	I watch most videos at single speed(liquidbrain.net) 3 points by kurinikku 177 days ago \| 0 comments
15.	Building More Resilient Local-First Software with ATProto(jakelazaroff.com) 1 points by kurinikku 178 days ago \| 1 comment
16.	Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions(github.com) 2 points by kurinikku 179 days ago \| 1 comment
17.	179 days ago \| discuss
18.	Show HN: Spend weekend Claude tokens making your code bulletproof with Lean(github.com) 3 points by kurinikku 180 days ago \| 1 comment
19.	From Bootcamp Grad to Distributed Databases: What Moved the Needle(medium.com) 2 points by kurinikku 189 days ago \| 0 comments
20.	Claude as Retired CIA Chief of Station Does Psych Evaluation, Does Not Hold Back(ezzeriesa.notion.site) 2 points by kurinikku 189 days ago \| 0 comments
21.	I Asked Claude to Profile Me Like a CIA Asset. It Was Uncomfortably Accurate(ezzeriesa.notion.site) 3 points by kurinikku 190 days ago \| 0 comments
22.	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 192 days ago \| 0 comments
23.	Cutting Through to What Matters: Why Software Engineers Should Think Like Chefs(blog.bradfieldcs.com) 1 points by kurinikku 193 days ago \| 0 comments
24.	Are Computers Making Society More Unequal? (2013)(newyorker.com) 1 points by kurinikku 194 days ago \| 0 comments
25.	Reflecting on 12 years of writing code(ezzeriesa.notion.site) 2 points by kurinikku 195 days ago \| 0 comments
26.	So You Want to Cure Your Own Disease – Using AI to Take Agency over Your Health(andrewjrod.substack.com) 13 points by kurinikku 213 days ago \| 1 comment
27.	David Beazley: An End to Week-Long Immersion Courses(buttondown.com) 2 points by kurinikku 216 days ago \| 0 comments
28.	Parallel AI Agents That Review My Code (Claude Code Setup)(hamy.xyz) 2 points by kurinikku 217 days ago \| 1 comment