A Formal Proof of Complexity Bounds on Diophantine Equations

Article URL: https://www.washingtonpost.com/investigations/interactive/2025/eg

Article URL: https://www.jdemeta.net/p/avoiding-the-global-lobotomy

Comments URL:

Hey HN!

I’m an NHS doctor and the founder of Pia (https://www.piahealth.co) which developed Lungy (

Article URL: https://www.neilchen.co/blog/kasa

Comments URL: https://news.ycombinator

Article URL: https://nautil.us/the-father-of-modern-metal-235939/

Comments URL:

Article URL: https://www.thedrive.com/news/worlds-largest-wildlife-bridge

Hi HN,

Since 2019, I’ve been working on a writing platform designed for creating complex documents (e.g., theses). I personally use it for everything as it also allows to classify documents in c