niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

The Fermat's Last Theorem Project

Article URL: https://leanprover-community.github.io/blog/posts/FLT-announcement/

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

Points: 16

# Comments: 2

https://leanprover-community.github.io/blog/posts/FLT-announcement/

Created 20d | May 1, 2024, 4:20:13 AM


Login to add comment

Other posts in this group

Erlang/OTP 27 Highlights
Erlang/OTP 27 Highlights

Article URL: https://www.erlang.org/blog/highlights-otp-27/

Comments URL:

May 21, 2024, 10:30:05 AM | Hacker news
Which Electric Cars Have Bidirectional Charging (V2L, V2G, V2H)
Which Electric Cars Have Bidirectional Charging (V2L, V2G, V2H)

Article URL: https://zecar.com/resources/which-electric-cars-have-bidirectional-charging

Comments U

May 21, 2024, 10:30:03 AM | Hacker news
Microsoft's AI chatbot will 'recall' everything you do on its new PCs
Microsoft's AI chatbot will 'recall' everything you do on its new PCs

Article URL: https://www.theguardian.com/technology/article/2024/may/20/microsoft-chatbot-assist

May 21, 2024, 10:30:03 AM | Hacker news
The OpenAI board was right – No (by a voice actres named Scarlet) means No
The OpenAI board was right – No (by a voice actres named Scarlet) means No

Article URL: https://garymarcus.substack.com/p/the-openai-board-was-right

Comments URL:

May 21, 2024, 10:30:02 AM | Hacker news
Shipbreaking
Shipbreaking

Article URL: https://www.edwardburtynsky.com/projects/photographs/shipbreaking

Comments URL:

May 21, 2024, 8:10:11 AM | Hacker news
How Might We Learn?
How Might We Learn?

Article URL: https://andymatuschak.org/hmwl/

Comments URL: https://news.ycombinator.com

May 21, 2024, 8:10:09 AM | Hacker news
Taking Risk – Startups in UK vs. US
Taking Risk – Startups in UK vs. US

Article URL: https://tomblomfield.com/post/750852175114174464/taking-risk

Comments URL:

May 21, 2024, 8:10:07 AM | Hacker news
Techie
Techie