Readit News logoReadit News
soup10 commented on A Homological Proof of P != NP: Computational Topology via Categorical Framework   arxiv.org/abs/2510.17829... · Posted by u/rescrv
seanhunter · 5 months ago
Natural proofs are a certain type of proof of the circuit complexity of boolean conditions. The barrier is that it has been proved that [1] natural proofs cannot be used for P vs NP.

I’m not sure that is a problem here given that as I understand it, natural proofs apply to circuit complexity approaches and they say the whole circuit complexity method has fundamental limitations which they describe thus:

   The circuit complexity approach seeks to establish lower bounds by proving that NP problems require super-polynomial circuit sizes. While achieving success for restricted models such as monotone circuits, this approach has faced insurmountable barriers in establishing non-linear lower bounds for general circuits.
So they take an entirely different approach using category theory. It may have a similar limitation as the natural proof barrier (as far as I know), but as they dismiss the whole circuit idea and do something different I wouldn’t say them not mentioning the limitation of a specific type of circuit-based approach is that much of a problem.

[1] assuming certain things which people generally believe to be true

soup10 · 5 months ago
i see, thanks
soup10 commented on A Homological Proof of P != NP: Computational Topology via Categorical Framework   arxiv.org/abs/2510.17829... · Posted by u/rescrv
emtel · 5 months ago
The paper seems to make no mention of the natural proof barrier, so it is almost certainly not a proof of what it claims
soup10 · 5 months ago
what's the natural proof barrier
soup10 commented on Electronic Arts Leadership Are Out of Their Goddamned Minds   aftermath.site/ea-dice-ba... · Posted by u/dotmanish
AlexandrB · 8 months ago
Creative risks and financial risks are almost diametrically opposed. It's a lot harder to take a creative risk when a lot of money is on the line. It's also harder aligning a large team to execute on a novel vision.
soup10 · 8 months ago
>It's a lot harder to take a creative risk when a lot of money is on the line. It's also harder aligning a large team to execute on a novel vision.

well indie games are their own separate thing and large studios will never have the creative freedom and the ability to align a small team to a novel vision that they do. However studios with deeper pockets and larger teams can still innovate and push the boundaries of what gaming can be so long as the executive team isn't a bunch of spineless losers.

soup10 commented on Electronic Arts Leadership Are Out of Their Goddamned Minds   aftermath.site/ea-dice-ba... · Posted by u/dotmanish
kevingadd · 8 months ago
We've had a considerable number of layoffs impact the video game industry over the past few years ( https://en.wikipedia.org/wiki/2022%E2%80%932025_video_game_i... ) and executive incompetence is a big factor in it.

Deciding to set a "success" target of 100 million players and then spending upwards of $400 million USD developing one title is a recipe for studio closures and/or layoffs when it inevitably "fails" because executive leadership didn't set reasonable targets or come up with a reasonable budget. It's a big house of cards.

A more diversified portfolio of titles with more reasonable budgets would be a much safer choice, and it's how things were done successfully in the past.

soup10 · 8 months ago
i'd rather see studios take creative and financial risks personally, not saying I care about yet another battle royale game, but in principle it should be about good games that are innovative and push boundaries, not milking a sequel from an established ip for the sake of stable employment.
soup10 commented on Electronic Arts Leadership Are Out of Their Goddamned Minds   aftermath.site/ea-dice-ba... · Posted by u/dotmanish
Nathanba · 8 months ago
There is nothing wrong with setting high goals and trying to reach them. That they are failing is a different issue. This article is trying to farm outrage but there isn't any.
soup10 · 8 months ago
every video game is a financial gamble, it's not his money so who cares if they try to make a battle royale and it flops
soup10 commented on Microsoft researchers developed a hyper-efficient AI model that can run on CPUs   techcrunch.com/2025/04/16... · Posted by u/libpcap
ilrwbwrkhv · a year ago
This will happen more and more. This is why NVidia is rushing to get CUDA a software level lock-in otherwise their stock will go the way of Zoom.
soup10 · a year ago
i agree, no matter how much wishful thinking jensen sells to investors about paradigm shifts the days of everyone rushing out to get 6 figure tensor core clusters for their data center probably won't last forever.

Deleted Comment

soup10 commented on Harvard's response to federal government letter demanding changes   harvard.edu/president/new... · Posted by u/impish9208
soup10 · a year ago
Harvard has a 50 billion endowment, what do they need federal funds for. If they value their intellectual independence so much, then cut the cord.
soup10 commented on Nice things with SVG   fuma-nama.vercel.app/blog... · Posted by u/fmerian
soup10 · a year ago
i'll be a contrarian, that css and svg "hacks" like this are "impressive" are a symptom of a web-platform that is dogshit for multimedia. If a game did this nobody would even blink, the fact that it's another convoluted css hack makes it "notable".
soup10 commented on Are you VC-funded? No, we're profitable   twitter.com/jasonbosco/st... · Posted by u/jabo
epolanski · a year ago
Why does it always have to be about maximizing exits at all costs?

There's people that simply enjoy their company and working in it, they only luck to sell when they are old and there are no great heirs to the business.

And that's true for billion dollar companies too.

soup10 · a year ago
many businesses are boring or a grind by their nature and would not exist without financial incentive and an exit plan

u/soup10

KarmaCake day1173January 19, 2012View Original