Language and Context

jj’s hot new web blog. get your eyes on this!!

Takes

Every language should have pipelining: ooooh you want to add ▷◁ to your language soooo bad

Why I can’t trust WhatsApp: what’s so secure about ‘end-to-end encryption’, anyway?
~~In Praise of XCompose~~: arbitrary unicode input for linux, almost anywhere
Feed syndication is really easy, as it turns out: rss is dead. long live rss
[FAUST 2024] Patching infrastructure for A/D 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 fellow undergraduates

✨ On Tools for Computer: what i use, with joy
Personal issues with Niri: it’s good software, though. check it out.
~~Multiple inheritance without the boilerplate~~: revelations from first learning pl
Some software licenses I like: i just think they’re neat.
Basic notes on modding Minecraft: minecraft is a pretty good game.