The new geography of stolen goods
Aug 17th 2025 | Felixstowe The MSC Ruby is almost ready to leave Felixstowe. Seven remote-controlled gantry cranes are still at work, stacking containers in the ship’s bays. Some 11,000 containers pass through this port each day, making it Britain’s primary conduit to the arteries of global trade. The Ruby’s next call is Gran Canaria—then, […]
Website Is Served from Nine Neovim Buffers on My Old ThinkPad
August 18, 2025 TL;DR: I wrote a Neovim plugin in Lua that serves HTTP requests from open buffers. It has no external dependencies, it has first-class support for serving content in Djot, and it is faster than Nginx so it won’t be a performance bottleneck behind a reverse proxy. What’s not to like? There is […]
MCP Tools and Dependent Types
August 17, 2025 This summer, I’ve been playing a bit with writing an MCP server for Defold editor. The idea was to give Claude access to evaluating Lua code in the editor scripting context, so it can use the APIs available for querying and modifying game content. The best word to describe the experience is […]
MCP Doesn’t Need 30 Tools: It Needs Code
written on August 18, 2025 I wrote a while back about why code performs better than MCP (Model Context Protocol) for some tasks. In particular, I pointed out that if you have command line tools available, agentic coding tools seem very happy to use those. In the meantime, I learned a few more things that […]
Geotoy – Shadertoy for 3D Geometry
new docs login/register 3d hilbert curve author: ameo shingles author: ameo temple author: ameo rusty maze author: ameo spring author: ameo fbm terrain author: ameo torus knot author: ameo dandelion author: ameo power line author: ameo woven WIP author: ameo roots author: ameo bumpy sphere author: ameo abstract hourglass author: ameo birdbath author: ameo concrete […]
Unification (2018)
In logic and computer science, unification is a process of automatically solving equations between symbolic terms. Unification has several interesting applications, notably in logic programming and type inference. In this post I want to present the basic unification algorithm with a complete implementation. Let’s start with some terminology. We’ll be using terms built from constants, […]
A short statistical reasoning test
1. Sorting fractions under uncertainty Each fraction has to be modelled as a distribution in order take its uncertainty into account. The binomial distribution is a good choice, such that (k sim Binom(n,p)) where (k) is the number of successes, (n) the number of trials and (p) the fraction of successful trials. We are given […]
Web apps in a single, portable, self-updating, vanilla HTML file
Build web apps like you’re sculpting clay, not managing infrastructure. Modern web development forces you through layers of abstraction: config files, build steps, magic frameworks, deployment pipelines. Hyperclay returns to a simpler model: your app is a single HTML file you (and your clients) manipulate directly. Edit the file through its visual UI and it […]
EloqKV, a distributed database with Redis compatible API (GPLv2 and AGPLv3)
EloqKV is a high-performance distributed database with a Redis/ValKey compatible API. It offers features like ACID transactions, full elasticity and scalability, tiered storage, and session-style transaction syntax — all while preserving Redis’ simplicity and usability. EloqKV is engineered for developers who need a modern no-compromise database solution to power the next generation of demanding applications […]
Staff disquiet as Alan Turing Institute faces identity crisis
When the UK government announced the creation of the Alan Turing Institute in 2014 it promised a “fitting memorial” to the renowned computer scientist and artificial intelligence pioneer. More than a decade on, Britain’s leading AI institute is in turmoil as staff warn it may be in danger of collapse and ministers demand a shift […]