QuesnayJr

9 ms·

151.
by QuesnayJr 2y ago
I have sometimes wished that "locations" in Common Lisp were real lvalues, rather than an illusion made possible by macros.
152.
by QuesnayJr 2y ago
Russia was of course incredibly backwards by European standards, but in the run-up to WW1 it was industrializing rapidly. Part of German strategic calculation was that if they waited too much longer after 1914 to fight a war with a moderni
153.
by QuesnayJr 2y ago
Interesting, but Rather than organizing the world's information, what if we could organize the world's people? I do not wish to be organized.
154.
by QuesnayJr 2y ago
Even the evidence about homo naledi possibly needs correction. Here's a recent preprint that argues that the evidence that homo naledi buried their dead is not there: https://paleoanthropology.org/ojs/index.php&#x
155.
by QuesnayJr 2y ago
I'm surprised it worked out like this. The Perl 7 announcement was the last time I remember Perl getting positive attention.
156.
by QuesnayJr 2y ago
The idea of using the square is due to Carl Friedrich Gauss when calculating the orbit of Ceres. I suspect he was familiar with the idea of absolute value.
157.
by QuesnayJr 2y ago
I propose bounties on people who propose putting bounties on AI researchers.
158.
by QuesnayJr 2y ago
This is a category error, and basically a non-sequitur to the discussion. Whether or not LLMs are conscious is not the topic of discussion (and not a position I've seen anyone seriously advocate).
159.
by QuesnayJr 2y ago
This is the most hilarious "meet cute" I've ever read.
160.
by QuesnayJr 2y ago
Reddit is so much better than the average SEO-optimized site that adding "reddit" to your search is a common trick for using Google.
161.
by QuesnayJr 2y ago
There are two new chatbots on Chatbot Arena, called "late-june-chatbot" and "im-just-another-late-june-chatbot". Both of them report that they are Gemma if you ask. I'm assuming it's these two models, but AFA
162.
by QuesnayJr 2y ago
Since you importing it meant less for the rest of us, "silly" isn't the word I would use either. "Irresponsible", on the other hand, I would accept.
163.
by QuesnayJr 2y ago
Agreed on the "and then some". These days the burgers in France are much superior to the burgers in the UK (unless you go to Quick or something).
164.
by QuesnayJr 2y ago
There's lots of terrible pizza in Italy, but Domino's probably has the wrong business model. A regular restaurant will have excellent pizza, of course, but if you go to one of those little storefront places that are open between
165.
by QuesnayJr 2y ago
"Waifu" is "wife" if written in katakana. It is jokingly used as a name for the fictional female characters in manga and anime that are designed to appeal to male viewers. Some people wish the fiction wasn't so fi
166.
by QuesnayJr 2y ago
If you are cherry-picking cites that agree with you, that is a much bigger scandal than you citing a paper that ended up being retracted 22 years later. The point of citations is to cite the relevant literature, pro and con.
167.
by QuesnayJr 2y ago
I swear to God that Hacker News is the only place on the entire internet where you could find someone who takes a stock rhetorical phrase like "swear to god" literally.
168.
by QuesnayJr 2y ago
This is not at all what a citation means. If someone writes a math paper with a correct result, and the proof is wrong, then you cite that paper to give a corrected proof. If someone writes a math paper where a result itself is incorrect,
169.
by QuesnayJr 2y ago
I'm still waiting to see if really does have all of the reported positive effects, but if holds up, then this suggests to me that the negative effects must have a common cause. There's some aspect of modern life that causes compu
170.
by QuesnayJr 2y ago
When is the Ohio deadline?
171.
by QuesnayJr 2y ago
I would say yes. I read it when I was already an experienced programmer and I still found it worth it. Scheme is one extreme in terms of styles of programming languages, and it allows the authors to present a certain way of thinking about
172.
by QuesnayJr 2y ago
I have toyed with writing my own intro. A lot of category theory is just identifying that a bunch of similar elementary results across algebra and topology can be stated and proved once in a common framework. The examples in ACC serve to s
173.
by QuesnayJr 2y ago
Sheaves capture two properties: if you have a solution to a problem on a big piece of a space, you can shrink it to a smaller piece, and if you have solutions on small pieces of a space that agree with each other on overlaps, you can glue t
174.
by QuesnayJr 2y ago
Category theory doesn't have to be presented in such a diagram-heavy way. It's just that the people who love category theory also love diagrams. I don't know one that avoids diagrams as much as possible, but the book "A
175.
by QuesnayJr 2y ago
Can't Biden bow out any time before the Democratic National Convention in mid-August? I don't expect that he will, but he could.
176.
by QuesnayJr 2y ago
If you don't give them a copy of Kernighan and Ritchie, it's child abuse.
177.
by QuesnayJr 2y ago
I clicked on it because while I knew it couldn't mean the X Window System, I couldn't figure out what it possibly could be. The only time I remember Twitter is called X now is those rare occasions of when I type the URL.
178.
by QuesnayJr 2y ago
I haven't followed Perl development in a while, but I remember there was a briefly hyped "Perl 7" announcement. Did that plan get dropped?
179.
by QuesnayJr 2y ago
We have an approximate expression of how many prime numbers there are less than N, as N gets larger. If the Riemann hypothesis is true, then we know that the errors in this approximation are nice and small, which would allow us to prove ma
180.
by QuesnayJr 2y ago
It probably doesn't open up a path to a full proof, simply because Guth and Maynard are excellent mathematicians, and they wouldn't have given away their approach yet if they thought they could prove the full thing. It's stil

More ›