niftycent.com
NiftyCent
RU
Логин
Базарная площадь
Скидки

Anatomy of a Formal Proof

Article URL: https://www.ams.org/journals/notices/202502/noti3114/noti3114.html

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

Points: 27

# Comments: 0

https://www.ams.org/journals/notices/202502/noti3114/noti3114.html

созданный 1mo | 24 янв. 2025 г., 20:30:11


Войдите, чтобы добавить комментарий

Другие сообщения в этой группе

A data analysis of speeches at the Oscars
A data analysis of speeches at the Oscars

Article URL: https://stephenfollows.com/p/harvey-weinstein-thanked-more-than-god

Comments URL:

27 февр. 2025 г., 18:20:14 | Hacker news
Solitaire
Solitaire

Article URL: https://localthunk.com/blog/solitaire

Comments URL: https://news.yco

27 февр. 2025 г., 18:20:12 | Hacker news
A $100 DIY muon tomographer
A $100 DIY muon tomographer

Article URL: https://spectrum.ieee.org/diy-muon-tomography

Comments URL:

27 февр. 2025 г., 18:20:12 | Hacker news
Distributed Systems Programming Has Stalled
Distributed Systems Programming Has Stalled

Article URL: https://www.shadaj.me/writing/distributed-programming-stalled

Comments URL:

27 февр. 2025 г., 18:20:11 | Hacker news
Nigerians are building affordable alternatives to AWS and Google Cloud
Nigerians are building affordable alternatives to AWS and Google Cloud

Article URL: https://restofworld.org/2025/aws-google-cloud-nigeria-alternatives/

Comments URL:

27 февр. 2025 г., 18:20:11 | Hacker news
The muon's magnetic moment exposes a hole in the SM – unless it doesn't
The muon's magnetic moment exposes a hole in the SM – unless it doesn't

Article URL: https://physicsworld.com/a/the-muons-magnetic-moment-exposes

27 февр. 2025 г., 18:20:09 | Hacker news
Turning a Bluetooth Device into an Apple AirTag Without Root Privileges
Turning a Bluetooth Device into an Apple AirTag Without Root Privileges

Article URL: https://nroottag.github.io/

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

27 февр. 2025 г., 18:20:09 | Hacker news
Techie
Techie