В этом эпизоде ведущие Callback Hell обсудили фреймворк Remix и его перспективы, спасение веба децентрализацией и приход Web 3.0, а также где лучше всего разработчикам обмениваться знаниями и хранить их.
Запись стрима: https://youtu.be/im1UbkEZzSs
All content for Callback Hell is the property of CSSSR and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
В этом эпизоде ведущие Callback Hell обсудили фреймворк Remix и его перспективы, спасение веба децентрализацией и приход Web 3.0, а также где лучше всего разработчикам обмениваться знаниями и хранить их.
Запись стрима: https://youtu.be/im1UbkEZzSs
Развитие GitHub, proof assistant, четырехдневная рабочая неделя
Callback Hell
1 hour 25 minutes 27 seconds
4 years ago
Развитие GitHub, proof assistant, четырехдневная рабочая неделя
В этом выпуске 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 — https://radio.csssr.com/rss/callback_hell.rss
YouTube — https://www.youtube.com/channel/UCoF-ngPNAd-_PTyKDZDsViA
Пишите нам и читайте:
Telegram—канал CSSSR: https://t.me/csssr
Twitter CSSSR: https://twitter.com/csssr_dev
Callback Hell
В этом эпизоде ведущие Callback Hell обсудили фреймворк Remix и его перспективы, спасение веба децентрализацией и приход Web 3.0, а также где лучше всего разработчикам обмениваться знаниями и хранить их.
Запись стрима: https://youtu.be/im1UbkEZzSs
