Blog

Weeknote 04 October 2025
weeknotes, personal

My Personal Website Philosophy
personal

Explorations in Creative Programming
creative coding, tech, ocaml

Vim
tech

Google Summer of Code 2023 at Postgres
tech, python

Syntactics and Semantics
math, tech

How to Setup Coq in Vim
ocaml, rocq, tech

Concurrency in a Single Thread
tech, long, python

What do I self-host?
tech, self-hosting

What I Learnt From SICP
tech

Self Hosting 101 Workshop at FOSSMeet '23
tech, self-hosting

Objects and Types in Python
tech, long, python

On Encoding and Decoding
tech, math

On Camus' "The Stranger"
non-tech, personal

Dead simple SMTP server for development and testing
tech, python

Writing an SMTP Server from Scratch (WIP)
half-baked, smtp, tech