kurinikku

kurinikku on Hacker News

Re:Ask HN: I have 1 Claude and 2 Codex resets plus credits – help me s... on Saturday October 03, 2026 @02:13PM (#49946442)

I don't see CONTRIBUTING.md, open issues or external PRs. Presume I'll just take things off TODO.md?

Ask HN: I have 1 Claude and 2 Codex resets plus credits – help me spend them

Posted by kurinikku on Saturday October 03, 2026 @01:36PM
from the ask-hn dept.

I'm serious. Help me help you. Ideally public projects

( Read More... | 3 comments | on HN )

Ask HN: I have too many tokens. What should I do?

Posted by kurinikku on Friday October 02, 2026 @10:49AM
from the ask-hn dept.

Happy to help. Ideally public projects.

( Read More... | 1 comment | on HN )

LLMs helped me rediscover my love of math

Posted by kurinikku on Thursday October 01, 2026 @10:20AM
from the ezzeriesa.notion.site dept.

https://ezzeriesa.notion.site/LLMs-helped-me-rediscover-my-love-of-math-3e61308b42048020bdfefc66453ea34c

( Read More... | 1 comment | on HN )

How does one keep up with exponential growth?

Posted by kurinikku on Friday September 25, 2026 @07:34PM
from the ezzeriesa.notion.site dept.

https://ezzeriesa.notion.site/How-does-one-keep-up-with-exponential-growth-3e61308b42048020bdfefc66453ea34c

( Read More... | no comments | on HN )

Lean Golf – Code golf but you're proving theorems in Lean

Posted by kurinikku on Friday September 25, 2026 @10:47AM
from the lean.golf dept.

https://lean.golf

( Read More... | no comments | on HN )

Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions

Posted by kurinikku on Thursday September 24, 2026 @08:37AM
from the show-hn dept.

https://github.com/savarin/lean-agent

( Read More... | no comments | 3 points | on HN )

Lean Golf – Code golf but you're proving theorems in Lean

Posted by kurinikku on Thursday August 20, 2026 @11:03PM
from the lean.golf dept.

https://lean.golf

( Read More... | no comments | on HN )

I wrote an AI textbook – how long until AI can do it better?

Posted by kurinikku on Wednesday August 12, 2026 @10:34AM
from the interconnects.ai dept.

https://www.interconnects.ai/p/i-wrote-an-ai-textbook-how-long-until

( Read More... | no comments | on HN )

I audited Stanford's CS336 and built an LLM from scratch for $353

Posted by kurinikku on Thursday July 23, 2026 @02:55AM
from the andytimm.github.io dept.

https://andytimm.github.io/posts/cs336/cs336_review.html

( Read More... | no comments | on HN )

Beyond Enumerable: For Want of Better Windows

Posted by kurinikku on Wednesday June 10, 2026 @04:32PM
from the baweaver.com dept.

https://baweaver.com/writing/2026/05/31/beyond-enumerable-for-want-of-better-windows/

( Read More... | no comments | on HN )

Organizations Drift into Politics: A Follow-up to Game Theory Patterns at Work

Posted by kurinikku on Tuesday June 09, 2026 @12:07AM
from the daeus.blog dept.

https://daeus.blog/2026/06/08/how-organizations-drift-into-politics/

( Read More... | no comments | 2 points | on HN )

AI Didn't Create These Problems. It Just Stopped Routing Around Them

Posted by kurinikku on Thursday May 28, 2026 @10:58AM
from the baweaver.com dept.

https://baweaver.com/writing/2026/05/27/ai-didnt-create-these-problems/

( Read More... | no comments | 2 points | on HN )

Why Nobody Is Hiring Junior Devs (and How to Get Hired Anyway)

Posted by kurinikku on Tuesday May 05, 2026 @01:20PM
from the loforeal.substack.com dept.

https://loforeal.substack.com/p/why-nobody-is-hiring-junior-devs

( Read More... | no comments | on HN )

Judgment is the scarce resource in data science

Posted by kurinikku on Monday April 06, 2026 @02:07PM
from the allthingsinsights.com dept.

https://allthingsinsights.com/content/judgment-is-the-scarce-resource-in-data-science/

( Read More... | no comments | on HN )

Positioning, Leverage, and Judgment

Posted by kurinikku on Saturday April 04, 2026 @07:24PM
from the daeus.blog dept.

https://daeus.blog/2026/04/04/positioning-leverage-and-judgment/

( Read More... | no comments | 2 points | on HN )

I watch most videos at single speed

Posted by kurinikku on Thursday April 02, 2026 @12:35AM
from the liquidbrain.net dept.

https://liquidbrain.net/blog/single-speed/

( Read More... | no comments | 3 points | on HN )

Building More Resilient Local-First Software with ATProto

Posted by kurinikku on Tuesday March 31, 2026 @01:15PM
from the jakelazaroff.com dept.

https://jakelazaroff.com/words/building-more-resilient-local-first-software-with-atproto/

( Read More... | 1 comment | on HN )

Re:Show HN: Link proof assistant Lean to Claude, fix your code's hidde... on Monday March 30, 2026 @10:53AM (#47575130)

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://github.com/savarin/ledger/blob/67d6e236296e4787e8924...

After: https://github.com/savarin/ledger/blob/506584542d1c1c2751e2d...

Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions

Posted by kurinikku on Monday March 30, 2026 @10:07AM
from the show-hn dept.

https://github.com/savarin/lean-refine

( Read More... | 1 comment | 2 points | on HN )

Re:Show HN: Spend weekend Claude tokens making your code bulletproof w... on Sunday March 29, 2026 @11:17AM (#47563896)

Andrej Karpathy's microgpt after https://github.com/savarin/microgpt/blob/lean-forge/with-lea...

Show HN: Spend weekend Claude tokens making your code bulletproof with Lean

Posted by kurinikku on Sunday March 29, 2026 @10:50AM
from the show-hn dept.

https://github.com/savarin/lean-forge

( Read More... | 1 comment | 2 points | on HN )

From Bootcamp Grad to Distributed Databases: What Moved the Needle

Posted by kurinikku on Friday March 20, 2026 @04:36PM
from the medium.com dept.

https://medium.com/swlh/from-coding-bootcamp-graduate-to-building-distributed-databases-29acbb723d8

( Read More... | no comments | on HN )

Claude as Retired CIA Chief of Station Does Psych Evaluation, Does Not Hold Back

Posted by kurinikku on Friday March 20, 2026 @08:11AM
from the ezzeriesa.notion.site dept.

https://ezzeriesa.notion.site/PSY-2026-0318-Subject-BERLIN-3281308b4204809caca4f6182270ff29

( Read More... | no comments | 2 points | on HN )

I Asked Claude to Profile Me Like a CIA Asset. It Was Uncomfortably Accurate

Posted by kurinikku on Thursday March 19, 2026 @02:24PM
from the ezzeriesa.notion.site dept.

https://ezzeriesa.notion.site/PSY-2026-0318-Subject-BERLIN-3281308b4204809caca4f6182270ff29

( Read More... | no comments | 3 points | on HN )

I Used to Write 8k Lines of Code in a Month. Now I Write That in a Day

Posted by kurinikku on Tuesday March 17, 2026 @08:17AM
from the ezzeriesa.notion.site dept.

https://ezzeriesa.notion.site/Reflecting-on-12-years-of-writing-code-31e1308b420480129bd5dd7951f98112

( Read More... | no comments | 2 points | on HN )

Cutting Through to What Matters: Why Software Engineers Should Think Like Chefs

Posted by kurinikku on Monday March 16, 2026 @01:15PM
from the blog.bradfieldcs.com dept.

https://blog.bradfieldcs.com/cutting-through-to-what-matters-48baf397806f

( Read More... | no comments | on HN )

Are Computers Making Society More Unequal? (2013)

Posted by kurinikku on Sunday March 15, 2026 @05:57PM
from the newyorker.com dept.

https://www.newyorker.com/business/currency/are-computers-making-society-more-unequal

( Read More... | no comments | on HN )

Reflecting on 12 years of writing code

Posted by kurinikku on Saturday March 14, 2026 @09:46AM
from the ezzeriesa.notion.site dept.

https://ezzeriesa.notion.site/Reflecting-on-12-years-of-writing-code-31e1308b420480129bd5dd7951f98112

( Read More... | no comments | on HN )

So You Want to Cure Your Own Disease – Using AI to Take Agency over Your Health

Posted by kurinikku on Tuesday February 24, 2026 @01:56PM
from the andrewjrod.substack.com dept.

https://andrewjrod.substack.com/p/d3b534ca-0bd6-4809-bf8e-77132c7363eb

( Read More... | 1 comment | 9 points | on HN )