Kednicma

30 ms·

211.
by Kednicma 6y ago
You may be interested in a detailed breakdown of authorship of various parts of the Bible [0]. In summary, to a first approximation, only the books written during the Babylonian Exile and during the preaching of Peter and Paul were written
212.
by Kednicma 6y ago
This is part of why I go directly for discrediting the Bible as part of my refutation. There's no point in letting folks shelter themselves behind the delusion that the Bible is historically accurate enough to be useful for scientific
213.
by Kednicma 6y ago
I'm reminded of the Zen koan where the students cannot tell whether the flag is moving in the wind or the wind is moving around the flag. The master tells them that the mind, neither the flag nor the wind, is what is moving. Both sides
214.
by Kednicma 6y ago
Because Harrington ended up not being as valuable in the NFL as everybody expected. His career's basically complete as an athlete and there will not be more windfalls of cash. Rumor is that he was willing to part with the property for
215.
by Kednicma 6y ago
Willamette Week is one of the two standard rags in the Portland area (the other is the Portland Mercury) and this story was also in the Oregonian (aka OregonLive) from your own link. It matters to Oregonians quite a bit; perhaps it's n
216.
by Kednicma 6y ago
You are almost to one of the big tenets of Marxism: Employers have it out for employees; managers do not respect laborers. I think that what's missing from your insight is that every corporation, simply by dint of its legal structure
217.
by Kednicma 6y ago
Google has a public AGPL policy [0], so advocating for it will not have the effect that you like. [0] https://opensource.google/docs/using/agpl-policy/
218.
by Kednicma 6y ago
If each FAANG released backend code: * Facebook: We'd learn what sorts of data collection and aggregation they do, and how metrics are planned and gamed. * Apple: We'd learn something about the App Store rejection policy, and we&#
219.
by Kednicma 6y ago
I think it's hilarious that you're disgusted. How awful would it be if, when you purchased a computer, you were entitled to all of the code that comes with the computer, and full documentation and toolchains? How much worse woul
220.
by Kednicma 6y ago
You could stand to actually watch the video I linked. To quote its opening line: > Human rights today have the kind of status that the divine right of kings had in the Middle Ages. They are so deeply ingrained in our political thinking t
221.
by Kednicma 6y ago
Recall that "ontic" and "epistemic" are how we distinguish real facts about reality from observer-dependent knowledge about reality. On your (1), the typical interpretations for QM say that the wavefunction is not ontic,
222.
by Kednicma 6y ago
Please do read further on Tarski's work. Specifically, Tarski's Undefinability of Truth is a formal result which says that the typical language that we use to describe the world is so powerful that it cannot define its own notio
223.
by Kednicma 6y ago
I am not a professional philosopher, so I will rely on the collected knowledge of the Stanford Encyclopedia of Philosophy [0]. Of the logicians/computational theorists I mentioned, three have their own entries [1][2][3] and are each as
224.
by Kednicma 6y ago
No, the entire conception of rights is tied to liberalism, and itself is not the end of human moral ideology. Rights are good compromises: If we all broadly agree that humans are entitled to some right R, then R will become a social institu
225.
by Kednicma 6y ago
Wikipedia has a fine overview on all of this. All liberals, from classical liberals to metaliberals, believe in basic tenets of freedom which are required to have a consenting and aware government, like free speech and freedom to keep priva
226.
by Kednicma 6y ago
To get to facts: One of Q's tenets is that Pizzagate [0] was in the right direction. I humbly but firmly suggest that it was in the wrong direction. [0] https://en.wikipedia.org/wiki/Pizzagate_conspiracy_theory
227.
by Kednicma 6y ago
This is fair. I was thinking of Bohr's work on establishing a proper school of QM. This is also why I didn't list Einstein et al.; he rejected that school and its work. It's true that many pre-QM concepts were laid down betwe
228.
by Kednicma 6y ago
No, the next decade, the 1930s, was the philosophical goldrush. Von Neumann, Gödel, Turing, and Tarski published their collective destruction of the formalist and structuralist programs; Bohr, Heisenberg, and Pauli laid down the foundatio
229.
by Kednicma 6y ago
I can't help but note that Intuit, who profits off of complexifying the "simple" tax code, cannot see the complexity in their "simple" test automation framework. Conway's Law strikes again.
230.
by Kednicma 6y ago
Oregon has had voting by mail for decades. We're only worried about being suddenly disenfranchised. And don't worry, Republican legislators in Oregon can and will throw as many tantrums as they like, as long as they don't i
231.
by Kednicma 6y ago
It took me less than a minute to debunk this, finding [0] listing six shootings since December 2019. School shootings are about schools, not about guns or shooters; as long as we run schools like preludes for prisons, we're going to co
232.
by Kednicma 6y ago
In ten words or less: Sets are just 0-categories [7][8]. With more words: Set theory is just 0-category theory. This is obvious today, but two decades ago, Friedman couldn't just go to nCat [0] and educate himself. Friedman repeatedly
233.
by Kednicma 6y ago
The picture that the Oregonian ran with this article is of the characteristic red-and-white outgoing ballot envelopes used in Oregon; I think that we all are thinking not just of mail but of ballots when reading this news. Don't tell t
234.
USPS removes mailboxes in Portland and Eugene, cites ‘declining mail volume’(oregonlive.com)
6 points by Kednicma 6y ago|8 comments
235.
by Kednicma 6y ago
Friedman and Simpson are, unfortunately, dinosaurs who don't grok categorical concepts. This became clear on the FOM list when Pratt and other abstract algebraists who know category theory but do not depend on it were able to pry a
236.
by Kednicma 6y ago
I'm obliged, I suppose, to list off a few big wins. From the 50s and 60s, we have classic theorems which use abstract nonsense to generalize big statements about entire classes of objects, like Freyd's adjoint functor theorem [0],
237.
by Kednicma 6y ago
As grand-nibling comment suggests, it's primarily about vocabulary and definitions, but also how objects can be put together to form new objects. In combination, we end up with "universal properties", behaviors of objects whi
238.
by Kednicma 6y ago
"Of course we do not expect you to know about category theory, nor do we want to encourage you here to do so." Ugh. Well, I can encourage you to do so, with some Baez [0][1]. [0] http://math.ucr.edu/home/bae
239.
by Kednicma 6y ago
This is extra-disappointing because Oregon has previously successfully gotten Facebook to cooperate when planning its large infrastructure projects. The Prineville facility was designed with local environmental and labor concerns in mind, b
240.
by Kednicma 6y ago
To add some substance, I used to have PyPy commit ability. I also have contributed almost no code to PyPy. This isn't for lack of wanting; my project has produced several interesting RPython modules which could plausibly be shared with

More ›