search

znprod / stream-topics

27 stars 1 forks source link

Темы для выпуска #108 (15 апреля) #30

Closed xenmayer closed 3 years ago

xenmayer commented 3 years ago

Привет! Ждем Ваши вопросы и темы к эфиру 🎙.

RinatValiullov commented 3 years ago

🐓🐓🐓 Инструментарий для доказательства теорем Coq рассматривает возможность смены названия

+

💣💣💣 В США задержали террориста, который хотел «уничтожить 70% всего интернета»

+

How Dare You! 👧 Сообщество разработчиков Perl покинул один из лидеров проекта

+

Пора учить логическое программирование 😄 Google представила новый декларативный язык логического программирования Logica, предназначенный для манипулирования данными и транслирующий программы в язык SQL

zetroot commented 3 years ago

А чем вы заправите свою робособаку? https://m.habr.com/ru/news/t/552070/

xenmayer commented 3 years ago

На Kickstarter появилась «стиральная машина» для беспроводных наушников

xenmayer commented 3 years ago

Вышел на раннюю пенсию, но после всё пошло не по плану. История автора зарубежного блога Living A FI

anton-okolelov commented 3 years ago

Дженерики в го в деталях

hack3p commented 3 years ago

https://tjournal.ru/news/368273-ssha-vveli-novye-sankcii-protiv-rossii-iz-za-vredonosnoy-vneshney-deyatelnosti-pravitelstva-strany

hack3p commented 3 years ago

https://iknowwhatyoudownload.com/ru/peer/

xenmayer commented 3 years ago

Видео: https://youtu.be/Kbze0OYfo-o Аудио: https://soundcloud.com/znprod/108-coq-i-gallina-chem-mozhet-pisat-robo-sobaka