В этом выпуске 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
view more