Тип материала
Research
В фасете «Тип материала» значение «Research» объединяет материалы одного редакционного формата. Это позволяет сравнивать обзоры, профили, заметки о рисках, рыночную аналитику и события, не смешивая разные виды доказательств. Страница показывает, как этот формат описывает инфраструктурные события, действия компаний, решения в сфере управления и операционные сигналы. Читатель может понять, что перед ним: устойчивый профиль, срочное событие, стратегический рыночный сигнал или изменение правил, — и оценить последствия, сроки и качество источников.
Досье
Один адрес резолвера оказался слишком грубой единицей учёта
После добавления второго двухстекового авторитетного сервера APNIC Labs увидела снижение среднего числа запросов на тест с 3,43 до 2,57. Причина не установлена. Зато эксперимент показал предел привычной атрибуции: публичный адрес рекурсивного сервиса не обязан соответствовать…
История
Когда успех зависит от точки наблюдения: чему RFC 2188 учит о доказательствах в распределённых операциях
В распределённой операции слово «успех» кажется однозначным только до тех пор, пока не уточнено, кто именно его наблюдает. RFC 2188 особенно наглядно показывает эту проблему: один участник обмена может иметь подтверждение результата, тогда как другой фиксирует отказ, и оба…
Лидеры
Adrian Farrel и маршрут, который пока существует только в расчёте
PCE вернул успешный PCRep с аккуратным ERO, и контроллер уже нарисовал линию между входом и выходом. Но ни один маршрутизатор ещё не подтвердил установку. Именно здесь проходит практическая граница архитектуры PCE.
Досье
WebAuthn передаёт проверку RP ID удалённому клиенту. Локальное разрешение не доказывает результат
Первый публичный рабочий проект WebAuthn Level 4 задаёт точное разделение обязанностей для входа через удалённый рабочий стол. Локальный браузер после разрешения для конкретного источника может использовать клиентские данные с удалённой машины. Но само разрешение не подтверждает…
Лидеры
Cristiano Amon и Oryon: цепочка доказательств после покупки Nuvia
Закрытая сделка подтверждает корпоративный контроль. Интегрированный процессор подтверждает работу над продуктом. Ноутбуки в продаже подтверждают канал сбыта. В истории Nuvia и Oryon эти факты складываются в сильную стратегию, но не заменяют доказательства авторства, лицензии или…
История
RFC 2187: parent и sibling как границы транзита, а не карта расстояний
В RFC 2187 слова parent и sibling выглядят как обозначения положения в иерархии, но их практический смысл раскрывался не через близость узлов, а через разрешённые действия. Один сосед мог отдать уже имеющийся объект, другой — принять дальнейшее получение при MISS; прямой путь к…
История
ICPv2 в RFC 2186: как не превратить HIT из подсказки в ложное доказательство
ICPv2 был спроектирован для короткого операционного решения между соседними кэшами: стоит ли обращаться к конкретному соседу за запрошенным URL. RFC 2186 не превращает положительный ответ HIT в подтверждение доставки объекта и не поручает ICP доказывать то, что относится к…
Учёные
Robin Milner и теорема, которую поиск не мог отчеканить сам
Тактика способна перебрать тысячи ветвей и закончить сообщением об успехе. В архитектуре LCF такое сообщение ещё не означало принятия результата. Решающим был объект-теорема, который могли породить только защищённые аксиомы и функции примитивных правил вывода. Вклад Robin Milner…
История
Самый дешёвый план был лишь прогнозом
Оптимизатор может правильно понять смысл запроса и всё же ошибиться в том, сколько будет стоить исполнение. В 1979 году Patricia G. Selinger и команда System R превратили эту неизбежную неопределённость в работающий механизм: статистика описывает данные, модель оценивает…
История
Результат KWIC совпал. Цена изменения — нет
Две программы получают одинаковые строки и печатают один и тот же алфавитный индекс циклических сдвигов. Обе проходят приёмочный тест. Но стоит изменить способ хранения строки, и один проект требует пересмотра нескольких обязанностей, а другой удерживает изменение внутри одной…
История
У кривой живучести Paul Baran были условия
После удара часть узлов исчезла. Две конечные станции физически уцелели. Смогут ли они по-прежнему найти путь друг к другу? Paul Baran превратил этот вопрос в ограниченный показатель. Поздний миф превратил ответ в обещание неуязвимой сети и единственную историю рождения…
IETF
Кто вправе проверить ключ Babel, который нельзя прочитать
Представим оператора, которому недоступно значение настроенного ключа Babel. Если его фактические полномочия позволяют выполнить действие `test`, он может передать двоичную строку и предполагаемый код аутентификации сообщения, MAC, а затем получить только логический ответ о…
Лидеры
Криштиану Амон и две версии Qualcomm на FY2029
Цель с датой FY2029 появилась у Qualcomm дважды. Но первая версия считала автомобильный бизнес и IoT, а вторая — весь QCT вне смартфонов, включая центр обработки данных. Одинаковый срок не делает показатели одинаковыми.
IETF
Одобрение IESG — не финиш: почему Composite ML-KEM для CMS всё ещё зависит от незавершённой цепочки
18 сентября 2026 года IESG одобрила `draft-ietf-lamps-cms-composite-kem-03` как Proposed Standard в рамках Protocol Action. Для разработчиков CMS, поставщиков PKI и команд, планирующих переход к постквантовым механизмам, это важный этап, но не событие, которое можно приравнять к…
История
Взнос не был голосом: как устав ISOC 1996 года разделял полномочия
Организация могла перечислить Internet Society гораздо больше денег, чем отдельный человек, но само по себе это не давало ей того голоса на выборах попечителей, который описывал RFC 2135. Опубликованный в 1997 году текст фиксировал редакцию устава на июнь 1996-го: взносы…
История
Susan Eggers и ядро, разделившее свободные слоты выдачи
Широкий процессор может иметь много исполнительных устройств и всё же оставлять их пустыми, когда один поток не даёт достаточно независимых инструкций. Susan Eggers и её соавторы предложили допускать к одному такту несколько потоков. Одновременная многопоточность увеличила общий…
История
RFC 2169: маршрут HTTP не является властью над ресурсом
RFC 2169 в 1997 году предложил пользоваться HTTP, чтобы спросить резолвер об URN. Это была намеренно узкая договорённость: достижимость точки ответа не делает её владельцем имени, хранителем ресурса или источником разрешения на доступ.
Досье
RFC 9647 и пределы доказательства: что YANG делает видимым в Babel, а что остаётся за оператором
Строка маршрута Babel может сообщать `selected`, но цепочка доказательств от хранилища YANG до реальной политики интерфейса, аутентифицированного обмена с соседом, состояния пересылки, восстановления после отказа и независимо подтверждённой достижимости при этом может оставаться…
История
Irene Greif и атомарная фиксация, которая не могла сохранить авторский замысел
Collaborative Editing System делала изменения общего документа сериализуемыми и восстанавливаемыми. Одновременно система обозначала важную границу: транзакция способна защитить состояние данных, но не знает, что хотел сказать автор, кто уже увидел правку и чьё человеческое…
История
FAS вынес решение, а коммутатору ещё предстояло его исполнить
RFC 2124 вынес политику допуска во внешнюю службу, но не приравнял её ответ к фактическому состоянию соединения. LFAP сохранил более честную цепочку: решение, исполнение, сверка и учёт были разными событиями.