Kednicma

13 ms·

91.
by Kednicma 6y ago
"I don't say this lightly; this is the most upset I've ever been during this show," says the producer, over an hour in. I agree; we all need to be taking a hard look at what our industry is producing. Facebook employees,
92.
by Kednicma 6y ago
"liberal" is too wide of a brush, basically; most folks are liberal (and also conservative!) and so the label brings in too many folks. Rogan's further to the left than the "liberal" centrist media; if it were not f
93.
The Republican Party is an authoritarian outlier(vox.com)
8 points by Kednicma 6y ago|0 comments
94.
by Kednicma 6y ago
"It's like poetry; it rhymes." ~ George Lucas
95.
The Battle of Philippi (42 BCE)(youtube.com)
1 points by Kednicma 6y ago|1 comments
96.
by Kednicma 6y ago
The current situation is that it's like Karnaugh maps: If there are overlapping clauses and default/generic implementations, then yes, typeclasses/traits/interfaces can cut down on the amount of code needed. However, i
97.
Entropic Dynamics, Time and Quantum Theory (2011)(arxiv.org)
1 points by Kednicma 6y ago|0 comments
98.
by Kednicma 6y ago
What are they going to do, invade their own citizens a month before election? They have no leverage even if there were veracity to their claims and a legal basis for DOJ to interfere.
99.
by Kednicma 6y ago
Since sets are 0-categories, we can't escape set theory when talking about structures like the natural numbers. A natural numbers object is a feature of a topos, preserved by topos functors (geometric morphisms). Nobody told me this de
100.
by Kednicma 6y ago
It's always worth recalling why we bother with set theory. Philosophical objections like Leśneivski's are extremely valuable and good insights which we cannot discard trivially. Maybe sets are not good things to study. The main
101.
Quantum Casino – Less Than Zero Chance (2012)(science20.com)
1 points by Kednicma 6y ago|0 comments
102.
by Kednicma 6y ago
Humans can't make unbiased computers. Every computer which humans make is indelibly human as well. This is the anthropic bias.
103.
by Kednicma 6y ago
Excellent paper. Aside from the main points, I notice that the key phrase "category theory" is in the abstract, to aid indexing, but there's no category theory here. I don't think djb's unaware of abstract algebra,
104.
FBI director says antifa is an ideology, not an organization, in testimony(oregonlive.com)
3 points by Kednicma 6y ago|1 comments
105.
Don’t Kill Math: Comments on Bret Victor’s Scientific Agenda (2012)(evanmiller.org)
4 points by Kednicma 6y ago|0 comments
106.
by Kednicma 6y ago
Bounded proof search is NP-complete, and you can see this if you imagine transforming a bounded proof search into a satisfiability problem; go from "what, if any, proof starts at these assumptions and reaches these conclusions in less
107.
by Kednicma 6y ago
This isn't true. NP-completeness and Turing-completeness both limit what an AI can reason about, and there's no reason to expect that AGI will spontaneously break those barriers. To use the meme, an AI won't be smarter than u
108.
by Kednicma 6y ago
This is fair. I started my comment by responding to each section, but I quickly realized that I wouldn't be able to make a constructive contribution. First, the most important thing: Note that one of the responses to my original commen
109.
by Kednicma 6y ago
Like, how did they mean it? Did they build guillotines? Did they kidnap members of the ruling class and subject them to public sham-trials before executing them? It's important to examine this claim carefully, when compared with the ex
110.
by Kednicma 6y ago
We've got eugenics, corporatism, sci-fi bait, and worse. I do like the idea of a field of "China studies" through the very specific lens that they've sketched, which focuses on the experience of Hong Kong throughout the
111.
by Kednicma 6y ago
Humans are what, about 99.9% similar to each other on average? So that gives me 3 nines belief that yes, if I can understand, then you can understand; we're just humans after all. I think that you're being sarcastic; once we defin
112.
by Kednicma 6y ago
To be extremely precise: 1 is the successor of 0. Anywhere that there is a natural numbers object, there's a semantics for this statement. What is socially constructed here is the choice of topos which hosts the natural numbers object!
113.
by Kednicma 6y ago
Yes, I claim that almost all humans partition humans into completely imaginary classes. I'm going to define a bigot as somebody who makes such partitions. Note immediately that there exists a partition of bigots from non-bigots iff n
114.
by Kednicma 6y ago
Let's finish working on our current experiments first, and then declare that we're stuck. We have particle accelerators, gravitational-wave telescopes, solar probes, and planetary probes which we're either still building or
115.
by Kednicma 6y ago
Sounds like a preparatory delegitimization of the community council. After all, if the community doesn't care enough, then Canonical can retake more direct control eventually and simply say that the community wasn't stepping up en
116.
by Kednicma 6y ago
I was hoping for information about time, but this list is almost entirely about calendars.
117.
by Kednicma 6y ago
I don't really think that you're cogent here; it seems like you just wanted to say things which stand in opposition. While it's true that there's no empirical evidence within humans for the question of p-zombies, Occam
118.
by Kednicma 6y ago
You're right that I'm thinking of very basic criticisms. In particular, there's zero evidence that humans aren't p-zombies [0] and no definitive rejection of the Dodo Bird hypothesis [1]; in combination, this suggests th
119.
by Kednicma 6y ago
> Even if all the statistical, p-hacking, publication bias, etc. issues were fixed, we'd still be left with a ton of ad-hoc hypotheses based, at best, on (WEIRD) folk intuitions. This is the quiet part which most social scientists,
120.
by Kednicma 6y ago
Sure, but also, fuck ethnofascism in all forms; when they come over here and ask us to censor ourselves, we say no [0]. We are obligated to resist it, not to shy away from it. [0] https://www.npr.org/2012/09/19&#x2

More ›