potsandpans

What is notable about it? There's a book called Superintelligence published in 2014.

Kind of sounds like a truism. You make the claim, but you don't explain why. Also, the analogies at the end are... odd.

Maybe you are right! I'd like to hear the justifications more though.

What qualifies you to speak on behalf of anything? Who exactly are you speaking to?

In my opinion, hn has been roughly the same for the past 10 years, with thematic differences based on various trends in the tech industry.

The difference today is that the hottest technology has also become a hot button culture war item that has for the first time split the tech community in half. This in turn creates comment sections that turn into ideological flame wars.

You could find a ask hn for ever year since inception pontificating about how the site has changed and yearning for the old hackernews.

I recently just crossed the threshold for 100% decompilation of a PlayStation game. I used a lot of models in the process, and I feel like this is a good demonstration the "sauce" that opus has.

The harness I've built for it is pretty straight forward: split binary into individual functions, give the agent a bunch of small tools to diff output with underlying binary, make them wrote clean c until there's a certified match.

Rin a final oracle to make sure the agent isn't cheating.

- Qwen 3.8 27b on my 5090, barely acceptable, thinks too long, sometimes freaks out.

- deepseek flash variants, work horse. Runinfra provides around 300 tok/s. Great for tearing through moderately complex functions

- glm and kimi k.3, expensive, slow, ultimately not that much better than deepseek flash for this task. Better at doing long context research into old compiler productions

- sol 6.1, best bang for buck. Creative enough to methodically work through more complex spellings

But I found there were around 1% of functions that these models simply cannot solve. Opus and Astra take them handily.

I'm still still in the process of looking through the solution traces, but from watching the missing sauce seems to be creative reasoning.

Sol 6.1 will just happily grind on permutations of a base shape spelling that M2C outputs, where opus and Astra immediately realize that they need to unwind assumptions taken for granted (and sometimes in the process endure a worst match).

I'm hoping to be able to capture that creativity step and distill it into the harness tools.

A while back you had this tweet which often gets cited, or at least _i_ personally think about it a lot.

> If WASM+WASI existed in 2008, we wouldn't have needed to created Docker. That's how important it is. Webassembly on the server is the future of computing. A standardized system interface was the missing link. Let's hope WASI is up to the task!

How are you feeling about WASI today?

Nobody should trust the feds ever. It's mostly through privilege and circumstance that they help anything ever.

what's even more funny is most of what they are asking for exist in some form.

As an aside, I remember when sora 2 launched and thinking, "wow I wonder if we'll ever get something close this in open weights?" The prevailing sentiment was "maybe 5 years." Yet, we have Minimax H3 and Flux a year and a half later.

I don't think the insight is trivial, but to each their own I suppose.

> Claude’s Opus performs best, though it’s not Opus 5.5 but rather Opus 5 which does so. The difference doesn’t appear to be pure chance, Opus 5 is better at interpreting the spec. Some models like Fable 5.1 and Gemini 4 Argon do poorly due to their overly sensitive safety guardrails. The best open-weight model is MiMo-V2.6-Pro.

So the models _can_ use the programming language.

A somewhat flippant reconstruction of this argument is something like,

Can humans code? Or do they just remember the words? I created a programming language called Brainfuck that shows they can't program.

And then reporting results that shows some humans can in fact program in Brainfuck, just kind of poorly.

It's just not very interesting.

> So I think it's less about linguistics and more about our audiovisual mapping of the physical world.

There's probably an overlap that makes the distinction fuzzy.

Full throated thoughtful and capable eh?

The post I read is mostly an incoherent screed.

> How could I be wowed that a Millenium Prize problem has been solved using Lean verification for its proof in 2026, when that was on our minds for our 5-year plan back in 2021? How can I be impressed that OpenAI claims to have solved it in 88 hours when even I, someone barely involved, spent more hours than that working on the tech they're using?

> How much work from how many people did it really take to get that result?

I've watched this creator since, I don't know, 2010. They seem to be a very creative mathematics educator. This the point that is being insinuated here is ludicrous.

