Stories by panic

Non-Lexical Bindings

Everything that is wrong in museums starts with wall labels

Revision 2025

Porting Lean to the ESP32-C3 RISC-V Microcontroller

Introduction to Univalent Foundations of Mathematics with Agda

Lessons from California's HSR Project

The Tech CEO Campaign to Stop Trump from Sending Troops to San Francisco

BASIC Code

Empty Intervals Are Valid Intervals

Choosing Friction

I'd like to speak to the Bellcore ManaGeR

A US startup plans to deliver 'sunlight on demand' after dark

My First Contribution to Linux

Television and the Public Interest (1961)

Abundance: Big Tech's Bid for the Democratic Party

Google and HTTP (2018)

Payment Processor Fun 2025 – Making Your Own MSP

Meschers: Geometry Processing of Impossible Objects

1
2
3
4
5
6
7
8
9
10