Tech news from the best sources
Один контрольный эксперимент — и один красивый ложный вывод, который мы чуть не опубликовали После прошлой статьи о том, почему нормативные документы …
Хочу рассказать про недавний кейс из своей практики и своих трудовых будней. Заказчик пришёл с задачей: «Хочу QR-код на сертификатах, чтобы можно было…
Можно ли доверять ответу нейросети? Получить ответ от нейросети — только половина задачи. Не менее важно понять, насколько этому ответу можно доверять…
Мы были уверены, что наш DRC-движок универсален. На SKY130 он совпадал с эталонным KLayout до последнего нарушения: тесты зелёные, расхождения нулевые…
1 декабря 1969 года, Вашингтон, штаб-квартира Selective Service. Восемь вечера. В прямом эфире, на глазах у всей страны, конгрессмен Александр Пирни о…
Можно ли заставить трёхбуквенную контору отчитаться, не вынеся наружу ни одного секрета? Звучит невозможно — ровно как когда-то «доказать, что это нас…
Эпоха, когда лучшие в мире ИИ-инструменты были «общественным благом для свободного пользования», стремительно заканчивается. Им на смену приходит жест…
В начале июня 2026 вышли результаты First Proof Second Batch — первого матбенчмарка, где задачи заведомо не попадали в обучающие данные, а решения всл…
Современные языковые модели умеют многое: писать код, объяснять сложные вещи, строить планы, рассуждать. Но фундаментально они остаются вероятностными…
Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GPLv…