Select a country

Deep Think with Confidence (DeepConf): уверенные рассуждения с ранней остановкой

На этой неделе разбираем методику Deep Think with Confidence (DeepConf) — подход к рассуждениям LLM, который измеряет локальную уверенность модели по ходу ген
Наука - Хабрахабр

Deep Think with Confidence (DeepConf): уверенные рассуждения с ранней остановкой

На этой неделе разбираем методику Deep Think with Confidence (DeepConf) — подход к рассуждениям LLM, который измеряет локальную уверенность модели по ходу генерации и использует её для ранней остановки низкокачественных трасс, а также для взвешенной агрегации ответов офлайн. DeepConf не требует дообучения модели и легко встраивается в существующие inference‑стеки, при этом одновременно:- Повышает точность на сложных бенчмарках (до 99.9% на AIME 2025 с GPT‑OSS‑120B),- Существенно сокращает вычисления за счёт раннего отсечения «плохих» цепочек (до −84.7% токенов). Читать далее

«Капитал и идеология» Пикетти: в коде общества баг или фича?

Основной тезис Пикетти звучит так: неравенство — это не баг, а фича, намеренно вшитая в «операционную систему» общества через идеологию и зак
Наука - Хабрахабр

«Капитал и идеология» Пикетти: в коде общества баг или фича?

Основной тезис Пикетти звучит так: неравенство — это не баг, а фича, намеренно вшитая в «операционную систему» общества через идеологию и законы. Это прямой аналог того, как кодекс программы определяет её поведение. Читать далее

90% pet-проектов не взлетят: мой пример — фича КругоЗор

Я не разработчик. Я жертва своей идеи. В роли исполнителя — нейросеть; в роли тестировщика, тоже я, с кофе, на рабочем месте,.
Наука - Хабрахабр

90% pet-проектов не взлетят: мой пример — фича КругоЗор

Я не разработчик. Я жертва своей идеи. В роли исполнителя — нейросеть; в роли тестировщика, тоже я, с кофе, на рабочем месте,... в три ночи.Ночью стилусом в смартфоне: «маленькое окно с камерой, всегда поверх». Утром: «чат сделай мне программу, где я в кружке поверх… «. Днём — баги. Ночью — тесты. Утром — снова что‑то не работает.Все хотят одну кнопку, а получают месяц ночей, десятки итераций, тригорстку багов и тревожный сон.Если как и я, ведёте совещания, презентации, записываете демо или объясняете что‑то на видео, вы знаете, как важно держать внимание слушателей и... Бесплатно | Без рекламы | Без интернета

Не одним CRDT едины или как решать конфликты в local-first приложениях

Сегодня поговорим про реализации решения конфликтов подходов local / offline-first – это когда ваше приложение позволяет пользователям работать пол
Наука - Хабрахабр

Не одним CRDT едины или как решать конфликты в local-first приложениях

Сегодня поговорим про реализации решения конфликтов подходов local / offline-first – это когда ваше приложение позволяет пользователям работать полностью или частично оффлайн, а когда они выходят в сеть, синхронизировать все их изменения.Примеры таких приложений: Notion-like редакторы, Figma-like вайтборды или Linear-like таск менеджеры.Основная идея – коллаборация, а коллаборация несет за собой конфликты, разберем очень наглядный пример: Читать далее

Эксперименты с лазерами открывают тайны космических джетов

Коллектив российских ученых провел моделирование космических джетов в сверхсильных магнитных полях лазерной релятивистской плазмы. Экспер
Наука - Хабрахабр

Эксперименты с лазерами открывают тайны космических джетов

Коллектив российских ученых провел моделирование космических джетов в сверхсильных магнитных полях лазерной релятивистской плазмы. Эксперименты проводились на лазерной установке 10-ти ТВт уровня мощности созданной в АО «ЦНИИмаш». Результаты работы опубликованы в Астрономическом журнале РАН.  Читать далее

Superset deep-linking: как Rison и Jinja превращают сводный дашборд в инструмент фокус-анализа

За один клик из сводного дашборда — на «дочерний» с уже выставленными фильтрами. Разберём, как в Apache Superset прокидывать выбранные значения чер
Наука - Хабрахабр

