Interrogating Hidden Assumptions in Code Review with AI
AI generated code means we need better tooling to expose and explore the behavioural changes code changes cause.
Nico's Thoughts
Exploring web technologies, computer architecture, and formal logic
Latest posts
Validation is your agent's bottleneck
A framework for validating the outputs of coding agents is what's currently missing in the AI coding agent space.
An incredibly short and informal introduction to formal logic
Formal logic is incredible and allows you to express arguments with precision you've never had before.
The Power of a Writing Challenge
Writing is powerful. That's why I undertook a 30 day writing challenge.
Building a Webmention Receiver and Sending Webmentions
Today we're going to be building our own Webmention receiver and learn how to send webmentions...
An Introduction to HTTP: The Foundation of the Web
The HTTP protocol is everywhere. You used it to receive this blog post, to pay for your bills on your bank site, or to look something up. The modern web requires it and it's the underlying base of it ...
Implementing Webmention: Endpoint Discovery
I don't think it's an exaggeration to say that protocols are at the foundation of modern civilization. From banking and the stock market to your traffic lights and radio, it's become nearly impossible...
Adding Addition to JS
Click here to see an interactive version of the 16-bit adder we develop below.(/interactives/16-bit-adder.html)