Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли?
Стремление к строгости в математике имеет долгую и неоднозначную историю — историю, из которой математики могут извлечь уроки сейчас, когда формализуют математику в программе Lean.
DLSS 5: будущее игровой индустрии или тупик?
Споры вокруг технологии, которую NVIDIA представила 16 марта 2026 года на конференции GTC, не утихают. На первый взгляд, происходит настоящая революция: новый уровень графики без кратного роста нагрузки на железо.
У нас есть органы-на-чипе, цифровые двойники и ИИ. Почему лекарства до сих пор испытывают на мышах?
Привет, Хабр! Сегодня разработка нового препарата — это
Кризис в физике элементарных частиц: есть ли свет в конце туннеля?
Обозреватель Натали Волчовер беседует со специалистами по физике элементарных частиц через тринадцать лет после того, как эта область науки вошла в глубокий кризис.
3D для каждого: Как игры врут про физику — и почему это сложнее, чем кажется
Доброго времени суток, дорогие хабражители и хабражительницы!
