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

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

Представляем пятьдесят четвертый выпуск подкаста команды Spring АйО, в котором приняли участие три эксперта сообщества:

Эксперты обсудили: какие вообще бывают сети в теории распределённых систем, насколько модели согласованности нужны на практике, что такое часы Лампорта и зачем они нужны, почему копирайт больше не защищает код как раньше и многое другое.

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 — Этическая и юридическая серая зона AI-generated кода
01:00:57 — Clean room development и где проходит граница
01:01:23 — Падает ли ценность кода в эпоху ИИ
01:02:08 — Нужно ли разработчику всё ещё уметь писать код самому
01:03:40 — Как встроить ИИ в нормальный производственный процедура
01:04:09 — Контекстные окна моделей и можно ли скормить им большую систему
01:07:03 — Финал и прощание

Также делимся ссылками на подкаст на других ресурсах:

Кто хочет послушать аудиоверсию, загляните в комментарии к посту в Telegram.

Присоединяйтесь к русскоязычному сообществу разработчиков на Spring Boot в телеграм — Spring АйО, чтобы быть в курсе последних новостей из мира разработки на Spring Boot и всего, что с ним связано.

Ждем всех, присоединяйтесь

Читают сейчас

Proton Pass получит папки, SSH-агент и другие функции

37 минут назад

Proton Pass получит папки, SSH-агент и другие функции

Команда Proton представила весенне-летний план развития менеджера паролей Proton Pass, в котором появятся папки для организации учётных данных и заметок, SSH-агент и другие полезные функции. Читать да

Proton Pass получит папки, SSH-агент и другие функции

37 минут назад

Proton Pass получит папки, SSH-агент и другие функции

Команда Proton представила весенне-летний план развития менеджера паролей Proton Pass, в котором появятся папки для организации учётных данных и заметок, SSH-агент и другие полезные функции. Ознакомит

1 час назад

МВД России советует не ходить по ссылкам за пределы доменной зоны РФ

В МВД России порекомендовали не переходить по ссылкам вне национальной доменной зоны РФ, а также по ссылкам, которые, вероятно, маскируют фактический адрес. В ведомстве равным образом советуют не откр

Лауреат премии Тьюринга: Claude Mythos нельзя оставлять под контролем Anthropic

1 час назад

Лауреат премии Тьюринга: Claude Mythos нельзя оставлять под контролем Anthropic

Лауреат премии Тьюринга Йошуа Бенжио заявил, что Claude Mythos Preview ставит вопрос не только о кибербезопасности, но и о контроле над ИИ-инфраструктурой. В интервью Fortune он сформулировал проблему

GPT-5.5, DeepSeek V4 и Kimi K2.6 уже доступны в Veai

2 часа назад

GPT-5.5, DeepSeek V4 и Kimi K2.6 уже доступны в Veai

Прогнали на нашем интерактивном бенчмарке gpt-5.5 показывает заметно более надёжный профиль работы с инструментами и проверкой собственного результата, чем gpt-5.4. По формальной проверке корректности