В 2010 году я участвовал в интервьировании на позицию по моделированию и верификации процессорных ядер. Один из кандидатов был благообразный седой американец, который до этого работал в IBM.Я задал вопрос про язык описания и верификации аппаратуры SystemVerilog. На это кандидат…

Пример Ковалевской заключается в следующем. Рассмотрим задачу Коши для уравнения в частных производных:Легко показать, что эта задача не обладает аналитическим решением в окрестности начала координат. Говоря точнее, она не имеет решения, раскладывающегося в сходящийся в некотором бикруге степенной ряд видаКовалевская…

Это не совсем привычная для меня статья, но я давно хотел поделиться одним своим наблюдением. В ней не будет никаких вещей, связанных непосредственно с разработкой на Java или Kotlin, не будет кода. Я просто решил поделиться опытом. Я надеюсь, читать…

9 Мая — это не только память о великом подвиге народа, но и напоминание о цене суверенности, силы духа и способности создавать собственное будущее.Победа была достигнута не только оружием, но и инженерной мыслью, организацией, образованием, культурой труда, ответственностью перед страной…

Как обучить работе с тренажёрами АЭС группу из 30 человек в Индийском технологическом институте Бомбея (IIT Bombay), если половина аудитории впервые слышит про атомную энергетику, а другая половина уже готова моделировать аварийные ситуации?Именно с таким вызовом я столкнулся, когда готовил курс для индийских коллег. Мы разделили программу на два дня. В первый день — теория: основы работы АЭС, подготовка персонала, принципы создания математических моделей и тренажёров. Во второй — полноценный воркшоп с индивидуальной работой на тренажёрах.Но гладко было только на бумаге. На практике пришлось решать целый ряд задач:индивидуально настраивать и развёртывать тренажёры на каждой рабочей станции;адаптировать подачу материала под разный уровень подготовки;учитывать культурные особенности и стиль обучения аудитории.Стоит отметить, что мне приходится довольно часто выступать с различного рода лекциями, начиная от электротехники, системам автоматического управления, до программирования различных приложений и созданию цифровых двойников – это как внутренние семинары по повышению квалификации персонала, так и публичные…

NVIDIA продаёт спарку с лозунгом «один петафлоп на FP4». Я купил коробку, поставил vLLM, запустил инференс и получил 40 токенов в секунду на 35B MoE‑модели. После маркетинговых слайдов цифра выглядит грустно.Объяснение простое. NVFP4 в основной ветке vLLM и FlashInfer физически сломан на SM_121 — варианте Blackwell, который установлен…

По информации Hi-Tech Mail, с 3 июня 2026 года десктопное приложение «Яндекс Диск» для Windows и macOS перестанет полноценно работать без подписки. Бесплатным пользователям отключат облачные функции в клиенте, включая синхронизацию файлов между компьютером и облаком. Сам сервис при этом…

Если взять случайный крейт с crates.io, поставить на него Miri и подождать минут пять, шанс увидеть красное сообщение про undefined behavior где-то в зависимостях стремится к единице. Чаще всего виноват не автор хитрого unsafe-блока ради скорости, а вполне обычная библиотека,…

Разработчик Петр Осетров (@hyperion_cs) выпустил открытый мультиплатформенный проект под названием DPI Checkers (комплексный чекер DPI). Это решение помогает выяснить, использует ли ваш домашний интернет-провайдер DPI (Deep Packet Inspection), а также конкретные методы (и их параметры), которые сетевой регулятор использует для…

Markdown стал стандартным форматом для общения агентов с разработчиком. Простой, портативный, поддерживает базовое форматирование, легко редактируется. Claude даже научился делать ASCII-диаграммы внутри markdown-файлов.Но по мере того, как агенты становятся мощнее, markdown начинает ощущаться тесным. Файл длиннее ста строк уже трудно…