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

CSSSR

В этом выпуске Callback Hell ребята обсудили развитие GitHub «вширь», войдёт ли proof assistant в нашу жизнь и что это такое вообще, а также четырехдневную рабочую неделю и её перспективы. Тред в Telegram: https://t.me/csssr/312 (01:50) Развитие GitHub: –– Анонс Container registry: https://github.blog/2021-06-21-github-packages-container-registry-generally-available/ –– Пример активного использования Discussins в GitHub: https://github.com/vercel/next.js/discussions –– JetBrains-экосистема для совместной работы: https://www.jetbrains.com/space/ (33:45) Proof assistant –– Новость про Lean и «теорию всего»: https://www.nature.com/articles/d41586-021-01627-2 –– Lean theorem prover от Microsoft Research: https://leanprover.github.io/ –– Пример кода на Lean: https://github.com/leanprover-community/lean-liquid/blob/master/src/lem97.lean#L210-L241 –– Видео про невозможность 100%-ого доказательства в математике: https://www.youtube.com/watch?v=HeQX2HjkcNo –– Брошюра про историю вопроса мат доказательств и текущее их состояние: https://arxiv.org/pdf/1210.1478.pdf (59:55) Четырехдневная рабочая неделя —— Япония: https://mainichi.jp/english/articles/20210619/p2g/00m/0na/014000c —— Испания готовится к 3-летнему эксперименту: https://www.theguardian.com/world/2021/mar/15/spain-to-launch-trial-of-four-day-working-week —— Движение за 4-дневную рабочую неделю: https://www.4dayweek.com/ Слушайте на любимой платформе: RSS — radio.csssr.com/rss/callback_hell.rss YouTube — www.youtube.com/channel/UCoF-ngPNAd-_PTyKDZDsViA Пишите нам и читайте: Telegram—канал CSSSR: t.me/csssr Twitter CSSSR: twitter.com/csssr_dev