Работайте офлайн с приложением Player FM !
Развитие GitHub, proof assistant, четырехдневная рабочая неделя
Архивные серии ("Канал не активен" status)
When? This feed was archived on June 27, 2023 01:23 (). Last successful fetch was on February 11, 2022 16:01 ()
Why? Канал не активен status. Нашим серверам не удалось получить доступ к каналу подкаста в течении длительного периода времени.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 296149700 series 2935941
В этом выпуске Callback Hell ребята обсудили развитие GitHub «вширь», войдёт ли proof assistant в нашу жизнь и что это такое вообще, а также четырехдневную рабочую неделю и её перспективы.
Тред в Telegram
(01:50) Развитие GitHub
- Анонс Container registry
- Пример активного использования Discussins в GitHub
- JetBrains-экосистема для совместной работы
(33:45) Proof assistant
- Новость про Lean и «теорию всего»
- Lean theorem prover от Microsoft Research
- Пример кода на Lean
- Видео про невозможность 100%-ого доказательства в математике
- Брошюра про историю вопроса мат доказательств и текущее их состояние
(59:55) Четырехдневная рабочая неделя
Слушайте на любимой платформе:
Пишите нам и читайте:
25 эпизодов
Архивные серии ("Канал не активен" status)
When? This feed was archived on June 27, 2023 01:23 (). Last successful fetch was on February 11, 2022 16:01 ()
Why? Канал не активен status. Нашим серверам не удалось получить доступ к каналу подкаста в течении длительного периода времени.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 296149700 series 2935941
В этом выпуске Callback Hell ребята обсудили развитие GitHub «вширь», войдёт ли proof assistant в нашу жизнь и что это такое вообще, а также четырехдневную рабочую неделю и её перспективы.
Тред в Telegram
(01:50) Развитие GitHub
- Анонс Container registry
- Пример активного использования Discussins в GitHub
- JetBrains-экосистема для совместной работы
(33:45) Proof assistant
- Новость про Lean и «теорию всего»
- Lean theorem prover от Microsoft Research
- Пример кода на Lean
- Видео про невозможность 100%-ого доказательства в математике
- Брошюра про историю вопроса мат доказательств и текущее их состояние
(59:55) Четырехдневная рабочая неделя
Слушайте на любимой платформе:
Пишите нам и читайте:
25 эпизодов
Все серии
×Добро пожаловать в Player FM!
Player FM сканирует Интернет в поисках высококачественных подкастов, чтобы вы могли наслаждаться ими прямо сейчас. Это лучшее приложение для подкастов, которое работает на Android, iPhone и веб-странице. Зарегистрируйтесь, чтобы синхронизировать подписки на разных устройствах.