В программировании мы привыкли торговаться временем против памяти, но есть ещё один, менее очевидный, компромисс — между тем, что система в принципе умеет выражать, и тем, что о ней потом вообще можно строго сказать. Машины Тьюринга, PDA и DFA, Rust и Python, SAT и SMT, системы типов, макросы и метапрограммирование — всё это разные точки в одной и той же решётке «выразительность против разрешимости», просто по разным осям.В статье разберемся, почему достаточно «мощные» модели и языки неизбежно становятся плохо анализируемыми, почему это не линейный спектр, а набор пересекающихся измерений, и как этот компромисс проступает в очень практичных вещах — от систем типов и статанализа до архитектурных решений в реальных проектах. Читать разбор

Попросили Claude Code CLI сделать AI-чатбот для нашей платформы. Через 4 часа получили рабочее решение: контекстно-зависимый виджет, база знаний на markdown, эскалация в Telegram, автоматический сбор багов. Работает в production, выложили в open source.GitHub: github.com/gmen1057/ai-chat-widgetЛицензия: MITDemo: studio.jhunterpro.ru (виджет в правом нижнем углу) Читать далее

На космодроме Байконур после запуска «Союза МС-28» обрушились технические конструкции

Красного гиганта в Gaia BH2 заподозрили в поглощении другой звезды

Современная ATS (Applicant Tracking System) давно уже не является просто «электронной картотекой» с резюме. Сегодня ATS - это центр управления всем циклом найма, начиная с публикаций вакансий, заканчивая оффером и онбордингом. Система собирает отклики с десятков площадок, структурирует данные, ведёт коммуникации с кандидатами, синхронизируется с календарями команды и строит аналитику по качеству найма.Искусственный интеллект позволяет вывести ATS на новый уровень за счет скорости, точности, автоматизации рутины, аналитики и прогнозов.  Читать далее

Когда‑то в старых сказках короли теряли волю не от вражеских чар, а от тонкого обольщения. В их дворы приходили странствующие мудрецы и обещали золотые города, говорящие машины, вечные источники власти. Король слушал, забывая войска и казну, ведь слова звучали как обещание нового мира. Тот, кто говорил убедительно, казался гением. И пока монарх грезил о будущем, реальность тихо распадалась на куски.Современный руководитель переживает ту же историю, только вместо сказочников перед ним выступают апостолы новых технологий, ссылками и презентациями рисующие сияющие горизонты. Он, подобно зачарованному правителю, перестает делать различия между знанием и красноречием, между реальной компетенцией и мастерством внушения. Очарование перспективами лишает способности трезво смотреть на людей и задачи, превращая управление в игру ожиданий и иллюзий. Читать далее

В начале ноября после очередной шок-статьи, оказавшейся пустышкой, у меня появилась идея сервиса, который будет анализировать новости при помощи ИИ — рассказываю, что я делаю, и что из этого всего получается.Это реальная история, не байт. Читать далее

На днях мне понадобился новый лендинг для тестирования гипотезы. В прошлые разы я тратил на такое десятки тысяч рублей и недели времени, причем не всегда успешно. Примерно 50% работ фрилансеров улетало в корзину. С No-code и ИИ выход годных результатов получался ещё ниже. Но время идет, и, вот, мы дожили — 100% работы делают агенты. Вжух — и лендинг!

Всем привет!Это моя первая статья на Хабре, решил поделиться с общественностью своей идеей и тем, чем последнее время я занимаюсь в свободное время.Любая критика (а также предложения и/или пожелания) категорически приветствуются.Приятного чтения!ИдеяНе так давно по состоянию здоровья вынужден был погрузиться в мир глюкозы и ее мониторинга. В продаже довольно много всяких‑разных глюкометров, которые с более‑менее приемлемой точностью помогают мониторить уровень глюкозы. Но, в наш век информационных технологий, электромобилей и умных домов подавляющее количество этих устройств — это просто «экранчики с кнопками», показания которых никуда нельзя передать, никак нельзя экспортировать (ну кроме банального переписывания в тетрадку с экрана). В общем, говоря «современным языком» умных домов — по большей части эти устройства «глупые». К слову, да — я в курсе про системы непрерывного мониторинга уровня глюкозы и про них здесь тоже будет сказано (спойлер — не все так радужно в тамошних королевствах). Читать далее

