| | Multi-Agentic Software Development Is a Distributed Systems Problem (kirancodes.me) |
| 119 points by tie-in 5 months ago | past | 62 comments |
|
| | Lean proved this program correct; then I found a bug (kirancodes.me) |
| 395 points by bumbledraven 5 months ago | past | 178 comments |
|
| | Lean proved this program was correct; then I found a bug (kirancodes.me) |
| 7 points by gopiandcode 5 months ago | past |
|
| | Multi-Agentic Software Development Is a Distributed Systems Problem (kirancodes.me) |
| 1 point by gopiandcode 5 months ago | past |
|
| | Mostly Automated Proof Repair for Verified Libraries [pdf] (kirancodes.me) |
| 1 point by PaulHoule 8 months ago | past |
|
| | Mostly Automated Proof Repair for Verified Libraries [pdf] (kirancodes.me) |
| 1 point by todsacerdoti 9 months ago | past |
|
| | Humanity is stained by C and no LLM can rewrite it in Rust (kirancodes.me) |
| 3 points by gopiandcode 10 months ago | past | 9 comments |
|
| | Why Lean 4 replaced OCaml as my primary language (kirancodes.me) |
| 4 points by fanf2 on Sept 5, 2025 | past |
|
| | Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me) |
| 7 points by pabs3 on Aug 15, 2025 | past | 1 comment |
|
| | Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me) |
| 27 points by gopiandcode on Aug 14, 2025 | past | 5 comments |
|
| | Building static websites for dummies (2024) (kirancodes.me) |
| 2 points by ode on June 28, 2025 | past |
|
| | LLMs pose an interesting problem for DSL designers (kirancodes.me) |
| 220 points by gopiandcode on June 17, 2025 | past | 151 comments |
|
| | The looming problem of slow and brittle proofs in SMT verification (kirancodes.me) |
| 4 points by gopiandcode on June 8, 2025 | past |
|
| | How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me) |
| 81 points by gopiandcode on May 9, 2025 | past | 17 comments |
|
| | Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (kirancodes.me) |
| 4 points by dunefox on March 31, 2025 | past |
|
| | Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (kirancodes.me) |
| 6 points by gopiandcode on March 8, 2025 | past | 1 comment |
|
| | Petrol: Embedding a type-safe SQL API in OCaml using GADTs (kirancodes.me) |
| 2 points by thunderbong on Jan 28, 2025 | past |
|
| | Petrol: Embedding a type-safe SQL API in OCaml using GADTs (kirancodes.me) |
| 2 points by todsacerdoti on Jan 26, 2025 | past |
|
