TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #2673 261
Ну, с Днём Рунета!

Многие годы Рунет был эталонным примером свободы, а сегодня превратился в прямо противоположный пример псевдо-"безопасности". Впрочем, и на том и на том прежде всего хорошо зарабатывали/ют организаторы соответствующей повесточки, сегодня просто переменились.

По заветам базы из 1985-го: FLP (Fischer–Lynch–Paterson), фундаментальный закон теории распределённых вычислений.

В полностью асинхронной системе, где хотя бы один узел может упасть, детерминированный консенсус гарантировать нельзя: можно сохранить safety ("ничего плохого не происходит", корректные узлы дают корректные данные), но нельзя гарантировать завершённость ("рано или поздно произойдёт что-то хорошее" -- все корректные узлы в итоге корректно закончат работу).

В мэйнстриме решается частичной синхронизацией, таймаутами, детекторами сбоев и прочими приляпками. Точнее, особо даже и так уже не решается, т.к. там ни про FLP, ни про CAP и CALM и духом не нюхивали, тем более в вайб-кодинге.

А как по взрослому, разбираю для ментатов на ФункциональныхАрхитектурах и треке по параллельным вычислительным моделям.

Так и в жизни, нельзя гарантировать, что рано или поздно произойдёт что-то окончательно хорошее :) Но временно, может длиться норм.
  • ❤ 28
  • ✍ 2
More from @lambda_brain
  1. Sep 30, 2026Ладно, вот вам база, почему так трудно переучиваться с императивного/объектного стиля коди…
  2. Sep 28, 2026. Облако драгоценностей за неделю. Дипломный проект разросся уже так, что расширил его до…
  3. Sep 27, 2026GELU (Gaussian Error Linear Unit) -- базовая фича архитектуры трансформеров, да и вообще в…
  4. Sep 27, 2026Продолжение сериала "Совершенно не удивлён, и дальше будет только хуже" (с) На этой неделе…
  5. Sep 26, 2026А вы разве не работаете сейчас (на себя, а не на дядю)?? Потребность в программистах уже в…
  6. Sep 25, 2026Гарри Поттер и Методы Математического Мышления Книга 1. Гарри Поттер и Неорганический Инте…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →