niftycent.com
NiftyCent
RO
Logare
Piata de desfacere
Reduceri

Machine-Assisted Proof by Terence Tao [pdf]

Article URL: https://www.ams.org/notices/202501/rnoti-p6.pdf

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

Points: 9

# Comments: 0

https://www.ams.org/notices/202501/rnoti-p6.pdf

Creată 1mo | 28 dec. 2024, 07:40:07


Autentifică-te pentru a adăuga comentarii

Alte posturi din acest grup

America desperately needs more air traffic controllers
America desperately needs more air traffic controllers

Article URL: https://www.cnn.com/2025/02/04/business/air-traffic-controller-shortage/index.html

4 feb. 2025, 23:10:15 | Hacker news
Apple Invites
Apple Invites

Article URL: https://www.apple.com/newsroom/2025/02/introducing-apple-invites-a-ne

4 feb. 2025, 23:10:15 | Hacker news
MathScroll – Infinitely Scroll Mathematics
MathScroll – Infinitely Scroll Mathematics

Article URL: https://projects.ollybritton.com/mathscroll/

Comments URL: ht

4 feb. 2025, 23:10:12 | Hacker news
How I use LLMs as a staff engineer
How I use LLMs as a staff engineer

Article URL: https://www.seangoedecke.com/how-i-use-llms/

Comments URL: ht

4 feb. 2025, 23:10:11 | Hacker news
TrailBase: Sub-millisecond open-source application base with Rust, SQLite and V8
TrailBase: Sub-millisecond open-source application base with Rust, SQLite and V8

Article URL: https://trailbase.io/reference/benchmarks/

Comments URL: https:

4 feb. 2025, 23:10:10 | Hacker news
Roame (YC S23) Is Hiring an AI Fullstack Lead
Roame (YC S23) Is Hiring an AI Fullstack Lead

Article URL: https://www.ycombinator.com/companies/roame/jobs/V1aMBGc-lead-ai-full-stack-engineer

4 feb. 2025, 23:10:08 | Hacker news
Government planned it 7 years, beavers built a dam in 2 days and saved $1M
Government planned it 7 years, beavers built a dam in 2 days and saved $1M

Article URL: https://www.voxnews.al/english/kosovabota/qeveria-po-e

4 feb. 2025, 23:10:07 | Hacker news
Techie
Techie