Chinjut

6 ms·

61.
by Chinjut 5mo ago
These links' mentions of quaternions are about a different part of the book (the tea party). Furthermore, even regarding that different part, your first link explicitly debunks the second link and disavows the quaternion connection the
62.
by Chinjut 5mo ago
I'm a mathematician, and my reaction here is somewhat different.
63.
by Chinjut 5mo ago
Why would you need to presuppose some inexplicably shifting number base to get the result of "four times [n]" always equaling n + 7? What does that get you over just more simply observing "For Alice, four times [n] has come t
64.
by Chinjut 5mo ago
Re: "The multiplication that does not work", nothing in the quoted text seems to indicate that each multiplication should be interpreted in a different base, or anything like this. Certainly not that "four times [n]" sho
65.
by Chinjut 5mo ago
I don't want everything to be images and pictures. Often, I enjoy words for communicating math.
66.
by Chinjut 5mo ago
I see. That is fair, thank you for pointing this out to me.
67.
by Chinjut 5mo ago
I still don't quite understand, after skimming the paper. How does it achieve high scores without access to the images (beating even humans with access to the images)?
68.
by Chinjut 5mo ago
I'd trust you a lot more if you actually pointed out something wrong with my statement.
69.
by Chinjut 5mo ago
Signed ints are no more and no less truncated 2-adics than unsigned ints. Signed ints and unsigned ints are isomorphic as rings; they are both the ring of integers modulo some 2^n. It is only on other operations (ordering comparisons, or th
70.
by Chinjut 5mo ago
Signed ints are also integers modulo 2^n, as concerns +, -, and *. Both unsigned and signed ints have the exact same modular arithmetic structure, for +, -, and *. It is only for other operations (ordering comparisons, or / and %) wher
71.
by Chinjut 5mo ago
The fixed-size signed types of C etc are no more the actual integers, and no less modular arithmetic, than the fixed-size unsigned types. They both implement the exact same modular arithmetic for +, -, and *. It's only for other operat
72.
by Chinjut 5mo ago
What about it?
73.
by Chinjut 6mo ago
You mean intuitionistic logic, not "intuitive logic".
74.
by Chinjut 6mo ago
Again? Haven't there been waves of mass Meta layoffs already?
75.
by Chinjut 6mo ago
Well, group theory is a special case of category theory. A group is a one object category where all morphisms are invertible. You do group theory long enough and it leads you to start thinking about groupoids and monoids and categories more
76.
by Chinjut 6mo ago
Where can I find these allegations of him committing sexual assault?
77.
by Chinjut 6mo ago
Yes, "An LLM is just a new higher level programming language", sure. A new programming language with no tractable guarantees about the behavior of any particular program, including in practice no guarantees that the same source co
78.
by Chinjut 6mo ago
A programming language with no tractable guarantees about the behavior of any particular program, including in practice no guarantees that the same source code (in this new programming language) will reliably produce the same behavior. This
79.
by Chinjut 7mo ago
The C-suite are barely human, so robot-speak appeals to them.
80.
by Chinjut 7mo ago
Why is it that a stochastic parrot can solve logic puzzles consistently and accurately?
81.
by Chinjut 7mo ago
You mention in the post that there are design differences between Hegel/Hypothesis and QuickCheck, partly due to attitude differences between Python/non-Haskell programmers and Haskell programmers. As someone coming from the Haske
82.
by Chinjut 7mo ago
Good lord, even the apology is AI generated: "That was not just careless—it was wrong." https://pressanddemocracy.substack.com/p/i-am-admitting-my-m...
83.
by Chinjut 7mo ago
Haskell (I realize this may not pass your threshold for widespread use) has equal support for co-recursion as for structural recursion.
84.
by Chinjut 7mo ago
The Senate gives a rather disproportionate democracy in which the votes of a small number in small states take on disproportionate significance compared to the votes of a large number in populous states.
85.
by Chinjut 7mo ago
The Senate is, while not the whole story, a significant part of the reason the government constantly fails to do what is either the desire of the people or what's in their interests. I wouldn't lament losing the Senate.
86.
by Chinjut 7mo ago
It does not seem fair to say that frequentists do not update their beliefs based on new evidence. This does not seem to accurately capture what the difference between Bayesians and frequentists (or anyone else) is.
87.
by Chinjut 8mo ago
Not wanting to visit a country is not moral justification for killing its people (including women and even grade school girls).
88.
by Chinjut 8mo ago
I don't like the way it's written, but what they are talking about is completeness in the sense of "Dedekind completeness"; i.e., that given any two sets A and B with everyone in A below everyone in B, there is some numb
89.
by Chinjut 8mo ago
Note the following comment by Jerry Ling: "The effect goes away if you search properly using the original submission date instead of the most recent submission date. By using most recent submission date, your analysis is biased because
90.
by Chinjut 10mo ago
I love making money for my employer with every spare moment of my life.

More ›