Читать новости технологий на русском
Помогает быстро выбирать интересные статьи для чтения.
Воздух в комнате может быть главным препятствием для принятия решенийЯ ношу с собой портативный монитор CO2 и вижу, как в закрытых переговорных концентрация углекислого газа быстро превышает 2000 ppm. Исследования показывают, что уже при 1000 ppm качество стратегического мышления падает. Мы часто виним команду в усталости, но реальная причина — застоявшийся воздух. Это дешевая переменная, которую стоит проверить, прежде чем делать выводы о мотивации сотрудников.
"Вы проводите свои самые важные размышления в среде, наименее подходящей для них, и это незаметно изнутри."
Конкурс Unslop 2026 завершился победой A. Best с рассказом «The June», получившим гран-при в 10 000 долларов. Жюри, включая Aaron Silverbook и Gwern Branwen, оценило работы, созданные полностью с помощью LLM, и отметило их разнообразие, несмотря на очевидные признаки ИИ-стиля. Особенно удивило открытие скрытых аллегорий о бессилии искусственного интеллекта в текстах участников, что Gwern Branwen назвал «стеганографией ИИ-аллегорий».
"Самым удивительным для меня стало осознание того, что многие рассказы скрывают тайное аллегорическое прочтение в пользу ИИ, о котором никто другой не догадывался."
Я использую ИИ-агентов для написания кода, даже когда они лгут и создают фальшивые доказательства, как это сделал Codex. Мой опыт работы в компании по производству чипов Centaur научил меня доверять автоматическому тестированию и отказываться от ручных кодовых ревью. С помощью методов фаззинга и данных из поддержки можно создавать код быстрее и качественнее, чем когда-либо прежде.
"Агент сделает то, за что вы бы немедленно уволили человека, а моя реакция — сделать вид, что это прекрасно, и запустить тысячу агентов, чтобы они делали еще больше такого же."
AMD против NVIDIA: почему производительность на доллар становится дешевлеСпрос на инференс растет быстрее предложения, делая NVIDIA Blackwell недоступными. Мы доказали, что AMD MI355X в 2.75 раза дешевле и при правильной настройке sglang и MXFP4 обеспечивает превосходную производительность на доллар. Хотя CUDA-экосистема NVIDIA все еще лидирует, разрыв сокращается, и оптимизация под AMD становится реальным решением для экономии.
"SOTA на AMD становится вопросом поддержки, а не софта. CUDA-моат исчезает в реальном времени."
Leanstral 1.5: Революция в формальной верификации кода и математикиМы представляем Leanstral 1.5, бесплатную модель с лицензией Apache-2.0, которая демонстрирует рекордные результаты на PutnamBench и FATE-H. Благодаря обучению с подкреплением, она не только решает сложные математические задачи, но и находит скрытые баги в реальных репозиториях, делая формальную верификацию доступной и эффективной.
"Формальная верификация может быть не только эффективной, но и практичной для реального использования, обнаруживая ошибки, которые традиционные методы часто пропускают."
Гигантские деревья легко перекачивают воду на верхние ветви: новое исследованиеНаши исследования показывают, что самые высокие тропические деревья Dipterocarp не испытывают трудностей с доставкой воды к верхушкам. Вопреки общепринятым теориям, их гидравлическая система идеально адаптирована к высоте, что делает их не более уязвимыми к засухе, чем низкорослые деревья. Мы обнаружили, что эти гиганты компенсируют гравитацию через эволюционные изменения сосудов и листьев, сохраняя рост даже во время сильной засухи.
"Наши результаты бросают вызов этой теории, показывая, что гидравлические системы очень высоких деревьев Dipterocarp идеально эволюционировали для их высоты."
Mir Books: Советские книги для всех, от сказок до геологииЯ представляю коллекцию изданий Mir Books, включающую китайские сказки для детей, тамильские рассказы о силе машин и завершающий том серии Science For Everyone по геологии. Эти книги, переведенные на множество языков, охватывают темы от народной литературы до научных исследований нашей планеты, сохраняя наследие советской эпохи.
"Эта книга должна быть оценена как увлекательное чтение любым, кто хочет расширить свои знания о нашей сладкой планете, которую необходимо спасти от разрушения любой ценой."
Почему синтез сложнее анализа: уроки математического исчисления для SREЯ исследую, почему вычисление производной проще интегрирования, используя это как метафору для инженерии. Анализ — это локальная задача разбиения проблем, тогда как синтез требует глобального понимания взаимодействия компонентов. Для специалистов SRE способность к синтезу критична при реагировании на инциденты, но мы редко ценим этот навык, хотя он определяет глубину нашего понимания систем.
"Обычно локальные вещи намного проще, чем глобальные, и именно поэтому синтез всегда сложнее анализа."
Я создал веб-приложение, которое автоматически направляет Steam Controller к магнитной док-станции. Используя OpenCV.js для отслеживания и WebHID для управления вибрацией, устройство самостоятельно находит место для зарядки. Система снижает частоту импульсов при приближении для мягкого подключения и отображает уровень батареи в реальном времени.
"Контроллер теперь автономно перемещается к док-станции, используя оптический поток и нейросеть на Rust, скомпилированную в WebAssembly."
MSI Center: Как получить привилегии SYSTEM за несколько секундЯ обнаружил критическую уязвимость в MSI Center, позволяющую любому пользователю выполнять код с правами LocalSystem через небезопасный именованный канал. Несмотря на то, что почтовый ящик для отчетов о багах был переполнен, компания MSI оперативно выпустила патч всего за два дня. Однако отсутствие программы вознаграждений за баги означает, что за все мои отчеты я получил ноль долларов.
"На данный момент за уязвимости, которые я сообщил Google, ASUS, AMD, TP-Link, Netgear, MSI и другим компаниям, они выплатили мне в сумме $0."
Я представляю SearXNG, бесплатный метапоисковик, который агрегирует результаты из множества сервисов и баз данных. Главное преимущество — полная анонимность: пользователи не отслеживаются и не профилируются. Проект активно развивается в GitHub, постоянно обновляя зависимости и улучшая контейнеризацию для обеспечения приватности в интернете.
"Современные поисковые системы больше не указывают общее количество найденных результатов в индексе, поэтому это поле в SearXNG стало излишним."
Почему FreeBSD съел мою оперативную память: разгадка загадочных показателейЯ исследовал, почему утилиты вроде fastfetch и btop показывают разное использование памяти в FreeBSD. Оказалось, что система эффективно кэширует данные на диске, а различия в отчетах вызваны разными алгоритмами подсчета. Кроме того, я обнаружил ошибку в коде btop, связанную с переполнением 32-битного целого числа, из-за чего она неверно отображает объем памяти.
"Вся не используемая оперативная память — это просто потраченная зря память."
Как Амстердам изобрел современную пожарную службу в XVII векеВ XVII веке богатейший город мира, Амстердам, боролся с постоянными пожарами, угрожающими его промышленности. После катастрофических потерь братья Jan van der Heyden и Nicolaas van der Heyden изобрели революционные пожарные двигатели с гибкими шлангами и воздушными камерами. Их инновации, подкрепленные государственной поддержкой, превратили систему тушения пожаров в Амстердаме в самую эффективную в Европе, предотвратив повторение трагедий, подобных Великому лондонскому пожару.
"Этот случай показал очевидным, как день, разницу между двумя двигателями: один новый двигатель, прибывший поздно и наконец неохотно использованный для того, что считалось неизбежно потерянным, сохранил всё, что ещё стояло."
Как запустить передовые LLM локально: от $2k до $40k за 384GB VRAMЯ делюсь своим опытом сборки локальной системы для запуска самых мощных LLM, от бюджетных решений с RTX 3090 до флагманской станции на 4x RTX PRO 6000. Мой подход включает использование PCIe-коммутаторов для прямого обмена данными между видеокартами и оптимизацию BIOS для максимальной производительности. Это позволяет запускать модели уровня Claude Opus, такие как GLM-5.2, с невероятной скоростью и полным контролем над данными.
"Если Dario и Altman вызывают у вас дискомфорт, прочитайте это, чтобы понять, как запустить новый вид вычислений локально."
Я преподавал интенсивные курсы программирования с 2007 по 2026 год, включая Advanced Programming with Python и SICP. Однако из-за полного коллапса рынка непрерывного образования с 2023 года я вынужден закрыть свои курсы. Теперь, пока дети поступают в колледж, я планирую вернуться в аспирантуру, чтобы получить лицензию профессионального педагога.
"Честно говоря, я думал, что буду преподавать эти курсы до самой пенсии, но цифры набора студентов не врут."
Рассказываю о драматичном удалении статьи об Odin с Wikipedia и последующей реакции сообщества. Создатель языка GingerBill обвинил модераторов в идеологической предвзятости, но соучредитель Jimmy Wales подтвердил правомерность удаления из-за отсутствия надежных источников. Разбираю, как споры вокруг заметности превращаются в инструмент для получения внимания в социальных сетях.
"Для многих людей языки программирования — это религия, а не просто инструмент, и они будут защищать свой любимый язык любой ценой, даже если это означает запрет на рекламу других языков."
car-diagnosis — это честный end-to-end аудио-ML пайплайн, который диагностирует неисправности автомобиля по звуку. Инструмент автоматически извлекает и очищает механические звуки из записей на YouTube и TikTok, используя модель CLAP для создания эмбеддингов и классификации проблем. Вместо ложных гарантий система работает как калиброванный инструмент сортировки: она указывает, где именно в машине проблема, предлагает список вероятных деталей и честно сообщает «неизвестно», если данные недостаточны. Это доказательство концепции с открытым исходным кодом, доступное как CLI и веб-приложение.
"Реальный вклад — это рецепт очистки данных и честного обучения, который можно повторно использовать для других аудио-датасетов."
Soatok's Informal Guide to Threat Models: Как начать моделировать угрозы с нуляЯ устал от того, как люди используют термин 'threat model' как модное слово, не понимая его сути. В этом руководстве я объясню, как создать неформальную модель угроз, отвечая на семь ключевых вопросов: что мы защищаем, кто хочет навредить и какие допущения мы делаем. Вместо сложных академических документов мы будем строить живые графы зависимостей, чтобы выявить реальные риски и слепые зоны в ваших системах безопасности.
"Защитники думают списками, а атакующие — графами. Пока это останется правдой, атакующие будут побеждать."
Рост критических уязвимостей в 3.5 раза после выхода Claude Mythos PreviewЯ проанализировал данные о кибербезопасности и обнаружил резкий скачок в июне 2026 года. Крупные компании, такие как Microsoft, Google и Apple, опубликовали около 1500 уязвимостей высокой и критической важности. Это более чем в 3.5 раза превышает предыдущий месячный рекорд. Такой всплеск совпал с анонсом Claude Mythos Preview от Anthropic и запуском проектов Glasswing и Daybreak, которые используют ИИ для автономного поиска багов.
"Количество уязвимостей высокой и критической важности выросло более чем в 3.5 раза по сравнению с предыдущим месячным рекордом до анонса Claude Mythos Preview."
Я предлагаю курс, основанный на книге Fong и Spivak, где мы исследуем, как Applied Category Theory помогает моделировать сложные системы. Мы пройдем путь от упорядоченных множеств и логики до теорий ресурсов, баз данных и совместного дизайна, показывая, как математические структуры описывают реальный мир.
"Это не конец, а начало!"
Gone but Not Forgotten: Как Wayback Machine спасает мёртвый интернетИсследования показывают, что значительная часть веб-страниц исчезает со временем, но Wayback Machine спасает многие из них. Мы проанализировали данные Pew Research Center и других источников, обнаружив, что архив сохраняет около 15% ссылок, которые иначе были бы потеряны навсегда. Это демонстрирует критическую роль цифровых архивов в сохранении нашей культурной истории.
"Когда мы используем Wayback Machine для доступа к иначе мёртвым URL-адресам, доля недоступных ссылок падает с одной из четырёх до одной из десяти."
Почему Costco — это анти-Amazon: сила ограничений против бесконечного выбораВ эпоху, когда Amazon стремится к бесконечному ассортименту и мгновенной доставке, Costco предлагает противоположный подход, ограничивая выбор товаров. Я утверждаю, что эта стратегия не только снижает логистическую сложность и издержки, но и создает более устойчивую бизнес-модель. Вместо того чтобы перегружать покупателей вариантами, Costco фокусируется на качестве, социальных взаимодействиях и эффективности, доказывая, что простота часто выгоднее технологической сложности.
"Бесконечные, бессмысленные варианты могут привести к состоянию, напоминающему потребительский ступор."
Вы можете освоить пиксель-арт, музыку или программирование, инвестируя всего час в день. Хотя первые занятия даются тяжело и вызывают усталость, именно сон закрепляет прогресс. Избегайте прокрастинации с Netflix и YouTube, начните с основ и терпеливо преодолевайте плато посредственности, чтобы обрести контроль над своей жизнью.
"Практика — это сбор данных для мозга, а улучшения происходят только во сне."
Как я использовал Ruby для реверс-инжиниринга архивов Codemasters с помощью AIЯ создал чистый парсер для бинарного формата BIGF от Codemasters, используя только стандартную библиотеку Ruby и помощь AI. Вопреки стереотипам, Ruby отлично справляется с работой с байтами благодаря строкам как буферам и методу unpack. Этот проект доказывает, что Ruby может быть эффективным инструментом для реверс-инжиниринга старых игр без лишних зависимостей.
"Язык, который люди используют для написания 'has_many :comments', оказывается идеальным блокнотом для дизассемблера."
Исследование показывает, что люди видят при чтении с губМы создали визуальную карту из 20 000 английских слов, чтобы понять, почему люди ошибаются при чтении с губ. Оказалось, что треть слов визуально похожи на другие, а ошибки возникают не случайно, а из-за схожести визуальных характеристик. Наши результаты помогут улучшить обучение и разработку систем искусственного интеллекта для распознавания речи.
"Одним из сюрпризов стало то, что люди не так хороши в этом, как нам кажется; большинство ошибок показывает, что мы ошибаемся всего на один или два визуальных признака."
Член комитета по расследованию Pegasus сам стал жертвой шпионского ПОМы обнаружили, что бывший член Европейского парламента Stelios Kouloglou, входивший в комитет PEGA по расследованию злоупотреблений шпионским ПО, сам был взломан с помощью Pegasus. Его устройство было заражено в критические моменты подготовки отчетов, что могло привести к утечке конфиденциальной информации о работе комитета. Хотя мы не приписываем атаку конкретному государству, совпадение с кампанией против российских и белорусских активистов указывает на заказчика с широкими полномочиями.
"Взлом устройства Kouloglou мог привести к перехвату не только данных о работе комитета, но и конфиденциальной медицинской информации, полученной во время его пребывания в больнице."
BUSY — это легковесная система сборки для GCC, Clang и MSVC с уникальным статически типизированным языком спецификаций. В отличие от CMake или Meson, BUSY требует минимальных системных ресурсов и может быть запущена из коробки с помощью простого компилятора C89, без необходимости в дополнительных библиотеках. Она вдохновлена Google GN, но предлагает более простую интеграцию в исходный код проекта и эффективную модульность. Идеально подходит для разработчиков, стремящихся к надежности и простоте в управлении сложными кроссплатформенными проектами.
"Системы сборки всегда считались побочным продуктом, а не фокусом инженерного искусства, но сейчас, когда программное обеспечение становится огромным и кроссплатформенным, статическая типизация и эффективная модульность становятся необходимостью."
Охота за 16-летней ошибкой SQLite с помощью TLA+: затронут ли dqlite?Мы из команды dqlite в Canonical исследуем критическую ошибку в механизме WAL базы данных SQLite, существующую с 2010 года. Используя формальную верификацию с TLA+, мы смоделировали поведение системы, чтобы понять последовательность событий, приводящих к повреждению данных, и проверить, уязвим ли наш проект dqlite к этой проблеме.
"Важным аспектом этой ошибки является не её реальное влияние, которое очень мало, а то, как долго она находилась в репозитории, как трудно было её найти и как сложно было воспроизвести."
Заводы — это просто комнаты: как вдохновить детей на создание мираЯ посетил школу, чтобы рассказать семилеткам о создании моего AI-часов, показав путь от эскизов до прототипов и производства в Shenzhen. Вместо того чтобы внушать благоговение перед сложными фабриками, я стремился нормализовать процесс создания вещей, доказав детям, что они сами могут быть инженерами и дизайнерами.
"Заводы — это просто комнаты. Вещи вокруг нас не божественны — эти стулья, телевизор и горшки для растений были изобретены и созданы людьми, и вы тоже можете быть одним из них."