╭━━━╮╱╱╱╱╭╮ ┃╭━━╯╱╱╱╭╯╰╮ ┃╰━━┳━━┳┻╮╭╋━┳━━┳━╮ ┃╭━━┫╭╮┃╭┫┃┃╭┫╭╮┃╭╮╮ ┃┃╱╱┃╰╯┃┃┃╰┫┃┃╭╮┃┃┃┃ ╰╯╱╱╰━━┻╯╰━┻╯╰╯╰┻╯╰╯
77 karma · joined August 9, 2021
╭━━━╮╱╱╱╱╭╮ ┃╭━━╯╱╱╱╭╯╰╮ ┃╰━━┳━━┳┻╮╭╋━┳━━┳━╮ ┃╭━━┫╭╮┃╭┫┃┃╭┫╭╮┃╭╮╮ ┃┃╱╱┃╰╯┃┃┃╰┫┃┃╭╮┃┃┃┃ ╰╯╱╱╰━━┻╯╰━┻╯╰╯╰┻╯╰╯
Here is something that started as a specification of the input format of one particular program-tool. That input format was then cloned and mutated by dozens of me-too program-tools. Eventually that format was able to support an interpretation as a language with its own language-like abstractions. That is astonishing and I think was not on the radar of computing machinery people in the 50s.
"The intrinsic functions ACOSPI, ASINPI, ATANPI, ATAN2PI, COSPI, SINPI, and TANPI are trigonometric functions in which angles are specified in halfrevolutions (that is, as multiples of π)."
Suddenly, it was possible to imagine running advanced software on a PC, and not have to spend 25,000 USD on a workstation.
— C. A. R. Hoare
"Is well-knew the refran: of the said to made it has a good road."
One out of three ain't bad.
"Column-major order", that's the one. That just says that there is an implied order of elements of an array. This enables efficient mapping of an array of the language definition to storage with a linear address space. It does not require storage to be organised in any particular way.
"Contiguous memory". Not really, the language definition does not even use the word "memory". The language is carefully defined so that you can implement it efficiently on a linear address space in the presence of caches (no accident that IBM machines in the 80s were pushing caches while CRAY was pushing vector processors). The term "contiguous" in the language definition just means a collection whose parts are not separated by other data objects.
"no hidden aliasing between arrays". This is a crude mis-statement of the actual rule of argument association across subroutine/function caller-callee boundary. The rule takes pages to describe fully. A language that still has EQUIVALENCE statement (although marked obsolete) cannot be said to disallow aliasing. It is still quite hard to find a compiler that will reliably diagnose inadvertent aliasing at runtime. The actual rule in Fortran says something like "thou shall not cause any effect on (dummy name) A through a reference to some other name, unless (some-clause-x or y or z)".
SSA (IBM, 1988) introduced the "Computed COMEFROM".
"Byzantine generals", anyone?
But here, you don't present any argument that your recommended course of action will have a desirable outcome, or any outcome at all.
Which, ironically, fits like a glove.
Fine, I get it, the term has been over-used and has consequently become meaningless. Orwell noted the over-use of "fascist", in 1944! Feel free not to use it. But surely you are not expecting some kind of outcome?!
Historically, it is not unusual for intellectual wrong turns to persist for decades or centuries. On the flip side, brilliant insights can also be abandoned too early.
The problem here is that data has dried up and cannot guide us. Some future tech will open up new data and then progress will resume. Without data, physics becomes theology.
__________________________________________ Feynman's talk "Seeking New Laws" excerpt: "But the age that we live in is the age in which we are discovering the fundamental laws of nature. And that day will never come again. I don’t mean we’re finished. I mean, we’re right in the process of making such discoveries. It’s very exciting and marvelous, but this excitement will have to go.
Of course, in the future there will be other interests. There will be interests on the connection of one level of phenomena to another, phenomena in biology and so on, all kinds of things. Or if you’re talking about explorations, exploring planets and other things. But there will not still be the same thing as we’re doing now. It will be just different interests.
Another thing that will happen is that if all is known– ultimately, if it turns out all is known, it gets very dull– the biggest philosophy and the careful attention to all these things that I’ve been talking about will have gradually disappeared. The philosophers, who are always on the outside, making stupid remarks, will be able to close in. Because we can’t push them away by saying, well, if you were right, you’d be able to guess all the rest of the laws. Because when they’re all there, they’ll have an explanation for it.
For instance, there are always explanations as to why the world is three dimensional. Well, there’s only one world. And it’s hard to tell if that explanation is right or not. So if everything were known, there will be some explanation about why those are the right laws.
But that explanation will be in a frame that we can’t criticize by arguing that that type of reasoning will not permit us to go further. So there will be a degeneration of ideas, just like the degeneration that great explorers feel occurs when tourists begin moving in on their territory."
https://news.ycombinator.com/item?id=30022022 How ISO C became unusable for operating systems development