1Pact: Trustworthy Coordination for Multi-Agentic Ecosystems (opens in new tab)(basis.ai)3gopiandcode16d ago0
3Lean proved this program was correct; then I found a bug (opens in new tab)(kirancodes.me)7gopiandcode27d ago0
5Multi-Agentic Software Development Is a Distributed Systems Problem (opens in new tab)(kirancodes.me)1gopiandcode1mo ago0
7Humanity is stained by C and no LLM can rewrite it in Rust (opens in new tab)(kirancodes.me)3gopiandcode5mo ago9
8Why Lean 4 replaced OCaml as my Primary Language (opens in new tab)(kirancodes.me)27gopiandcode8mo ago5
9LLMs pose an interesting problem for DSL designers (opens in new tab)(kirancodes.me)220gopiandcode10mo ago151
10The looming problem of slow and brittle proofs in SMT verification (opens in new tab)(kirancodes.me)4gopiandcode11mo ago0
