Wednesday, February 2, 2022

New top story on Hacker News: Solving (Some) Formal Math Olympiad Problems

Solving (Some) Formal Math Olympiad Problems
24 by neiman1 | 0 comments on Hacker News.


No comments:

Post a Comment

'Struggling Frank trapped in gilded cage at joyless Tottenham'

Struggling head coach Thomas Frank is trapped in a gilded cage at joyless Tottenham Hotspur, says chief football writer Phil McNulty. from...