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

Шоуноты:

• [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