Stories by gopiandcode

Humanity is stained by C and no LLM can rewrite it in Rust

Why Lean 4 replaced OCaml as my Primary Language

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

Unifying fold left and fold right in Prolog

Racket-Rhombus: To Sexp or Not to Sexp?

Goodbye C developers: The future of programming with certified program synthesis