Fast Unrounded Scaling: Proof by Ivy
Proof that the fast unrounded scaling implementation is correct. (Floating Point Formatting, Part 4)
research!rsc
Latest posts
Floating-Point Printing and Parsing Can Be Simple And Fast
Fast and simple conversion between floating-point and decimal. (Floating Point Formatting, Part 3)
Pulling a New Proof from Knuth’s Fixed-Point Printer
A birthday proof for Don Knuth (Floating Point Formatting, Part 2)
Floating Point Formatting
Topic Index
Differential Coverage for Debugging
Diffing code coverage for passing and failing runs can identify suspicious code blocks.
Hash-Based Bisect Debugging in Compilers and Runtimes
Binary search over program code or execution to find why a new library or compiler causes a failure.
The xz attack shell script
A detailed walkthrough of the xz attack shell script.
Timeline of the xz open source attack
A detailed timeline of the xz open source attack, from 2021 to 2024.
Go Changes
The way Go changes, and how to improve it with telemetry.
Go Testing By Example
The importance of testing, and twenty tips for writing good tests.
Running the “Reflections on Trusting Trust” Compiler
Ken Thompson’s Turing award lecture, running in your browser.
C and C++ Prioritize Performance over Correctness
The meaning of “undefined behavior” has changed significantly since its introduction in the 1980s.
The Magic of Sampling, and its Limitations
The magic of using small samples to learn about large data sets.
Our Software Dependency Problem
Download and run code from strangers on the internet. What could go wrong?
What is Software Engineering?
What is software engineering and what does Go mean by it? (Go & Versioning, Part 9)
Go and Dogma
Programming language dogmatics.
A Tour of Acme
A video introduction to Acme, the Plan 9 text editor
Minimal Boolean Formulas
Simplify equations with God
Zip Files All The Way Down
Did you think it was turtles?
UTF-8: Bits, Bytes, and Benefits
The reasons to switch to UTF-8
Computing History at Bell Labs
Doug McIlroy’s rememberances
Using Uninitialized Memory for Fun and Profit
An unusual but very useful data structure
Play Tic-Tac-Toe with Knuth
The only winning move is not to play.
Crabs, the bitmap terror!
A destructive, pointless violation of the rules