Первый рукописный блог рунета™

Мне как-то не хватало несколько раз конкретного масштабного примера, для чего используется CouchDB. То-есть, не все знают, что такое npm, например. Нужно было что-то попонятнее.

И тут проявился прекраснейший case – но, как нередко в мире CouchDB, он, скажем, необычный. Заголовочек один чего стоит:

Hackers Breach US Company and Unwittingly Expose
154 Million Voter Records

То-есть, там случилось вот что. Была CouchDB-шная база с контактами 154 миллионов американских избирателей, и была эта база за фаерволом, и потому не защищена паролем.

Фаервол проломили, и база оказалась проэкспонированной наружу. Слив такой базы – дело очень простое, для CouchDB http-запросы – нативный вид выдачи информации.

---

Пример любопытный, потому что в CouchDB встроен непрошибаемый собственный механизм авторизации и разграничения прав – я не знаю ни одного примера взлома.

Но в этом случае собственный механизм не был включен, база оставлена открытой – и в таком виде помещена за фаервол. Скажем, не слишком умное решение для настолько чувствительных данных.

Тем не менее, не исключаю, что это банальное разгильдяйство и непрофессионализм, а не архитектурная кривота.

По умолчанию CouchDB создаёт открытые бакеты и надо нажать примерно две кнопки, чтобы задать разрешения на доступ. Не удивлюсь, если эти две кнопки не были нажаты не из-за архитектуры, а по причине кривоты рук и зелёности мэйнтэйнеров.

У меня есть некоторый опыт общения с мэйнтейнерами проектов со стороны заказчиков с высокой текучкой кадров. Все особо выдающиеся случаи рисковых экспериментов я наблюдал как раз в таких организациях.

---

Зато теперь мы знаем, что CouchDB используется для агрегации и анализа данных обо всех избирателях США. Хороший пример.

И хорошее напоминание, что сразу после создания бакета CouchDB на него надо выставлять права доступа.

Благодаря https://nplus1.ru/news/2015/05/25/nash мне попался на глаза оригинал доказательства существования точки равновесия в играх с ненулевой суммой.

Оно выглядит так (клик – PDF с работой):

Соотнесение некоторых терминов типа “product space” с, например, теорией множеств можно посмотреть в моём старом посте про HoTT, там табличка есть. Это, возможно, несколько облегчит понимание.

Вообще, однократного внимательного чтения этих четырёх абзацев достаточно, чтобы понять идею доказательства. Я бы сказал, что это доказательство в одно соображение.

Теорему Какутани о неподвижной точке можно посмотреть в Вики, она достаточно понятна. Упрощённый механистический смысл этой теоремы – если какая-то сущность выпукла, у неё есть точка равновесия, лежащий внутри этой сущности.

Нэш – в одно соображение – распространил эту теорему на набор стратегий и функций, мапящих стратегии на “размер” выигрыша в результате их применения.

В силу того, что стратегии нескольких игроков соотносятся друг с другом как “каждый с каждым”, они образуют выпуклую сущность (выпуклое множество). Значит, у этой сущности есть точка равновесия, лежащая внутри сущности.

Это можно объяснить даже школьникам. Очень красивое и простое доказательство, жаль, что я никогда не доходил до него раньше.

Джон Форбс Нэш погиб на днях, возвращаясь с церемонии вручения премии Абеля – он стал первым, кто получил и Нобелевку, и Абеля. Нэша убил таксист, не справившийся с управлением.

RIP, Джон Нэш.