×

Home Top Podcaster Networks By Language By Country By Category About Us Contact Us Faqs Features News & Blogs Privacy Policy Terms Of Use

☰

Search

Home > DevZen Podcast > Формальный ко-ко-кок — Episode 0330


	Podcast:		DevZen Podcast
	Episode:		Формальный ко-ко-кок — Episode 0330
	Category:		Technology
	Duration:		02:21:43
	Publish Date:		2021-04-04 11:40:55
	Description:		В этом выпуске: мы, не успев погрустить о том, что новый интересный спонсор не смог случиться, совершим глубокое погружение в мир формальных методов верификации. Какие подходы считать формальными методами? Кто это применяет и где? Как начать верифицировать свой софт и на что это похоже? Где искать свойства для проверки? Как читать и рефакторить формальные спецификации? На закуску мы традиционно побурчим на SaaS’ы и починим валерин HDMI. [00:05:31] Наш новый спонсор, которого не случилось [00:06:59] Вместо рекламы DigitalOcean The developer cloud Установки и настройка OpenVPN в Ubuntu Linux за 5 минут \| Записки программиста Поднимаем собственный почтовый сервер на VDS \| Записки программиста [00:09:40] Интервью с гостем https://twitter.com/falsenov anton-trunov (Anton Trunov) · GitHub Эликсир от даунтайма — Episode 0185 « DevZen Podcast GitHub — ligurio/practical-fm: A gently curated list of companies using verification formal methods in industry Cosette: An Automated SQL Solver GitHub — coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog] Software Foundations Certified Programming with Dependent Types John Hughes — How to specify it! A guide to writing properties of pure functions \| Code Mesh LDN 19 — YouTube The Science of Deep Specification K framework · GitHub Telegram: Contact @practical_fm [02:03:18] Что мы узнали на этой неделе International Fixed Calendar — Wikipedia International Fixed Calendar — The Perihelion Effect http://www.public.asu.edu/~checkma/today.html [02:08:46] [Одной строкой, SaaSZen] Disqus продолжает охреневать [02:11:05] [Одной строкой, SaaSZen] Mail.ru запугивает пользователей [02:12:11] Летняя школа по верификации Лялямбда-2021 Лялямбда ’21, школа верификации, компиляторов и реверса Логистика Лялямбда '21 [02:17:31] Я у мамы спикер-гофер или GopherConRussia 2021 [02:18:45] Кажется починил HDMI Лог чата: https://t.me/devzen_live/1191 Голоса выпуска: Света, Валера, Ваня, Саша, а также гости Антон и Василий. Фоновая музыка: Plastic3 — Corporate Rock Motivation Loop 4 КДПВ отсюда.
	Total Play:		0

Users also like

800+ Episodes

Истори .. 1K+ 400+

80+ Episodes

Ай, Как .. 100+ 20+