Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers. Father, husband.
Compilers replace divisions by a constant with a multiplication followed by a shift. Indeed, multiplications are much cheap. Recent processors can retire 3 multiplications per cycle!!! Multiplications are really getting cheap.
Interestingly, our compilers do not use the cheapest
Decades ago, people tried to formally verify code. Essentially, you prove that the code is correct using math. It was an approach promoted by people like Dijkstra, who observed that “program testing can be used to show the presence of bugs, but never to show their absence”
Look at these numbers. Software contributions on GitHub just exploded in 2026. Exploded.
34 billion commits. Think about that.
But the bar charts don't make sense. I don't know what kind of math it is, but it is wild. Try to reconstruct the y axis.
So maybe the bar charts are
17.9 billion pushes. 34.3 billion commits. 1.3 billion pull requests merged. All in the last year.
Developers pushed code to GitHub more times in the past 12 months than in 2024 and 2025 combined with merged pull requests, averaging 3.5 million a day.
Dive into the data behind
Software around me is not improving nor is it expanding.
If AI drastically lower the cost of software… then we have a mystery, don’t we?
The answer is that building the software was never the difficult part in these cases. Our organizations have been optimized for process,
