niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

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

Created 2mo | May 23, 2025, 8:50:09 PM


Login to add comment

Other posts in this group

Bold Mission to Hunt for Aliens on Venus Is Happening
Bold Mission to Hunt for Aliens on Venus Is Happening

Article URL: https://gizmodo.com/a-bold-mission-to-hunt-for-aliens-on-venus-is-actually-ha

Jul 14, 2025, 3:30:04 PM | Hacker news
C3 solved memory lifetimes with scopes
C3 solved memory lifetimes with scopes

Article URL: https://c3-lang.org/blog/forget-borrow-checkers-c3-solved-memory-lifetimes-with-scope

Jul 14, 2025, 3:30:04 PM | Hacker news
Strategies for Fast Lexers
Strategies for Fast Lexers

Article URL: https://xnacly.me/posts/2025/fast-lexer-strategies/

Comments URL:

Jul 14, 2025, 3:30:04 PM | Hacker news
Lenovo Legion Go S: Windows 11 vs. SteamOS Performance, and General Availability
Lenovo Legion Go S: Windows 11 vs. SteamOS Performance, and General Availability

Article URL: https://boilingsteam.com/lenovo-legion-go-s-windows-vs-steam-os-performance/

Comments

Jul 14, 2025, 3:30:02 PM | Hacker news
Happy 20th Birthday, Django
Happy 20th Birthday, Django

Article URL: https://www.djangoproject.com/weblog/2025/jul/13/happy-20th-birthday-django/

Comments

Jul 14, 2025, 1:10:08 PM | Hacker news
Google is tracking you (even when using DuckDuckGo)
Google is tracking you (even when using DuckDuckGo)

Article URL: https://www.simpleanalytics.com/blog/google-is-tracking-you-even-when-you-use-duck

Jul 14, 2025, 1:10:07 PM | Hacker news
Interview with Google's Android leader Sameer Samat
Interview with Google's Android leader Sameer Samat

Article URL: https://www.techradar.com/phones/android/i-think-you

Jul 14, 2025, 1:10:07 PM | Hacker news
Techie
Techie