(Thanks to Amit Sahai for spurring me to write this post!) The Background We all remember Gödel’s First Incompleteness Theorem from kindergarten.  This is the thing that, given a formal syste…

That rotation curves become flat at large radii is one of the most famous results in extragalactic astronomy. This had been established by Vera Rubin and her collaborators by the late 1970s. There …

Investigates optimizing 'wc', the Unix word count program - robertdavidgraham/wc2

I needed to log when a light switched on and off during the night as part of debugging an oddly behaving movement sensor. To do that I built...

On June 14, 2024, less than three weeks after Unified filed an ex parte reexamination , the Central Reexamination Unit (CRU) granted Unified’s request, finding substantial new questions of patentability on the challenged claims of U.S. Patent 7,949,785…

AdonisJS is a TypeScript-first web framework for building web apps and API servers. It comes with support for testing, modern tooling, an ecosystem of official packages, and more.

For over a century, lawmakers have exempted politically favored organizations and industries from the tax code. As a result, the tax-exempt nonprofit economy now comprises 15 percent of GDP, roughly equal to the fifth-largest economy in the world.

Frustrated Facebook and Instagram users are heading to small claims court in a last-ditch attempt to get help from Meta.

The social-media service pushed adult sexual content to teen accounts months after Meta said it would provide an “age-appropriate” experience for minors, according to tests by an academic researcher and the Journal.

The star of films including The Hunger Games and Animal House has died after a long illness.

Over the summer, I spent about two weeks in Tajikistan, mostly in Dushanbe (the capital) and various points along the Pamir Highway, which borders Afghanistan and later leads into Kyrgyzstan. This …

XNU kernel buffer overflow, introduced in macOS 14.0 and fixed in macOS 14.5.