1Pact: Trustworthy Coordination for Multi-Agentic Ecosystems (opens in new tab)(basis.ai)3gopiandcode2mo ago0Save
3Lean proved this program was correct; then I found a bug (opens in new tab)(kirancodes.me)7gopiandcode2mo ago0Save
4Buffer Overflow in Lean_io_prim_handle_read (opens in new tab)(github.com)GitHub2gopiandcode2mo ago1Save
5Multi-Agentic Software Development Is a Distributed Systems Problem (opens in new tab)(kirancodes.me)1gopiandcode2mo ago0Save
6Vibe-Coding a Verified Compiler (JS-2-WASM) (opens in new tab)(docs.google.com)3gopiandcode3mo ago1Save
7Humanity is stained by C and no LLM can rewrite it in Rust (opens in new tab)(kirancodes.me)3gopiandcode7mo ago9Save
8Why Lean 4 replaced OCaml as my Primary Language (opens in new tab)(kirancodes.me)27gopiandcode10mo ago5Save
9LLMs pose an interesting problem for DSL designers (opens in new tab)(kirancodes.me)220gopiandcode1y ago151Save
10The looming problem of slow and brittle proofs in SMT verification (opens in new tab)(kirancodes.me)4gopiandcode1y ago0Save
11How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (opens in new tab)(kirancodes.me)81gopiandcode1y ago17Save
12Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (opens in new tab)(kirancodes.me)6gopiandcode1y ago1Save
13LeanSSR: An SSReflect-Like Tactic Language for Lean (opens in new tab)(github.com)GitHub2gopiandcode2y ago0Save
14Sisyphus – Mostly Automated Proof Repair for Verified Libraries (opens in new tab)(verse-lab.github.io)2gopiandcode2y ago0Save
15Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialect (opens in new tab)(github.com)GitHub2gopiandcode3y ago0Save