Superset deep-linking: как Rison и Jinja превращают сводный дашборд в инструмент фокус-анализа

За один клик из сводного дашборда — на «дочерний» с уже выставленными фильтрами. Разберём, как в Apache Superset прокидывать выбранные значения через URL-параметр native_filters в формате Rison и собирать ссылку Jinja-макросами. Читать далее

Почему бокс — это мультиагентная система

Привет! Наверняка уже все видели как ИИ-агентов ради хайпа пытаются затащить куда угодно, совсем не глядя на эффективность и какой-либо здрав
Наука - Хабрахабр

Почему бокс — это мультиагентная система

Привет! Наверняка уже все видели как ИИ-агентов ради хайпа пытаются затащить куда угодно, совсем не глядя на эффективность и какой-либо здравый смысл.В этой статье я расскажу о действительно полезном применении концепции агентов и попробую доказать, почему любой боксерский поединок является мультиагентной системой. Поговорим про system design бокса, про RLHF, адаптивные алгоритмы, всевозможный вызов tools типа джебов или клинча, очереди сообщений и гарантию их доставки, graceful degradation и выведем метрики эффективности нашей мультиагентной системы. Читать далее

Цифровая трансформация и ИИ

Чем только компании не занимаются под видом цифровой трансформации. Разбираем, что это такое и из каких элементов состоит этот процесс.Первы
Наука - Хабрахабр

Цифровая трансформация и ИИ

Чем только компании не занимаются под видом цифровой трансформации. Разбираем, что это такое и из каких элементов состоит этот процесс.Первым делом следует определить термин «трансформация». Так вот, четкого определения нет! В генетике, лингвистике, электронике, бизнесе и праве термин определяет разные процессы, но есть одна общая составляющая, которую и возьмем за основу. Читать далее

Как перестать испытывать вину, что вы недостаточно хороши и могли бы достичь большего? Расследование с внезапным финалом

Вам знакомо чувство вины, что вы могли бы работать больше или эффективнее, а ваши результаты могли бы быть лучше? Кажется ли вам, что другие сп
Наука - Хабрахабр

Как перестать испытывать вину, что вы недостаточно хороши и могли бы достичь большего? Расследование с внезапным финалом

Вам знакомо чувство вины, что вы могли бы работать больше или эффективнее, а ваши результаты могли бы быть лучше? Кажется ли вам, что другие справятся с вашей работой быстрее и качественней? Многим отличным специалистам и предпринимателям знакомы эти переживания, но мало кто осознает их источник, потому что осознавать его очень больно.  Читать далее

ChameleonLab 1.5: Кросс-платформенный комбайн для стеганографии, рожденный на Хабре

Привет, Хабр! Пару месяцев назад мы представили наше детище — ChameleonLab, десктопное приложение для Windows и Mac, которое позволяет встраивать и извл
Наука - Хабрахабр

ChameleonLab 1.5: Кросс-платформенный комбайн для стеганографии, рожденный на Хабре

Привет, Хабр! Пару месяцев назад мы представили наше детище — ChameleonLab, десктопное приложение для Windows и Mac, которое позволяет встраивать и извлекать скрытые данные из файлов, а также проводить их глубокий анализ. Проект начинался с самой простой версии, но благодаря активному участию и обратной связи от нашего сообщества, он постоянно развивается. Ваши предложения, в частности по интеграции офисных форматов и формата WebP, стали для нас важным источником вдохновения и позволили значительно расширить возможности программы. Теперь, после сотен часов разработки и ценной обратной связи от нашего сообщества, мы рады представить версию 1.5 — полноценный комбайн для работы с цифровыми файлами, который вобрал в себя как классические, так и авторские методы стеганографии и стегоанализа. Читать далее

Анализ системного промпта tool-deep-research

Вот и дошли мои руки покопаться во внутренностях системного промпта tool-deep-research (ссылка) Сразу скажу, что возможностями Deep Research я пользовалс
Наука - Хабрахабр

Анализ системного промпта tool-deep-research

