Proving P ≠ NP via Categorical and Graph-Theoretic 3-SAT

Comments (2)

vmstabile · 10h ago

This approach was inspired by an informational theory related to Quantum Gravity.

fjfaase · 6h ago

Maybe you should look for a more math oriented platform. There are regular postings here on the NP vs P problem from, often first time authors, claiming to have solved the problem. Usually, these are not taken seriously and mostly not discussed with respect to their content. Sometimes, if someone does take the effort to study the actual math, serious flaws are pointed out.

Tree Borrows (plf.inf.ethz.ch)

Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left (medium.com)

Ruby 3.4 frozen string literals: What Rails developers need to know (prateekcodes.dev)

A fast 3D collision detection algorithm (cairno.substack.com)

Is the doc bot docs, or not? (robinsloan.com)

Helm local code execution via a malicious chart (github.com)

Most RESTful APIs aren't really RESTful (florian-kraemer.net)

X Chief Says She Is Leaving the Social Media Platform (nytimes.com)

US Court nullifies FTC requirement for click-to-cancel (arstechnica.com)

Bootstrapping a side project into a profitable seven-figure business (projectionlab.com)

Phrase origin: Why do we "call" functions? (quuxplusone.github.io)

7-Zip for Windows can now use more than 64 CPU threads for compression (7-zip.org)

IKEA ditches Zigbee for Thread going all in on Matter smart homes (theverge.com)

Archaeologists unveil 3,500-year-old city in Peru (bbc.co.uk)

Galiliean-invariant cosmological hydrodynamical simulations on a moving mesh (wwwmpa.mpa-garching.mpg.de)

RapidRAW: A non-destructive and GPU-accelerated RAW image editor (github.com)

A Emoji Reverse Polish Notation Calculator Written in COBOL (github.com)

Breaking Git with a carriage return and cloning RCE (dgl.cx)

Astro is a return to the fundamentals of the web (websmith.studio)

Using MPC for Anonymous and Private DNA Analysis (vishakh.blog)

I Ported SAP to a 1976 CPU. It Wasn't That Slow (github.com)

Where can I see Hokusai's Great Wave today? (greatwavetoday.com)

Frame of preference A history of Mac settings, 1984–2004 (aresluna.org)

ESIM Security (security-explorations.com)

I'm Building LLM for Satellite Data EarthGPT.app (earthgpt.app)

Florida is letting companies make it harder for highly paid workers to swap jobs (businessinsider.com)

Supabase MCP can leak your entire SQL database (generalanalysis.com)

Smollm3: Smol, multilingual, long-context reasoner LLM (huggingface.co)

Nvidia Becomes First Company to Reach $4T Market Cap (cnbc.com)

Zorin OS (zorin.com)

Radium Music Editor (users.notam02.no)

Libpostal: C library for parsing/normalizing street addresses around the world (github.com)

Jurisdiction Is Nearly Irrelevant to the Security of Encrypted Messaging Apps (soatok.blog)

Brut: A New Web Framework for Ruby (naildrivin5.com)

SUSE launches new European digital sovereignty service to meet surging demand (zdnet.com)

Show HN: I rewrote an outdated React Native map clustering library (github.com)

Show HN: OffChess – Offline chess puzzles app (offchess.com)

Taking over 60k spyware user accounts with SQL injection (ericdaigle.ca)

Bug Stories (500mile.email)

Serving a half billion requests per day with Rust and CGI (jacob.gold)

iPod Linux (2017) (ipodlinux.org)

Why I'm skeptical of Ground News (sjodle.com)

Xenharmlib: A music theory library that supports non-western harmonic systems (xenharmlib.readthedocs.io)

Swahili on the Road (historytoday.com)

Dynamical origin of Theia, the last giant impactor on Earth (arxiv.org)

Springer Nature book on machine learning is full of made-up citations (retractionwatch.com)

Can an email go 500 miles in 2025? (flak.tedunangst.com)

That white guy who can't get a job at Tim Hortons? He's AI (cbc.ca)

Show HN: Pyhoff – Connect Python ML Models to Beckhoff/WAGO IO Hardware (github.com)

Blind to Disruption – The CEOs Who Missed the Future (steveblank.com)

Proving P ≠ NP via Categorical and Graph-Theoretic 3-SAT

Comments (2)