HNHacker News
TopNewBestAskShowJobs

QuesnayJr

1,322 karma · joined August 25, 2019

submissionscomments
QuesnayJr··on Obituary for Cyc
I think they're imitating Eliza.
QuesnayJr··on Bond rout starting to sound market alarm bells
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 bonds. If you force a cut in the trade deficit, you cut the demand for bonds, which lowers their price and raises their interest rate.

QuesnayJr··on When Jorge Luis Borges met one of the founders of AI
The joke the previous comment is making is that Borges already wrote that story. "Pierre Menard, the Author of the Quixote."
QuesnayJr··on Things I Won't Work With: Dioxygen Difluoride (2010)
That's a different article. The Gizmodo article has a byline of "Melissa" and apparently is originally from TodayIFoundOut.com.
QuesnayJr··on Ask HN: Any insider takes on Yann LeCun's push against current architectures?
Neither do I. Right after I read your reply I knew I had made a mistake engaging with you.
QuesnayJr··on Ask HN: Any insider takes on Yann LeCun's push against current architectures?
I did think you meant it literally. Since I can't replicate the question you asked, I have no way of verifying your claim.
QuesnayJr··on Ask HN: Any insider takes on Yann LeCun's push against current architectures?
I tried this just now on Chatbot Arena, and both chatbots asked for more information.