Вот и дошли мои руки покопаться во внутренностях системного промпта tool-deep-research (ссылка) Сразу скажу, что возможностями Deep Research я пользовался редко, но в тех моментах, где оно действительно требовалось, он не раз меня выручал. Особенно это касается всяких финансовых вопросов: кредиты, вклады, инвестиции (решения принимаю все еще сам, но понимая конкретную конечную сумму и понятно расписанные условия, принимать решения стало значительно легче) и когда надо быстро погрузиться в новую для себя тему. Читать далее

ZennoPoster или Browser Automation Studio (Зенка или БАС): Что выбрать и почему?

ZennoPoster и Browser Automation Studio (BAS) - два популярных инструмента для автоматизации веб-браузера. Оба используются для создания ботов, парсеров, спам-ск
Наука - Хабрахабр

ZennoPoster или Browser Automation Studio (Зенка или БАС): Что выбрать и почему?

ZennoPoster и Browser Automation Studio (BAS) - два популярных инструмента для автоматизации веб-браузера. Оба используются для создания ботов, парсеров, спам-скриптов и других утилит, снимающих рутину с пользователя. Но если бы все было так просто и если бы выбор был очевиден - не было бы вокруг сторонников обоих инструментов столько споров. Порой кажется, что это как фанаты Зенита и Спартака. Оба говорят об одном - футбол (в нашем случае автоматизация) - но одни имеют дорогого спонсора, кучу дорогостоящих легионеров, а другой народную любовь москвичей, ну вы поняли кто из инструментов кого представляет.  Читать далее

Нейросети-переводчики: Когда можно доверять, а когда — нет? 6 примеров дорогих ошибок ИИ

Нейросети оперативно анализируют гигантские массивы текстовой информации, обучаются на промахах и обеспечивают перевод довольно точно. Сег
Наука - Хабрахабр

Нейросети-переводчики: Когда можно доверять, а когда — нет? 6 примеров дорогих ошибок ИИ

Нейросети оперативно анализируют гигантские массивы текстовой информации, обучаются на промахах и обеспечивают перевод довольно точно. Сегодня даже профильные лингвисты нередко применяют подобный метод перевода больших текстов. Можно ли довериться переводу нейросети и когда его хватит?Конечно, нейросети сильно упрощают нашу жизнь. Но даже самые современные нейронки делают ошибки. Уже набралось немало примеров, когда машинный перевод оказался не слишком удачным. Читать далее

как я разрабатывал собственную временную почту

мне нужно написать скрипт авторега аккаунтов для одного популярного сервиса. для регистрации аккаунтов нужна электронная почта.ранее я уже
Наука - Хабрахабр

как я разрабатывал собственную временную почту

мне нужно написать скрипт авторега аккаунтов для одного популярного сервиса. для регистрации аккаунтов нужна электронная почта.ранее я уже использовал для таких задач python-библиотеку tempmail, но она перестала работать. читать далее

[Перевод] JEP 502 — Stable Values. Новая фича из Java 25

Не final едины: StableValue в Java 25.Stable Values - новая возможность, которая появится в Java 25 — следующем LTS-релизе, намеченном на сентябрь. Читать далее
Наука - Хабрахабр

[Перевод] JEP 502 — Stable Values. Новая фича из Java 25

Не final едины: StableValue в Java 25.Stable Values - новая возможность, которая появится в Java 25 — следующем LTS-релизе, намеченном на сентябрь. Читать далее

Механическая клавиатура LARKeyboard

LARKeyboard кастомная механическая беспроводная клавиатура с трекболом на борту и причем тут тайга.Туториал по выводу эргономики рабочего инстру
Наука - Хабрахабр

Механическая клавиатура LARKeyboard

LARKeyboard кастомная механическая беспроводная клавиатура с трекболом на борту и причем тут тайга.Туториал по выводу эргономики рабочего инструмента на орбиту. Причем тут тайга?

Как добиться успешного успеха в IT? История моего возвышения… Глава 3

Как я впервые вскрыл писюк, нашёл у мамы мозги и познал содержимое диска с таинственными немецкими словами на обложке - читайте в прошлой глав
Наука - Хабрахабр

Как добиться успешного успеха в IT? История моего возвышения… Глава 3

