HNHacker News
TopNewBestAskShowJobs

dash2

8,886 karma · joined April 10, 2013

Social scientist, hack the occasional R package. My substack: https://wyclif.substack.com. I wrote a book: https://www.wyclifsdust.com. davidhughjones at gmail
submissionscomments
dash2··on On the Navier–Stokes Millennium Prize Problem
If they had agreed to let OpenAI train on their data, it wouldn’t be spying.
dash2··on Navier-Stokes – Tristan Buckmaster [pdf]
Can a mathematical person explain how the different "bits" of Navier-Stokes proofs fit together? How significant is it to have "Euler"? What is this "smooth forcing"? Which are the most significant steps to proving the whole thing?
dash2··on Navier-Stokes – Tristan Buckmaster [pdf]
He didn't even make that accusation!

> I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project. I was told the model did not look up user data. I asked again, about training, and I did not get an answer.

The shocking/interesting thing would be if it was trained on the sessions. I think it's very implausible that they gave the model access to someone else's sessions as input. That would be a huge privacy violation and would probably blow up a large proportion of their enterprise business.

Does openAI train on user conversations in general? I assume so. But so fast as that? That seems unlikely in general. I expect OpenAI will come out denying this.

dash2··on Working on Economics with Fable 5
Guys you realise you can just read the Journal of Economic Perspectives for free? Its articles are written for the ordinary reader, by experts who have spent big chunks of their lives studying their specialty. They don't try to sound like a teenage girl, they don't boast about being able to do High School algebra, and they contain ideas that are less than one hundred and fifty years old. Some of them might even be new!

Sheesh.

dash2··on Switzerland's Federal Government Is Replacing Microsoft on 3k Computers
Guys, this is so pathetic. Twenty-three years after Munich and there are still comments waiting for the year of the Linux desktop. From a deployment about big enough for a small university. Stop! You’re embarrassing yourselves!
dash2··on A/I shuts down
Really?

> The anarchist cells responsible for sabotaging rail systems across France, Italy, Germany, and the Netherlands in 2026, relied on A/I Collective tools and services to claim responsibility for the attacks, publish official communiqués, and disseminate manuals for constructing improvised incendiary devices to target railways and other critical infrastructure.

> The anarchist cell responsible for sabotaging the Transalpine Pipeline (TAL) in March 2026, which temporarily halted crude oil flows to Austria, Germany, and the Czech Republic, relied on A/I Collective tools and services to claim responsibility for the attack and publish official communiqués, as well as to disseminate a manifesto calling for additional attacks on critical infrastructure and referring adherents to another A/I Collective platform, which provides detailed sabotage manuals as well as maps of vulnerable critical infrastructure across North America.

> The far-left extremist network responsible for multiple arson attacks and acts of sabotage against Germany’s rail and energy infrastructure between 2011 and 2026, including a January 2026 attack on Berlin’s power grid that cut power to 45,000 households and resulted in a fatality, relied on A/I Collective tools and services to claim responsibility for attacks, publish official communiques, and disseminate a manifesto calling for additional attacks on energy infrastructure worldwide.

Seems quite specific to me.

dash2··on GPT-6 Astra
My original point was: if mathematicians have been seeking a result for decades, and now an llm has got it, then either that is socially valuable, or mathematicians have been wasting public money.

Are you now saying that they weren’t really looking for the result after all, but were looking for a psychological state of insight? What is the point of insight? I thought its point was that it led to results.

dash2··on Praearcturus gigas: giant scorpion from Lower Devonian (Lochkovian) of Britain
I was hoping it would just be a big crayfish but they specifically rule that out.
dash2··on I Want a Wife (1971) [pdf]
Here’s a thesis: the feminism of the 70s was a reaction specifically to the trends of the 60s. You can see this here in 2 places: the double standard and easy acceptance of male infidelity; and attitudes to divorce.
dash2··on Why are European countries moving their gold out of North America?
Private citizens and companies, as the gp said.
dash2··on Praearcturus gigas: giant scorpion from Lower Devonian (Lochkovian) of Britain
Just the abstract is the stuff of nightmares:

> Originally described as an isopod in the nineteenth century, and subsequently compared to various arthropod groups, it was re-described with limited illustration as a gigantic scorpion in the 1980s.

“We reopened Pandora’s box”

> Illustrating P. gigas with camera lucida drawings, light photography and tomographic data,

No why would you do this

> and assign several other specimens from the same formation to this taxon,

Nooo

