Small programming tricks

A lot of effective engineering comes from the accumulation of small nuggets of knowledge.

One Year of Sponsored Servo Development

Looking back on Servo's first donation-funded role.

Online Z3 Guide

An interactive online guide for the Z3 theorem prover with the ability to execute Z3 in the browser.

Keys Not Included: recovering the signing keys for US driver's license barcodes

Lucasart's Afterlife

I can hardly believe I'm writing a blog post about a game that came out 27 years ago, but here we are. Lucasfilm, at one time had a gaming subsidiary called Lucasarts, and they produced something that has never been sequeled or surpassed : Afterlife. Here is your elevator pitch for this game - "What…

Breaking the 1.58-bit Barrier for Ternary LLMs

Abstract page for arXiv paper 2609.16338: Breaking the 1.58-bit Barrier for Ternary LLMs

Comparison of Malloc() Algorithms

The Relation Between Mathematics and Physics by Paul Dirac

An Archive of Colour Gradients

My temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating it

In 2014 I wrote http_build_url, a temporary PHP polyfill for AOL's CMS. Twelve years and nearly 20 million installs later, I'm deprecating it.

CCC invites all model citizens to 40C3

The word is on the street: the Chaos Computer Club is hosting 40C3 from 27 to 30 December 2026 – Europe’s biggest hacker party, conference and platform for technology, society and civil liberties. We understand the Congress to be a huge shared stage and therefore invite you to help shape it. The Call for Participation for talks, the entertainment programme, art, punk and music opens today. Everything is getting bigger, more colourful and more beautiful. Following our moving to the Hamburg Exhibition halls, there is once again plenty of space for creative ideas. Obviously, we want to make the most of this new space, which is why we are inviting all galactic beings to the 40th Chaos Communication Congress from 27 to 30 December 2026.

Developing provably correct Rust code with Verus

Amazon uses the open-source Verus tool to mathematically prove the correctness of critical Rust code, including key components of the Nitro Isolation Engine.

Better Vector Search for Long Documents: Chunking Inside Manticore Search

An embedding model reads only the first few hundred tokens of a document and silently drops the rest. Manticore Search now splits long documents for you at INSERT time: add chunk_strategy to the vector column and pick one of five strategies. No ingest pipeline, no splitter library. On our own manual, recall@5 for deep content went from 55% to 83%.

Cloudflare/Security-Audit-Skill

A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings - cloudflare/security-audit-skill

Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations

E-ink bird frame for Raspberry Pi - real-time bird detection by audio, fully local AI, rendered as real, hand-cut 1800s bird illustrations. - arnegiacomo/fugleramme

Nvidia announces native GPU programming in Rust

In September 2026, NVIDIA announced it is leaning into native GPU programming in Rust. CUDA C++ and CUDA Python are mature, enterprise-grade toolchains…

Xiaomi Mimo 2.6 live post-training dashboard

Training metrics of the mimo-v2.6-pro and mimo-v2.6-flash reinforcement-learning runs, live from the trainer's logs.

GLM Built Its Own Inference Infrastructure

Training a 4B model to produce 81% faster query plans than Postgres

...or how to make Qwen learn query optimization via agentic reinforcement learning