The Curious Engineer

All blogs / OCaml / F#

Kiran's Blog

kirancodes.me

Kiran's Ramblings on Life, Software, Games and Everything

OCaml / F#CompilersAI / ML

’19’20’21’22’23’24’25’26
Posts
22 from 12 Aug 2019 to 2 Oct 2026
Posting
now and then (4 in the last year)
Kind
personal blog
Feed
https://kirancodes.me/rss.xml

2026 3

  1. The Era of Programming Languages Exploration is upon Us.
  2. Lean proved this program was correct; then I found a bug.
  3. Multi-agentic Software Development is a Distributed Systems Problem (AGI can't save you from it)

2025 6

  1. Humanity is stained by the sins of C and no LLM can rewrite them away to Rust
  2. Why Lean 4 replaced OCaml as my Primary Language
  3. Programming Language Design in the Era of LLMs: A Return to Mediocrity?
  4. The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Toward Solving It)
  5. How to (actually) prove it - New Frontiers of Mathematics & Computing in Lean
  6. Functional vs Data-Driven development: a Case-Study in Clojure & OCaml

2024 2

  1. Building static websites for dummies
  2. artwork

2023 2

  1. How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost
  2. Petrol: embedding a type-safe SQL API in OCaml using GADTs

2022 2

  1. Unifying fold left and fold right with Prolog
  2. Racket->Rhombus: To Sexp or not to Sexp?

2021 2

  1. Goodbye C developers: The future of programming with certified program synthesis
  2. Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations

2020 3

  1. Abolish the state! or no? An OCaml Perspective
  2. Bloom filters debunked: Dispelling 30 Years of bad math with Coq!
  3. Temporary overlays in Emacs

2019 2

  1. Preprocessing in OCaml (using Ppxlib)
  2. First post