CaptainNegative

15 ms·

31.
by CaptainNegative 2y ago
Assuming the usual consistency caveats, the paradox is no longer a theorem of ZF+DC, but its complement isn't either. So in that case the analogue to the fifth postulate is even stronger, as there are both models in which you get the c
32.
by CaptainNegative 2y ago
A simple way to view the first statement is that by both doubling the request rate and halving the processing time, you're effectively speeding up time by a factor of 2. If you were to record a video of the entire system, someone switc
33.
by CaptainNegative 2y ago
There's not really any evidence for this. On a source-by-source basis, plant-based protein quality tends to be a few percentage points lower than from animal sources due to the differing amino acid distribution, but mixing sources like
34.
by CaptainNegative 3y ago
From the article > The backdoor’s careful design could be the work of US hackers, Raiu notes, but he suggests that’s unlikely, since the US wouldn’t typically sabotage open source projects—and if it did, the National Security Agency woul
35.
by CaptainNegative 3y ago
The article is using short scale billion, thank the lord. (note: parent comment was edited)
36.
by CaptainNegative 3y ago
That's only $180k per meter.
37.
by CaptainNegative 3y ago
The only symptoms needed are a pulse, the ability to type out a credit card number, and availability for a sham phone call. It's virtually impossible to not get prescribed one from a mill.
38.
by CaptainNegative 3y ago
I had a similar impression when I took a course on the matter ages ago. I don't have a better cognitive model, but the methods we were shoehorned into with ACT-R were so different from the actual cognitive processes I undertake in comp
39.
by CaptainNegative 3y ago
Gaim
40.
by CaptainNegative 3y ago
Here's a simpler example that works. Q: Prove that if cos(x) is an integer then so is sin(x). A: The statement "if cos(x) is an integer, then so is sin(x)" is not true in general. To understand why, let’s consider the propert
41.
by CaptainNegative 3y ago
If you can check any given bitstring for whether it encodes a valid ZFC proof of the (in)consistency of ZFC in finite time, then you can write a program to enumerate over all possible bit strings in shortlex order and halt the first time yo
42.
by CaptainNegative 3y ago
How do you read that other than as "if you have humanity, you support Palestine", which is semantically equivalent to "if you don't support Palestine, you have no humanity"?
43.
by CaptainNegative 3y ago
> ... and you don't have to be a Muslim to support Palestine, you just have to be a human being One can support innocent Palestinians without supporting Palestine, the same way one can support innocent Israelis without supporting Is
44.
by CaptainNegative 3y ago
If it were just up to randomness with an unmodified ROM, then (barring a glitch) they would have soft locked at the Safari Zone which costs some currency to enter and needs to be traversed to the Surf HM in a relatively tight number of move
45.
by CaptainNegative 3y ago
I speak Hebrew. The direct translation is "we will operate everywhere and with full force".
46.
by CaptainNegative 3y ago
And there's a lot of money poured into keeping it that way. Sonoma County, CA lets organized theft gangs roam free, but conjure up the ridiculous charge of felony conspiracy to commit misdemeanor trespass for someone saving sick ducks
47.
by CaptainNegative 3y ago
"Prelim" also sometimes refers to an exam taken shortly after entering a PhD program to ensure you belong there. One of the grad schools I attended had both a written "prelim" in year 1 and an oral "qual" in ye
48.
by CaptainNegative 3y ago
The dependence on sample size is not exponential, it's sublinear. The heuristic rate of convergence to keep in mind is the square root of the sample size, i.e. getting 10x more samples shrinks the margin of error (in a multiplicative s
49.
by CaptainNegative 3y ago
James, while John had had "had had" had had "had had had had had had had had had had had had had had had had had had had had had had had had had had had had had had had had had had had". "had had had had had had had
50.
by CaptainNegative 3y ago
Yes? Please don't make us pull out the model trolley set again.
51.
by CaptainNegative 3y ago
> More pedantically, it’s possible for a polynomial solution to P=NP to exist without it running in polynomial time in python. That's not true. Any Turing machine can be compiled into a Python program with at most cubic slowdown. Mo
52.
by CaptainNegative 3y ago
The running time is polynomial, and there is some constant c independent of n (or X in your notation) such that the running time is O(n^c). The only "sleight of hand" is that we don't know what this c is. Yet, provably, the
53.
by CaptainNegative 3y ago
I didn't say it solves every SAT problem in polynomial time, I said it can > find satisfying assignments to satisfiable SAT instances in polynomial time The distinction between this and solving SAT, and the slight strengthenings one
54.
by CaptainNegative 3y ago
There's already a known algorithm M you can implement right now that can find satisfying assignments to satisfiable SAT instances in polynomial time conditioned only on P=NP. Note: I'll be glossing over a few technicalities in t
55.
by CaptainNegative 3y ago
If you're allowing for some error probability, then the answer is trivially yes. For example, the NP-Complete problem of "does this graph have a clique of size sqrt(n)" is trivial over G(n, 1/2) random graphs, because th
56.
by CaptainNegative 3y ago
Yes. The text is here, https://leg.mt.gov/bills/mca/title_0000/article_0090/part_00... . It's very vague, probably intentionally, and the working interpretation is whatever the court just decided it
57.
by CaptainNegative 3y ago
Why is this a bad case for using the median, which is normally pretty resilient to influence from outliers?
58.
by CaptainNegative 3y ago
If you truly like animals, you probably want to learn all about it and see what you can do to stop it.
59.
by CaptainNegative 3y ago
Those definitely existed in the past, but there's been a dramatic uptick of terrible office etiquette in my current situation relative to pre-pandemic times, even though I'm in the same building working for the same company. I now
60.
by CaptainNegative 3y ago
I don't like working from home, but I hate mandated RTO because of all the antisocial behavior people bring into the office from their WFH days (loud meetings at their desks, brushing their teeth at their desks, Das keyboards, etc.).

More ›