В этом выпуске: разбираемся как тестировать распределённые системы, почему 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

Подкаст: Скачать (71.5MB)