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