Сборщик RSS-лент

Зыбкая грань между элементарными и специальными функциями

Habr.com - ср, 09/30/2026 - 20:48

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

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

Читать далее

Асимметрия как методологический и инструментальный принцип тестирования моделей

Habr.com - ср, 09/30/2026 - 20:47

Цель статьи – показать практический потенциал идеи асимметрии: она возникла как логико-риторическое правило, а сегодня стала реальным методологическим и инструментальным вектором в разработке ИИ.

Фактор логики

Отношение категорий «доказать» и «опровергнуть» имеет асимметричную логическую структуру – один точно подобранный контрпример опровергает утверждение с квантором общности, при этом любое число подтверждающих случаев его не доказывает. Иначе говоря, никаким количеством и качеством подтверждающих аргументов, тестов, экспериментов нельзя доказать общее суждение. Индуктивное умозаключение выполняет не доказательную функцию, а увеличивает степень правдоподобия вывода. Все это известно еще
со времен Аристотеля.

В среде IT эта асимметрия знакома по формуле Эдсгера Дейкстры с конца 1960-х в формулировке «тестирование способно показать наличие ошибок
и никогда не покажет их отсутствия».

О чем мы говорим конструктивно, или методологические следствия для тестирования

Из принципа асимметрии следует распределение усилий по проверке, которая должна следовать той же логике. Тогда разумной стратегией является либо целенаправленный поиск опровергающих случаев (контрпримеров), либо переход от тестирования к формальному доказательству свойства. Промежуточным режимом между этими полюсами является статистическая гарантия.

Отсюда методологические следствия:

Читать далее

«Выросли на 11% к прошлому месяцу» — и ни одного нового клиента

Habr.com - ср, 09/30/2026 - 20:45

В феврале 28 дней, в марте 31, продавайте одинаково каждый день — и рост на 11% появится сам, без новых клиентов.
В статье разбираю базу, как календарь и сезонность ломают отчёты: три вопроса перед сравнением периодов, SQL-запросы для среднего за день и скользящего среднего, ловушки сравнения год к году.

Читать далее

Облака над горами: что они нам могут рассказать о ветрах на высоте?

Habr.com - ср, 09/30/2026 - 20:43

Облака над горами: что они нам могут рассказать о ветрах на высоте?

Съездив  в отпуск в Сочи летом, я также оказался  на верхней точке горнолыжного курорта «Красная поляна».

До этого я бывал в горах  только зимой, когда катался на лыжах.

Летние горы выглядят несколько иначе, чем зимой, особенно это касается  наблюдаемого поведения облаков на склонах и гребнях гор.

Летом  влаги в  воздухе содержится в разы больше,  чем зимой, что делает  летние облачные процессы намного ярче для визуального наблюдения, особенно на  фоне тёмных  каменных склонов и зелёной растительности (см.рис.1-2.)

 

Читать далее

Самый разрушительный технологический переход в истории

Habr.com - ср, 09/30/2026 - 20:20

Мне всего 44, но я помню мир без интернета, мобильных телефонов, навигаторов и мессенджеров. Чтобы позвонить своей будущей жене, я бегал к уличному таксофону и бросал монетку в аппарат. Чтобы что-нибудь узнать, шел в библиотеку и открывал Большую советскую энциклопедию, такой бумажный Google, только без рекламы, комментариев и возможности за три минуты поставить себе смертельный диагноз. Я ездил по городу без навигатора. И мы каким-то чудом умудрялись встречаться с друзьями в точно назначенное время на другом конце города, без возможности поделиться геолокацией и написать “я уже почти подъехал”, когда даже еще не вышел из дома... Это было удивительное время.

Мы легко встречали новые технологии и довольно быстро к ним приспосабливались. Интернет, мобильная связь, компьютеры, смартфоны — все это входило в нашу жизнь постепенно, оставляя нам время освоиться и привыкнуть. Но сейчас скорость изменений стала совсем другой. Мы все еще уверены, что так же легко адаптируемся ко всему следующему? Хотя, боюсь, мы даже близко не представляем, что нас ждет впереди. И на этот раз времени привыкнуть нам могут уже не оставить.

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

