In a World That's Conscious

1 points by kwie 45s ago 0 comments

AskOra – Your terminal gateway to AI for any dev workflow (github.com)

1 points by jetroni 1m ago 1 comments

Alternative to Htmx and Alpine.js (hmpl-lang.dev)

2 points by aanthonymax 1m ago 0 comments

What to Know About Medical Insurance When Traveling Abroad (nytimes.com)

2 points by bookofjoe 3m ago 1 comments

ResurrectedGod: The Ruby Framework for Process Management (github.com)

1 points by arguflow 5m ago 0 comments

Pruned expert GPT-OSS 6.6B (huggingface.co)

3 points by privacyhateai 7m ago 0 comments

Helping Farms from Space (msutoday.msu.edu)

1 points by rmason 10m ago 0 comments

Value Creation Through Environmental, Social, and Governance (ESG) Disclosures (mdpi.com)

1 points by PaulHoule 14m ago 0 comments

AI Proves P != NP (mvcalder-01701.medium.com)

1 points by mvcalder 15m ago 3 comments

Steam Debanked? (youtube.com)

2 points by SilverElfin 16m ago 0 comments

ChatGPT5 Wow Moments

1 points by randomname4325 21m ago 0 comments

Swarm of jellyfish shuts nuclear power plant in France (theguardian.com)

1 points by campuscodi 22m ago 0 comments

Installing PyTorch with hardware detection via a variant-enabled build of uv (astral.sh)

1 points by apples2apples 25m ago 0 comments

Engineer raises $100k pre-seed to build app store for AI tools in Africa (techcabal.com)

1 points by devcamcar 26m ago 0 comments

Show HN: OpusTools – Free, No-Ads Online File Converter (opustools.xyz)

1 points by divinetking 27m ago 0 comments

"Why Are We Funding This?" (americanscientist.org)

5 points by billybuckwheat 32m ago 0 comments

I asked 5 AI agents to code euchre (rxhl.notion.site)

1 points by baxkl 32m ago 0 comments

Show HN: I made a site that lets you talk to the original GPT-1 (retrogpt.io)

1 points by Tenobrus 35m ago 1 comments

Iconic US film company Kodak warns it may go out of business (usatoday.com)

2 points by notfried 36m ago 0 comments

US embeds trackers in AI chip shipments to catch diversions to China sources say (reuters.com)

1 points by jnord 36m ago 0 comments

Grok is now automatically editing the content of posts on X (twitter.com)

4 points by TheFreim 38m ago 4 comments

NYC office visits hit pre-pandemic levels (axios.com)

1 points by jerlam 43m ago 0 comments

Plan 9 Desktop Guide (web.archive.org)

1 points by todsacerdoti 45m ago 1 comments

Tell HN: Sell your startup shares while you can

2 points by thesellre 48m ago 2 comments

Mothers are leaving the workforce, erasing pandemic gains (washingtonpost.com)

7 points by danielam 48m ago 4 comments

Greystar Makes Deal with DOJ to Settle Price-Fixing Claims in RealPage Case (propublica.org)

5 points by toomuchtodo 52m ago 1 comments

Demystifying NCCL: An In-Depth Analysis of GPU Communication Protocols and Algos (arxiv.org)

1 points by charleshn 54m ago 0 comments

Show HN: SwarmZero – AI Agent Marketplace with no-code agent builder (app.swarmzero.ai)

1 points by swarmzero_ai 57m ago 0 comments

Man asks ChatGPT for diet tips, ends up with a rare 19th-century illness (economictimes.indiatimes.com)

3 points by jethronethro 58m ago 1 comments

Dicing an Onion, the Mathematically Optimal Way (pudding.cool)

3 points by kylecarbs 1h ago 0 comments

Nixidy: Kubernetes GitOps with Nix and Argo CD (nixidy.dev)

3 points by todsacerdoti 1h ago 0 comments

Show HN: Emailcore – write chiptune in plain text in the browser (cattheory.net)

3 points by msoloviev 1h ago 0 comments

Languages (forgottenlanguages-full.forgottenlanguages.org)

1 points by rob 1h ago 0 comments

Robust Mouse Rejuvenation: Study 2 (levf.org)

1 points by birriel 1h ago 0 comments

Show HN: Paket Tour Dieng – Static Site in Astro with Netlify Deployment (paketwisatadieng.netlify.app)

1 points by lakonewsb 1h ago 0 comments

I find journaling indispensable (2019) (jon.bo)

1 points by dvrp 1h ago 1 comments

Windows 11 24H2 updates failing again with 0x80240069 errors (bleepingcomputer.com)

2 points by kPwn 1h ago 0 comments

Sick as a Dog (privatebank.jpmorgan.com)

2 points by johntfella 1h ago 0 comments

Why operating system package maintainers matter (briancallahan.net)

2 points by LorenDB 1h ago 0 comments

Structured binding packs in GCC 16 (old.reddit.com)

2 points by ibobev 1h ago 0 comments

Show HN: Cromulant (github.com)

2 points by Toby1VC 1h ago 0 comments

Reflections on LeetCode and LSAT in my 30s (andreagao.com)

2 points by gytrcrt 1h ago 0 comments

China Uses the Cppcc to Conduct "United Front Diplomacy" with North Korea (38north.org)

4 points by EA-3167 1h ago 0 comments

Great Ideas in Theoretical Computer Science (ocw.mit.edu)

3 points by ibobev 1h ago 0 comments

A poet's long-forgotten daughter created the first algorithm (adamgrant.micro.blog)

2 points by hidelooktropic 1h ago 3 comments

sshrc: Bring your .bashrc, .vimrc, etc. with you when you SSH (github.com)

2 points by thunderbong 1h ago 0 comments

Kubernetes will solve YAML headaches with KYAML (thenewstack.io)

2 points by thecosmicfrog 1h ago 0 comments

A virtual machine with native AI instructions

3 points by noreplydev 1h ago 0 comments

Realbotix (realbotix.com)

2 points by fcpguru 1h ago 0 comments

Ask HN: What's stopping Guix from building static binaries for various targets?

3 points by tetris11 1h ago 0 comments

AI Proves P != NP

1 mvcalder 3 8/13/2025, 10:42:45 PM mvcalder-01701.medium.com ↗

Comments (3)

JohnFen · 14m ago

Clickbait title. According to the article, it did no such thing.

> AI has absolutely not provided a proof (yet) in a formal mathematical sense.

zahlman · 14m ago

I suspect the entire thing is written by AI anyway.

mvcalder · 11m ago

Nope, all human all the time.