avmich
Joined 5,047 karma
J language beginner, space enthusiast
- avmichI think the interesting progress in programs can generally be achieved for many programs, which take input and produce output and then terminate. For servers, which wait for requests, the situation seem to be different.
- Saw something like that once, couldn't find recently, sorry. Ask Peter?..
- Peter Norvig once proposed to consider a really large grammar, with trillion rules, which could simulate some practically small applications of more complex systems. Many programs in practice don't need to be written in Turing-complete languages, and can be proven to terminate.
- It's a bad reason. A lot of best practices are temporary blindnesses, comparable, in some sense, with supposed love to BASIC before or despite Dijkstra. So, yes, it's possible there is no good reason. Though I don't think it's the case here.
- APL was pretty popular some 40 years ago among some people who didn't consider themselves programmers. An Excel of the time?
- AFAIK APL was used to verify the design of IBM 360, finding some flaws. I wrote my first parser generator in J. I think these both contradict your opinion.
I think Iverson had a good idea growing language from math notation. Math operations often use one or few letters - log, sin, square, sign of sum or integral. Math is pretty generic, and I believe APL is generic as well.
- Not only in best case. Haven't seen this elsewhere, and know only few people who know that, so, a kind of a puzzle: what are the conditions when bubblesort is always O(n)?
- Agree. I remember the names of many of these algorithms, but not the logic.
- I wonder how many places we have in modern math symbols which we use for historical reasons, rather than because it's most convenient overall. I guess we are balancing things here.
- They are one time inflated, become rigid afterwards to withstand meteoroids, I think.
- Starship tanks likely hold several bars of pressure and survive transportation to orbit...
- > This is not a real choice made by citizens
This is something which courts should consider more about other things, such as EULA and Terms and Conditions. Same reasons.
- Do we have specific numbers how much water costs and why? In a new place?
- What are the perspective of suing here?
- Maybe it's because rights should be "government CAN do X to you", and whatever isn't listed in rules government CANNOT do?
- Can you provide your logic for this conclusion?
- Do you know about Northrop Grumman Lunar Landing Challenge and Delta Clipper?
- Do you know about XCOR and Andrew Beal?
- How you can have meaningful democracy without those features?
- Fortunately, a lot of problems are embarassingly parallel.