New top story on Hacker News: The Science of Weather and the Nature of Science

The Science of Weather and the Nature of Science
9 by benbreen | 0 comments on Hacker News.

New top story on Hacker News: ATLAS: Autoformalized Textbook Library At Scale

ATLAS: Autoformalized Textbook Library At Scale
10 by vrm | 0 comments on Hacker News.
https://twitter.com/arnal_charles/status/2060009395107377282 , https://ift.tt/ixNItMX Paper: Formalizing Mathematics at Scale - https://ift.tt/BawVF0u

Dončić invests in Rome team eyeing NBA Europe

Luka Dončić is teaming up with former Mavericks executive Donnie Nelson to bring basketball to Rome, with the team also submitting a bid to join the developing NBA Europe league.

from www.espn.com - TOP https://www.espn.com/nba/story/_/id/48910986/luka-dončić-invests-italian-team-nba-europe-hopes

CFB buzz: What we learned walking the halls at SEC and Big Ten spring meetings

What are the consequences of expanding the playoff? We asked Big Ten and SEC power brokers to weigh in.

from www.espn.com - TOP https://ift.tt/pkgHaGf

Sources: USMNT coach Poch met Milan over job

USMNT coach Mauricio Pochettino has spoken with Italian Serie A giants AC Milan about its vacant head coaching job, sources confirmed to ESPN.

from www.espn.com - TOP https://ift.tt/O9G40WX

What went wrong for Jannik Sinner at the French Open?

Jannik Sinner, the overwhelming favorite at the French Open, lost Thursday. What happened -- and what it means for the tournament.

from www.espn.com - TOP https://ift.tt/WwZ8bV4

Myra Gordon announces birth of Marvel, her and Tyr...

Gordon and Maxey's daughter, Marvel, was born May 14.

from www.espn.com - TOP https://ift.tt/k5tJu8P