niftycent.com
NiftyCent
FR
Connexion
Marketplace
Réductions

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

https://github.com/ImperialCollegeLondon/FLT/blob/main/GENER...

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

Points: 95

# Comments: 50

https://github.com/ImperialCollegeLondon/FLT

Établi 22d | 3 août 2025, 13:10:05


Connectez-vous pour ajouter un commentaire

Autres messages de ce groupe

Show HN: CasCache – multi-generational cache with optimistic concurrency control
Show HN: CasCache – multi-generational cache with optimistic concurrency control

Article URL: https://github.com/unkn0wn-root/cascache

Comments URL: https://ne

25 août 2025, 11:20:08 | Hacker news
The great medieval water myth (2013)
The great medieval water myth (2013)

Article URL: https://leslefts.blogspot.com/2013/11/the-great-medieval-water-myth.html

Comments URL:

25 août 2025, 11:20:06 | Hacker news
Cornell's world-first 'microwave brain' computes differently
Cornell's world-first 'microwave brain' computes differently

Article URL: https://newatlas.com/computers/cornell-microwave-brain/

Comments URL:

25 août 2025, 11:20:05 | Hacker news
YouTube made AI enhancements to videos without warning or permission
YouTube made AI enhancements to videos without warning or permission

Article URL: https://www.bbc.com/future/article/20250822-youtube-is-using-ai-to-edit-vid

25 août 2025, 08:50:15 | Hacker news
Buypass Discontinues Issuance of TLS/SSL Certificates
Buypass Discontinues Issuance of TLS/SSL Certificates

Article URL: https://www.buypass.com/products/tls-ssl-certificates/discontinues-issuan

25 août 2025, 08:50:13 | Hacker news
What are OKLCH colors?
What are OKLCH colors?

Article URL: https://jakub.kr/components/oklch-colors

Comments URL: https://ne

25 août 2025, 08:50:13 | Hacker news
In-Memory Filesystems in Rust
In-Memory Filesystems in Rust

Article URL: https://andre.arko.net/2025/08/18/in-memory-filesystems-in-rust/

Comments URL:

25 août 2025, 06:30:20 | Hacker news
Techie
Techie