Formalizing Julia in Lean (and finding 400 bugs in Base)

Hacker News New2026-11-10 13:070 views

Points: 1

# Comments: 0

The Reality Check: Why I Stopped Chasing Millions and Started Chasing Thousands I remember sitting in my cramped bedroom

Article URL: https://resilienceassembled.blot.im/whats-with-all-the-goats Comments URL: https://news.ycombinator.com/ite

Article URL: https://dl.acm.org/doi/10.1145/3841460 Comments URL: https://news.ycombinator.com/item?id=50436384 Points:

Article URL: https://cacm.acm.org/news/is-recursive-self-improvement-really-here/ Comments URL: https://news.ycombinator

Article URL: https://maurycyz.com/projects/fading/ Comments URL: https://news.ycombinator.com/item?id=50436410 Points: 1

Article URL: https://al.radbox.org/doi/10.1145/3842562 Comments URL: https://news.ycombinator.com/item?id=50436453 Point

Related posts