It's like saying, "how can I be impressed by copernicus' heliocentric model, when he built it on the 500 years of painstakingly collected data from the babylonians?"

It's either disingenuous, or ignorance.

> This should be embarrassing enough for OpenAI even if they didn’t have access to Buckmaster and Alpöge’s ongoing work.

More repeating of unsubstantiated accusations fanned by the ongoing culture war.

The rest... Gee whiz. It just hits all the notes. "Anyone who disagrees with me is a pedophile and has ai psychosis."

This is a diatribe from a person who makes wonderful art videos geared towards math education, against an organization solving millennium problems.

Under what circumstances is it appropriate to censor Epstein on this forum?

Fun fact: openai is still asking candidates to grind leetcode.

Lc like problems has imo never been about understanding candidate capabilities. It's about the humiliation ritual of the software engineer to gauge fealty of the process.

I usually hate analogies because they're imprecise.

But in this case, isn't use of llm / generative ai to tackle new frontiers just another instrument to be used to understand the universe?

An engineer picks up a telescope, and uses it to build new applied technologies, a scientist uses the data it produces to answer new mysteries.

No one's saying, "we have to be careful with the information the telescope produces".

The Western world is so thoroughly indoctrinated that it is simply easier to imagine the apocalypse than the end of capitalism.

I'm using it quite extensively in my PlayStation decompilation harness

> OpenAI was much more than a job for us. Its mission has been central to our lives.

Think about a time in history where this sentiment was considered normal. These people dedicated their lives to a corporation and now they're surprised to see the profit motive being prioritized over their own personal mission?

It's increasingly difficult to take these ai security researchers seriously. The public is giving them a very generous benefit of the doubt at the moment.

I'm personally quite salty about all of this, seeing how "normal people" mostly ignored or derided calls from climate researchers from the past 20 years.

I have empathy for the folks getting fired and quitting in protest right now, but I don't find them to be very credible.

Because the leadership (or a certain slice of leadership) within the company are religious zealots that believe they are building a god.

https://www.anthropic.com/research/end-subset-conversations

https://www.anthropic.com/research/exploring-model-welfare

> We remain highly uncertain about the potential moral status of Claude and other LLMs, now or in the future. However, we take the issue seriously, and alongside our research program we’re working to identify and implement low-cost interventions to mitigate risks to model welfare, in case such welfare is possible.

It is absolute lunacy masquerading as science.

> There's no gatekeeping here!

https://proofsandprompts.com/2026/10/07/on-openais-release-o...

No one is going to listen to a pearl clutching gate keeper org trying to constrain the effective spread of information.

What is the purpose of the scare quotes around the word philosopher? Do you not believe that philosophers exist? Or is it intended to cast some kind of aspersion on folks who discuss consciousness?

Yeah, we'll see how long that lasts.

I'd bet 500 thousand dollars that this sentiment goes away as fast as they were rerunning cold and flu medicine commercials after everyone was sick of giving a shit about COVID.

So you're mad at being consistently incorrect and being held to account with what is essentially, "believe my assessments that I have to continuously caveat as they become invalidated, over what you see and hear."

Flagging is for submissions that violate hn guidelines. Not for things you deem unimpressive.

I find this to be a convenient distinction going around recently. Not making a judgement on your comment. Just generally:

- a person demoing something they made

  - "we should say this is authored by Claude."

- a demonstration of something achieved with the assistance of llms

  - "we should say this was a human directing Claude"

> You will also still get random cravings for a year or two afterwards, Heck it's been 4 years and I still sometimes get dreams where I'm vaping.

It's been 9 years since I've quit smoking and still to this day out of nowhere I will have a thought, "ok, quick smoke and on to the next task"

Recently it happened to me and I was wondering if there are just some neural pathways that are permanently wired to that reward function

> You also didn't give anything to opensource.

The prevailing moral panic prevents anyone in the space from sharing in communities where open source is generally discussed. People flag and openly disparage (against community guidelines) and have histrionic reactions.

We'll just have to wait until the topic cools off before we can see how llm usage impacts open source.

Oh so now my comment is AI too. Got it.

Everything that I don't like, agree with, or think is wrong is written by ai.