Как я впервые вскрыл писюк, нашёл у мамы мозги и познал содержимое диска с таинственными немецкими словами на обложке - читайте в прошлой главе.А сегодня мы поднимем вопрос сдачи образцов оттиска принтера в КГБ, первый выход в интернет и западло от компьютерного мастера проявит себя во всей красе. Сходить в КГБ. . .

[Перевод] Тим Додд (aka Everyday Astronaut) предлагает SpaceX альтернативный проект лунного посадочного модуля

«Артемида» — американская программа возвращения человека на Луна — явно выбилась из первоначального графика. Причин для пробуксовок множе
Наука - Хабрахабр

[Перевод] Тим Додд (aka Everyday Astronaut) предлагает SpaceX альтернативный проект лунного посадочного модуля

«Артемида» — американская программа возвращения человека на Луна — явно выбилась из первоначального графика. Причин для пробуксовок множество. Самые очевидные заключаются в отставании от графика разработки лунного посадочного модуля от SpaceX (так называемая «Лунная версия Starship» или HLS — Human Landing System). Но также есть проблема с эксплуатацией корабля Орион, предназначение которого заключается в доставке астронавтов с Земли на окололунную орбиту, а затем возвращение их на Землю — теплозащитный экран этого корабля, как оказалось, не способен в полной мере противостоять высоким температурам при входе в атмосферу Земли. Множество вопросов есть и к новой (или — посредственно перепроектированной старой) ракете SLS — она крайне дорогая, и тоже не лишена технических недоработок.Однако, сейчас в публичном пространстве более всего слышны упреки в адрес SpaceX, столкнувшейся с чередой неудач при испытаниях базовой версии системы Starship. Ведь лунный посадочный модуль в значительной степени опирается на решения, лежащие в основе базовой версии. Более всего вызывает тревогу необходимость орбитальной дозаправки лунного посадочного модуля, для чего за ним вдогонку предполагается запуск и стыковка от 8 до 15 заправщиков, также разрабатываемых на базе Starship. Такая сложность и большое количество дополнительных стартов и стыковок (при полном отсутствии на сегодняшний день действующих прототипов как лунного корабля, так и танкеров-заправщиков) вызывает вполне обоснованные опасения, что программа «Артемида» рискует застрять на годы, если не на десятилетия. Читать далее

Разбираем «под капотом» кастомную фитнес-метрику: от идеи до реализации на Python

Всем привет! Я, как и многие здесь, не только разработчик, но и человек, увлеченный циклическими видами спорта. Я обожаю копаться в данных свои
Наука - Хабрахабр

Разбираем «под капотом» кастомную фитнес-метрику: от идеи до реализации на Python

Всем привет! Я, как и многие здесь, не только разработчик, но и человек, увлеченный циклическими видами спорта. Я обожаю копаться в данных своих тренировок из Strava: анализировать мощность, пульсовые зоны, темп. Но мне всегда не хватало одной вещи — единой, понятной и, главное, прозрачной метрики, которая бы отвечала на простой вопрос: «А насколько я сейчас в хорошей форме?».В этой статье я расскажу, как устроен этот механизм «под капотом». Мы погрузимся в логику на Python, посмотрим, как она интегрируется в общий анализатор активностей и как результат подается пользователю в простом и понятном виде.Важный дисклеймер: Весь проект, от идеи до кода, я делаю один в свободное от основной работы время. Он далек от идеала, и я буду очень благодарен за конструктивную критику и свежий взгляд. Читать далее

Поиск элемента в массиве: от простого к эффективному

Данная статья посвящена разбору одной из простых тем, связанную с поиском элемента в массиве. Мы разберем, как найти элемент в массиве, какие
Наука - Хабрахабр

Поиск элемента в массиве: от простого к эффективному

Данная статья посвящена разбору одной из простых тем, связанную с поиском элемента в массиве. Мы разберем, как найти элемент в массиве, какие существуют алгоритмы, а также обсудим их асимптотические сложности. Для написания кода будем использовать Python.Итак, представим простую задачу: у нас есть массив, состоящий из 10 чисел: [1, 6, 3, 9, 0, 23, 5, 55, -23, 7]. Необходимо найти индекс элемента со значением -23. Первое наивное решение, которое приходит в голову, пройтись по всем элементам массива, сравнивая их с искомым числом. Если текущий элемент не равен числу, двигаемся дальше, иначе мы нашли искомое число и возвращаем его индекс. Простой алгоритм на Python выглядит так: Читать далее

