My Ramblings on Life, Software, Games and Everything
Kiran's Blog Posts
Kiran's Blog Posts
- 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