analbumcover

12 ms·

31.
by analbumcover 6y ago
Homotopy type theory is a programming language whose original purpose was "math-as-code". Gaining widespread adoption among mathematicians, let alone programmers, seems unlikely as mathematicians dislike programming languages for
32.
by analbumcover 6y ago
Here is a discussion with Chomsky on the topic. https://chomsky.info/20020322/
33.
by analbumcover 6y ago
One of the points Chomsky makes frequently is that anarchism (at least in his view) is not opposed to any and all power structures. Legitimate ones can exist but they need to justify their existence.
34.
by analbumcover 6y ago
There is no irony. They are free to be as illogical as they like. I can't impose reason upon them as they clearly reject it. Empathy is entirely extraneous to the discussion. If someone responds emotionally to an otherwise dispassionat
35.
by analbumcover 7y ago
The variable labeled 'Bradley' wasn't relabeled to 'Chelsea' until well after the leak. Changing a name doesn't propagate backwards in time. Although you're certainly free to conform to whatever meaningles
36.
by analbumcover 7y ago
Wasn't it Bradley at the time of the leaks?
37.
by analbumcover 7y ago
Commercial application is irrelevant to a patent law. Patent applications need only demonstrate "eligibility, utility, novelty, and non-obviousness." Math and other basic research are ruled out on eligibility grounds, not for bein
38.
by analbumcover 7y ago
But that's the whole point, patents are awarded to things deemed inventions not things deemed discoveries. If you can't delineate between the two you can't say what is and what is not patentable. Fourier analysis couldn'
39.
by analbumcover 7y ago
You're certainly right that any constructively provable statement is classically provable, that follows from intuitionism/constructivism generalizing classical logic. But I don't see how we could interpret the following to me
40.
by analbumcover 7y ago
It sounds to me like you are giving special precedence to "numbers" in your considerations, as well as drawing your intuition for "square" from working with the integers or the reals. A square is just the result of a bin
41.
by analbumcover 7y ago
I don't see how you are distinguishing between inventions and discoveries. The "discovery" of a mathematical proof is just an application of knowledge, why aren't they patentable? The "invention" of the light b
42.
by analbumcover 7y ago
It's the other way around, classical logic is a restriction of intuitionistic logic that arises when you affirm the Law of Excluded Middle.
43.
by analbumcover 7y ago
Linear algebra can be straightforward to learn on your own, if sufficiently motivated. But homology seems altogether different. The math undergrads who see it often have a tough enough time, I can't imagine an autodidact managing.
44.
by analbumcover 7y ago
> 1. reading from left to right This seems a strange quibble when it is an arbitrary convention that doesn't really matter in the slightest. It's just the natural extension of the usual mathematical function composition f(g(x)
45.
by analbumcover 7y ago
I would hazard a guess that this will lead to more anti-mask laws since politicians, who love appearing tough on crime, will view anyone wearing a mask as a likely criminal. Which will probably decrease crime but also effectively eliminate
46.
by analbumcover 7y ago
Maybe this will lead to a Face/Off type scenario.
47.
by analbumcover 7y ago
Human rights are just an exercise by Western Society in self-aggrandizing entitlement.
48.
by analbumcover 7y ago
> companies can go from research to product that ostensibly makes a difference at scale with a speed that absolutely no University could. Isn't that the point of being an academic? That you don't have much, if any, interest in
49.
by analbumcover 7y ago
That is associated with less diverse milk microbiota. https://www.cell.com/cell-host-microbe/fulltext/S1931-3128(1...
50.
by analbumcover 7y ago
If you prefer to term Eru, together with the Ainur, a pantheon that would be more appropriate. The Valar are more like the Olympians as the subset of this pantheon most relevant to Arda. Also, I don't believe it's said that Men jo
51.
by analbumcover 7y ago
I'm pretty sure Elladan and Elrohir were perfectly comfortable traveling the Paths of the Dead as well.
52.
by analbumcover 7y ago
If Jackson could turn The Hobbit into a trilogy, surely he could turn three chapters of Tom Bombadil into a miniseries or a rock opera or something.
53.
by analbumcover 7y ago
If you read Tolkien (John, not Christopher) death is a gift given to Men that even the Valar (essentially the pantheon of Arda) do not understand. It is certainly not viewed as a negative.
54.
by analbumcover 7y ago
That's Australia for you. We're the prototypical "big government nanny state" that conservative Americans fear. This could also be motivated by the Australian government's radical opposition to clean tech.