Наслаждайтесь этим подкастом, а также многими другими

Подкасты доступны без подписки, на 100% бесплатно. Мы также предлагаем электронные книги, аудиокниги и многое другое всего за $9.99 в месяц.

#108 Coq и Gallina, чем может писать робо-собака: 00:00 Приветствие 
3:50 Эбонитовая палочка, дырка…

#108 Coq и Gallina, чем может писать робо-собака: 00:00 Приветствие 3:50 Эбонитовая палочка, дырка…

ИзЦинковый прод (18+)


#108 Coq и Gallina, чем может писать робо-собака: 00:00 Приветствие 3:50 Эбонитовая палочка, дырка…

ИзЦинковый прод (18+)

оценки:
Длина:
98 минут
Издано:
Apr 17, 2021
Формат:
Эпизод подкаста

Описание

00:00 Приветствие
3:50 Эбонитовая палочка, дырка и Coq
13:42 В США задержали террориста который хотел удалить интернет
17:10 Сообщество разработки Perl покинул один из лидеров проекта
26:50 Google опубликовал язык логического программирования Logica
37:24 Meta Programming System
40:51 Антон про посещение тренинга Канбан-метода
1:12:32 Что скачивают в интернете?
1:19:56 Санкции США против IT-компаний подозреваемых в поддержке российских спецслужб
1:22:31 Стиральная машина для беспроводных наушников
1:27:10 Умельцы научили робособаку мочиться пивом
1:32:06 Шарманим

Темы брали отсюда: https://github.com/znprod/stream-topics/issues/29
Телега: https://t.me/ZnProd​
Twitter: https://twitter.com/podcast_znprod​
Патреон: https://www.patreon.com/ZnProd​
Сайт: https://znprod.io/
Видео: https://youtu.be/Kbze0OYfo-o
Издано:
Apr 17, 2021
Формат:
Эпизод подкаста

Издания этой серии (40)

Подкаст "Цинковый прод". Всё о разработке и IT. Постоянные ведущие: Антон Околелов (https://twitter.com/AntonOkolelov) Никита Васильченко (https://twitter.com/xenmayer) Олег Грицак (https://twitter.com/hack3p )