ex3xu

11 ms·

31.
by ex3xu 5y ago
I think as musical training increases, the amount of energy required for specific kinds of bimanual motor coordination tasks decreases, see Haslinger, 2004 [0]. Regardless, looking at the literature, logitudinal studies seem to indicate tha
32.
by ex3xu 5y ago
Reminds me of how civil engineers design structures to bear loads that are at least double the actual maximum load the structure is ever expected to see. Imagine the spectacular catastrophes that would come from centering bridge design arou
33.
by ex3xu 5y ago
My intuition would be that the kind of multitasking that can cause damage refers to trying to do multiple tasks that require a certain threshhold of focused attention and executive function, whereas musical training allows for the encoding
34.
by ex3xu 6y ago
A similar sentiment from one of Haruki Murakami's characters in Norwegian Wood: The better I got to know Nagasawa, the stranger he seemed. I had met a lot of strange people in my day, but none as strange as Nagasawa. He was a far more
35.
by ex3xu 7y ago
Ironically, North Korea has a national health service and free universal health care for all its citizens. [0] [0]: https://en.wikipedia.org/wiki/Healthcare_in_North_Korea#Heal...
36.
by ex3xu 7y ago
Open question: if Functor should be called Mappable, what would you call Applicative? EvenMoreMappable? Similarly, if Semigroup should be called Appendable, what would you call Monoid? And is there a consensus on Monad as well?
37.
by ex3xu 7y ago
> Names can’t transmit meaning, and so a name shouldn’t be judged on how well it transmits meaning. That doesn’t mean that names can’t be judged at all - there are good and bad aspects to names. Names can't transmit the complete mea
38.
by ex3xu 7y ago
There's a pretty good outline of which kinds of projects Haskell is well suited for by Gabriel Gonzalez here: https://github.com/Gabriel439/post-rfc/blob/master/sotu.md In terms of long-term jobs, I
39.
by ex3xu 7y ago
I actually read a book on Functional Programming in Scala [0] as my introduction to FP, so I had a little understanding of concepts in functional programming already, but in terms of just Haskell my recommendation would be that Get Programm
40.
by ex3xu 7y ago
Haskell. A couple very solid books for Haskell came out in 2019 -- Get Programming with Haskell by Will Kurt, and Practical Haskell by Alejandro Serrano Mena -- and I was lucky enough to find a Functional Programming Meetup group in my area
41.
by ex3xu 7y ago
Yes you are correct, and Pach is noted as one of the most frequent collaborators with Paul Erdos. My apologies, I no longer have the option to edit my post to correct the spelling.
42.
by ex3xu 7y ago
I love the tomato juice story from The Man Who Loved Only Numbers: > Graham was not the only one who had to put up with Erdös's kitchen antics. "Once I spent a few days with Paul," said Janos Path, a fellow Hungarian emigr
43.
by ex3xu 7y ago
Isn't this why service-level agreements exist? If the nines of uptime are that important to your business and you don't want to be a gnat on a windshield, you've got to give the vendor some financial incentive to pay attentio
44.
by ex3xu 7y ago
Thank you for the clarification. Following up on this, I found a blog post [0] that explains why you don't get bizarre consequences like the Banach-Tarski paradox this way: > [The constructivist method] avoids the basic problem with
45.
by ex3xu 7y ago
Thank you, this helps my understanding.
46.
by ex3xu 7y ago
You're right. Wikipedia mentions that Voevodsky's model is considered to be non-constructive since it uses the axiom of choice in an ineliminable way. > The problem of finding a constructive interpretation of the rules of the M
47.
by ex3xu 7y ago
As a layman I'm curious about the state of constructivist mathematics and intuitionism since the tragic passing of Vladimir Voevodsky in 2017. I recall reading about the Coq proof assistant, homotopy type theory, and univalent foundati
48.
by ex3xu 7y ago
I think Maria Popova from Brainpickings expands on this topic pretty well: https://www.brainpickings.org/2015/03/16/boredom/
49.
by ex3xu 7y ago
You might be interested in the Irony Curtain [0], which came out fairly recently. And though it's a bit debatable if their games could be considered point-and-clicks, I still hope someone pops up to fill the void left by Telltale Games
50.
by ex3xu 7y ago
I'm just here to suggest that anyone looking for wholesome, intellectually challenging games for kids should look into both the Dr. Brain and Incredible Machine series. The later entries especially in both series still hold up today as
51.
by ex3xu 7y ago
I mean, I don't think Graham is advocating at all for actively harmful beliefs. He's advocating for the explicit understanding of why these beliefs are harmful, rather than using the fact that they are taboo as an explicit justifi
52.
by ex3xu 7y ago
As appealing as the title of the article is, I basically came away from this piece feeling like I had just read a snarkier, less useful version of Paul Graham's essay on moral fashion [0] back from 2004. The problem with following fash
53.
by ex3xu 7y ago
I personally feel that there are so many interesting true stories in mathematics and physics that I would point you towards nonfiction stuff like Fermat's Enigma by Simon Singh, the Logicomix graphic novel about Bertrand Russell, or an
54.
by ex3xu 7y ago
For a layman's introduction to the case for plant consciousness, Monica Gagliano and her plant consciousness experiments were featured on Radiolab last year (transcript available): https://www.wnycstudios.org/story&#x2F
55.
by ex3xu 7y ago
I can't get past the paywall to read the original Population Explosion paper that Gott uses, but the dumpster fire premise seems to comes from the assumption of tragedy-of-the-commons-style environmental degradation. The Wikipedia on E
56.
by ex3xu 7y ago
Interesting, I didn't know that and I stand corrected.
57.
by ex3xu 7y ago
In lieu of German Tank serial numbers, Gott's original paper uses projections from Ehrlich and Ehrlich's 1990 Population Explosion paper that the world's population will top out at around 10 billion, then essentially cause a
58.
by ex3xu 7y ago
I think you're missing that this columnist may in fact be a sensationalist hack. As far as I can tell, nowhere in Gott's paper does he imply that we will end in less than a thousand years. From a quick scan of the paper, Gott&#x27
59.
by ex3xu 7y ago
This article reminds me of the analogy made in the anti-procrastination book the Now Habit [0] called "raising the board". When you or your company culture tie the stakes of making a mistake into some kind of validation of your wo
60.
by ex3xu 7y ago
> Obviously, less time spent is better, but what really matters is the timing... On Windows the upgrade is always inconvenient, because you have no way of controlling it. True, very good point in favor of user control. Linux has the adde

More ›