My Ramblings on Life, Software, Games and Everything
Kiran's Blog Posts
Kiran's Blog Posts
- 06 Apr, 2026 - Multi-agentic Software Development is a Distributed Systems Problem (AGI can't save you from it)
- 18 Nov, 2025 - Humanity is stained by the sins of C and no LLM can rewrite them away to Rust
- 13 Aug, 2025 - Why Lean 4 replaced OCaml as my Primary Language
- 17 Jun, 2025 - Programming Language Design in the Era of LLMs: A Return to Mediocrity?
- 05 Jun, 2025 - The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Toward Solving It)
- 08 May, 2025 - How to (actually) prove it - New Frontiers of Mathematics & Computing in Lean
- 06 Mar, 2025 - Functional vs Data-Driven development: a Case-Study in Clojure & OCaml
- 19 Dec, 2024 - Building static websites for dummies
- 19 Apr, 2023 - How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost
- 23 Mar, 2023 - Petrol: embedding a type-safe SQL API in OCaml using GADTs
- 26 Aug, 2022 - Unifying fold left and fold right with Prolog
- 22 Aug, 2022 - Racket->Rhombus: To Sexp or not to Sexp?
- 03 Jul, 2021 - Goodbye C developers: The future of programming with certified program synthesis
- 01 Jan, 2021 - Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations
- 21 Aug, 2020 - Abolish the state! or no? An OCaml Perspective
- 23 Jul, 2020 - Bloom filters debunked: Dispelling 30 Years of bad math with Coq!
- 11 Feb, 2020 - Temporary overlays in Emacs
- 09 Dec, 2019 - Preprocessing in OCaml (using Ppxlib)
- 12 Aug, 2019 - First post