Правильный подкаст для IT-шников
…
continue reading
Nội dung được cung cấp bởi CSSSR. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được CSSSR hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.
Player FM - Ứng dụng Podcast
Chuyển sang chế độ ngoại tuyến với ứng dụng Player FM !
Chuyển sang chế độ ngoại tuyến với ứng dụng Player FM !
Развитие GitHub, proof assistant, четырехдневная рабочая неделя
MP3•Trang chủ episode
Manage episode 296137328 series 2177091
Nội dung được cung cấp bởi CSSSR. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được CSSSR hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.
В этом выпуске 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
…
continue reading
353 tập
MP3•Trang chủ episode
Manage episode 296137328 series 2177091
Nội dung được cung cấp bởi CSSSR. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được CSSSR hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.
В этом выпуске 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
…
continue reading
353 tập
Tất cả các tập
×Chào mừng bạn đến với Player FM!
Player FM đang quét trang web để tìm các podcast chất lượng cao cho bạn thưởng thức ngay bây giờ. Đây là ứng dụng podcast tốt nhất và hoạt động trên Android, iPhone và web. Đăng ký để đồng bộ các theo dõi trên tất cả thiết bị.