theaeolist

11 ms·

61.
by theaeolist 6y ago
And the evidence for these considerations is what?
62.
by theaeolist 6y ago
To understand recursion first understand recursion on a recursive data structure (list, tree). It is very natural and there are loads of interesting algorithms. General recursion is more difficult to understand algorithmically so leave it f
63.
by theaeolist 6y ago
That's because in order to understand recursion you must first understand recursion.
64.
by theaeolist 6y ago
I met DK when he was visiting my university. So "his" office was the office he was assigned when visiting. He is the most wonderful person you can imagine. He came to my office and he introduced himself in the most affable way. We
65.
by theaeolist 6y ago
It's not true, obviously. I have been in DK's office, I have seen him read and write email.
66.
by theaeolist 6y ago
Indeed. A high-level programming language (e.g. Python) does not allow you to do _more_ than assembly but _less_. But it helps you declutter the presentation to such a great extent that realistically you could not write Python program in as
67.
by theaeolist 6y ago
Yes, it is the case here as well. Reducing terms can be tricky because of distributive laws. The graph-like representation makes reduction algorithmically easier.
68.
by theaeolist 6y ago
Maybe you should read the article?
69.
by theaeolist 6y ago
Any similar suggestions for card games, especially Poker?
70.
by theaeolist 6y ago
In tests/capita US is 42nd. https://www.worldometers.info/coronavirus/#countries
71.
by theaeolist 6y ago
These are pretty, but given the inconsistent testing regimes, difficult to interpret.
72.
by theaeolist 6y ago
Like in any game, you invent the rules (axioms and logical systems) then you discover the consequences (theorems), just like you invent a maze then you discover the way out.
73.
by theaeolist 7y ago
I am not sure this really is "amb" in all its glory. The incredible power of amb comes from the fact that some of the computations involved may be crashing or diverging. Crashes or non-termination are avoided by amb in favour of t
74.
by theaeolist 7y ago
Have a look at these diagrams for PL concepts, but done formally and with execution rules: https://tnttodda.github.io/Spartan-Visualiser/
75.
by theaeolist 7y ago
Indeed. The author is looking for abstractions where they are not. Abstractions are in Algebra in general and in Category Theory in particular. The essence of Algebra is abstraction. All Algebras start from some intended model but they abst
76.
by theaeolist 7y ago
Yes, this is the correct answer. For everything else you don't need monads. Monads impose an evaluation order, which Haskell by default does not have, since it is lazy.
77.
by theaeolist 7y ago
In a communication course my employer asked me to take a while back we were taught to a) never ask a yes-no question and b) never ask "why". So I would reformulate simply as "How would sshd function in this setting?"
78.
by theaeolist 7y ago
This general point does not apply to cleaners, drivers, and most of the gig economy.
79.
by theaeolist 7y ago
Simplicity cannot be a goal in itself. Is the dashboard of a F35 worse than the dashboard of a car -- because it's less simple? It's the same thing with programs and programming languages. Computers are universal devices, they can
80.
How to make functional programming more like Excel(danghica.blogspot.com)
2 points by theaeolist 7y ago|0 comments
81.
by theaeolist 7y ago
"Should". But they do nevertheless. It's a fact.
82.
by theaeolist 7y ago
> I think it's landed in the same sense as "landed a deal": got, or achieved, in this case achieving shooting them down. My buddy is a pilot and they always say "I landed the takeoff pretty good. PRETTY GOOD!"
83.
by theaeolist 7y ago
I don't know... by a cover to put on it? https://www.bakfiets.com/accessoires/cargobike-long/all-over...
84.
by theaeolist 7y ago
There you go: https://babyccinokids.com/blog/2010/02/02/do-as-the-dutch-do...
85.
by theaeolist 7y ago
Yet they will not allow any significant incoming immigration from outside the EU.
86.
by theaeolist 7y ago
One of the problems with peer review is that behind the veil of anonymity people can get away with such presumptuous nonsense. You are part of the problem.
87.
by theaeolist 7y ago
call/cc with handlers i.e. delimited continuations, yes.
88.
Not a Turing Machine(danghica.blogspot.com)
1 points by theaeolist 7y ago|0 comments
89.
by theaeolist 7y ago
Love or hate big tobacco, millions have used and loved cigarettes. What an argument! "It's nothing as dramatic". Really? Millions of unrepairable wireless earbuds heading to the landfill every year is not dramatic?
90.
by theaeolist 7y ago
The integrated circuit was not unrepairable on purpose. The amount of plastic packaging per transistor in an integrated circuit is much much smaller than for individual transistors. The point is that the Apple devices are not repairable on

More ›