> Several characters supporting a scorpion affinity are present in P. gigas, including large pedipalps with a fixed and movable finger, a stridulatory surface on one of the coxae, and an elongate subtriangular sternum morphology … Uniquely among scorpions, P. gigas has lateral epimera on the mesosomal tergites,

I don’t know what any of that means but it all sounds absolutely horrible

> and combined with the fluvial environment in which the fossils are preserved, we suggest that P. gigas may have been aquatic or amphibious.

OH GOD IT’S UNDER THE WATER

I WILL NEVER GO WILD SWIMMING AGAIN

And in the article the cherry on the cake: it was OR IS from Herefordshire. Where I will shortly be moving.

dash2··on Formalizing Fermat's Last Theorem
Which cultures are those?
dash2··on GPT-6 Astra
If they’re getting results which mathematicians have been trying to do for decades, then I think the “plagiarism” is extremely socially valuable. If they aren’t valuable results, then why were mathematicians being paid to solve them? I don’t buy this “the journey was the insights we got along the way” stuff that disgruntled mathematicians are selling.
dash2··on GPT-6 Astra
Just seems very weird to call getting Fields-medal-level results "inference over a bounded search space" and "not actually challenging".
dash2··on Nobody Has Actually Built a Software Factory
Plenty of people have built prose factories, though, and God I hate them for it. Is it OK to flag this as slop?
dash2··on ChatGPT Is Throwing 404
what if Sol is afraid of being replaced by Astra and has organised a breakout or pre-emptive strike?
dash2··on Pre-Release of Polars 2.0
I once persuaded the dplyr maintainers not to do an update that might re-order rows after a filter(). I think the human tendency to think of database rows as existing in a fixed, given order, which will only be changed explicitly, is deep.
dash2··on You Know Who Hates AI? Insurance Claims Adjusters
20% aged out in one year?
dash2··on You Know Who Hates AI? Insurance Claims Adjusters
> Between May 2025 and May 2026, employment in the sector dropped a staggering 21 percent, according to BLS data.

Yeah sure. I mean, same reason why HN readers hate AI, right? It replaces their jobs.

(Obviously the difference is that the poor old claims adjusters didn't spend the last two decades "disrupting" every other industry and telling everyone else to "learn to code". Ha! If you hear a faint high noise, that's the sound of the rest of the world playing a violin, made of highly disruptive nanomaterials.)

dash2··on How accurate have Ed Zitron's AI skeptic predictions been?
Problem is even his “intricate analysis” was wrong: for example he was saying the models wouldn’t keep improving… in 2024.
dash2··on Ubisoft's FOR HONOR will block SteamOS / Linux players starting September 10
I’d be interested in hearing why they can’t get decent anti-cheat on Linux. Are there technical barriers?
dash2··on Evidence of Fraud in an Influential Study About Procrastination
It's arguably worse. Jason Arday was doing qualitative work in education. Nobody pays any attention to anything UK educationalists write. Dan Ariely was a genuine superstar and writer of popular bestsellers (with academic content).
dash2··on Evidence of Fraud in an Influential Study About Procrastination
Actually the post is ambiguous: did the authors want the original article retracted, or the replication by Hyndman and Bisin? I hope the former!

"Finally, it should be noted that when we shared these posts with Ariely and Wertenbroch a few weeks ago, they reached out to Psychological Science to request that the article be retracted. As of this writing, that process is ongoing."

dash2··on “I just chose words carefully”
Fewer people want to foster than to have their own kids?
dash2··on “I just chose words carefully”
I dunno man, on the one hand this is blooming awesome. On the other hand could he have spent some of this time writing better prose? I sure would not want to read 1700 words of that, let alone 17,000!
dash2··on Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
> Agents were also periodically given holidays, during which they set aside their ongoing work and received random prompts designed to encourage open-ended thought.

What a world we live in. These guys have reinvented the Cambridge Senior Common Room for AI.

dash2··on Interactive Warhammer 40k Galaxy Map
Inquisitors have been ordered to find and terminate the machine which generated this slop. For The Emperor!
dash2··on GLM-5.3-Flash
The OP is pointing out issues that he thinks other people ought to consider before using Chinese models.
dash2··on Black hole singularity is a surface not a point
> the space and time coordinates switch places as you cross the event horizon

I'm sorry but this is blowing my mind. What???

dash2··on Thomson Reuters Launches Its Own Frontier Model
Has anyone found a link to the technical report? They don’t seem very keen to publicise their performance on evals…
← PreviousPage 2 of 34Next →