#108 Coq и Gallina, чем может писать робо-собака

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