2Humanity is stained by C and no LLM can rewrite it in Rust (opens in new tab)(kirancodes.me)3gopiandcode4mo ago9
3Why Lean 4 replaced OCaml as my Primary Language (opens in new tab)(kirancodes.me)27gopiandcode7mo ago5
4LLMs pose an interesting problem for DSL designers (opens in new tab)(kirancodes.me)220gopiandcode9mo ago151
5The looming problem of slow and brittle proofs in SMT verification (opens in new tab)(kirancodes.me)4gopiandcode9mo ago0
6How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (opens in new tab)(kirancodes.me)81gopiandcode10mo ago17
7Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml (opens in new tab)(kirancodes.me)6gopiandcode1y ago1
8LeanSSR: An SSReflect-Like Tactic Language for Lean (opens in new tab)(github.com)2gopiandcode2y ago0
9Sisyphus – Mostly Automated Proof Repair for Verified Libraries (opens in new tab)(verse-lab.github.io)2gopiandcode2y ago0
10Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialect (opens in new tab)(github.com)2gopiandcode2y ago0
11Petrol: Embedding a type-safe SQL API in OCaml using GADTs (opens in new tab)(gopiandcode.uk)3gopiandcode2y ago0
12I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost (opens in new tab)(gopiandcode.uk)154gopiandcode2y ago108