Привет, Хабр! На связи команда «МТС Аналитика»: техлид Саша Бобряков и ведущий разработчик Рома Захаров. Со дня на день мы в MWS запустим собственный комплексный курс по Java, который создали в рамках внутренней образовательной платформы МТС Тета. Он предназначен для внутренних разработчиков и поможет вырасти из уровня middle в senior. Зачем мы вообще его затеяли? Нам хотелось систематизировать «коллективный опыт» компании, выровнять грейды, чтобы мидл в условной команде X владел теми же навыками, что и мидл в команде Y, а еще — дать коллегам надежную базу, чтобы они росли в своем направлении. Работая над курсом, мы и сами многому научились. Например, выступать перед камерой, беспощадно отсекать избыточное, а еще — находить общий язык с дизайнерами (да, разрабам это не всегда дается легко).Сейчас мы на финишной прямой, и пока впечатления о процессе работы еще свежи, нам захотелось ими с вами поделиться. Расскажем, в чем вообще польза от таких курсов для компании, как мы строили программу, какие сложности были. И посоветуем, на что стоит обратить внимание, если в вас тоже не умер преподаватель (да и ученик). Читать далее

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

Зачем запускать тяжелый Fusion 360 или ArtCAM, чтобы просто вырезать фланец или прокладку? Я написал свой CAM-процессор на чистом JavaScript и Three.js, который готовит G-code из DXF за пару секунд прямо в браузере.В статье разбираем архитектуру легковесного инженерного софта: парсинг DXF, визуализацию траекторий на WebGL, алгоритмы оффсетов и опыт парного программирования с нейросетью. Заглянуть под капот

Привет! Меня зовут Воронин Николай, я занимаюсь автоматизацией систем отчётности и анализа в ПГК Диджитал.В этой статье я хочу поделиться опытом ведения личного творческого проекта, где многие функции переложены на нейросети. Расскажу об обнаруженных мной особенностях, плюсах и недостатках.Мой проект – это цифровой мультимедийный комикс. Для его реализации требуется создание программного обеспечения, иллюстрации, музыка и звуки, работа с сюжетом и персонажами. Соответственно четыре AI, которые несут кольцо к финалу проекта это:·         Deepseek – LLM для кодинга.·         Deepseek – LLM для отладки и выверки текстов и проработки сюжетной целостности.·         StableDiffusion – иллюстрации.·         Suno AI – музыкальное сопровождение.Почему нейросети – хоббиты, и зачем им нужен Гэндальф?В основном это касается больших языковых моделей (Deepseek, CharGPT, Grok, Gemini, Gigachat и т.п.). Важно понимать, что Искусственный Интеллект – это модное, но неправильное название для нейросети и большой языковой модели – никакого интеллекта там нет. Это очень большой массив хитро размеченной информации с хитрым алгоритмом статистического поиска сначала распознавания вопроса и затем наиболее вероятного ответа. Мыслительного процесса, понимания вопроса и логического построения ответа нет. Нейросети не умеют даже считать, в них просто загружено очень много математических задач с ответами и, получая запрос, нейросеть ищет наиболее вероятный ответ.Соответственно, чем задача специфичнее – тем больше шанс, что в обучающих материалах по ней было мало информации, нейросеть будет пытаться интерпретировать её через другие задачи, которые по логике разметки кажутся похожими (с точки здравого смысла это может быть не так), и решения будут становится всё более и более странными. Читать далее

Компании по всему миру сегодня спешат объявить себя «AI-first», но всё чаще это звучит как красивый лозунг без реального содержания. В своей колонке генеральный директор Runway Сицы Чен предлагает честно взглянуть на этот разрыв — между тем, что организации декларируют, и тем, что на самом деле происходит внутри команд. Это размышление о том, как не превратить инновации в показное действие, почему настоящие преобразования начинаются с любопытства, а не с мандатов сверху, и что отличает компании, действительно осваивающие ИИ, от тех, кто лишь делает вид. Читать далее

«Персеверанс» услышал электрические разряды на Марсе

셀트리온은 중남미 최대 의약품 시장인 브라질에서 만성 특발성 두드러기 치료제 ‘옴리클로(성분명 오말리주맙)’를 출시하고 본격적으로 시장 선점에 돌입한다고 27일 밝혔다.옴리클로는 브라질 시장에 가장 먼저 출시된 오말리주맙 바이오시밀러 ‘퍼스트무버(First Mover)’ 제품이다. 이번에 150mg 용량을 먼저 출시했고 내년 초에는 75mg 제품을 추가한다는 계획이다.셀트리온 브라질법인은 옴리클로 출시 전부터 현지 의약품 구매 담당자와 의료 기관을 대상으로 제품 경쟁력 및 안정적인 공급 역량을 적극적으로 알렸다. 여기에 브라질 의료진들이 다년간 셀트리온 제품을 처방해 왔기 때문에 빠른 시장 안착이 기대되는 상황이다.의료진을 대상으로 하는 마케팅 활동도 활발히 진행됐다. 지난 13일(현지 시간)에는 브라질 알레르기·면역학회에 참가해 현지 의료진을 상대로 옴리클로의 임상 데이터와 치료 편의성 등을 소개했다.브라질 내 셀트리온 주요 제품 성장세는 브랜드 인지도 제고와 함께 신규 제품

