Научпоп

26 октября 2026 года компания Axiom Math сообщила о завершении полной формализации Теоремы о классификации простых конечных групп.

В международном математическом сообществе теорема известна как CFSG — Classification of Finite Simple Groups. Эта фундаментальная теорема перечисляет все строительные блоки, из которых состоят конечные простые математические группы.

Теорема утверждает, что любая конечная простая группа относится только к одному из четырех типов и никаких других типов конечных простых групп не существует.

В текущем виде доказательство занимает более 15 тысяч страниц, разбросанных по более чем 500 статьям. За это теорему о классификацию прозвали Огромной теоремой.

В прошлых статьях я рассказывал о портировании AM32 на отечественный микроконтроллер К1946ВК035 и о том, как принимать DShot, когда нужный нам модуль захвата сигнала не соединён с DMA. С шестишаговой коммутацией тогда разобрались, мотор закрутился. Но на этом, как вы уже понимаете, останавливаться было бы неинтересно.

На этот раз попробуем векторное управление, оно же FOC. Микроконтроллер оставим тот же, а за математикой отправимся в открытый проект https://github.com/vedderb/bldc Бенджамина Веддера.

Итан Сигел (американский астрофизик‑теоретик и научный журналист, автор рубрики «Спросите Итана», один из пропагандистов современных научных знаний), сделал статью с минимальным количеством слов и множеством картинок на тему: как далеко можно долететь с ускорением 1g (ускорение свободного падения на Земле: 9,8 м/с²)?

@avshkol перевел эту статью, чтобы обсудить возможность добраться до ближайших звезд за какие-то там... n лет. Заодно и гравитация земная. Отличная тема для понедельника!

Итан Сигел (американский астрофизик‑теоретик и научный журналист, автор рубрики «Спросите Итана», один из пропагандистов современных научных знаний), считает, что все наши научные теории когда-либо будут заменены более точными. И делает при этом несколько утверждений, например, об отрицании возможности лабораторного происхождения ковида...

@avshkol перевел эту статью, как содержащую вполне разумные утверждения в целом, но довольно спорные утверждения в частности. Итак, что же делать, если ваш конкретный опыт противоречит научному консенсусу? Если каждый близнец, которого вы встречали, отлично владеет языком, но не деньгами, а каждый телец — наоборот, и это для вас статистически значимый факт?

У тех, кто рос в 80-е, есть одно общее воспоминание. Мама сидит в парикмахерской, а на голове у неё шлем, как из фильма про космос. Мама листает журнал, поправляет воротник и никуда не торопится. Корабль, судя по всему, стартует ещё не скоро.

Был и домашний вариант этой космической штуки — фен «Улыбка». Серый или светлый чемоданчик с мотором, гофрированная труба, шапочка на голову. Сейчас эта конструкция вызывает много разных мыслей и вопросов. Главный: получится ли улыбаться, сидя в такой штуке?

Почему всё, чем в СССР сушили волосы, было таким угловатым и громоздким? Ведь обычный фен-пистолет делает то же самое быстрее, а места занимает в разы меньше. В быту ходит примерно такая версия: промышленность была заточена под военку и просто не умела в лёгкие гражданские вещи. Звучит не очень убедительно.

И вот что важно.

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

Но в своё время эти форм-факторы были куда практичнее привычных нам пистолетов.

Почему? В какой момент в сушке волос случилась настоящая революция? И как так вышло, что советский фен за ней не поспел? Давайте разбираться.

На его отсутствие жалуются геймеры. Его ищут между трудом и отдыхом. Им отчитываются бухгалтеры. Он есть в часах. Он есть в восточной философии. А еще его можно пополнять. Кто он?

Баланс.

Любое животное должно искать баланс – не философский, не психологический и даже не бухгалтерский, а обычный, физический баланс – состояние устойчивости, когда все силы, воздействующие на тело существа, взаимно компенсируют друг друга. Не поддерживаешь равновесие – не можешь двигаться туда, куда тебе надо и не можешь понять, где верх, а где низ, где еда, а где страшный хищник. Поэтому мало-мальски развитые животные обязательно имеют органы, которые помогают им определять свое положение в пространстве и поддерживать равновесие.

