myWindoonn

14 ms·

91.
by myWindoonn 5y ago
Sure. Regardless of how wacky your definition of "functional" gets, it is possible and relatively easy to write bugs in Python, Scheme, Haskell, or OCaml; all of these languages confuse `x + y` and `x - y`. Idris, Agda, or Coq can
92.
by myWindoonn 5y ago
It's your lucky day for learning: https://en.wikipedia.org/wiki/Slave_patrol
93.
by myWindoonn 5y ago
By what mechanism, exactly, does this occur? What causes different races to commit crimes at different rates? It can't be genetic, since there's not actually any genetic markers which distinguish races (race is an illusion); so, w
94.
by myWindoonn 5y ago
Strong shades of Brexit here. The vote was clearly influenced by a concerted anti-democratic campaign, and while a second vote might be fairer, the rule of law lends heavy weight to the first corrupted vote. Irritatingly, once the vote is c
95.
by myWindoonn 5y ago
We can actually go a little deeper. In a famous pair of papers, "CONS should not actually CONS its arguments", Henry Baker argued that (cons) is emblematic of a class of primitive/simple functions which vanish under continuat
96.
by myWindoonn 5y ago
Veganism shouldn't be written off, but it's quite easy to find arguments which frustrate the clear-cut message that they hope to deliver, which is that folks should never eat animals but that folks should nonetheless eat something
97.
by myWindoonn 5y ago
There are more than two configurations for sexual chromosomes. Dr. Hooven is apparently not educated on how genes work. Edit: Downvoters are apparently not educated on genetics either. First please read https://en.wikipedia.org&#
98.
by myWindoonn 5y ago
The Mars Volta did this story years ago, in a less racist and more empathetic way, with their album "Deloused in the Comatorium". Heck, "A Girl and Her Fed" has been running this story for years. I feel like ZHL took des
99.
by myWindoonn 5y ago
> As well as offering sexier terminology, they provided new facets of understanding, and they slightly generalized the notion of a Floquet time crystal beyond the pi spin-glass phase (noting that a certain symmetry it has isn’t needed).
100.
by myWindoonn 5y ago
Gödel worried about this, and one of the lemmas leading up to their First Incompleteness theorem is that the encoding doesn't matter, as long as it's a bijection on valid algorithms. (Numbers which code for invalid algorithms, per
101.
by myWindoonn 5y ago
Look up how fluorine, the "devil's chemical", was found and isolated: https://en.wikipedia.org/wiki/Fluorine#Isolation They blew themselves up, or worse, in pursuit of scientific knowledge. Without their
102.
by myWindoonn 5y ago
The most effective bioterror attack in the USA was https://en.wikipedia.org/wiki/1984_Rajneeshee_bioterror_atta... and it killed zero people, affecting 751 people in total. Bioterror is expensive and difficult. For pri
103.
by myWindoonn 5y ago
If we continue with your analogy, then you're going to not believe it, but a squirrel came in through the kitchen window and took a cookie. It sounds unlikely, but consider: * A raccoon took a cookie a few weeks ago, and of course you
104.
by myWindoonn 5y ago
Heh, downvoted. Guess people don't like thinking about the implication. (For those who don't understand, the parent comment is willfully ignoring that most sexual relations between subordinates and managers are coerced. In this pa
105.
by myWindoonn 5y ago
Yeah, Sanger's gone batshit, and it makes me regret ever contributing to Wikipedia. What's really interesting is the pattern: First he was skeptical of WP's ability to crowdsource its editing, then he felt that WP's NPOV
106.
The Queen’s Latin or Who Were the Romans? Part IV: The Color of Purple(acoup.blog)
1 points by myWindoonn 5y ago|0 comments
107.
by myWindoonn 5y ago
You should reconsider your "until you stop" qualification: https://en.wikipedia.org/wiki/Kindling_(sedative%E2%80%93hyp...
108.
by myWindoonn 5y ago
She likely wasn't able to refuse, because of the implication! https://knowyourmeme.com/memes/because-of-the-implication
109.
by myWindoonn 5y ago
Reminds me of https://en.wikipedia.org/wiki/Royal_Game_of_Ur for which we have guessed at the probable rules and can play it today.
110.
by myWindoonn 5y ago
Sets are 0-categories, so this critique would also suggest that 0-category theories, set theories, are circular too. But we actually place formal logic before sets, and then use sets to reflectively study formal logic without infinite reg
111.
by myWindoonn 5y ago
Pick any Cartesian closed category. Says Lawvere: If there exists t : Y -> Y such that t;y != y for all y : 1 -> Y then for no A does there exist a surjection A -> (A -> Y). (He actually says something much stronger.) Note that
112.
by myWindoonn 5y ago
You're presupposing the topology of the Cantor space; how do you know that Cantor space {0,1}* corresponds to real numbers? You're also supposing that an infinite matrix is actually some sort of infinite-plus-one matrix in a handw
113.
by myWindoonn 5y ago
Category theory would help them. Yoneda's lemma tells us that elements of collections are uniquely isomorphic to the transformations which create those elements. This explains the butterfly effect where seemingly-unrelated parts of log
114.
by myWindoonn 5y ago
Confused about this. Isn't the comp-sci perspective to use the effective topos and computable partial functions? In that case, LEM fails and so must AOC; instead, we have Markov's Principle.
115.
by myWindoonn 5y ago
For future readers: z cannot return 0.5. z can only return 0 or 1. This is because z is closed over a function which returns 0 or 1, and inverts it to return 1 or 0. This should remind folks of both Turing's Halting problem and Russell
116.
by myWindoonn 5y ago
You misread their type. There is no bijection N -> (N -> 2); {0,1}* = 2* = N -> 2. Note that the given proof is a version of Lawvere's fixed-point theorem. The trick is noticing that for some x : N, f : N -> (N -> 2) can
117.
by myWindoonn 5y ago
Two thoughts. First, should undercover investigations be allowed? Should law enforcement officials be allowed to lie about their identity in order to obtain more evidence? It is not a trivial question, although I agree with you that we don&
118.
by myWindoonn 5y ago
Turing machines are countable. In some constructive settings, every real number is computable, as an axiom; those settings allow us to talk about the Turing machines which compute a particular real number.
119.
by myWindoonn 5y ago
Hi, Lawvere pummelled your position into the ground a while ago: http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf Your critique involves repeatedly crossing the boundary between the inside and outside
120.
by myWindoonn 5y ago
Some theoretical physicist (Aaronson?) once quipped something like, "If physicists had discovered P vs. NP, then they'd have said P != NP and given a Nobel for it. And then if it turned out P = NP, then they'd give another No

More ›