Развитие GitHub, proof assistant, четырехдневная рабочая неделя

1:25:27
 
Поделиться
 

Manage episode 296149700 series 2935941
Сделано CSSSR.COM и найдено благодаря Player FM и нашему сообществу. Авторские права принадлежат издателю, а не Player FM, и аудиоматериалы транслируются прямо с его сервера. Нажмите на кнопку Подписаться, чтобы следить за обновлениями через Player FM или скопируйте и вставьте ссылку на канал в другое приложение для подкастов.

В этом выпуске Callback Hell ребята обсудили развитие GitHub «вширь», войдёт ли proof assistant в нашу жизнь и что это такое вообще, а также четырехдневную рабочую неделю и её перспективы.


Тред в Telegram

(01:50) Развитие GitHub

(33:45) Proof assistant

(59:55) Четырехдневная рабочая неделя

Слушайте на любимой платформе:

Пишите нам и читайте:

18 эпизодов