Хабр

[Перевод] Агенты Axiom Math доказали полноту классификации конечных простых групп всего лишь в 41,3 млн. строчках кода Lean

Хабр · Россия · 1 день назад

LLm агент в КОМПАС-3D: собрал редуктор, сделал КД, споткнулся на спецификации

Хабр · Россия · 1 день назад

Как я подружил SD-карту с DMA на STM32H750

Хабр · Россия · 1 день назад

Архитектура в эпоху вероятности: почему наши старые чертежи больше не работают

Хабр · Россия · 1 день назад

От программных роботов до диагностики 1С: четыре бесплатных вебинара в ноябре

Хабр · Россия · 1 день назад

Как не утонуть в геймдизайн-документации: облегченный пайплайн для небольших геймдев-команд

Хабр · Россия · 1 день назад

Android Go, Termux и обои

Хабр · Россия · 1 день назад

Последний язык программирования уже написан. С чем останутся те, кто продолжит писать код?

Хабр · Россия · 1 день назад

SQAdays: ИИ-трансформация и ценность качества

Хабр · Россия · 1 день назад

Аутентичный ML для самых маленьких: структура МL-проекта

Хабр · Россия · 1 день назад

ИИ-хакеры против ИИ-безопасников: гонка вооружений и скорости в 2026

Хабр · Россия · 1 день назад

Кот Шрёдингера в продакшене. Почему ИИ не знает, почему он это сделал

Хабр · Россия · 1 день назад

Две критические CVE в PHP и GitLab: уязвимости выходят быстрее, чем их успевают закрыть

Хабр · Россия · 1 день назад

Машина вращения: британская механика, советская метрология и искусственный интеллект

Хабр · Россия · 1 день назад

Из серой глины в кошмар: как мы сделали монстров для AR-хоррора по «Вию» (Tripo AI, авториг, Quaternius, Blender)

Хабр · Россия · 1 день назад

Маскирование без дублей: перестановка вместо проверок на уникальность

Хабр · Россия · 1 день назад

Не знаю, кому написать: как организовать внутреннюю поддержку сотрудников в крупной компании

Хабр · Россия · 1 день назад

Ноутбук DevOps-инженера и $6,3 млрд: почему на безопасность нужно выделять время

Хабр · Россия · 1 день назад

Как организовать общий контекст между разными AI-платформами

Хабр · Россия · 1 день назад

Турнир, расписание которого собирают каждую неделю: как состыковать игры и не допустить пересечений? Нужен совет

Хабр · Россия · 1 день назад