HN user
I guess "IR" is "intermediate representation" while "MLIR" [1] ("Multi-Level Intermediate Representation") is an IR from Chris Lattner/LLVM that is designed to be modular and extensible. For the uninitiated, I think [2] shows how the current Julia IR is generated and used in the Julia JIT compilation process
I did not see _alternator_'s comment as asinine. I like a venue where people who have some expertise feel comfortable enough to share it, and are not criticized for doing so
Great visualization!
I'm no soccer/football expert, but it seems to me that the most common TV camera shots are from the sideline at midfield. The (effective) camera for these shots are from high above one corner of the field, and the field is (effectively) tilted. This camera-on-the-corner shot may be good in some cases, but when showing the live back-and-forth, I'd prefer it to be in in the standard position of midfield, so as to not favor one team or another
For Ingalls Wilder, see the following
https://en.wikipedia.org/wiki/Laura_Ingalls_Wilder#Political...
That's an enjoyable read!
Mark Twain is America's Homer
One aspect of Huckleberry Finn (the novel) that I think is relevant today is the spectacularly stupid zero-sum conflict between the Grangerfords and the Shepherdsons. It seems relevant to the US's politics and many international conflicts
Thanks!
The title of the article says "Are Argentina being treated favourably at World Cup?", while the first sentence says "Argentina are throwing everything at the defence of their World Cup title..." Is the noun "Argentina" somehow considered plural, or is the BBC hiring poor English speakers?
though the article doesn't say it in the abstract (and no where else I looked), SKA stands for "square kilometer array" and is a telescope
zero-knowledge proofs are a well-known tool in cryptography [1]. All Google is sharing is the library to implement it. Google would not have access to the information any more than they have access to the bank info of people who use Android or Gmail.
mb go back and split this into multiple pull requests
The URL above is wrong. At present it is https://www.bloomberg.com/news/articlehttps://www.bloomberg....
I guess it should be https://www.bloomberg.com/news/articles/2026-06-25/apple-to-...
Daniel Kahneman: "I can explain it only by a weakness of the scholarly mind that I have often observed in myself. I call it theory-induced blindness: once you have accepted a theory and used it as a tool in your thinking, it is extraordinarily difficult to notice its flaws. If you come upon an observation that does not seem to fit the model, you assume that there must be a perfectly good explanation that you are somehow missing. You give the theory the benefit of the doubt, trusting the community of experts who have accepted it."
mb related to choice supportive bias
I don't think the out loud or someone listening / reacting matters at all here. Suspect it's entirely this:
>The thought that was comfortable as a vague impression has to become a sentence, and sentences have structure.
I wonder if there's a difference between people who have a strong inner voice and those with no inner voice (Anendophasia). I.e. do people w Anendophasia do better on their own than those with a strong inner voice?
Are you sure you're looking at the right paper? I don't find the sentence you mention in the paper.
I grow my own beans and harvest rain water from my roof to use in my coffee ritual and ... am happy to let others do their own thing
to that end, i'm not sure why it exists, except that it's truly a unique style.
Many people swim as a form of exercise. Fly is exercising different muscles and allows me to get my heart rate up higher than freestyle
Fly is useful to train for other strokes
Perhaps more importantly, I think that having a different stroke to do makes swimming more interesting. Whether doing sets as part of a swim team or on your own, it's more interesting when you can vary things. The more swimming is interesting, the easier it is to enjoy and keep doing it
give Apple some time; they'll add ads and otherwise enshitify the app
To be explicit, if one separates ownership rights and development rights, and gives the development easement to a conservation trust/foundation that has a mandate to never sell them, I guess things will go better. There are land conservation trusts all over the US and if there isn't one you can create one.
To be clear, I guess that a city who had ownership rights but not development rights could be stupid and ignore a conservation easement, but I guess that is not likely.
Is there a story behind the hash-like Github username [1], email address [2], and HN usernames [3]?
[1] https://github.com/3WyUFvDOdCbBw7gOZHwcfgKF
[2] IZ1zPtHyDX5b3s7iLYS2zRoz5 @ proton.me
Sounds like a "dickover", a term coined by John Gruber: https://daringfireball.net/2026/05/what_is_a_dickover
I would love Pluto but am completely put off by the output of a command being shown above the command that creates it. Sure, maybe the whole notebook is reactive, and I shouldn't care, but I still see Pluto as producing something close to a document or web page, which I want to read from top to bottom, and can't do with Pluto. This single feature/problem has kept me away from Pluto
Seems to me that these lattices and error-correcting codes are very close to each other...
mb see https://www.amazon.com/Lattice-Coding-Signals-Networks-Quant...
...the constraints imposed in building large software systems are the limitations of our own minds.
There are always constraints and limitations, including those to build and provide energy for software, and also the societal impacts. I guess the designer of Bitcoin and of current AI datacenters ignored constraints in the way described in the quote and the world is now paying the price in higher carbon emissions and energy prices
Quoting the article:
Milton Love, a marine biologist at the University of California’s Marine Science Institute in Santa Barbara, Calif., says the fish's muppet-like appearance demonstrates "the awesome power of natural selection." ... "Or, and here is another hypothesis, Gaia created this fish after having one too many of those rum drinks that come with those little umbrellas."
those who do have capital and earn their income from labor...
I meant "those who do NOT have capital ...
"The Great Tax Wars" by Steven R. Weisman is about the debate about taxes during the progressive era. On p 123 [1] we read
“Since 1860, federal taxation had increased sixfold, yet the tax burden was primarily borne by the poor. At the same time, corporate profits had increased tenfold, much of it untaxed. It cost rich Americans 8 to 10 percent of their earnings to finance the government, while the poor paid taxes equivalent to 75 to 80 percent of their savings.”
[1] https://www.google.com/books/edition/The_Great_Tax_Wars/kw-Q...
I think social democracy is, by its nature, trying to be a humane system while allowing a form of capitalism. The Nordics may not be a perfect example of social democracy, but a useful one. Looking closer to home, the progressive era in the US was all about making society more humane while still allowing capitalism. In the sense of capitalism of these examples, I definitely think it can be humane.
For a more recent example, listen to this podcast episode: https://www.acquired.fm/episodes/vanguard