progscrape: kirancodes.me

The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Toward Solving It)

44 days ago kirancodes.me

LLMs pose an interesting problem for DSL designers

35 days ago kirancodes.me llm plt vibecoding

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

2 months ago kirancodes.me

Functional vs Data-Driven development: a Case-Study in Clojure & OCaml

4 months ago kirancodes.me clojure lisp ml ocaml

Petrol: embedding a type-safe SQL API in OCaml using GADTs

5 months ago kirancodes.me api database ml ocaml sql