Помните историю о мальчике-волшебнике, который обнаружил у себя мощный магический дар, отправился учиться в школу волшебников и столкнулся там с опасностями, к которым не был готов? Я сейчас говорю про “Волшебник Земноморья” Урсулы Ле Гуин, написанную в 1968 году. Ничего не напоминает?

Ещё одна история с похожим набором тем – это всемирноизвестный “Гарри Поттер” Джоан Роулинг, написанный ей в период с 1990-1995 годы. 

Эти истории во многом похожи, но дали совершенно разный читательский и нарративный опыт для миллионов детей и взрослых по всему миру. Но в чём была эта разность, и почему одна история вышла за пределы книг, превратившись в продукт массовой культуры, а другая осталась в рамках цикла и редких попыток вывести историю за пределы авторской вселенной?

В этой статье я хочу исследовать как сложились судьбы этих двух историй, и выяснить, что повлияло на более или менее массовую читательскую привязанность к этим произведениям.

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

Но рекомендую начать с этого текста. Я верю, что он может изменить некоторые ваши представления о мире.

В тот августовский летний день я занимался своими исследованиями финансового рынка и приводил в порядок заметки в Obsidian.

В какой-то момент я загрузил два CSV-файла, затем удалил их через Проводник Windows и обнаружил, что Obsidian стал подтормаживать.

Причём тормозило не всё приложение. Редактор работал прекрасно, поиск тоже. А вот при переключении разделов настроек появлялась неприятная задержка. И эта история не простой баг-хаунтинг.

Сегодня по всему миру – и не только в западных странах – люди зажгут фонари в тыквах и нарядятся в страшные костюмы, празднуя Хэллоуин. Праздник, когда злые силы, по легенде, на одну ночь посещают наш мир – и когда нужно изо всех сил рядиться пострашнее, чтобы отпугнуть их. И снова начнутся дискуссии: что праздник этот новый, нетрадиционный, наносной... А они, в свою очередь, породят интересный вопрос: а когда, собственно, его начали отмечать, как и у кого он появился?

Помню как я, простая смертная, восхищённо смотрела на фотографии, отправляемые «Соджорнером» с поверхности Марса летом 1997 года. Серверы Лаборатории реактивного движения (JPL) НАСА начали тормозить, когда количество обращений для скачивания первых снимков красной планеты превысило 47 миллионов (рекордное число!). Проблема была ещё и в том, что в конце 1990-х Интернет всё ещё был молод, и большинство людей пользовалось аналоговыми модемами. Концу своей 83-дневной миссии «Соджорнер» отправил больше 550 фотографий и провёл более пятнадцати химических анализов марсианских пород и почвы.

Разумеется, «Соджорнер» остался на Марсе. На фотографии в начале поста показан его близнец «Мария Кюри». Функционально они идентичны и любой из них мог совершить путешествие по Марсу, но одному из них суждено было стать «лицом» миссии, а другому — остаться в забвении. Пишу ли я эту статью из-за того, что испытываю небольшое сожаление из-за «Марии Кюри»? Возможно. Но в то же время это дало мне шанс вернуться к воспоминаниям этой первой марсианской миссии, определившей, что роботы могут эффективно исследовать поверхность планет и завоёвывать внимание публики.

Заброшенная станция метро – нередкая локация американских боевиков и ужастиков. Это не выдумка киношников, у них там такое действительно бывает. Структура отечественных подземок отличается от западных, но и в нашей стране можно насчитать три станции, навсегда исчезнувшие со схем метро… а могло быть и больше.

Вообще говоря, длительные закрытия подземных вокзалов не так уж и редки. Глубокие станции с одним выходом прекращают работу при замене исчерпавших ресурс эскалаторов – на данный момент (октябрь 2026 г.) из-за этого бездействуют Фрунзенская и Парк Победы в Питере. Вместе с «лестницами-чудесницами» обычно успевают обновить интерьеры и оборудование, ведь ремонт зачастую тянется год и больше. Например, та же Фрунзенская не работает с лета 2024 г.

Но наша история про окончательно и бесповоротно – таких бедолаг куда меньше. В Москве их две – Первомайская и Калужская.