[SBA x IT동아] 서울경제진흥원(SBA)은 10대 초격차 기술을 연구하는 스타트업, 그리고 대·중견 기업을 연결해 동반 성장하도록 이끄는 초격차 개방형 혁신을 주도합니다. 초격차 개방형 혁신을 토대로 세계에서 활약할 유망 스타트업의 실력과 성과를 소개합니다.기후 변화와 함께 해양 생태계도 위기다. 한국해양과학기술원 자료에 따르면 산업혁명 이후 인류가 배출한 이산화탄소의 약 30%를 바다가 흡수한 것으로 조사됐다. 해수 온도가 오르고 산성화가 진행된다. 바닷속 생태계가 바뀌면 그곳에서 살아가는 생명체에게 치명적이다. 특정 종은 멸종 위기에 처하고, 또 다른 종은 개체 수가 폭발적으로 증가하는 불균형 현상이 나타나는 이유다.우리나라 바다는 불가사리로 몸살을 앓는다. 바다의 별이라 불리며 낭만적인 이미지로 소비되던 불가사리는, 실상 해양 생태계를 황폐화하는 주범으로 지목받는다. 불가사리는 닥치는 대로 해산물을 포식하며 양식장에 막대한 피해를 줄 뿐만 아니라, 바다의 산소 탱크라

Татуировки на ступнях снизили иммунный ответ на вакцину от ковида у мышей

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

Нужно больше черепов

Двухкомпонентная терапия замедлила появление лекарственной устойчивости в раковых клетках

넷마블이 이달 22일 발생한 개인정보 유출 규모가 611만여 명이라고 밝혔다. 넷마블은 ‘바둑’, ‘장기’ 등과 같은 PC 게임을 서비스하는 자사 포털사이트 등에서 발생한 고객 및 일부 임직원 정보 유출 건에 대한 자체 조사 결과를 27일 밝혔다. 유출된 정보는 이름과 생년월일, 암호화된 비밀번호 등이다. 넷마블 측은 주민등록번호 등과 같은 고유식별정보나 민감정보 유출은 없다고 강조했다. 넷마블 측은 또 현재는 휴면 처리된 채로 남아 있던 ID와 암호화된 비밀번호 3100만여 개도 유출됐다고 밝혔다. 해당 정보는 이름과 생년월일 등 개인정보가 이미 삭제돼 개인을 식별할 수 있는 정보는 아니라고 설명했다. 해당 ID들은 PC포털 사이트에서 회원 1인당 5개까지 중복해 생성된 것으로 보인다. 이와 함께 2015년 이전의 PC방 가맹점 6만6000여 곳의 사업주 명, ID와 이메일 정보, 전현직 임직원의 이름, 생년월일, 회사 이메일주소 등 1만7000여 건으로 잠정 집계됐다.넷

한국형 발사체 누리호(KSLV-II)가 27일 새벽 전남 고흥군 나로우주센터에서 4차 발사에 성공해 우주로 향했다. 발사대로부터 십여 킬로미터 떨어진 여수에서 바라본 누리호의 첫 야간 발사 순간은 2분여간 이어졌다. 지구 오로라 관측을 위해 처음으로 야간에 발사된 누리호는 붉은 섬광과 함께 하늘로 솟구쳤다. 추진 로켓에서 뿜어져 나오는 강력한 빛에 칠흑같이 어두웠던 고흥군 일대 바다는 순식간에 조명을 켠 듯 밝아졌다.누리호는 이내 밤하늘에 하얀 궤적을 남긴 채 시야에서 사라졌다. 빛을 쏟아내던 로켓의 불꽃이 점차 약해지자, 발사대 주변에도 다시 적막이 찾아왔다. 한국항공우주연구원은 누리호가 발사대를 떠난 지 13여 분이 지나자 추진 로켓을 모두 분리해 목표 고도인 600km에 도달했다고 밝혔다.‘차세대 중형위성 3호’ 1기와 부탑재 위성 12기를 싣고 이날 오전 1시 13분께 발사된 누리호는 순서대로 위성을 모두 분리하며 발사에 성공했다. 누리호 4차 발사를 통해 궤도에 오른