Как вам такое мнение одного из пользователей соцсети:

Читать далее

Добро пожаловать в пластмассовый мир. Как работает модель BrickGPT/LegoGPT

Habr.com - ср, 09/30/2026 - 20:17

Приветствую, уважаемые читатели.

Эта статья будет настолько философской и платонической, насколько это возможно на Хабре.

Читать далее

Быстрые кешбэки для быстрых платежей: как работает платформа лояльности НСПК

Habr.com - ср, 09/30/2026 - 20:06

Типичный кешбэк, как правило, приходит в конце расчётного периода. Иногда увидеть вознаграждение можно через несколько недель. Но если сам платёж проходит быстро, почему бы не сделать таким же быстрым и вознаграждение?

На связи Константин Гузаров, эксперт направления в команде платформы лояльности «Мир Plat.Form», технологической команды Национальной системы платёжных карт (НСПК), и сегодня я расскажу, как мы запускали моментальный кешбэк за покупки по Системе быстрых платежей (СБП) и что пришлось изменить в платформе, чтобы вознаграждение приходило практически одновременно с платежом. 

Сейчас кешбэк за покупку по СБП начисляется мгновенно по заведённым акциям. Для пользователя это выглядит просто: оплатил покупку — получил кешбэк. Но между этими двумя событиями происходит цепочка операций: процессинговый центр лояльности (ПЦЛ) получает информацию о транзакции, проверяет условия акции, учитывает историю покупок клиента, определяет размер вознаграждения и инициирует процесс выплаты. 

Читать далее

Как мы собрали ИИ-конвейер для разметки продуктового фидбэка

Habr.com - ср, 09/30/2026 - 20:02

Привет! На связи Андрей Безруков из команды Авито Рекламы. Если вы работаете с обратной связью от пользователей, то наверняка понимаете, что для разбора нужно не только увидеть комментарий о проблеме, но и понять её точный смысл, сохранить все затронутые темы и применить консистентные правила разметки. Наша команда собрала для этого систему из специализированных ИИ-агентов, Python-помощника и обновляемой таксономии.

В этой статье рассказываем, как распределить задачи между инструментами, чтобы они действительно помогали вам быстрее анализировать фидбэк.

Читать далее

Как мы собрали ИИ-конвейер для разметки продуктового фидбэка

Habr.com - ср, 09/30/2026 - 20:02

Привет! На связи Андрей Безруков из команды Авито Рекламы. Если вы работаете с обратной связью от пользователей, то наверняка понимаете, что для разбора нужно не только увидеть комментарий о проблеме, но и понять её точный смысл, сохранить все затронутые темы и применить консистентные правила разметки. Наша команда собрала для этого систему из специализированных ИИ-агентов, Python-помощника и обновляемой таксономии.

В этой статье рассказываем, как распределить задачи между инструментами, чтобы они действительно помогали вам быстрее анализировать фидбэк.

Читать далее

range-for перестал ронять программу на временном объекте, зато теперь дольше держит мьютекс

Habr.com - ср, 09/30/2026 - 19:50

range-based for в C++ выглядит безопасным местом, пока в него не попадает временный объект с внутренней ссылкой. Такой код может годами работать в продакшене, а затем начать читать освобождённую память после смены компилятора или настроек сборки. В статье разбирается, как C++23 изменил время жизни временных объектов в таких циклах, почему поддержка стандарта зависит от компилятора и какие проверки помогут найти проблемные места в кодовой базе.

Узнать детали

[Перевод] В Сингапуре тестируют сервис знакомств для госслужащих

Habr.com - ср, 09/30/2026 - 19:25

