57,863 karma · joined January 13, 2008
(Gotta say here that I love HN. It's one of the very few places where a comment that geeky and pedantic can nonetheless be on point. :-)
a.M(b).M(c) = a.M(function(x){return b(x).M(c)})
So the next question is: why should I care about that pattern in particular?
This is the kind of explanation that drives me absolutely batshit crazy because it is fundamentally at odds with:
> Do you understand "flatmap"? Good, that's literally all a monad is: a flatmappable.
So, I think I understand flatmap, assuming that this is what you mean:
https://www.w3schools.com/Jsref/jsref_array_flatmap.asp
But this has absolutely nothing to do with "certain things are supposed to happen after other things", and CANNOT POSSIBLY have anything to do with that. Flatmap is a purely functional concept, and in the context of things that are purely functional, nothing ever actually happens. That's the whole point of "functional" as a concept. It cleanly separates the result of a computation from the process used to produce that result.
So one of your "simple" explanations must be wrong.
Sorry, I have no idea. I never actually worked on the mechanics, just the software.
To my astonishment, it turns out Don doesn't have a Wikipedia page (though the rocker bogie suspension does).
https://www.washingtonpost.com/weather/2026/01/18/winter-dro...
Not quite as old but preserved almost intact and now restored on dry land. Well worth a visit.
Were they? Can you cite an example? Because I also grew up with Dilbert, and I was never aware of it.
Well, yes, of course. This is a discussion of Michelson-Morley interferometers. In that context the word "aether" has a very specific and well-established meaning, and it is not at all the same as a quantum field.
> fields are aethers
You are free to employ the Humpty Dumpty theory of language and redefine the word "aether" if you like. But in the context of Michelson-Morley interferometers, no, quantum fields are not "aethers". The whole notion of making the word "aether" plural in that context is non-sensical. In the context of Michelson-Morley interferometers there is only one aether: the luminiferous aether, a hypothetical physical substance that exists in three-dimensional space. Quantum fields are not even remotely like that. They are not physical. They do not exist in 3-D space. They cannot be directly measured. Physical objects are emergent properties of fields, but they are not "made of" fields. The constituents of a piece of lab equipment are particles, not fields.
Really? Where in the Standard Model do I find the luminiferous aether that you suggest the apparatus is made of?
That's kind of like saying that our failure to observe invisible pink unicorns does not prove the non-existence of invisible pink unicorns, it just proves that invisible pink unicorns don't behave the way you expect them to.
Luminiferous ether was a specific hypothesis about how light works. It made a prediction, which turned out to be wrong, which falsified the theory. Whether you want to attach the description "proves the ether does not exist" or "proves the ether does not have the properties ascribed to it by the theory" is completely irrelevant.
Or maybe an invisible pink unicorn is sneaking into the lab at night and tweaking things.
"A few Savery pumps were tried in mines, an unsuccessful attempt being made to use one to clear water from a pool called Broad Waters in Wednesbury (then in Staffordshire) and nearby coal mines."
Also, the piston and cylinder (which came later) were derived from canon-making technology, so that had to come first too.