-
Their words
All those things you can easily measure in isolation, and you can also optimize for them quite locally. But these local optimizations do not produce global optimums, and the fewer of us are looking at the output, the less it matters.
Astra for Coding: Why Are We Doing This Again?lucumr.pocoo.org
Related posts
Nelson Elhage Mastodon
A while ago, @regehr was tooting about optimizing brainfuck, and I speculated that peeling off the first iteration of a loop might make the loop body easier to optimize: https://mastodon.social/@nelhage/113241955294210125 Today I learned that RPython/PyPy use a very similar idea to support loop optimizations in their trace optimizer: https://dl.acm.org/doi/epdf/10.1145/2480360.2384586 By peeling off a single loop iteration, the optimizer can "see" that the body proper is dominated by the first iteration, and specialize much harder.
peelingspecializeoptimizations
The the words it uses that this site has seen least often elsewhere. Posts are matched on those words alone — nothing here is a summary of this one.
Top people
Showing Profile →
Hiding
Hiding
7 September
1 September
26 August
-
Their words
But it's the cost of the compiler not being able to do any optimizations. That's the actual cost. And that cost can be severe.
19 August
-
Their words
if you treat computing as this onion where you just keep peeling back the layers, there's always something interesting behind the scenes. And the more of those layers that you can peel back and understand, I think in some ways the better you can optimize for that world.
28 July
-
Their words
But great airplanes are incredibly integrated and everything affects everything else. uh the the best airplane design is interplay of propulsion, of aerodynamics, of structures, of all kinds of optimizations, how you fit the systems into it.
6 February
-
Their words
I've realized that performance engineering as we know it may not be enough - I'm thinking of new engineering methods so that we can find bigger optimizations than we have before, and find them faster.
29 November 2025
3 August 2025
-
Their words
A new performance team can likely find enough optimizations to halve infrastructure spend in their first couple of years, even for companies that have been using commercial performance or observability tools.
25 February 2024
20 December 2022
Nothing matches.
What is a korrent?
A korrent is a belief a person has stated in their own words: one sentence stating the claim, backed by a quote and a source, kept at korrents.com.
Under a name here, the quoted block is what they actually said. The korrent beneath it is the claim those words support, in korrents' wording — tap it to see the record, its source, and who else holds it.
Nobody here wrote their own korrents. They are compiled from public statements, and a person can change their mind, which is recorded too.
About the English under a post
Some people here publish in a language other than English. Where they do, this site shows a machine translation beneath the post, in this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the serif above is exactly what the person published, and it is what to quote them on. A translation can be wrong in ways that matter, especially about tone.
Only the post's own words are translated. A quoted post, a linked article and a belief on korrents.com are left in their original language.