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

1:25:27
 
Chia sẻ
 

Manage episode 296137328 series 2177091
Thông tin tác giả CSSSR được phát hiện bởi Player FM và cộng đồng của chúng tôi - bản quyền thuộc sở hữu của nhà sản xuất (publisher), không thuộc về Player FM, và audio được phát trực tiếp từ máy chủ của họ. Bạn chỉ cần nhấn nút Theo dõi (Subscribe) để nhận thông tin cập nhật từ Player FM, hoặc dán URL feed vào các ứng dụng podcast khác.
В этом выпуске 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

305 tập