Существует ряд ошибок, которые подрывают доверие к продукту. Одна из таких — потеря пользовательских данных. Мне пришлось столкнуться с этим лично, когда мой отзыв пропал при попытке публикации. В этой заметке — разбор UX-проблем и то, как мой фидбек привёл к конкретным изменениям в алгоритмах 2GIS. Читать далее

Этот гайд поможет быстро и без проблем развернуть Proxmox VE 9. Разбираем все шаги: от первого входа и настройки сети до запуска VM, LXC и автоматических бэкапов. Четкие инструкции, практические советы и решения частых проблем. Читать далее

Одна из базовых функций систем машинного зрения состоит в классификации объектов. Для решения этой задачи традиционно применяются методы обучения с учителем (SL). Эти методы обеспечивают высокую точность, но при этом размер нейросетевой модели увеличивается с увеличением количества классов. Такая особенность ограничивает применимость SL в тех случаях, когда число классов слишком велико или заранее неизвестно.Эксперт отдела перспективных исследований компании «Криптонит» Никита Габдуллин предложил новую методологию, позволяющую добиться одного и того же размера нейросетевой модели независимо от числа классов. Это достигается за счёт использования предопределённых векторных систем в качестве целевой конфигурации скрытого пространства (Latent Space Configuration, LSC) во время обучения.С проблемой раздувания классов сталкиваются во многих областях — от ритейла до научных исследований. Мы рассмотрим её на задаче распознавания лиц, где каждый человек (его ID) считается отдельным классом. Существующий подход (SL) требует, чтобы размер последнего классификационного слоя был пропорционален количеству этих ID.Когда число идентифицируемых лиц исчисляется миллионами, параметры этого слоя становятся просто астрономическими, а модель — непрактичной из-за непомерных требований к ресурсам (в частности — к видеопамяти). Это становится существенным барьером на пути к масштабированию.В качестве решения этой проблемы эксперт «Криптонита» предложил радикально новый метод — LSC, который устраняет прямую зависимость между размером модели и числом классов. Вместо того, чтобы заставлять сеть запоминать каждый класс во всё увеличивающемся классификационном слое, LSC учит её проецировать входные данные — например, изображения лиц — в заранее заданную, фиксированную систему векторов в абстрактном скрытом пространстве. Читать далее

Что есть реальность? То, что мы можем увидеть? Но, одев очки виртуальной реальности, мы тоже видим множество вещей, что не есть реальностью. Фантазии на тему того, что окружающий нас мир является всего лишь симуляцией циркулируют в научной фантастике уже очень давно. Однако с выходом фильма «Матрица» поклонников данной гипотезы стало в разы больше. Конечно, нам бы сильно хотелось верить в то, что все ужасы окружающего мира, часто являющиеся творениями нас самих, являются не более чем симуляцией, из которой можно вырваться на свободу. Однако, такой эскапизм полностью противоречит законам природа, в частности физики. Ученые из Университета Британской Колумбии (Ванкувер, Канада) провели исследование, в котором сформировали доказательства того, что наша Вселенная вполне реальна. Как именно ученым это удалось, мы узнаем из их доклада. Читать далее

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

[IT동아 x 울산시 x 디자인주도 제조혁신센터] 한국디자인진흥원은 울산대학교에 ‘울산 디자인주도 제조혁신센터’를 마련했습니다. 유망한 중소기업·스타트업의 디자인 경쟁력 강화를 돕는 곳입니다. IT동아는 ‘울산 디자인주도 제조혁신사업’ 선정 기업을 소개하고 이들의 스케일업을 지원합니다.울산의 작은 한옥에서 출발한 공예 브랜드가 글로벌 예술계로 나아간다. 울산 기반 터프팅(천 위에 실을 심는 섬유 공예 기법) 창작 플랫폼 ‘빌라오아시스(Villa Oasis)’ 이야기다. 한국 공예계에 신선한 바람을 불어넣은 빌라오아시스는 창작의 기회를 제공하고, 국내외 예술가들이 교류하는 열린 생태계를 만들어왔다.해외 전시 참가는 중요한 전환점이었다. 빌라오아시스는 2025년 9월, 프랑스 파리에서 열린 메종&오브제(Maison&Objet)에 참가했다. 전 세계 2500여 개 브랜드가 참여하고 관계자 약 7만 명 이상 모이는 유럽 최대 규모의 디자인 박람회였다. 이 무대에서 한국

