P ≠ NP Provable in PA - Hackdot

Hackdot

News for hackers. Stuff that matters.

Sections

Top
Latest
Ask HN
Show HN
Jobs
Polls
Older Stuff
Search

About

Every story and comment from the Hacker News API, in a layout borrowed from 2001.

A comment on P ≠ NP Provable in PA. Parent comment

Re:P ≠ NP Provable in PA by omni- on Thursday March 18, 2021 @07:23PM (#26508641)

Peano Arithmetic

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Why wouldn't AI labs reverse-engineer all software/games/app out there?
If LLM reverse engineering is deemed illegal, is that precedent for OSS?
Why does Ant, Open AI even need a datacenter?
What are you building that you're excited by
How do you keep track of the articles, papers and videos you save?
What are you building – I'd try it, pay for it, or even star your repo

Show HN

Maple – Sub-2-BPW Moe Pruning to Run Gemma 4 26B at 45 TPS on a 6GB GPU
Reges Town – a 3D city run by AI citizens, in the browser
I'm 15 and my personal website looks like iMessage
LLM weight editing tool made by a 15-year-old
Learn Languages with Dual Subtitles
RenderPixels – Generate images from any AI via MCP, 50 free renders

Jobs

UpCodes (YC S17) is hiring SDR's to sell AI compliance software
Mbodi AI (YC P25) Is Hiring Research and Robotic Engineers
Bild AI (YC W25) Is Hiring Founding Product Engineers
Ashby (YC W19) Is Hiring EMs

Stories and comments come from the Hacker News API and belong to their authors. Not affiliated with Y Combinator or Slashdot.