Электрический стол

Стол для программиста - это святое. От удобства стола зависит производительность труда программиста и, как следствие, качество результата вс
Наука - Хабрахабр

Электрический стол

Стол для программиста - это святое. От удобства стола зависит производительность труда программиста и, как следствие, качество результата всей работы. Именно за столом на работе по сути и проходит вся трудовая жизнь. В 2024 я купил себе в кабинет для работы стол с подъемной столешницей. Спустя год электроника подъёма внезапно перестала работать. Произошел полный отказ. Семи-сегментный индикатор стал показывать непонятный токен rE5. Кнопки перестали слушаться. Столешница застыла под потолком. Я не знал, что мне делать. Пришлось разбираться, что же это такое за шайтан машина: электрический стол. Читать далее

Fujitsu LifeBook C3: потребительский ноутбук конца 90-х

В конце 90-х годов ноутбуки начинают избавляться от имиджа средств выражения высокого статуса или производственной необходимости: компании-п
Наука - Хабрахабр

Fujitsu LifeBook C3: потребительский ноутбук конца 90-х

В конце 90-х годов ноутбуки начинают избавляться от имиджа средств выражения высокого статуса или производственной необходимости: компании-производители выходят со своими новыми моделями на базе процессоров Pentium MMX и Pentium II на потребительский рынок. В частности, компания Fujitsu меняет классификацию модельного ряда и вводит различные линейки для различных рынков. Для широких масс назначается линейка, обозначаемая буквой C (по-видимому от слова Consumer, т.е. потребительский). В этой статье на примере Fujitsu LifeBook C3 посмотрим, какими были эти потребительские ноутбуки. Читать далее

Научный «дипфейк»? Как галлюцинации нейросетей — и другие проблемы — просачиваются в академические статьи

Нейронки периодически оказывают пользователям медвежью услугу и уверенно (инфа сотка!) выдают в ответ на запрос правдоподобные фейки. Если р
Наука - Хабрахабр

Научный «дипфейк»? Как галлюцинации нейросетей — и другие проблемы — просачиваются в академические статьи

Нейронки периодически оказывают пользователям медвежью услугу и уверенно (инфа сотка!) выдают в ответ на запрос правдоподобные фейки. Если речь идет о журнальных статьях на тему «что почитать этим летом», получается веселый конфуз.Совсем другое дело — если «срезать углы» с помощью нейросети хочет юрист, ученый или эксперт, пишущий книгу в жанре технической литературы.Мы в Beeline Cloud решили посмотреть, какие прецеденты с галлюцинациями (и другие сложности) уже зафиксированы и что на этот счет думают ученые. Читать далее

Жизнь на Марсе? (снова)

10 сентября в Nature была опубликована статья, в которой исследователи анализировали результаты работы марсохода Perseverance в районе кратера Езеро.
Наука - Хабрахабр

Жизнь на Марсе? (снова)

10 сентября в Nature была опубликована статья, в которой исследователи анализировали результаты работы марсохода Perseverance в районе кратера Езеро. Меня попросили её прокомментировать. Если говорить в двух словах: на этой неделе мы получили действительно самое убедительное доказательство существования жизни на Марсе. Но обо всём по порядку. Читать далее

[Перевод] Сон, гормон роста и восстановление. Как именно организм работает ночью

Есть довольно популярная фраза: «треть жизни человек проводит во сне». И она часто трактуется, как «человек тратит время на какую-то хрень, ле
Наука - Хабрахабр

[Перевод] Сон, гормон роста и восстановление. Как именно организм работает ночью

Есть довольно популярная фраза: «треть жизни человек проводит во сне». И она часто трактуется, как «человек тратит время на какую-то хрень, лежа как бревно». Отсюда и попытки повысить продуктивность, минимизируя время сна или отсыпаясь в выходные. Вот только стоит копнуть чуть глубже и окажется, что сон это не просто отдых, а нифига себе какой труд для организма. Труд, который помогает нам выглядеть куда лучше! Читать далее

