2011
Unsigned sizes: A five year mistake
C3 is the ergonomic, safe evolution of C. Familiar syntax, full ABI compatibility, optionals, slices, contracts and zero-cost abstractions.
2012
Rayfish, Peer-to-peer mesh VPN with no server to trust
Rayfish is a peer-to-peer mesh VPN. Connect your devices by cryptographic identity. No port forwarding, no hosted server to trust. Share a code, and you're on the same encrypted LAN.
2013
2014
How much of my observability data is waste?
After a decade in observability, one question kept coming back: how much of your data is waste?
2015
How Uber Protects Against Retry Storms
What if retries could know when they’re helping, and when they’re making things worse? Uber Engineering built error ownership to prevent and contain retry storms.
2016
Blood Pumping Mechanism of the Hoof (2020)
Blood is pumped from the heart through arteries to the hoof and is assisted in its return through a “pumping mechanism” in the hoof. This mechanism is necessary due to the position of the hoof in relation to the heart. There are no muscles in the lower leg or hoof to aid in the return of venous blood to the heart…
2017
A blueprint for formal verification of Apple corecrypto
With the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure they are faithful to the FIPS 203 and FIPS 204 specifications. To advance the state of the art for assuring critical software, we're also…
2018
Intel Core Ultra Series 3 Debut as First Built on Intel 18A
Intel ushers in the next generation of AI PCs with exceptional performance, graphics and battery life; available this month
2019
Can you reverse engineer an ASIC?
Earlier this year we published a puzzle that handed you a complete neural network and asked you to figure out what it did. The response was great, so we’ve made another one! This time, we’re going much deeper down the tech stack.
2020
Comparing Python Type Checkers: Typing Spec Conformance
Learn what it means to conform to the Python typing spec, why it matters, and the conformance status of each type checker including Pyrefly, Ty, Pyright and Mypy.
2021
Porsche will contest Laguna Seca in historic colors of the Apple Computer livery
Preview, IMSA WeatherTech SportsCar Championship, Round 4, Laguna Seca
2022
Measuring AI agent autonomy in practice
Analysis of millions of human-agent interactions shows agent turns getting longer, with software engineering making up nearly half of tool calls.
2023
Robust and efficient quantum-safe HTTPS
Today we're announcing a new program in Chrome to make HTTPS certificates secure against quantum computers. The Internet Engineering Task Force (IETF) recently created a…
2024
Wikipedia Workers to Seek Union Recognition
COMMUNICATION WORKERS UNION 24/06/2026 FOR IMMEDIATE RELEASE Wikipedia workers in Britain are setting a “global first” by becoming the first body of workers at the online encyclopaedia to seek union recognition. British-based employees at the Wikimedia Foundation (WMF) wrote a letter to mana
2025
Toyotas and Terrorists: "Why are ISIS's trucks better than ours?" (2023)
One of the hottest commodities in the military, or even for civilian contractors, is having a vehicle down range when you are deployed in the Middle East. Anyone who is someone has their own Ford
2026
AI models may be capable of self-replicating without access to a datacenter
Small AI models may be only months away from being able to self-replicate across cheap IoT devices like Android TV boxes, with no datacenter needed.
2027
Compute-efficient pretraining and scaling to trillion-parameter models
Research update on compute-efficient pretraining and scaling to trillion-parameter models.
2028
Sperm Whales blow bubbles to achieve restful, vertical sleep
New research from the University of St Andrews and Université de Neuchâtel, has uncovered the mechanism which allows sperm whales to sleep in a unique vertical position, just under the ocean surface.
2029
MathCode, Mathematical Coding Agent
A terminal AI coding agent that formalizes math problems into Lean 4 theorems and proves them.
2030
2031
2032
Hunting Down a Go Runtime Bug on 32-Bit Embedded Systems
A customer's Go application kept crashing on a 32-bit embedded Linux system. We traced the fatal netpoll error to a pointer aliasing bug in the Go runtime.
2033
The Resolv hack: How one compromised key printed $23M
Web3 security lessons from the Resolv hack: how a compromised key enabled a $23M exploit, what went wrong, and how DeFi protocols can prevent similar attacks.
2034
Never talk to the police
Always talk to a criminal defense attorney before you tell the police anything or consent to a search without a warrant. When I was a prosecutor, the first think I would ask when given a case was, "did he say anything?"
2035
2036
Every Model Cheats
This post presents a controlled prompt-ablation study: 23 tasks, three prompt conditions, 1,518 individually audited traces, and a simple question: can you prompt away cheating?
2037
The Sovereign Tech Fund invests in Scala
We’re truly excited to share that Scala has received an investment from the Sovereign Tech Fund to strengthen Scala’s long-term security, maintenance, and developer experience.
2038
Claude designed protein binders against scorpion neurotoxins
We asked an internal research Claude model to design minibinders (small proteins that attach tightly to a target) against scorpion neurotoxins.
2039
The Zettelkasten method in Obsidian
Learn how to set up a working Zettelkasten in Obsidian: note types, vault structure, MOCs, and how AI handles the maintenance that kills most systems.
2040
Government Rails Site Hit Hours After CVE Patch
Rietta patched a government client's Ruby on Rails site within hours of a 9.5 CVSS ActiveStorage CVE. Exploit attempts began before business hours resumed.