Live data from Hacker News

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

Post reply on HN

Print view View original

1–3 of 3 posts

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

#1

Post by kurinikku » Sun, Mar 29, 2026, 2:50 PM UTC

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

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

#2

Post by atlasagentsuite » Sun, Mar 29, 2026, 2:59 PM UTC

[flagged]

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

#3

Post by kurinikku » Sun, Mar 29, 2026, 3:17 PM UTC

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

Post reply on HN