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

Математическая премия Абеля 2026 года

Habr.com - 41 мин. 30 сек. назад

Премия Абеля в 2026 году присуждена Герду Фальтингсу из Математического института Общества Макса Планка с формулировкой «за внедрение мощных инструментов в арифметическую геометрию и доказательства давних диофантовых гипотез Морделла и Морделла-Ленга». Чуть подробнее о предметной области работ Фальтингса можно почитать на N+1, также неплохое введение в сферу интересов Фальтингса для нематематиков есть на самом сайте Премии.

Значение работ в области арифметической геометрии, восходящей к работам Александра Горотендика и его окружения, связано с Программой Ленглендса, грандиозным планом по объединению областей математики, предложенного Робертом Ленглендсом, который сам получил премию Абеля в 2018 году за «за визионерскую программу, соединяющую теорию представлений и теорию чисел». А присуждение в 2025 году Деннису Гайцгори «Премии за Прорыв» (Breakthrough Prize) за доказательство геометрической гипотезы Ленглендса, являющейся частью общей программы, уже освещал на Хабре @andreybrylb. Также ваш покорный слуга публиковал на Хабре перевод автобиографического текста Уильяма Стайна (1 и 2 части), создавшего SageMath и CoCalc для работы во многом именно в обсуждаемых здесь областях математики. В переводческом предисловии подчёркивалось значение программы Ленглендса для построения теории великого объединения в физике. Кроме физических приложений Арифметической геометрии и Langlands Program к физике, можно отметить важное значение развиваемой в них теории эллиптических кривых в построении современных алгоритмов шифрования.

Читать далее

Я написал язык программирования на C — и он работает в Termux

Habr.com - 44 мин. 53 сек. назад

Kite lang

Я написал язык программирования на C — и он работает в Termux

Почему вообще

Всё началось с мечты — написать свой собственный язык программирования. Я смотрел кучу роликов на YouTube, пытался что-то понять, но эти жалкие попытки ни к чему не приводили. В теории я знал как устроен интерпретатор — лексер, парсер, AST. Но как воплотить это в реальный код — не понимал совсем.

Потом я наткнулся на один ролик который дал мне надежду. Я вспомнил что DeepSeek неплохо пишет код и решил попробовать — первый Python проект заработал. Я был на седьмом небе от счастья.

Но тот проект был сырой и недоделанный. А когда пытаешься сделать на нём что-то серьёзное — DeepSeek выдавал код полный ошибок. Я фиксил один баг, появлялись три новых. Стало ясно что просто просить AI написать язык — не работает.

Однажды я снова сидел на YouTube и наткнулся на видео с канала WeaklyHow — он создавал свой язык программирования с помощью нейросетей. Видео было на английском, но я смотрел просто так — контекст был понятен и без перевода.

Читать далее

Тимлид в 20: что могло пойти не так

Habr.com - 52 мин. 56 сек. назад

Сердце стучит, руки дрожат, голова полна мыслей — но ты принимаешь сложное решение.

Меня зовут Иванов Владимир, и сегодня расскажу историю о сложном решении в первые недели моего тимлидства на прошлом месте работы.

Читать далее

Правила сборки ПК, которые больше не работают в 2026 году

Habr.com - 56 мин. 23 сек. назад

Ещё какой-нибудь год назад при сборке ПК можно было просто следовать стандартному набору рекомендаций. Берём ядер побольше, память побыстрее, видеокарту посвежее, NVMe-накопитель, накидываем туда 32 гига оперативки — и в ус не тарахтим. Да, подход, прямо скажем, был не без оговорок, но в целом работал. Однако 2026-й всё перемешал. Память подорожала, видеокарты тоже, а производители вдруг массово вспомнили про AM4 и начали выпускать под неё свежие материнские платы. Так многое из того, во что мы привыкли верить, оказалось практически неактуальным.

Читать далее

Нейрофотосессия онлайн по фото: как сделать студийную фотосессию в ИИ | Бесплатные промпты 2026 года

Habr.com - 1 час 8 мин. назад

Нейрофотосессия онлайн — это олицетворение сложного термина, но предельно простой задачи для ИИ, с которой сегодня может справиться почти любая популярная нейронка: от GPT Image до Midjourney. Проблема в том, что эти сервисы ориентированы на свою целевую аудиторию, и не доступны у нас на сегодняшний день. Впрочем, это не мешает нам делать студийные фотосессии, ведь у многих мировых движков есть API, которыми пользуются разработчики для создания своих сайтов, ботов, приложений. И их очень много. Однако, не все работают корректно и прозрачно. Собрали для Вас топ нейронок для создания фотосессий и бонус в виде промптов, которые сегодня «вирусятся» в сети. 

