Основное направление
Технологии
В фасете «Основное направление» значение «Технологии» группирует публикации по основной предметной области. В одном месте собраны статьи, открытые источники, институты, компании, люди, региональные риски, операционные зависимости и рыночный контекст. Страница объясняет границы области, основных участников и источники, на которые стоит опираться при сравнении сигналов. Она помогает увидеть, как одна тема проявляется в событиях, профилях, изменениях рынка и долгосрочных инфраструктурных решениях.
Лидеры
Cristiano Amon и Oryon: цепочка доказательств после покупки Nuvia
Закрытая сделка подтверждает корпоративный контроль. Интегрированный процессор подтверждает работу над продуктом. Ноутбуки в продаже подтверждают канал сбыта. В истории Nuvia и Oryon эти факты складываются в сильную стратегию, но не заменяют доказательства авторства, лицензии или…
Учёные
Robin Milner и теорема, которую поиск не мог отчеканить сам
Тактика способна перебрать тысячи ветвей и закончить сообщением об успехе. В архитектуре LCF такое сообщение ещё не означало принятия результата. Решающим был объект-теорема, который могли породить только защищённые аксиомы и функции примитивных правил вывода. Вклад Robin Milner…
История
Самый дешёвый план был лишь прогнозом
Оптимизатор может правильно понять смысл запроса и всё же ошибиться в том, сколько будет стоить исполнение. В 1979 году Patricia G. Selinger и команда System R превратили эту неизбежную неопределённость в работающий механизм: статистика описывает данные, модель оценивает…
История
Результат KWIC совпал. Цена изменения — нет
Две программы получают одинаковые строки и печатают один и тот же алфавитный индекс циклических сдвигов. Обе проходят приёмочный тест. Но стоит изменить способ хранения строки, и один проект требует пересмотра нескольких обязанностей, а другой удерживает изменение внутри одной…
Лидеры
Криштиану Амон и две версии Qualcomm на FY2029
Цель с датой FY2029 появилась у Qualcomm дважды. Но первая версия считала автомобильный бизнес и IoT, а вторая — весь QCT вне смартфонов, включая центр обработки данных. Одинаковый срок не делает показатели одинаковыми.
Учёные
Nancy Leveson: авария возможна и без сломанной детали
Каждый элемент сложной системы может работать по инструкции, а система в целом всё равно окажется опасной. Nancy Leveson предложила смотреть на ограничения безопасности, решения управляющих звеньев и обратную связь, которая должна вовремя исправлять неверное представление о…
История
Mary Shaw и протокол между блоками
В 1994 году Mary Shaw указала на перекос, который до сих пор скрывают многие архитектурные схемы: блоки получают точные названия, а линии между ними почти лишены языка. Вызов процедуры полезен, но его недостаточно для описания потоков, событий, общих данных, синхронизации и…
История
Susan Eggers и ядро, разделившее свободные слоты выдачи
Широкий процессор может иметь много исполнительных устройств и всё же оставлять их пустыми, когда один поток не даёт достаточно независимых инструкций. Susan Eggers и её соавторы предложили допускать к одному такту несколько потоков. Одновременная многопоточность увеличила общий…
История
Бетси Анкер-Джонсон и плазма, которая помнила путь
В 1964 году Betsy Ancker-Johnson исследовала полупроводниковую плазму, которую нельзя было описать одной точкой переключения. При одинаковых внешних полях состояние зависело от того, каким путём система пришла к этим значениям. Это точный результат о зависимости от предыстории, а…
История
Irene Greif и атомарная фиксация, которая не могла сохранить авторский замысел
Collaborative Editing System делала изменения общего документа сериализуемыми и восстанавливаемыми. Одновременно система обозначала важную границу: транзакция способна защитить состояние данных, но не знает, что хотел сказать автор, кто уже увидел правку и чьё человеческое…
История
Не «координаты для GPS», а доказуемая геодезия: что именно установила Глэдис Б. Уэст в 1982 году
Работу Глэдис Б. Уэст *Mean Earth ellipsoid determined from SEASAT 1 altimetric observations* часто помещают в широкую историю GPS — и для этого есть основания. Но её реальная техническая ценность становится яснее, а не меньше, если отказаться от формулы «Уэст изобрела GPS» и…
История
Sophie Wilson и инженерное подтверждение первого кристалла ARM1
Когда первые ARM1 вернулись с фабрики VLSI Technology 26 апреля 1985 года, плата и важная часть программ уже ждали их. Tube OS загрузилась, BBC BASIC заработал. Это было сильное подтверждение цепочки проектирования и проверки, но не доказательство того, что RISC неизбежно…
История
Корень сократил число соглашений, но не стал властью мирового каталога: RFC 2120
В X.500 пространство имён выглядело стройным деревом, однако работа его корня зависела от договорённостей за пределами стандарта. Администратор каждого DSA первого уровня должен был согласовывать действия со всеми остальными. RFC 2120 зафиксировал, как NameFLOW-Paradise заменил…
История
Adele Goldberg и договор, позволивший Smalltalk-80 путешествовать
Blue Book превратил живую систему в переносимое соглашение: сохранить один образ, реализовать объектную память, байткоды, контексты и примитивы, а затем запустить тот же Smalltalk-80 на разных машинах. Соглашение сделало повторную реализацию возможной, но не обещало одинаковой…
История
У Join не было квитанции: как дерево RFC 2117 жило за счёт обновлений
Первая спецификация PIM-SM не считала присоединение к многоадресному дереву подтверждённой доставкой. Состояние сохранялось потому, что маршрутизаторы объявляли его заново до истечения таймеров: отсутствие подтверждения было частью механизма управления.
История
Evelyn Berezin: граница между доступностью и достоверностью запаса
Система Teleregister для United Airlines могла отключить неисправный процессор и продолжить отвечать. Это был выдающийся результат для онлайновых вычислений, но сам по себе он не доказывал, что каждое показанное свободным место действительно свободно.
История
Адрес говорил «дома», а модемная линия — «далеко»: RFC 2107
RFC 2107 позволял удалённому клиенту заимствовать сетевую видимость домашнего подключения. Иллюзия держалась на Foreign Agent, Home Agent, общем секрете, Tunnel ID и состоянии, которое требовалось создавать и удалять в правильном порядке.
История
Karen Spärck Jones научила поиск учитывать редкость, но не выдавать её за истину
Одно и то же слово может быть обычным в одной коллекции и редким в другой. Karen Spärck Jones превратила эту разницу в измеримый сигнал ранжирования. Его ценность ограничена корпусом: IDF помогает различать документы, но не удостоверяет смысл или достоверность.
История
Маршрутизатор дал рабочей станции адрес, но не личность: RFC 2106
RFC 2106 разместил множество удалённых рабочих станций SNA и NetBIOS за одним сервером DRAP. Сокращение числа магистральных соседств означало концентрацию состояния, решений и доверия на границе.
История
Два прохода хеширования сделали MAC переносимым, но не приняли решение о доверии: RFC 2104
RFC 2104 превратил уже распространённые итеративные хеш-функции в код аутентификации сообщений с внутренним и внешним проходом. Базовый хеш можно было заменить, сохранив конструкцию. Однако совпавший тег свидетельствовал лишь о связи ключа, алгоритма и точной последовательности…