Coq: The World’s Best Macro Assembler? [pdf] [2013]
Download PDF
DIY NAS: 2026 Edition
Fourteen years ago, my storage needs outpaced my capacity and I began to look into building a network attached storage server. I had a few criteria in mind and was curious to see if anyone had _ recently_ shared something similar, but I couldn’t find anything that was relevant. In fact, I found that the […]
Functional Data Structures and Algorithms: a Proof Assistant Approach
A Proof Assistant Approach Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan Published by ACM Books This book is an introduction to data structures and algorithms for functional languages, with a focus on proofs. It covers both functional correctness and running time analysis. It does so in […]
Migrating the Main Zig Repository from GitHub to Codeberg
← Back to News page November 26, 2025 Ever since git init ten years ago, Zig has been hosted on GitHub. Unfortunately, when it sold out to Microsoft, the clock started ticking. “Please just give me 5 years before everything goes to shit,” I thought to myself. And here we are, 7 years later, living […]
The weirdest tool I own is also one of the most useful
The device has a 1080p HD camera with LED lights at the tip. Adrian Kingsley-Hughes/ZDNET Follow ZDNET: Add us as a preferred source on Google. I have a number of inspection cameras, and they’re fantastic for getting eyes into places that you normally can’t get to. But they’re typically large and bulky, designed for mechanics and HVAC […]
Ilya Sutskever, Yann LeCun and the End of “Just Add GPUs”
When two of the most influential people in AI both say that today’s large language models are hitting their limits, it’s worth paying attention. In a recent long-form interview, Ilya Sutskever – co-founder of OpenAI and now head of Safe Superintelligence Inc. – argued that the industry is moving from an “age of scaling” to […]
Running Unsupported iOS on Deprecated Devices
Created on 26.11.25 Earlier this year I demoed iOS 6 running on an iPod touch 3 – a device that Apple never gave iOS 6 to, making iOS 5.1.1 the latest build it can run A few months later I also released a script that generates an iOS 6 restore image installable on that iPod […]
Bring Back Doors – Bring Bathroom Doors Back to Hotels
I’m done. I’m done arriving at hotels and discovering that they have removed the bathroom door. Something that should be as standard as having a bed, has been sacrificed in the name of “aesthetic”. I get it, you can save on material costs and make the room feel bigger, but what about my dignity??? I […]
Why Strong Consistency?
Eventual consistency makes your life harder. When I started at AWS in 2008, we ran the EC2 control plane on a tree of MySQL databases: a primary to handle writes, a secondary to take over from the primary, a handful of read replicas to scale reads, and some extra replicas for doing latency-insensitive reporting stuff. […]
EU approves Chat Control policy
The EU Council reached an agreement on the Child Sexual Abuse Regulation Voluntary chat scanning remains in the bill despite privacy backlash The Council now prepares to start negotiations with the Parliament The EU Council has finally reached an agreement on the controversial Child Sexual Abuse Regulation (CSAR) after more than three years of failed […]