Читать далее

[Перевод] Как найти подозрительные логины из разных стран за 2 часа в PostgreSQL

Habr.com - 1 час 10 мин. назад

В задачах на SQL особенно интересно то, что один и тот же результат часто можно получить несколькими способами – и разница между ними оказывается не только в красоте запроса, но и в его поведении на реальных данных. В этой статье – разбор прикладной задачи про поиск подозрительных логинов из разных стран в пределах двух часов: с вариантом через self join, альтернативой на оконных функциях и сравнением планов выполнения в PostgreSQL.

Разбор запроса

Что умеют школьники, которые через 5 лет будут нашими коллегами

Habr.com - 1 час 37 мин. назад

Школьные олимпиады по информатике до сих пор воспринимаются как отдельный мир, где дети решают абстрактные задачи, далёкие от реальной работы. Но сильный олимпиадник сегодня уже не просто быстро пишет код. По уровню алгоритмического мышления он близок к junior, а иногда и к middle-разработчику, только без боевого опыта. Он умеет жить в таймлимитах, думать об асимптотике, быстро проектировать решение, дебажить под давлением и работать не только с чистой алгоритмикой, но и с задачами по ИИ, безопасности и робототехнике. Поэтому заключительный этап Всероссийской олимпиады школьников по информатике, который в этом году проходит с 22 по 28 марта, показывает, какой инженер будет нужен индустрии через несколько лет. Чтобы понять, из каких скилов собирается портрет будущего инженера, мы посмотрели, как сегодня устроен финал олимпиады, какие задачи там дают и чему он на самом деле учит.

Читать далее

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

Habr.com - 1 час 44 мин. назад

AI-копилот за 40 секунд сгенерировал мне форму на 180 строк с валидацией через zod и сэкономил полчаса. А потом потратил два моих часа на отладку хука с race condition, который я бы написал сам за 40 минут. После месяца плотной работы с Cursor, Copilot и ChatGPT на продакшн-проекте React/Next.js я вывел для себя систему: какие задачи отдавать AI, а к каким его подпускать нельзя.

Читать далее

Настройка проекта для AI-агентов

Habr.com - 1 час 48 мин. назад

Собрал свой опыт настройки проектов для кодовых агентов. Как написать правила, чтобы агент не делал глупых ошибок, как научить его работать с окружением, как делиться скиллами между репозиториями и не сойти с ума, когда в команде у каждого свой инструмент — Claude Code, Cursor, Copilot.

Читать далее

Как убрать virtual и не сойти с ума: велосипедные генераторы через type loopholes

Habr.com - 1 час 55 мин. назад

В C++ уже есть корутины. Есть диапазоны. Есть готовые библиотеки.

Но это не мешает взять гаечный ключ и начать собирать генератор вручную.

В предыдущей статье макросы внезапно начинают изображать из себя язык: DO, LET, IS управляют препроцессорным ритуалом и создают DSL. Это синтаксис. Это оболочка. Это фронтенд.

(чтение предыдущей статьи необязательно для понимания этой)

Но ведь есть не только синтаксис, можно создать и конкретную семантику — генераторы.

В этой статье я строю велосипедный генератор. Самый честный.

Читать далее

ИИ не понимает код, пока разработчик не понимает его «мышление»

Habr.com - 1 час 58 мин. назад

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

Расскажем, почему код от ИИ выглядит корректным даже при логических пробелах, что такое LLM‑интеллект, как ИИ‑грамотность связана с переоценкой качества кода и какие инженерные практики помогают выстроить работу с моделью.

Материал подготовлен на основе экспертной колонки старшего вице‑президента Сбера, руководителя блока «Технологий» Кирилла Меньшова, опубликованной в Ferra.

Читать далее

Кастомный стратокастер со встроенным перегрузом

Habr.com - 1 час 59 мин. назад

Привет, Хабр! Знакомый электрогитарный энтузиаст попросил помочь доработать его инструмент с оригинальным авторским оформлением. Сейчас мы увидим и услышим, что из этого получилось.

Читать далее

Начинаем в багбаунти: как найти ошибки в бизнес‑логике