Государственное технологическое агентство Сингапура (Government Technology Agency of Singapore, GovTech) запустило FirstDate, пилотный проект, использующий алгоритм Гэйла — Шепли для подбора пар среди государственных служащих в возрасте от 21 до 35 лет. Проект появился на фоне исторически низкой рождаемости в Сингапуре и уже вызвал в интернете как интерес, так и критику.

Некоторые государственные служащие Сингапура могут обнаружить в своей электронной почте необычное приглашение: возможность найти пару через сервис знакомств с верификацией с помощью Singpass, запущенный GovTech.

Ведомство начало пилотный проект FirstDate для государственных служащих в возрасте от 21 до 35 лет. Вместо бесконечной ленты анкет сервис подбирает пары с помощью алгоритма. «Усталости от свайпов больше нет», — говорится на сайте FirstDate. Сейчас проект тестируют в системе государственной службы. Его цель, как сказано на сайте, — способствовать возникновению «осмысленных знакомств». Заявки на участие в текущем раунде принимаются до 5 октября 2026 года. Участвовать могут не состоящие в браке, овдовевшие или разведённые люди.

Читать далее

Курс молодого вайбкодера

Habr.com - ср, 09/30/2026 - 19:17

Как я решил сделать игру, сделал ее и встрял на последнем уровне

Вайбкодинг открыл нам дивный новый мир. Судя по тематическим телеграм‑каналам, фитнес‑тренеры уже вовсю создают одним промптом открытые миры в 3D, а домохозяйки уходят на ноготочки, оставляя детей и мужей на OpenClaw. И по возвращении находят одних уже воспитанными, других — покормленными и уложенными. И с мужьями тоже всё норм.

И тут я зачем‑то вспомнил, что образование у меня, в целом, айтишное. И решил, что это — моё конкурентное преимущество (спойлер: нет).

Читать далее

CanvasDesk: от замены рабочего стола до визуального математического моделирования

Habr.com - ср, 09/30/2026 - 19:10

Меня всегда расстраивало, что рабочий стол любой системы это обычно «мёртвый» кусок. Почему не превратить его в используемый сервис? Так появился CanvasDesk — бесконечная canvas‑доска вместо рабочего стола, где диаграмма и есть формула.

Я проверил идею на PoC: написал на Rust с помощью ИИ‑агентов (Kimi Code, Z.ai) за 2,5 недели и 80$, потратив более 3000 запросов. Результат — рабочий бинарник для Windows/Linux/macOS и WASM‑версия в браузере.

Главная боль, которую решаю: рваный путь проектирования, когда архитектура на доске, а расчёты в Excel, и их синхронизация — ад. Как человек с визуально‑пространственным мышлением и 10-летним опытом в ИТ‑ и продукт‑менеджменте, я делаю инструмент, где диаграмма и формула едины.

Читать далее

Вайбкодинг: запретить нельзя возглавить

Habr.com - ср, 09/30/2026 - 19:10

Четыре месяца назад мы разрешили коллегам без инженерного бэкграунда выкатывать в прод приложения, которые им пишет ИИ-агент. После этого получили более 260 проектов от 150 человек, и весь этот код не читал ни один программист.

Дальше о том, как устроена наша песочница, что мы узнали за эти четыре месяца, где ошибались и что из этого получилось.

Читать далее

[Перевод] Самый странный гаджет Sony: CD 210 мегабайт, клавиатура и монохромный экран

Habr.com - ср, 09/30/2026 - 19:05

Конец 80-х и начало 90-х. На рынке потребительской электроники есть один абсолютный король, и имя ему – Sony. В те годы японская компания доминировала в мире гаджетов точно так же, как сегодня это делает Apple. Walkman, портативные CD-плееры, новенькие дискеты – всё, к чему они прикасались, превращалось в золото и создавало рынки, о которых люди раньше даже не подозревали.

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

В 1990 году Sony выкатила на рынок девайс, который сегодня кажется пришельцем из альтернативной реальности. У него была QWERTY-клавиатура, монохромный экран и лоток для крошечных дисков. Он вышел за 6 лет до первого КПК Palm и за 15 лет до эпохи массовых электронных читалок.

