Chinjut

16 ms·

271.
by Chinjut 4y ago
It is ludicrous to consider this more supportive of free speech than the previous iteration of Twitter. Twitter has always had issues but this is way worse.
272.
by Chinjut 4y ago
I see, fair enough. I forgot to switch out of pure functional programming/referential transparency mode for this discussion. Fine, you can take NIL to be one particular (NIL . NIL) that's different from all other (NIL . NIL)s, the
273.
by Chinjut 4y ago
But NIL is not equal to (CONS NIL NIL). (CONS X NIL) = '(X), a list of length 1 containing X, so (CONS NIL NIL) = '(NIL), a list of length 1 containing NIL. But NIL is a list of length 0, not a list of length 1. The wart is that i
274.
by Chinjut 4y ago
If NIL were a CONS whose CAR is NIL and whose CDR is NIL, wouldn't NIL be the same as (CONS NIL NIL) = (NIL . NIL) = '(NIL)?
275.
by Chinjut 4y ago
If NIL were a CONS, how would you distinguish between an empty list and a list of length one containing NIL?
276.
by Chinjut 4y ago
Not only was the space removed, but in fact, the entire Spaces feature has been removed from Twitter.
277.
by Chinjut 4y ago
Also Matt Binder (@MattBinder; see https://twitter.com/adamjraabe/status/1603554054134812676 ).
278.
by Chinjut 4y ago
Elon Musk now says he will be taking legal action against the college student who runs the account ( https://twitter.com/elonmusk/status/1603190155107794944 ).
279.
by Chinjut 4y ago
Of course he CAN do it. He did do it, after all. Have you never heard of criticizing someone for something they can do?
280.
by Chinjut 4y ago
Elon Musk explicitly said his commitment to free speech could be measured by his commitment to not banning this account ( https://twitter.com/elonmusk/status/1589414958508691456 ). Furthermore, the passage you cite
281.
Twitter links to @elonmusksjet on Instagram considered harmful(twitter.com)
31 points by Chinjut 4y ago|2 comments
282.
by Chinjut 4y ago
RCA_0 is a much stronger restriction than just negating the Axiom of Infinity, though. Your original post claimed the ratio test could not be proven in Peano Arithmetic, which was what I objected to. Peano Arithmetic is basically equivalent
283.
by Chinjut 4y ago
You could increment integers so long as you make it clear what you will do in the overflow case. Either use bigints with no overflow, specify that you do in fact want modular behavior, or specify what you want to do when your fixed width in
284.
by Chinjut 4y ago
Tweet? But yes, sorry, I missed that your post said positive ints. The article was about signed ints, though.
285.
by Chinjut 4y ago
Wouldn't this still overflow when one of the values is positive, the other is negative, and their difference is sufficiently large?
286.
by Chinjut 4y ago
How could the ratio test possibly be beyond ACA0? The ratio test is just a straightforward special case of the comparison test. For convenience, let us suppose we are dealing with series of positive terms (since the ratio test is about magn
287.
by Chinjut 4y ago
They're not saying the pay is the same. They're saying the intellectual aspect of the work is not terribly different.
288.
by Chinjut 4y ago
You can't prove the validity of the ratio test for all sequences of real numbers, because you can't talk about all sequences of real numbers. But you could at least prove the validity of the ratio test for any computably enumerabl
289.
by Chinjut 4y ago
Well, you can't create the infinite set of all natural numbers without the Axiom of Infinity. You can still reason about natural numbers themselves without the Axiom of Infinity (and if you are inclined to speak in such terms, the natu
290.
by Chinjut 4y ago
Does it include AP exam answers from an exam released after the model was trained? My impression was that its training data was largely collected in 2021 (hence the disclaimer about ChatGPT not being very aware of events from 2022), while t
291.
by Chinjut 4y ago
That's not quite verbatim to what ChatGPT output, but perhaps they are constrained to be so similar because these mechanical questions have basically canonical answers. I would also imagine that the training data here, which is suppose
292.
by Chinjut 4y ago
There's writing code that you want to write, code you find interesting to do something you care about. And then there's writing code that somebody else tells you to write, that you have to do for a job. Those are different things.
293.
by Chinjut 4y ago
"The idea of an office is almost offensively stupid. The business place. You come here to get on the computer." —InternetHippo, https://twitter.com/internethippo/status/1292842056008704000
294.
by Chinjut 4y ago
That is a joke post. That person was never a Twitter employee. But even if they counterfactually were, big deal if the grunts at the organization you take over have a nickname for you.
295.
by Chinjut 4y ago
There is a frequent pattern which concerns me of primarily justifying the desire for reduced work hours in terms of the alleged increase in productivity this will bring about (by allowing recharging, preventing burnout, etc.). I worry that
296.
by Chinjut 4y ago
Was it not known by the Lucas test to be composite?
297.
by Chinjut 4y ago
Why are casinos so popular? The answer is likely similar, and likely not because people come out ahead financially.
298.
by Chinjut 4y ago
Tear up my eyes? Buddy, I need those!
299.
by Chinjut 4y ago
I don't understand. What should you get instead?
300.
by Chinjut 4y ago
I think that Christina Angeli tweet was voluntarily deleted, according to https://twitter.com/CA_CrissyAngel/status/158834782975154995... .

More ›