One was GPT 4.5 preview, and one was cohort-chowder (which is someone's idea of a cute code name, I assume).

QuesnayJr··on TikTok goes dark in the US
The law would literally allow an EU entity to own it, or a Brazilian entity, or a South African entity.
QuesnayJr··on Who Can Understand the Proof? A Window on Formalized Mathematics
I think there is something to this idea. There have been cases where person A was working on proving a result but struggled, then person B announced a proof of the result, and then person A was inspired to finish their proof. (Sadly, I don't remember the specifics.)
QuesnayJr··on Who Can Understand the Proof? A Window on Formalized Mathematics
I think mathematicians want something more basic, though elegance and simplicity are appreciated. They want to know why something is true, in a way that they can understand. People will write new proof of existing results if they think they get at the "why" better, or even collect multiple proofs of the same result if they each get at the "why" in different ways.
QuesnayJr··on We fine-tuned Llama and got 4.2x Sonnet 3.5 accuracy for code generation
Other people have spent a lot of time on it and gotten nowhere, so I suspect there is some art to it.
QuesnayJr··on Undergrad thought he had mastered Unix in weeks. Then he discovered rm -rf
The title alone is a horror story in two sentences.
QuesnayJr··on Something weird is happening with LLMs and chess
They thought it because we have an existence proof: gpt-3.5-turbo-instruct can play chess at a decent level.

That was the point of the post (though you have to read it to the end to see this). That one model can play chess pretty well, while the free models and OpenAI's later models can't. That's weird.

QuesnayJr··on New elliptic curve breaks 18-year-old record
You can get some higher degree examples (y squared = a degree 4 polynomial, for example), but degree 3 is special. An arbitrary polynomial of degree 4 and higher lack a rich structure (as far as we can tell). You can try to get around it by embedding the curve in a higher dimensional object, but it doesn't get you as far. (This is the idea behind hyperelliptic curve cryptography, for example.)
QuesnayJr··on New elliptic curve breaks 18-year-old record
Just to be clear, an ellipse is a quadratic curve. Ellipses are not elliptic curves. (They are still curves, though, as long as you restrict to plugging in real numbers, not complex.) The terminology is unfortunate.
QuesnayJr··on When you ask ChatGPT "Tell me a story" it's always is about a girl named Elara
I just tried it and got "Liora" instead of "Elara".
QuesnayJr··on Waking up science's sleeping beauties (2023)
An interesting example of someone who managed to produce two unrelated "sleeping beauties" in different fields is the German mathematician Grete Hermann. Her Ph.D. thesis in the 20s gave effective algorithms for many questions in abstract algebra. I think her motivation was philosophical, that an effective algorithm is better than an abstract existence result, but it wasn't considered that interesting of a question until computers were invented and computer algebra developed, and then immediately several of her algorithms became the state-of-the-art at the time.

Unrelatedly, she wrote on the foundations of quantum mechanics, and showed that a "theorem" of John von Neumann, which would have ruled out later research by Bohm and Bell if it were correct, was false three years after he published it. Bohm and Bell had to independently rediscover that the result was false years later.

QuesnayJr··on Kurt Vonnegut's lost board game published
Because either the person quoted or the article itself wants to highlight an apparent contradiction between making a wargame and writing the novel. If the point is that war is meaningless, then maybe there's a contradiction, but if the point is that everything is meaningless, then there isn't any more of a contradiction than eating breakfast is a contradiction.
QuesnayJr··on Kurt Vonnegut's lost board game published
All of human history is manipulated by the Tralfamadorians to get a single piece of metal to Titan to repair the Tralfamadorian spaceship. The army officers, you, me, everybody, we are all the result of Tralfamadore's plan.
QuesnayJr··on Kurt Vonnegut's lost board game published
It's a long time since I read the book, but it strikes me as a bizarre misreading. The article quotes the guy who discovered the game as saying:

> In Sirens of Titan, there’s this army of Mars which is really a joke. No one in the army, [not] even the officers, are really in charge of what’s going on. They’re all mind controlled. Nobody has any real free will. They’re just set up as a pawn to be sacrificed, to make Earth come together, kind of Watchmen-style.

The effort of the officers in the book is meaningless, but it turns out the effort of all humanity for all of history is completely meaningless, because humanity is being manipulated by aliens to achieve a trivial purpose.

QuesnayJr··on Big advance on simple-sounding math problem was a century in the making
I think if you are fascinated by primes and look at lists of primes, you would eventually notice that twin primes keep happening, but they get further and further apart. The first time someone published the conjecture that there are infinitely many is Polignac in 1849, but I'm sure someone wondered before.

If you are fascinated by primes, then you just want to know the answer, independent of any application.

QuesnayJr··on DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data
There has been considerable progress since Sutton wrote. The latest models don't even need convolutions and certain kinds of invariances. Visual Transformer models don't even necessarily know which pixels are near each other. They figure it out through correlations.

I was skeptical of the statistical approach myself, but I think it's time for some humility in the face of its wild success.

QuesnayJr··on INTELLECT–1: Launching the First Decentralized Training of a 10B Parameter Model
After reading that Torment Nexus post you didn't have the urge to name an AI product Torment Nexus? Really?
QuesnayJr··on Why does Lisp use cons cells? (1998)
It was Erik Naggum replying to Xah Lee, so you had two of the most abrasive and unpleasant people in the lisp community interacting.
QuesnayJr··on Why to Not Write a Book
I read some subreddits for authors for a while, and all of the advice was like this. A few authors get lucky writing what they like, but most of them find a niche and relentlessly optimize for it. Romance sounded like the most optimizable, because it's a bunch of microgenres, and within a microgenre the readers want to read the exact same thing over and over. Some authors were making good money writing a book a month and self-publishing.

At that point, I'd rather be an accountant.

QuesnayJr··on Interviewing Tim Sweeney and Neal Stephenson
It telegraphs very strongly that it's not meant to be taken seriously. The main character's name is Hiro Protagonist, for example.
QuesnayJr··on JavaScript dates are about to be fixed
I never really understood precisely what the challenges around dates were until this comment and the previous one.
QuesnayJr··on Rod McKuen Was the Bestselling Poet in American History. What Happened? (2022)
That's a great article. I've seen those same McKuen books in used-book stores, and never knew what the story was. But now I know.
QuesnayJr··on Grok-2 Beta Release
I have seen sus-column-r on LMSYS a bunch of times. It seemed pretty good, though not as good as the best Google, Anthropic, or OpenAI models.

I'm surprised they managed to catch up. I guess there really is no moat.

QuesnayJr··on NASA investigation finds Boeing hindering Americans' return to moon
I think this is the key point, one that gets neglected in these discussions. It's easy to say we should reward people for doing a good job, and punish people for doing a bad job, but that determination will be made by people, and those people can have an agenda. Quis custodiet ipsos custodes?
← PreviousPage 5 of 29Next →