Сегодня мы сдуем пыль с этого предка современных смартфонов, вставим в него две пальчиковые батарейки и попытаемся понять: как Sony изобрела идеальный карманный ПК, но сама этого не осознала?

Пристегивайтесь, мы отправляемся в 1990-й.

Читать далее

Дайджест ИБ, 23–29 сентября: OpenAI остановила свои модели, атака на «Додо Пиццу»

Habr.com - ср, 09/30/2026 - 19:01

Новости информационной безопасности за неделю с 23 по 29 сентября, в одной строке с ссылками на источник. Разбиты по темам: ИИ, Уязвимости, Атаки и утечки, Исследования, Рынок, Регулирование, Медиа, Open source

Читать далее

Зачем я добавил Go-сервис туда, где его не просили

Habr.com - ср, 09/30/2026 - 18:59

Недавно мне дали тестовое задание на проектирование интеграции между 1С и Yandex 360. На первый взгляд задача выглядела достаточно прямолинейно: 1С формирует письмо, дальше его нужно передать в почтовую систему, отправить и получить информацию о результате. Но в исходном ТЗ не было отдельного сервиса на Go. Я добавил его сам.

И в этой статье хочу разобрать не столько само тестовое задание, сколько процесс принятия архитектурного решения: зачем вообще добавлять ещё один компонент и в какой момент он действительно оправдан. Потому что сделать архитектуру из нескольких сервисов несложно. Гораздо сложнее объяснить, зачем каждый из них нужен.

Читать далее

Как я спасал метеостанцию, а в итоге написал своё киоск‑приложение для Android

Habr.com - ср, 09/30/2026 - 18:58

Однажды у моей метеостанции Ecowitt умер комнатный дисплей. Через неделю на стене гостиной висел планшет с панелью умного дома, а на GitHub лежало открытое Android‑приложение, которое я написал вместе с ИИ‑ассистентом Claude. Расскажу, как так вышло, какие задачи пришлось решить (от вздувающихся батарей до сына, который хотел смотреть YouTube) и чему меня научила разработка с ИИ, если ты сам не Android‑разработчик.

Читать далее

«Тут только одну фичу добавить…»: как не превратить B2B-продукт в заказную разработку

Habr.com - ср, 09/30/2026 - 18:57

«Нам только поле в карточку задачи добавить, чтобы туда подтягивался номер договора из нашей учетной системы. И фильтр по нему, и выгрузка в отчет. Ну и права, чтобы видели только юристы».

Такие задачи могут приходить регулярно, причем от клиентов, которых очень не хочется терять. По отдельности каждое требование выглядит разумно, вместе они способны за пару лет превратить продукт в заказную разработку.

Привет, Хабр! Меня зовут Шамиль Зигантдинов, я директор по продуктам экосистемы ИТ-продуктов Лукоморье. Под катом расскажу про нашу систему работы с клиентскими запросами: что мы берем в дорожную карту продукта, что закрываем скриптами и настройками, а что отдаем партнерам в виде плагинов. И разберем, из чего складывается настоящая цена «фичи на месяц».

Читать далее

Как купить NFT‑юзернейм в Telegram или превратить свой ник в NFT: подробная инструкция

Habr.com - ср, 09/30/2026 - 18:57

Пошаговая инструкция по NFT‑юзернеймам в Telegram. Разбираем, как подготовить кошелёк Keeper (бывший Tonkeeper), подключить его и аккаунт Telegram к Fragment, купить ник по фиксированной цене или на аукционе, привязать его к профилю, каналу или боту и включить отображение в настройках Telegram. Отдельно показываем, как превратить свой обычный юзернейм в коллекционный через Convert to Collectibles, какие есть комиссии и ограничения. В конце: частые схемы обмана и ответы на популярные вопросы.

Читать далее

Сейчас на сайте

Сейчас на сайте 0 пользователей и 13 гостей.
Ленты новостей