kirancodes.me on Hacker News

Multi-Agentic Software Development Is a Distributed Systems Problem(kirancodes.me)

94 points by tie-in 6 months ago | 44 comments

Lean proved this program correct; then I found a bug(kirancodes.me)

375 points by bumbledraven 6 months ago | 167 comments

Blog post describing how fuzzing a formally verified Lean implementation of zlib uncovered a buffer overflow in the Lean runtime.

LLMs pose an interesting problem for DSL designers(kirancodes.me)

198 points by gopiandcode 1 year ago | 126 comments

How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean(kirancodes.me)

51 points by gopiandcode 1 year ago | 5 comments