• WhatsApp is untrustable

  what’s so secure about ‘end-to-end-encryption’, anyway?

• Usability issues with Niri

  it’s good software, though. check it out.

• Every language should have pipelining

  ooooh you want to add ▷◁ to your language soooo bad

• On tools for computer

  what i use, with joy

• In praise of XCompose

  arbitrary unicode input, anywhere (on linux)

• Effect handlers [Part III]: Encapsulation

  presenting a problem for effect handlers [note: parts i and ii not done yet]

• Feed syndication is really easy, as it turns out

  rss is dead. long live rss

• [Faust 2024] Patching infrastructure for Attack-Defense CTFs

  some useful tooling i’ve pulled together

• Arbitrary Jekyll layouts for Hakyll

  powering this website!

• [CUMC 2024] Proof, truth, and computation

  a talk i gave to an audience of undergraduate mathematics students

• Multiple inheritance without the boilerplate

  revelations from first learning pl

• Some software licenses I like

  i just think they’re neat

• Some notes on modding Minecraft

  pretty good game