A follow up to The Ofcom Files. Some notes on Ofcom’s strategy to date. As many of you know, I represent the U.S. website 4chan, pro bono, in its U.S. federal lawsuit against the UK…

Xavier Leroy

Unpaid air traffic controllers are quitting their jobs altogether as the longest government shutdown in U.S. history continues.

Marine Insight - The maritime industry guide.

Find matching acrylic paints for hex color values

Ironclad is a free software formally verified kernel written in SPARK/Ada

Meet the architects taking tumbledowns to the next level 

A federal judge says the Trump administration "overplayed its hand" by inserting partisan language into workers' out-of-office autoreplies.

🌤️ OpenCloud is the open source platform for file management, sharing and collaboration. Simple and sovereign. - opencloud-eu/opencloud

8 ways psychedelics distort our vision.

Tabloid is a real, turing complete programming language written in JavaScript, inspired by cilckbait headlines.

Fancy running Microsoft's Windows 95 on a low-cost microcontroller? Well, now you can!

A Nevada regulator accused Boring of dumping drilling fluids into a county sewage system in Las Vegas, the latest in a series of violations against the moonshot tunneling startup.

We sometimes think of the number of passes in a compiler as a measure of the compiler’s complexity. But what if we could make compiler development more approachable by fully embracing the ide…

OpenAI partially released a new model yesterday called GPT-5-Codex-Mini, which they describe as "a more compact and cost-efficient version of GPT-5-Codex". It’s currently only available via their Codex CLI tool …

Grok model descriptions and pricing