QuesnayJr

7 ms·

91.
by QuesnayJr 9mo ago
I actively hated interacting with the power users on SO, and I feel nothing about an LLM, so it's a definite improvement in QoL for me.
92.
by QuesnayJr 10mo ago
It was sad to read that the store has closed (though they still managed to do some seasonal events with the organ).
93.
by QuesnayJr 10mo ago
There's a couple of problems that were solved that way a while ago, and they have been formalized, but not in Lean: https://en.wikipedia.org/wiki/Four_color_theorem https://en.wikipedia.org/wiki&#x
94.
by QuesnayJr 11mo ago
It's not that obscure, even in the US. Anyone who takes French in US high school has probably read it in French (it's very easy to read), and even in English it's one of the most common classic children's books.
95.
by QuesnayJr 11mo ago
I remember it being for both Unix and DOS. Thanks for the links. I couldn't quite tell if that was a text game like bsdgames trek, or a curses game like Rogue.
96.
by QuesnayJr 11mo ago
If you like that kind of thing, you might like looking at the Angband Plus github repository: https://github.com/NickMcConnell/AngbandPlus Angband is a roguelike that had many variants over the years, and Nick combined
97.
by QuesnayJr 11mo ago
There was a Curses version of Trek called "universe" that I was obsessed with, back in the day, but I've never been able to find it again.
98.
by QuesnayJr 1y ago
I found the claim that Peirce rejected bivalent logic strange, simply because he was one of the key figures in actually creating bivalent logic, in his paper "On the Algebra of Logic". He even proposed one of the classic forms of
99.
by QuesnayJr 1y ago
I think you are misjudging which side of the religion/non-religion divide you are on.
100.
by QuesnayJr 1y ago
The article was interesting, but it convinced me of the opposite of its thesis. The books mentioned are 1) a standard school textbook, 2) a standard book for navigators, and 3) a chart of whale hunting grounds that someone created (that Me
101.
by QuesnayJr 1y ago
And Kevin Buzzard (who is an established algebraic number theorist) is making the claim that this no longer applies in a world where people are depending on 1000-page proofs that maybe two people have ever checked. In the case of Jim Arthu
102.
by QuesnayJr 1y ago
There isn't really anything better. The Notices of the AMS has one feature article each issue, but those are sometimes too technical. Anyway, this article seems fine to me. The "exponentiation" comment seems like a bizarre
103.
by QuesnayJr 1y ago
The specific example of Fermat's Last Theorem is probably true simply because so much work has been done on the modularity of elliptic curves since then, but the probability of false results being proven is much higher than 0%. In fact
104.
by QuesnayJr 1y ago
The Wikipedia article on helium hydride has the most hardcore sentence I've ever seen on the site: "Since HeH+ reacts with every substance, it cannot be stored in any container." It sounds like something out of a comic book.
105.
by QuesnayJr 1y ago
LLMs understand LaTeX extraordinarily well.
106.
by QuesnayJr 1y ago
It's striking how complicated quadratic forms are, given how simple they sound. You could probably explain the idea of a quadratic form over a ring to a good high school class, while explaining the proof of the Milnor conjecture would
107.
by QuesnayJr 1y ago
Seeing the culture of StackOverflow, I would choose to be dead in the ground rather than ask a question there, even a question that can't be easily answered elsewhere. Volunteer-run sites need a mix of enthusiasts who do the real work
108.
by QuesnayJr 1y ago
Algol 58 had "for i:=0(1)9". C's for loop is a more general variant.
109.
by QuesnayJr 1y ago
Full $L_2$ also has a countable orthonormal basis. Hermite functions are one example.
110.
by QuesnayJr 1y ago
The solution to the puzzle is that "the bitter lesson" is about AI software systems, not arbitrary software systems. If you're writing a compiler, you're better off worrying about algorithms, etc. AI problems have an i
111.
by QuesnayJr 1y ago
I'm starting to think that half the commenters here don't actually know what "The Bitter Lesson" is. It's purely a statement about the history of AI research, in a very short essay by Rich Sutton: http:/&#x2F
112.
by QuesnayJr 1y ago
This isn't really how it went down, historically. They considered lots of different large cardinals, and then they turned out to be linearly orderable by consistency strength. And then it's natural to wonder if it's a gener
113.
by QuesnayJr 1y ago
I think of the line "I want some answers that Ja Rule might not have right now" pretty often.
114.
by QuesnayJr 1y ago
I have the exact opposite reaction, that if someone told me the answer is "no" because it requires an unbounded number of coin flips that they were the ones trying to bullshit me. In antic's formulation, nothing is said abou
115.
by QuesnayJr 1y ago
This is the coolest thing I've seen in years.
116.
by QuesnayJr 1y ago
It preserves angles, which is what makes it useful in navigation. Mercator is bad at relative sizes for places far apart, but when you look at a small patch shapes are less distorted. For that reason, online maps use a version of Mercator
117.
by QuesnayJr 2y ago
I think they're imitating Eliza.
118.
by QuesnayJr 2y ago
I never even understood what the theory was supposed to be for why it would lower interest rates. You can only run a trade deficit if the country you are trading with is a net investor. Part of that investment is going to be in the form of
119.
by QuesnayJr 2y ago
The joke the previous comment is making is that Borges already wrote that story. "Pierre Menard, the Author of the Quixote."
120.
by QuesnayJr 2y ago
That's a different article. The Gizmodo article has a byline of "Melissa" and apparently is originally from TodayIFoundOut.com.

More ›