Personal Logs/Notes

A personal site wouldn't be complete without a blog section right? Although, to be fair, most of the things I might want to write about are fairly technical, so it's more of a reference document than a blog.

Either way, feel free to check out any of the posts below.

Latest Posts

<2023-04-19 Wed> - How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost #ocaml #design #social #activitypub
<2023-03-23 Thu> - Petrol: embedding a type-safe SQL API in OCaml using GADTs #ocaml #types #sql #api #design
<2022-08-26 Fri> - Unifying fold left and fold right #prolog #lisp #pearl
<2022-08-22 Mon> - Racket->Rhombus: To Sexp or not to Sexp? #racket #lisp #meta
<2021-07-03 Sat> - Goodbye C developers: The future of programming with certified program synthesis #projects #research #coq #verification
<2021-01-01 Fri> - Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations #ocaml #effects #animations #game
<2020-08-21 Fri> - Abolish the state! or no? An OCaml Perspective #ocaml
<2020-07-23 Thu> - Bloom filters debunked: Dispelling 30 Years of bad math with Coq! #projects #research #coq #verification
<2020-02-11 Tue> - Temporary overlays in Emacs #emacs #tutorial #ide
<2020-02-06 Thu> - Gopcaml mode #projects #ocaml #tool

TODO Best posts

<2020-07-23 Thu> - Bloomfilters debunked: Dispelling 30 Years of bad math with Coq! #projects #research #coq #verification
<2019-12-09 Mon> - Preprocessing in OCaml (using Ppxlib) #ocaml #extension #points #reference #guide

All posts

This page gives an overview of some of the posts I've written, but you can find a more complete list: