Темы выпуска: фаззер системных вызовов, и почему он сработал сейчас, а не раньше; насколько хорошо работают верифицированные системы; не учите дронов летать - пусть учатся сами; мы открыли наши утилиты для ведения шоунотов; сжатие слонов; конец импотенции индустрии для хороших распределенных хранилищ и, конечно, темы слушателей.

Шоуноты:

[00:00:16] В гостях Андрей Коновалов

https://twitter.com/andreyknvl

https://xairy.github.io/

https://googleprojectzero.blogspot.ru/2017/05/exploiting-linux-kernel-via-packet.html

http://seclists.org/oss-sec/2017/q1/471

https://github.com/google/syzkaller

https://www.kernel.org/doc/html/latest/dev-tools/kasan.html

[00:50:16] Paper: An Empirical Study on the Correctness of Formally Verified Distributed Systems

https://homes.cs.washington.edu/~pfonseca/papers/eurosys2017-dsbugs.pdf

http://tschottdorf.github.io/single-decree-paxos-tla-compare-and-swap

[01:05:03] Drone learns to fly by crashing (a lot)

http://diydrones.com/profiles/blogs/drone-learns-to-fly-by-crashing-a-lot

https://arxiv.org/pdf/1704.05588.pdf

[01:09:58] Trello-tool goes open source!

[01:13:56] О термокамерах и тонкостях печати ABS-пластиком

http://reprap.org/wiki/Heated_Build_Chamber

https://twitter.com/afiskon/status/863435991788523520

http://3dtoday.ru/blogs/akdzg/printed-abs-plastic-without-cracking-and-heat-chambers/

http://www.thingiverse.com/thing:690543

[01:24:12] Intel’s Itanium CPUs, once a play for 64-bit servers and desktops, are dead | Ars Technica

https://arstechnica.com/gadgets/2017/05/intels-itanium-cpus-once-a-play-for-64-bit-servers-and-desktops-are-dead/

https://ark.intel.com/products/codename/32203/Kittson

http://www.ixbt.com/news/2017/05/12/intel-itanium-9700.html

[01:24:19] VISUO XS809W - китайский клон DJI Mavic Pro за 50$

http://diydrones.com/profiles/blogs/705844:BlogPost:2377542

https://www.youtube.com/watch?v=KvOmALEXMsM

https://www.aliexpress.com/item/VISUO-XS809W-Foldable-Wifi-FPV-With-0-3MP-Camera-G-sensor-Mode-RC-Quadcopter-RTF-2/32810794679.html

[01:26:41] Потрясающее видео о том как парень боролся с шумами

[01:28:49] Summary of the 1.1 Billion Taxi Rides Benchmarks

[01:38:59] Про сжатие слонов

https://afiskon.github.io/pgconf2017-talk.html

https://github.com/postgrespro/zson

https://github.com/citusdata/cstore_fdw

[01:55:38] Видео C++ Russia 2017 доступны онлайн

https://habrahabr.ru/post/327400/

https://www.youtube.com/playlist?list=PLZN9ZGiWZoZojYik8EdApUgPwa0YM3Yuz

[01:56:55] Темы и вопросы слушателей для 0142

[01:57:20] Конец импотенции Azure CosmosDB, Cockroach, Cloudspanner...

https://azure.microsoft.com/en-us/blog/azure-cosmos-db-microsofts-globally-distributed-multi-model-database-service/

https://docs.microsoft.com/en-us/azure/cosmos-db/introduction

https://www.cockroachlabs.com/blog/cockroachdb-1-0-release/

[01:57:58] Rust - встреча 18 мая

Поддержи DevZen на Patreon и/или зарегистрировавшись на DigitalOcean по нашей реферальной ссылке.

Лог чата: https://gitter.im/DevZenRu/live/archives/2017/05/13

Голоса выпуска: Александр, Валера, Светлана, Иван, а также Андрей.

Фоновая музыка: Plastic3 --- Corporate Rock Motivation Loop 4