Easy versus hard proofs in mathematics [video]

HN · 13.11.2026 · 05:20

GitHub-радар на почту

Раз в неделю, в понедельник в 09:00 мск. Новые репозитории, скиллы и MCP.

Нужно больше суперкомпьютеров: SpaceX строит ещё один прямо в городе-космодроме StarbaseiXBT
Cómo funciona el GPS: satélites, relojes y un poco de EinsteinDEV
Done-for-You Content for RestaurantsHN
How Blockchain and Digital Traceability Are Transforming the Cocoa Supply ChainDEV
CVE-2026-120868 Puts NetScaler Packet Processing Back in the Patch QueueDEV

News3000 — IT-повестка из 82 источников. Как мы собираем · Конфиденциальность · Cookie · dmitry920@ya.ru