Существуют ряд распространенных методов численного интегрирования с постоянным шагом: метод прямоугольников, трапеций Симпсона (парабол). Но оказывается, что в некоторых случаях гораздо эффективнее использовать методы с переменным шагом. Сегодня мы как раз рассмотрим один из таких методов – метод Гаусса-Лежандра. 

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

В этой статье поговорим о том, почему так получается, разберём, как Computer Science и теория механизмов помогают взломать дилемму заключённого и можно ли сделать сотрудничество единственным математически верным сценарием.

Эта статья о том, как сериалы предсказывали влияние ИИ на людей и мир вокруг них и что из этих прогнозов начинает сбываться. «Люди», «Мир Дикого Запада», «Измененный углерод» и «В поле зрения» показывают одну ключевую закономерность в сознании людей, которую видно уже сейчас. ИИ снимает с сознания тормоза, и то, что было на уме, становится проявленной действительностью. Ограничения бывают разные: стыд, осторожность, страх последствий, чужой отказ, наконец, сама смерть. Когда технология убирает одно из них, человек остается наедине с тем, что раньше сдерживал. Одни обнаруживают в себе жестокость, другие нежность. А «Американские боги» добавляют вторую оптику: ИИ как новый бог, в жертву которому мы приносим внимание. Разобрав пять историй, я хочу понять, какие ограничения держат нас самих, что происходит, когда они исчезают, и что из этого я наблюдаю рядом с ИИ.

Осторожно, спойлеры!

В этой статье не рассматриваются подробно законодательные ограничения на применение тех или иных технологий. Смысл статьи в том – что почти все необходимые технологии для возможной токенизации потенциала человека на глобальном уровне уже существуют и многие реально уже работают.

Когда на иллюстрациях, в кино и аниме хотят подчеркнуть магический характер происходящего, нередко используют не знаки привычных систем письма, а характерные непонятные значки странного, даже где-то зловещего вида. При этом обычно в дело идут вполне реальные алфавиты, большинство из которых были созданы на европейской волне интереса к оккультизму и магии, пришедшейся на сложный и бурный XVI век. К примеру, печать на перчатках Алукарда из «Хеллсинга» содержит надписи так называемым фиванским алфавитом, созданным в 1510-х годах Иоганном Тритемием — совмещавшим пост настоятеля монастыря и роль одного из основателей криптографии с исследованиями в областях магии, астрологии и некромантии, в том числе для императора Максимилиана I, и попытками наладить беспроводную секретную спецсвязь через ангельские иерархии. А в сериале «Сверхъестественное», скажем, используется енохианское письмо — известное из магических экспериментов 1580-х годов знаменитого английского учёного, придворного и алхимика Джона Ди, приближённого к королеве Елизавете I и императору Рудольфу II. Эти системы письма вполне активно применяют по сей день в ритуалах разнообразных орденов и обществ околомистического свойства. Но зачем очень образованным и высокопоставленным деятелям XVI века вдруг понадобилось создавать особые, ни на что не похожие алфавиты для использования в магических целях — хотя раньше мистики в Европе благополучно обходились почтенными латынью, греческим или ивритом?

Прогноз продаж сродни прогнозу погоды — его можно построить лишь в определенном приближении. Десятки тьсяч позиций, тысячи площадок, промоакции, логистические и другие факторы влияния — можно учесть максимум мелочей, и все равно остаются случайности, которые не укладываются ни в одну формулу. Однако даже если идеал недостижим, можно построить прогноз, который будет отклоняться от него совсем незначительно. Меня зовут Юлия Трусова, я руководитель домена Логистика в Lenta Tech. В этой статье я расскажу, как устроено прогнозирование спроса и как современные методики помогают свести эту погрешность к минимуму. Тем, кто захочет углубиться в тему и технические подробности, может быть интересен наш материал «Как машинное обучение помогает «Группе Лента» прогнозировать спрос»

Это завершающая статья данного цикла, в ней я попытаюсь дать прогноз развития нашей цивилизации от настоящего времени до 2030 года (пытаться заглядывать еще дальше совсем уж авантюрно).

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

@avshkol перевел эту статью для всех, кто хочет углубить свои знания в квантовой физике и квантовой теории поля (и понять, откуда появилась последняя), не погружаясь в сложные формулы.