Послушал свежачок классный подкаст
Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
чёта эти пацаны сильно напомнили Теорию Большого Взрыва )))
Post #2624
605
- ❤ 24
- 🔥 8
- 😁 8
- 👌 2
ЛА Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers - Sep 25, 2026Гарри Поттер и Методы Математического Мышления Книга 1. Гарри Поттер и Неорганический Инте…
- Sep 25, 2026Свежее от ребят (и девчат). ...Так же было собеседование в Сбере, каким то чудом прошел их…
- Sep 24, 2026Приятный синхронизм: сразу двое ребят в один день прислали отчёты - второй курс по гомотоп…
- Sep 24, 2026Post #2665
- Sep 23, 2026Помните, летом я писал, что каждый месяц будет какая-то "новая" AI-темка (шоу должно продо…
- Sep 23, 2026Сейчас по сути наступил золотой век разработки программного обеспечения: - вы можете созда…