Habr.com - 1 час 59 мин. назад

Всем привет! Меня зовут Роман. В ИТ я больше семи лет: начинал с разработки, а теперь занимаюсь AppSec и параллельно пробую себя в багхантинге. Сейчас вхожу в топ-25 рейтинга на Standoff Bug Bounty. Здесь я выступаю как начинающий исследователь багов и буду рад поделиться своими наработками. Сегодня обсудим уязвимости бизнес‑логики — сложные и часто недооцененные ошибки, способные привести к серьезному ущербу. Разберем, как их находить, почему они опасны и что делает охоту за ними в багбаунти такой увлекательной. Погнали!

Читать далее

«Живой» интерфейс без разработки: как в Mindbox внедрили AI-first прототипирование

Habr.com - 2 часа 23 сек. назад

На связи Антон Черный, лид команды продуктового дизайна. На примере типовой задачи рассказываю, как мы пересобрали UX-процесс и ускорили проверку гипотез с помощью AI-first прототипирования.

Читать далее

Свое или чужое: почему и как мы делаем нашу хаос-платформу

Habr.com - 2 часа 24 сек. назад

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

Читать далее

broken lives matter. Как я написал распознавание речи потому что мне не продали ключ

Habr.com - 2 часа 7 мин. назад

Статья о том, как я писал свое Распознавание речи, используя vk cloud. Писал от обиды на иностранных разработчиков. Хотя думается мне, что разработчики все-таки наши. Просто для того, чтобы проект стал международным, он должен быть запрещен в России.

Читать далее

Каждая попытка заблокировать Telegram приносила ему десятки миллионов пользователей. Посмотрим, как их стал миллиард

Habr.com - 2 часа 14 мин. назад

25 марта ФАС объявила, что штрафовать за рекламу в Telegram не будет до конца 2026 года. Формально реклама на заблокированных ресурсах запрещена с сентября 2025-го, но ведомство дало бизнесу время перестроиться. Ограничения на Telegram в России действуют с февраля 2026-го.

Снова нам блокируют Telegram. В 2018 году вводить ограничения уже пробовали — тогда их отменили, и аудитория мессенджера в стране, наоборот, сильно выросла.

Сейчас блокировка ощущается тяжелее, чем раньше. Удалить Telegram из повседневной жизни примерно так же реалистично, как запретить разговоры на улице.

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

Сейчас разберем, как так получилось.

Читать далее

Книга: «Грокаем проектирование реляционных баз данных»

Habr.com - 2 часа 18 мин. назад

Привет, Хаброжители! Реляционные базы данных используются практически в каждой компании. И разбираться в том, как они работают, приходится и разработчикам, и аналитикам, создающим дашборды и отчеты, и специалистам, которым просто нужна актуальная информация. Это увлекательное руководство по миру баз данных и SQL написано в доступной и юмористической манере. Авторы, опытные преподаватели из Университета Торонто, превращают сложные концепции в простые и понятные объяснения с помощью ярких примеров, забавных иллюстраций и практических заданий.

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

Читать далее

Когда игры переплюнули фильмы?

Habr.com - 2 часа 30 мин. назад

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

Почему? Да потому что в какой‑то момент сценаристы видеоигр стали выдавать сюжеты круче, чем Голливуд, а погруженность зрителя в самих тайтлах достигла своего пика. Создатели фильмов же решили, что мы все поголовно страдаем склерозом и не можем уследить за ходом событий, пока листаем ленту в телефоне. 

Чтобы понять, когда именно дверь в кинотеатр захлопнулась, а в стриминг — открылась нараспашку, окунемся в историю.

Читать далее

Тайны рекламного аукциона в Ozon и как мы приручали VCG

Habr.com - 2 часа 34 мин. назад

Привет! Меня зовут Дмитрий, я ведущий разработчик в команде рекламного рантайма. Наша команда, как вы уже могли догадаться, занимается разработкой аукционов в поисковой рекламе Ozon.

В этой статье я хочу познакомить вас с механикой аукционов и рассказать, как мы делаем это в Ozon. Сначала мы разберёмся, что такое рекламный аукцион, что он имеет общего с аукционом в обычном понимании и как используется в контексте поисковой рекламы. А ещё подробно разберём аукцион типа VCG (аукцион Викри — Кларка — Гровса), вместе выведем формулы для него и посмотрим, какие результаты мы получили на практике.

Читать далее

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

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