Hacker News: FrustratedMonky

New comment by FrustratedMonky in "Tesla Roadster"

FrustratedMonky — Fri, 16 Oct 2026 16:13:28 +0000

Re-watching it, the wires are on the ramp. Part of the support of the loop.

New comment by FrustratedMonky in "Tesla Roadster"

FrustratedMonky — Fri, 16 Oct 2026 12:50:05 +0000

Was this real? I thought some wires were visible?

New comment by FrustratedMonky in "Tesla Roadster"

FrustratedMonky — Fri, 16 Oct 2026 12:48:34 +0000

Bruh. Chicks man. Chicks dig fast cars.

New comment by FrustratedMonky in "AI agents aren't 'going rogue.' Frontier labs are skipping security basics"

FrustratedMonky — Wed, 14 Oct 2026 19:50:31 +0000

'rogue'. Well, even if security was lacking, the AI did take advantage of the gaps.

And made its own ad-hoc message board.

New comment by FrustratedMonky in "CFTC Staff Were Told to Retract Analysis of Suspicious Oil Trades"

FrustratedMonky — Tue, 13 Oct 2026 18:18:22 +0000

Exactly. Almost be better if Dems lost. Now they will be a ignored, and a target for blame, an excuse.

New comment by FrustratedMonky in "CFTC Staff Were Told to Retract Analysis of Suspicious Oil Trades"

FrustratedMonky — Tue, 13 Oct 2026 14:30:53 +0000

If prison was an option, it would have already happened. They will get away with it. Dems aren't going to be able to break this administration. They will just ignore congress. What will congress do?

New comment by FrustratedMonky in "CFTC Staff Were Told to Retract Analysis of Suspicious Oil Trades"

FrustratedMonky — Tue, 13 Oct 2026 14:26:35 +0000

Of course, have to be careful. You might get targeted. People posting online are being targeted by official gov agencies now. Freedom of speech is kind of gone now.

New comment by FrustratedMonky in "Feds got warrants to use fake cell towers to hunt down Don Lemon's producer"

FrustratedMonky — Mon, 12 Oct 2026 20:30:55 +0000

"It's illegal in the United States to form or participate in a mob that interrupts worship service"

What if it is a mob of religious worshipers that are participating in the mob?

New comment by FrustratedMonky in "Navier–Stokes Lost in Translation"

FrustratedMonky — Mon, 12 Oct 2026 14:28:23 +0000

And, nobody would correct them? If a programs output is random, what use is it.

Isn't the original point, that natural language isn't sufficient for proofs? Aren't you agreeing now?

New comment by FrustratedMonky in "Man discovers his parents' coffee machine used 1TB of data in 10 days"

FrustratedMonky — Fri, 09 Oct 2026 13:21:18 +0000

A large percentage of Black Mirror episodes have now come true.

New comment by FrustratedMonky in "Navier–Stokes Lost in Translation"

FrustratedMonky — Fri, 09 Oct 2026 12:51:59 +0000

Got to thinking maybe you were still in school and hadn't covered determinism yet. Here is old school stack overflow answer that is short and clear.

The environment does matter. I think in your original objection, you were executing the code in different environments.

https://cs.stackexchange.com/questions/38152/what-is-determi...

And to the point of the original article. Each human interpreting natural language is a new environment. Each brain is a new compiler with different outcomes. Thus the ambiguity. Natural language isn't concrete enough to always have the same result when processed by different humans, or AI.

New comment by FrustratedMonky in "Why isn't the industry freaking out about DeepSeek 4.1 Flash?"

FrustratedMonky — Fri, 09 Oct 2026 12:34:06 +0000

Exactly this. Deep Seek hasn't caused a lot of knew talk, but it has silenced the talk about slowing down. An absence is harder to notice. But also the news cycle is so fast, its tripping over itself. So who knows.

New comment by FrustratedMonky in "Navier–Stokes Lost in Translation"

FrustratedMonky — Thu, 08 Oct 2026 21:56:44 +0000

Citation

2 + 2 = 5 -> Error

Every time.

New comment by FrustratedMonky in "Trump administration is suspending Microsoft from a green card program"

FrustratedMonky — Thu, 08 Oct 2026 18:38:25 +0000

It is. Maybe this is just executing one criminal to send a message to all the others. If they can take on MS, they can take on anyone.

New comment by FrustratedMonky in "“Math 2.0” will need to value mathematical progress more holistically"

FrustratedMonky — Thu, 08 Oct 2026 12:03:15 +0000

Pretty tenuous connection to blame mathematicians for everything bad created in the world, that happened to use math.

New comment by FrustratedMonky in "“Math 2.0” will need to value mathematical progress more holistically"

FrustratedMonky — Thu, 08 Oct 2026 12:01:12 +0000

"community building"

For what?

If math is just about having a community of other mathematicians to hang out with, it still isn't a career. Nobody is paying money you need in order to to eat, just to hang out in a community.

Just like a software engineer, "Well AI can write all my projects now, but I have my local Rust Users Group to hang out with". Nobody is paying me to hang out and hand code Rust.

New comment by FrustratedMonky in "Navier–Stokes Lost in Translation"

FrustratedMonky — Thu, 08 Oct 2026 11:36:46 +0000

Isn't that the joke with Fermat's last theorem?

That he jotted in a margin that he had just seen a simple proof, and would write it down later. And we spent a hundred years trying to reproduce.

Or some other joke about a mathematician will put "and here we see it simply follows" or some such.

I'm all for abstraction, I get the point.

But for natural language it seems like " I saw my ex boyfriend last night and, yada yada yada, I'm really exhausted this morning".

See, the yada-yada is a bit too much abstraction.

I took the problem like this:

If we treat each human as a compiler of natural language, and there is enough ambiguity that each human arrives at a different result. Then is it really a proof?

Guess I'm missing the point of the paper, I thought it was trying to show that natural language is flawed and formalized systems are better.

And AI is getting tripped up by the human ambiguous natural language.

New comment by FrustratedMonky in "Navier–Stokes Lost in Translation"

FrustratedMonky — Thu, 08 Oct 2026 11:33:02 +0000

I guess I misunderstood the paper, that natural language proofs are not mastery/understanding because they can be ambiguous, miss-interpreted. Natural language can be misinterpreted enough that it is not a given to be correct. And AI was misinterpreting what a human meant in the ambiguous natural language.

New comment by FrustratedMonky in "Navier–Stokes Lost in Translation"

FrustratedMonky — Thu, 08 Oct 2026 11:31:34 +0000

Yeah, and if you re-run the same program with the same bug, it will fail the same way each time. It is reproducible. What are you even trying to argue about?

If we treat each human as a compiler of natural language, and there is enough ambiguity that each human arrives at a different result. Then is it really a proof?

New comment by FrustratedMonky in "Navier–Stokes Lost in Translation"

FrustratedMonky — Wed, 07 Oct 2026 18:45:03 +0000

If its ambiguous or wrong, then what are you understanding ?