Joined 6/5/2019, 8:23:23 PM has 1108 karma
pronouns: she/her
url: kirancodes.me
LLMs pose an interesting problem for DSL designers
The looming problem of slow and brittle proofs in SMT verification
How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean
Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml
LeanSSR: An SSReflect-Like Tactic Language for Lean
Sisyphus – Mostly Automated Proof Repair for Verified Libraries
Rhombus in the Rough: A 2D RPG implemented in the Rhombus Racket Lisp dialect
Petrol: Embedding a type-safe SQL API in OCaml using GADTs
I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost
LLaMA-based Emacs Search plugin
Show HN: A web front end for your Org-files