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

В этом выпуске 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) Четырехдневная рабочая неделя

Япония
Испания готовится к 3-летнему эксперименту
Движение за 4-дневную рабочую неделю

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

RSS
YouTube
SoundCloud

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

Telegram—канал CSSSR
Twitter CSSSR