Настраивать оборудование можно разными способами. Можно ходить от одной железки к другой и делать всё руками, но это медленно и непродуктивно, сгодится максимум для дома. Можно использовать скрипты, но это может не всегда работать и вызывать проблемы. А можно использовать…
В 2010 году я участвовал в интервьировании на позицию по моделированию и верификации процессорных ядер. Один из кандидатов был благообразный седой американец, который до этого работал в IBM.Я задал вопрос про язык описания и верификации аппаратуры SystemVerilog. На это кандидат сказал,…
Пример Ковалевской заключается в следующем. Рассмотрим задачу Коши для уравнения в частных производных: Читать далее
Это не совсем привычная для меня статья, но я давно хотел поделиться одним своим наблюдением. В ней не будет никаких вещей, связанных непосредственно с разработкой на Java или Kotlin, не будет кода. Я просто решил поделиться опытом. Я надеюсь, читать эту статью Вы будете вечером, в…
9 Мая — это не только память о великом подвиге народа, но и напоминание о цене суверенности, силы духа и способности создавать собственное будущее.Победа была достигнута не только оружием, но и инженерной мыслью, организацией, образованием, культурой труда, ответственностью…
Как обучить работе с тренажёрами АЭС группу из 30 человек в Индийском технологическом институте Бомбея (IIT Bombay), если половина аудитории впервые слышит про атомную энергетику, а другая половина уже гот
NVIDIA продаёт спарку с лозунгом «один петафлоп на FP4». Я купил коробку, поставил vLLM, запустил инференс и получил 40 токенов в секунду на 35B MoE‑модели. После маркетинговых слайдов цифра выглядит грустно.Объяснение простое. NVFP4 в основной ветке vLLM и FlashInfer физически…
Если взять случайный крейт с crates.io и поставить его под Miri, шанс увидеть undefined behavior где-то в зависимостях стремится к единице. Разбираемся, почему: pointer provenance, Stacked Borrows, Tree Borrows и почему noalias в LLVM выключали три раза. Читать далее
Мы используем ИИ все активнее, но уже не читаем новости на эту тему, пропуская их. Как будто нейросети могут все: с LLM мы уже пишем код, генерируем тексты и автоматизируем задачи. ИИ претендует на то, чтобы возглавить четвертую цифровую революцию в истории человечества. Но…
Оригинал опубликован The Week 14 мая 2016 года. Текст старый, но сегодня читается почти острее: это история не только про IP‑геолокацию, а про то, как одно неудачное значение по умолчанию в базе данных может годами ломать жизнь реальным людям. Читать далее