Nintendo Virtual Boy: неожиданное возрождение виртуальной реальности из 90-х

В 2025 году, спустя более тридцати лет после не самого удачного дебюта, Nintendo внезапно вспомнила о Virtual Boy. Этот девайс, что-то вроде гибрида шлема
Наука - Хабрахабр

Nintendo Virtual Boy: неожиданное возрождение виртуальной реальности из 90-х

В 2025 году, спустя более тридцати лет после не самого удачного дебюта, Nintendo внезапно вспомнила о Virtual Boy. Этот девайс, что-то вроде гибрида шлема виртуальной реальности и настольного аркадного автомата, стал одной из самых известных неудач компании. Тем не менее, сейчас Nintendo решила оживить память об этом проекте. Почему? Давайте разбираться. Читать далее

Обработка результатов моделирования Fire Dynamics Simulator на Python (часть 2)

Здравствуйте меня зовут Роман, я занимаюсь обеспечение пожарной безопасности в зданиях и сооружениях более 15 лет, основной профиль моей деят
Наука - Хабрахабр

Обработка результатов моделирования Fire Dynamics Simulator на Python (часть 2)

Здравствуйте меня зовут Роман, я занимаюсь обеспечение пожарной безопасности в зданиях и сооружениях более 15 лет, основной профиль моей деятельности — это моделирование развития пожара.В основном моделирование развития пожара провожу в специализированном программном обеспечении Fire Dynamics Simulator (FDS), оно используется от Японии до США при обосновании отступлений требований пожарной безопасности.  При моделировании развития пожара очень много времени занимает обработка результатов моделирования. В цикле статей я хочу поделиться способами обработки данных, которые использую при работе.   Статья ориентирована на специалистов, которые уже используют FDS в работе. Подробности моделирования развития пожара с помощью FDS в данной статьи не будут рассматриваться.Эта статья — вторая из серии. Ссылка на первую статью. Читать далее

VNC на Windows, русская раскладка, буква «У» и символ "Ó"

Речь идёт только про Windows. И клиент и сервер VNC на Windows. На других системах они работают иначе. Читать далее
Наука - Хабрахабр

VNC на Windows, русская раскладка, буква «У» и символ "Ó"

Речь идёт только про Windows. И клиент и сервер VNC на Windows. На других системах они работают иначе. Читать далее

Generic'и и protocol'ы в Swift

Привет, Хабр! В прошлых статьях мы говорили про ARC и управление памятью в Swift, но обошли стороной ещё одну сильную сторону языка. Речь идёт о generi
Наука - Хабрахабр

Generic'и и protocol'ы в Swift

Привет, Хабр! В прошлых статьях мы говорили про ARC и управление памятью в Swift, но обошли стороной ещё одну сильную сторону языка. Речь идёт о generic'ах и протоколах - именно они делают Swift таким чистым и мощным. В этой статье мы разберёмся, как они работают и почему без них невозможно представить современный Swift. Читать далее

[Перевод] Умное зеркало на Raspberry Pi: пошаговое руководство

А давайте соберем умное зеркало на базе одноплатного компьютера Raspberry Pi и программной экосистемы MagicMirror! Оно нам будет показывать погоду, вре
Наука - Хабрахабр

[Перевод] Умное зеркало на Raspberry Pi: пошаговое руководство

А давайте соберем умное зеркало на базе одноплатного компьютера Raspberry Pi и программной экосистемы MagicMirror! Оно нам будет показывать погоду, время, записи из календаря и любую другую информацию — для платформы доступны сотни бесплатных модулей с открытым исходным кодом.По сути, это не гаджет, а динамичная и гибкая платформа для творчества. Ее можно настроить так, чтобы она идеально соответствовала желаниям и отображала все — от новостных заголовков до расписания общественного транспорта.В нашей конструкции мы также добавим встроенную подсветку по периметру на светодиодной ленте. Превратим зеркало в стильный элемент интерьера и источник дополнительного освещения. Читать далее

[Перевод] Миф о быстром и медленном пути выполнения программы

