A Formal Proof of Complexity Bounds on Diophantine Equations

Article URL: https://arxiv.org/abs/2505.16963

Comments URL: https://news.ycombinator.com/item?id=44076170

Points: 8

# Comments: 1

https://arxiv.org/abs/2505.16963

Établi 1mo | 23 mai 2025, 20:50:09

Connectez-vous pour ajouter un commentaire

Autres messages de ce groupe

America’s incarceration rate is in decline

Article URL: https://www.theatlantic.com/ideas/archive/2025/06/prisoner-populations-are-plum

25 juin 2025, 21:40:15 | Hacker news

Coccinelle for Rust Progress Report

Article URL: https://www.collabora.com/news-and-blog/blog/2025/06/25/coccinelle-for-rust-prog

25 juin 2025, 21:40:14 | Hacker news

Show HN: PLJS – JavaScript for Postgres

PLJS is a new, modern JavaScript trusted language extension, bundling QuickJS, a small and fast JavaScript runtime with Postgres, providing fast type conversion between Postgres and JavaScript, fa

25 juin 2025, 21:40:12 | Hacker news

Libxml2's "no security embargoes" policy

Article URL: https://lwn.net/SubscriberLink/1025971/73f269ad3695186d/

Comments URL:

25 juin 2025, 21:40:11 | Hacker news

A Classical RAM Design That Mimics Quantum Collapse and Entanglement"

Article URL: https://www.qsymbolic.com

Comments URL: https://news.ycombinator.com/item?id=443

25 juin 2025, 21:40:10 | Hacker news

Games run faster on SteamOS than Windows 11, Ars testing finds

Article URL: https://arstechnica.com/gaming/2025/06/games-run-faster-on-steamos-than

25 juin 2025, 21:40:08 | Hacker news

The Offline Club

Article URL: https://www.theoffline-club.com

Comments URL: https://news.ycombinator.com

25 juin 2025, 21:40:07 | Hacker news

Techie