Writing

Validation is your agent's bottleneckLLM
Mar 2026
An incredibly short and informal introduction to formal logicTutorials
May 2020
The Power of a Writing Challenge
Mar 2020
Building a Webmention Receiver and Sending WebmentionsWeb
Dec 2019
An Introduction to HTTP: The Foundation of the WebWeb, Tutorials
Dec 2019
Implementing Webmention: Endpoint DiscoveryWeb
Nov 2019
Adding Addition to JSSystems
Nov 2019