Одна из самых «ходовых» оптимизаций в вычислительной технике — это предусматривать для программы «быстрый» и «медленный» путь выполнения.
Наука - Хабрахабр

[Перевод] Миф о быстром и медленном пути выполнения программы

Одна из самых «ходовых» оптимизаций в вычислительной технике — это предусматривать для программы «быстрый» и «медленный» путь выполнения. В общем случае эта оптимизация работает. Техники оптимизации применяют на программном или аппаратном уровне. Цель — добиться, чтобы выполнение по быстрому пути было нормальным сценарием и шло «по умолчанию» — работаем быстро и очень эффективно. Выполнение по медленному пути предусматривается для необычных случаев, при исключениях, выбросах. Такой вариант работы выполняется в безопасном, но сравнительно медленном программном окружении, где можно позволить себе не спешить. На первый взгляд выглядит отлично, но, как оказывается, в реальности всё совсем иначе. Практикующий инженер постепенно убеждается на собственном опыте, что дихотомия быстрый/медленный путь — это зачастую просто привлекательный мираж. Снова и снова мы видим, что попытка внедрить быстрый/медленный путь в реальной системе не даёт результата. Именно в этой области практика вступает в острое противоречие с теорией. Читать далее

Станислав Петров: «Ключевые отличия РЕД ОС М от Android – вовсе не в интерфейсе»

Мобильную операционную систему РЕД ОС М устанавливают на все большее количество смартфонов и планшетов, а уже в 2026 году ожидается, что на РЕД
Наука - Хабрахабр

Станислав Петров: «Ключевые отличия РЕД ОС М от Android – вовсе не в интерфейсе»

Мобильную операционную систему РЕД ОС М устанавливают на все большее количество смартфонов и планшетов, а уже в 2026 году ожидается, что на РЕД ОС М будут работать десятки тысяч производимых в Подмосковье мобильных девайсов Passion. И, разумеется, все хотят задать разработчикам самые неудобные и каверзные вопросы. О том, как развивается ОС, чем она отличается от “перекрашенного Android”, а также о перспективах российских смартфонов и сравнении с продуктами Google и других вендоров рассказывает Станислав Петров, руководитель группы разработки мобильной ОС компании РЕД СОФТ. Узнать, в чем отличия РЕД ОС М

Ещё один AI инструмент для Unity: «распаковка» Code Maestro

Помимо Unity AI, доступной бесплатно в Unity 6.2 beta, и очень странного и сырого NimbleFox AI, появился ещё один игрок среди AI-решений для Unity, но с совершенно
Наука - Хабрахабр

Ещё один AI инструмент для Unity: «распаковка» Code Maestro

Помимо Unity AI, доступной бесплатно в Unity 6.2 beta, и очень странного и сырого NimbleFox AI, появился ещё один игрок среди AI-решений для Unity, но с совершенно другим подходом — Code Maestro. Расскажу, что нам, разработчикам, предлагается, и поделюсь своим опытом и впечатлениями от этого инструмента. Читать далее

Трактат о природе формального доказательства

Мы пытались закрыть пробелы в доказательстве в Lean 4. Но вместо решений получили 120 000 токенов объяснений и одно слово: sorry. Из этого вырос филосо
Наука - Хабрахабр

Трактат о природе формального доказательства

Мы пытались закрыть пробелы в доказательстве в Lean 4. Но вместо решений получили 120 000 токенов объяснений и одно слово: sorry. Из этого вырос философский трактат о природе формальных доказательств. Читать трактат

Как работает память: что происходит в мозге, когда мы забываем пароль от Wi-Fi

Когда мозг отказывается вспомнить пароль от Wi-Fi, это не просто досадная мелочь. За этой банальной ситуацией стоят сложнейшие механизмы памят
Наука - Хабрахабр

Как работает память: что происходит в мозге, когда мы забываем пароль от Wi-Fi

Когда мозг отказывается вспомнить пароль от Wi-Fi, это не просто досадная мелочь. За этой банальной ситуацией стоят сложнейшие механизмы памяти, работы нейронных сетей и биохимических процессов. В статье я попробую объяснить, почему мы забываем такие вещи, что реально происходит в мозге и как это можно смоделировать в коде. Читать далее