В этом выпуске: разбираемся как тестировать распределённые системы, почему Jepsen тормозит и когда использовать TLA+; высаживаем паксос на грядках и приходим к консенсусу без лога; строим себе десктоп на ARM и обучаем на нём нейронки; выясняем когда же надо будет обновлять скалу до 3.0 и нужен ли Kubernetes на DigitalOcean.

Шоу нотес:

[00:04:52] Тестирование линеаризации в (распределенных) системах

https://medium.com/@siddontang/use-chaos-to-test-the-distributed-system-linearizability-4e0e778dfc7d

https://www.anishathalye.com/2017/06/04/testing-distributed-systems-for-linearizability/

https://arxiv.org/pdf/1504.00204.pdf

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.3013

https://thenewstack.io/chaos-tools-and-techniques-for-testing-the-tidb-distributed-newsql-database/

https://asatarin.github.io/testing-distributed-systems/

[00:32:56] TLA+ video course

[00:59:35] CASPaxos

https://github.com/rystsov/caspaxos

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

https://medium.com/@grogepodge/tla-specification-for-gryadka-c80cd625944e

http://justinjaffray.com/a-proof-of-correctness-for-caspaxos

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

[01:23:21] Пора готовиться к r2con 2018

https://radare.org/con/2018/

https://www.youtube.com/watch?v=QVjrqlo5A9g&index=0&list=PLjIhlLNy_Y9O62rjwYD48pVER0EVh1-aU

https://www.youtube.com/watch?v=URyd4bcV-Ik&list=PLjIhlLNy_Y9Oe-nfcPEpaki0_En5dhQ5S

[01:26:30] Четырехголовый ARM-монстр с WiFi за 300$

[01:53:00] Темы и вопросы слушателей для 190

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

Голоса выпуска: Александр, Светлана, Валерий, Алексей, а также гость --- Денис.

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