Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feederresearch.swtch.com
research!rsc
Get the latest updates from research!rsc directly as they happen.
Follow now 58 followers
Latest posts
Last updated 26 days ago
Fast Unrounded Scaling: Proof by Ivy
26 days ago
My post “Floating-Point Printing and Parsing Can Be Simple And Fast” depends...
Floating-Point Printing and Parsing Can Be Simple And Fast
26 days ago
Introduction A floating point number f has the form f=m·2e where m...
Pulling a New Proof from Knuth’s Fixed-Point Printer
about 1 month ago
Introduction Donald Knuth wrote his 1989 paper “A Simple Program Whose Proof...
Floating Point Formatting
about 1 month ago
These are the posts in the “Floating Point Formatting” series which started...
Differential Coverage for Debugging
10 months ago
I have been debugging some code I did not write and was...
Hash-Based Bisect Debugging in Compilers and Runtimes
over 1 year ago
Setting the Stage Does this sound familar? You make a change to...
The xz attack shell script
almost 2 years ago
Introduction Andres Freund published the existence of the xz attack on 2024-03-29...
Timeline of the xz open source attack
almost 2 years ago
Over a period of over two years, an attacker using the name...
Opting In to Transparent Telemetry
almost 3 years ago
Earlier this month I posted “Transparent Telemetry for Open-Source Projects” making the...
Use Cases for Transparent Telemetry
about 3 years ago
I believe open-source software projects need to find an open-source-friendly way to...
The Design of Transparent Telemetry
about 3 years ago
I believe open-source software projects need to find an open-source-friendly way to...
Transparent Telemetry for Open-Source Projects
about 3 years ago
How do software developers understand which parts of their software are being...