Мы пытались закрыть пробелы в доказательстве в Lean 4. Но вместо решений получили 120 000 токенов объяснений и одно слово: sorry. Из этого вырос философский трактат о природе формальных доказательств. Читать трактат
Помимо Unity AI, доступной бесплатно в Unity 6.2 beta, и очень странного и сырого NimbleFox AI, появился ещё один игрок среди AI-решений для Unity, но с совершенно другим подходом — Code Maestro. Расскажу, что нам, разработчикам, предлагается, и поделюсь своим опытом и впечатлениями от этого инструмента. Читать далее
Мобильную операционную систему РЕД ОС М устанавливают на все большее количество смартфонов и планшетов, а уже в 2026 году ожидается, что на РЕД ОС М будут работать десятки тысяч производимых в Подмосковье мобильных девайсов Passion. И, разумеется, все хотят задать разработчикам самые
Одна из самых «ходовых» оптимизаций в вычислительной технике — это предусматривать для программы «быстрый» и «медленный» путь выполнения. В общем случае эта оптимизация работает. Техники оптимизации применяют на программном или аппаратном уровне. Цель — добиться, чтобы…
А давайте соберем умное зеркало на базе одноплатного компьютера Raspberry Pi и программной экосистемы MagicMirror! Оно нам будет показывать погоду, время, записи из календаря и любую другую информацию — для платформы доступны сотни бесплатных модулей с открытым исходным кодом.По сути,…
Привет, Хабр! Меня зовут Анна Стремилова, в MWS я занимаюсь продвижением приложения Clatch. Хоть я и училась на биолога (история об этом тут), в ИТ я практически с пеленок. Моя мама — программист старой школы, и самыми первыми моими «буквами» были нолики и единички, а рисовать я училась…
Доброго времени суток, «Хабр»!Не так давно я рассказывал про промты для нейросетей, которые способны генерировать фотографии и видео. Да и можно вспомнить, что у меня выходили статьи про Krea AI и Playground AI, которые тоже являются инструментами для работы с изображениями. В этой статье
Надоело каждый раз подставлять TOTP на сайтах и у вас есть yubikey? Тогда добро пожаловать под кат. Поделюсь самописным расширением, которое позволяет автоматизировать эту рутину. Читать далее
В 94-м наборе на Product Radar участвовал семиклассник(!) Максим Николаев со своим проектом Amanda – детским браузером с геймификацией и безопасным поиском. Его проект успешно запустился на нашей площадке и занял третье место по итогам недели. Специально для этой статьи я поговорил с Максимом и его родителями, чтобы узнать о предпринимательском пути, успехах и целях самого юного основателя в нашем сообществе! Читать далее
Коллектив российских ученых провел теоретическое исследование взаимодействия ферромагнетизма и сверхпроводимости в двумерной гетероструктуре. Им удалось продемонстрировать, как в подобных системах возможно управлять сверхпроводимостью и спиновым расщеплением с помощью…