Kiran's Blog Posts kirancodes.me

Lean proved this program was correct; then I found a bug.

kirancodes.me·1w·Lobsters, Hacker News, Hacker News, r/programming

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

kirancodes.me·22w·Hacker News, r/rust

Why Lean 4 replaced OCaml as my Primary Language

kirancodes.me·36w·Lobsters, Hacker News

Programming Language Design in the Era of LLMs: A Return to Mediocrity?

kirancodes.me·44w·Lobsters, Hacker News

The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Toward Solving It)

kirancodes.me·45w·Hacker News, r/compsci, r/programming

How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean

kirancodes.me·50w·Hacker News, r/compsci

Functional vs. Data-Driven Development: A Case-Study in Clojure and OCaml

kirancodes.me·59w·Lobsters, Hacker News

Building static websites for dummies (2024)

kirancodes.me·42w·Hacker News

19 Apr, 2023 - How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost

kirancodes.me·157w

Petrol: embedding a type-safe SQL API in OCaml using GADTs

kirancodes.me·64w·Lobsters, Hacker News, r/programming

26 Aug, 2022 - Unifying fold left and fold right with Prolog

kirancodes.me·191w

22 Aug, 2022 - Racket->Rhombus: To Sexp or not to Sexp?

kirancodes.me·191w

03 Jul, 2021 - Goodbye C developers: The future of programming with certified program synthesis

kirancodes.me·251w

01 Jan, 2021 - Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations

kirancodes.me·277w

21 Aug, 2020 - Abolish the state! or no? An OCaml Perspective

kirancodes.me·296w

23 Jul, 2020 - Bloom filters debunked: Dispelling 30 Years of bad math with Coq!

kirancodes.me·300w

09 Dec, 2019 - Preprocessing in OCaml (using Ppxlib)

kirancodes.me·332w

12 Aug, 2019

kirancodes.me·349w

Log in to enable infinite scrolling