Thoughts, articles, posts about code, programming languages, etc.

(2017-07-05) Vi as a programming language

(2017-07-15) Odds (OCaml Dice Dice Something) Rewritten entirely after major code change

(2017-09-15) Natural languages in programming languages

(2017-10-19) Keyboard mapping

(2019-07-09) Acme colour scheme for vim

(2019-11-29) Dix-mille

(2020-06-06) Lwt tutorial/introduction Part 1 of 2
(2020-06-06) Lwt tutorial/introduction Part 2 of 2
(2020-06-06) Lwt tutorial/introduction Part 3 of 2
(Updated 2022-04-26)

(2020-07-15) The Sense of Coding Style

(2021-11-03) Entombed

(2022-06-10) Odds (OCaml Dice Dice Something)

(2022-10-11) Mirage OS retreat

(2022-12-16) Testing Seqes

(2023-09-28) The Queen’s head

(2024-02-07) My Very First GADT
(2024-02-07) GADT Tips and Tricks
(2024-02-07) GADT Gallery