Log Index

The following page lists all posts on this site, ordered by publishing date.

• <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
• <2020-02-06 Thu> - Libre Ref #projects #ocaml #tool
• <2019-12-09 Mon> - Preprocessing in OCaml (using Ppxlib) #ocaml #extensionpoints #reference #guide
• <2019-11-18 Mon> - Learning opengl #opengl #reference #guide
• <2019-08-13 Tue> - Second post #test #meta #example
• <2019-08-12 Mon> - First post #introduction #meta #test
• <2019-05-02 Thu> - Gop music #projects #music #tool
• <2019-02-09 Sat> - Gop tables #projects #planning #tools
• <2018-10-22 Mon> - Html generator #projects #rust #web
• <2018-05-23 Wed> - PathetiC #projects #parsing #c
• <2018-04-21 Sat> - Wacom tablet tool #projects #shell
• <2018-02-25 Sun> - Genius Pass #projects #joke #web
• <2018-02-06 Tue> - Topological Todo Application #projects #android #mobile
• <2017-10-29 Sun> - CV Generator #projects #java #swing
• <2017-10-15 Sun> - Vidme Client (RIP) #uwp #projects #dead
• <2017-10-14 Sat> - Alexa review aggregator #projects #research
• <2017-10-02 Mon> - Project Note #projects #web
• <2017-09-28 Thu> - Log my pos #projects #web
• <2017-09-03 Sun> - UWP Web-reddit slideshow #projects #uwp
• <2017-08-23 Wed> - Gop-Net - Neural Networks in C #c #projects #machine #learning
• <2017-07-18 Tue> - Web Reddit Slideshow #projects #web
• <2017-05-28 Sun> - Monadic C Parsing in Haskell #haskell #projects #parsing
• <2017-03-31 Fri> - Java Jones Quest #projects #java #ide #drawing