Copyright умер, AI против GPL, модели консистентности | Spring АйО Подкаст №54

00:00:00 — Интро 00:00:40 — Приветствие, состав выпуска, о чём сегодня подкаст 00:01:05 — Введение в модели согласованности: зачем это вообще знать разработчику 00:03:22 — Насколько модели согласованности нужны на практике 00:03:53 — Большой разбор: что такое consistency models и откуда они взялись 00:09:51 — Линеаризуемость, видимость изменений и связь с транзакциями 00:11:06 — Wall clock, системные часы и почему время в системах сложнее, чем кажется 00:16:59 — Cassandra, MongoDB, eventual consistency и tunable consistency 00:22:42 — Как это связано с Java Memory Model и happens-before 00:24:17 — Практический взгляд: select for update, транзакции и сетевые вызовы 00:26:18 — Почему "Postgres не справляется" часто означает, что проблема не в Postgres 00:27:55 — Вопрос про wall clock vs system clock 00:31:18 — Clock skew в проде: как запросы уходят в прошлое 00:35:50 — Какие вообще бывают сети в теории распределённых систем 00:37:00 — Блокчейн как экстремальный способ достигать согласованности 00:38:00 — Блокчейн, крипта и цифровые деньги 00:40:11 — Возвращаемся к часам Лампорта 00:40:33 — Что такое часы Лампорта и зачем они нужны 00:43:43 — Переход к теме копирайта и кода 00:43:47 — Почему копирайт больше не защищает код как раньше 00:44:20 — Кейc: перенос поведения одной системы в другую через AI-агента 00:46:12 — GPL, лицензии и почему компании боятся copyleft 00:50:21 — Можно ли с помощью ИИ объехать GPL 00:52:37 — Легально ли переписывать библиотеку через ИИ 00:57:32...