28일부터 네이버와 토스를 통해 병원 진료를 예약하면 실손보험까지 한 번에 청구할 수 있다.금융당국은 27일 “28일부터 별도의 앱(애플리케이션) 설치와 회원 가입 없이 네이버와 토스를 통해 실손보험 청구 전산화 서비스(실손 24)를 이용할 수 있다”고 안내했다. 실손보험 청구 전산화는 소비자(보험계약자)가 요청하면 요양 기관(병의원, 약국)이 보험금 청구 서류를 보험회사에 전송하는 제도다. 정부는 실손 24의 인지도를 올리고 소비자를 만족시키기 위해 대형 플랫폼 서비스와 연계하는 방안을 추진했다. 실손 보험계약을 보유했다면 네이버와 토스에서 실손보험 가입 보험사 조회부터 보험금 청구까지 모든 과정을 진행할 수 있다. 금융당국은 “플랫폼 내에서도 기존 실손 24와 같이 높은 수준의 보안이 그대로 적용된다”고 설명했다.네이버와 토스도 병원 예약부터 보험금 청구까지 ‘원스톱’으로 처리할 수 있는 다양한 기능을 확대할 계획이다. 소비자가 온라인 플랫폼에 등록한 신용카드 등 결제 수단으로

27일 4차 발사 이후에도 정부는 누리호 발사를 한동안 이어가겠다는 계획을 갖고 있다. 민간 우주 생태계를 지키기 위해서는 누리호의 상업적 경쟁력이 부족하더라도 꾸준한 발사 수요를 제공해야 하기 때문이다. 이날 전남 고흥 나로우주센터에서 열린 누리호 4차 발사 결과 브리핑에서 윤영빈 우주항공청장은 “현재 진행 중인 한국형발사체 고도화 사업은 2027년 6차 발사까지”라며 “하지만 우리는 2028년 7차 발사를 계획하고 있고 8차 발사 이후부터는 매년 한 번 이상 유료 발사를 계획하고 있다”고 밝혔다. 이번 누리호 4차 발사를 포함해 2026년, 2027년으로 예정된 누리호 5차, 6차 발사는 한국형발사체 고도화 사업에 포함된다. 누리호의 반복 발사를 통해 우주 기술의 신뢰성을 높인다는 목표로 마련된 사업이다. 우주청은 고도화 사업에서 한 발 더 나아가 2028년 7차 발사를 위한 ‘누리호 헤리티지’ 사업을 추진하며 예비타당성 면제를 신청했지만 불발됐다. 우주청은 누리호의

На днях меня посетил вопрос: «Почему радиочастоты и сигналы не мешают друг другу? И был ли момент, когда их стало так много, что эфир прям ломился?». Хотя ответ кажется интуитивно понятным, далеко не все понимают, как работает, например, полоса пропускания, как распределяется спектр и как используется один канал радиочастот.Да, сегодня все меньше и меньше людей слушают радио, и вспоминают о нем разве что в поездке на машине. Зато мобильная связь, Wi-Fi, спутниковые сервисы и миллионы IoT-устройств работают постоянно. В этой статье я отвечу на возникший вопрос и разберу основные принципы радиочастот. Детали под катом. Читать далее

На подстанциях и ОРУ уровень ошибки измеряется не в пикселях, а в деньгах и месяцах простоя. Для инженеров, которые работают с объектами 110–220 кВ, переход с «чистого» 2D в ТИМ – это не про модный 3D-рендер, а про единый источник правды, автоматическую РД и корпоративную стандартизацию.Этот кейс – про то, как компания, одной из первых начавшая внедрять Smart Grid в России, шагнула в ТИМ, сохранив инженерам привычную DWG-среду и добавив ей третье измерение смысла – насыщенную данными информационную модель. Узнать о едином источнике правды

Всем привет! Я Виктор Загускин, руководитель отдела голосового ML в MWS AI. Мы разрабатываем продукт формата «спичкит» — распознавание и синтез речи, анализ ее содержания. Наши клиенты используют эту технологию как кубики для создания прикладных продуктов. Чтобы лучше прочувствовать их потребности и боли, лучше познакомиться с тем, как реализовать голосовые ассистенты на основе современных решений, я решил попробовать сделать подобный продукт самостоятельно. Это будет работающий на локальном устройстве голосовой ассистент со встроенной LLM.В этом цикле материалов я буду рассказывать о процессе создания ассистента, примененных технологиях, выбранном железе, трудностях и путях их преодоления, буду  демонстрировать этапы работ. Попутно расскажу основные концепции, необходимые для реализации голосовых технологий. Первая часть цикла посвящена базе — выбору «железа», тулкитов для инференса, моделей для синтеза и распознавания речи и LLM. Поехали! Читать далее

В проектном офисе (PMO) несколько специалистов разного профиля работают на общий результат. С одной стороны, каждый занят своими задачами, а с другой – все друг от друга зависят. Отсюда и специфика: важна не личная продуктивность сама по себе, а эффективное управление потоками.  Читать далее