kfixjviv
No user record in our sample, but kfixjviv has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but kfixjviv has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
I don't think making this claim is helpful. Monads aren't found everywhere in code. Solving a problem which could be solved by monads doesn't automatically lead to code that works in a monad-like way, not in any…
"Everyone who has ever written a computer program has used one." Absolutely false.
You are going to be disappointed. What on earth makes you convinced that a monad can be implemented in Excel? You don't understand what a monad is, so you can't know whether Excel is "perfectly capable" of it or not.…
By the way, "throwing the rigid definition away" would be completely missing the point. The rigid definition is the essence of monads.
Each Raspberry Pi could perform a function that was notionally passed to the monadic bind operator, but really a monad is the rules under which the Raspberry Pis would be connected. From Wadler's paper "The Essence of…
The main reason that monads are restricted to fancy languages like Haskell is that the type system has to support their definition. There are some examples of attempted implementations the list monad in other languages…
Haskell's sequence is not the same as strength. Strength specifically involves pairs. Nobody seems to know where "strength" got its opaque name from. Like, nobody, not even the guy who first published the term. There is…
"Multiply connected" is the topological term used in the English-language literature on mazes.
They are referred to as "multiply connected" in the literature on mazes. Essentially, this is the mathematical way of saying that there are "islands" of hedge, not attached to the perimeter.
Previously: "[Pike is] hardly the first hard-core hacker to be ignorant of the degree to which type theory has seen dramatic advances since the 1980s." It's a comment on this quote from Pike:…
In geology, there's a literature about cable breaks caused by "turbidity currents". In particular, this 1952 paper by Heezen and Ewing is celebrated https://gwern.net/doc/technology/1952-heezen.pdf
See also: https://www.hedonisticlearning.com/posts/understanding-typin...