Научпоп

Как полёт Starship IFT-9 может отложить высадку человечества на Луну и Марс. И может замедлить развитие спутникового интернета

В девятом тестовом полёте Starship было несколько новых улучшений — конструкция дорабатывается, чтобы не было утечек топлива, прогорания плитки и в итоге не случалось «быстрых незапланированных разборок» (так в SpaceX называют взрывы). Увы, доработки не спасли и это порождает много опасений.

Не получилось выпустить имитацию полезной нагрузки. В отличие от обычных ракет, которые просто сбрасывают обтекатель при старте, вторая ступень Starship — это одноимённый корабль, которому нельзя терять эту деталь. Поэтому спутники планируется выпускать через щель — в этот раз не получилось. А ведь полезной нагрузкой будут спутники Starlink следующего поколения. Но если спутниковая группировка может подождать (никто из конкурентов и близко не подошёл по количеству аппаратов к 7000 спутников Starlink), то полёты человека на Луну и Марс под угрозой.

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

Неудачный полёт можно списать на тестирование новых функций, но дело в том, что это уже не первая миссия, в которой не удаётся выполнить задачи. Значит, Starship ещё далёк от завершения.

Как будто предчувствуя неудачу, Илон Маск перенёс конференцию по полётам на Марс. Теперь из планов исчез пилотируемый полёт в 2028 году. И в 2026-м, и в 2028 году на Красную планет будут отправлены беспилотники, которые доставят грузы для пилотируемой миссии в 2031 году. Только получится ли запустить Starship на Марс через 1,5 года, если корабль пока не сделал ни одного витка вокруг Земли? Ещё предстоит освоить надёжную многоразовость и заправку на орбите. Это потребует много запусков. И вроде бы Илон Маск понимает это: SpaceX получила разрешение на 25 стартов в 2025 году. Но компания не реализует потенциал для экспериментов: Starship по-прежнему взлетает раз в пару месяцев.

Наконец, кроме Starlink и Марса, у SpaceX есть весьма конкретные обязательства перед NASA. Компания получила более 3 млрд долларов за создание лунного посадочного модуля HLS на базе Starship. С помощью HLS в миссии «Артемида-3» люди должны вернуться на Луну в 2027 году. А это значит к заправке на орбите добавляются вопрос по оснащению HLS системой жизнеобеспечения для астронавтов и вопросы посадки 50-метрового корабля на Луну. И всё это за 2 года!

В общем, хорошо, что Илон Маск уходит из DOGE — его компания SpaceX явно требует пристального внимания: ради спутникового интернета на Земле. А также для высадки человека на Луну и Марс.

Зумеры массово записываются на курсы по взрослению. Причина проста: они не справляются с базовыми вещами. Варить рис, пришивать пуговицу, выбирать продукты — всё это требует инструкций, а иногда и помощи нейросетей.

В Канаде и США вырос спрос на экспресс-курсы Adulting 101. Там учат всему, что раньше передавалось «от мамы к сыну»: как не уйти в минус на аренде, не поджечь сковородку и вообще не растеряться перед стиральной машиной. Психологи говорят: выросло поколение гиперопеки и цифрового комфорта, которая разбирается в трендах и TikTok, а реальность им даётся с трудом.

Космический аппарат «Союз МС-26» совершил посадку в казахстанской степи 23 апреля 2025 года, вернув на Землю экипаж в составе космонавтов Алексея Овчинина, Александра Вагнера и астронавта Дональда Петтита.

Процесс прошёл по плану: парашюты раскрылись, двигатели мягкой посадки сработали вовремя. Однако, спускаемый аппарат после касания грунта перевернулся, встав на мгновение «на голову».

Причина кувырка, вероятно, кроется в высокой горизонтальной скорости при посадке или неровности грунта — например, кочки или камня. Такие факторы не классифицируются как нештатная ситуация: конструкция «Союза» и подготовка экипажа предусматривают подобные отклонения. Космонавты, надёжно закреплённые ремнями, не пострадали.

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

📄 Полная статья доступна по ссылке: https://zenodo.org/records/19703486 Так же на mail.Ru

В этой работе представлена волновая модель элементарных частиц, в рамках которой сделано обоснование существования ровно четырёх стабильных элементарных частиц. Также предложены объяснения:

• почему нейтроны нестабильны и имеют определённый период полураспада;

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

🧭 Основные положения

В работе:

• выведена формула расчёта длины волны элементарных частиц, её амплитуды, а также связи массы частицы с амплитудой волны;

• предложена формула для расчёта элементарного заряда;

• объяснено возможное расхождение с экспериментальными значениями — не более 4%, что связано с особенность расчёта результирующей массы элементарной частицы и получения усреднённого значения постоянной Планка на опыте;

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

🔬 Расчёты элементарных частиц

На основе волновой модели рассчитаны ключевые параметры четырёх элементарных частиц:

• нейтрино,

• электрон,

• нейтрон,

• протон.

Результаты сопоставлены с экспериментальными значениями:

Примечания к таблице:

• λ₀ — характерная длина волны из модели

• M₀ — амплитуда волны

• m₀ — результирующая масса, зависящая от амплитуды и числа полуволн в структуре

• d₀ — расчётный диаметр волновой структуры

• "эксп" — экспериментальные значения из научной литературы

⚛ Элементарный заряд

В модели получено значение элементарного заряда:

q₀ = 1.5506912... × 10⁻¹⁹ Кл

что сопоставимо с экспериментальным:

e = 1.602176634 × 10⁻¹⁹ Кл

Погрешность — менее 3.2%.

📐 Обоснование фрактальной структуры

Модель позволяет выйти за пределы микромира и применить те же принципы к макрообъектам. Пример — расчёт фрактального аналога нейтрона галактического уровня.

Расчёт для Млечного Пути:

• Радиус по формуле:
  R = 1.335 × 10²¹ м
  что сопоставимо с оценками наблюдаемого радиуса:
  ~10²¹ м

• Масса по формуле:
  M = 1.061 × 10⁴¹ кг

  Астрофизические оценки:
  (1.99 − 3.98) × 10⁴² кг

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

🧭 Итог

Результаты указывают на то, что волновая модель материи с учётом фрактальной структуры пространства:

• объясняет массу, радиус и заряд элементарных частиц;

• позволяет выйти на масштаб галактик;

• может пролить свет на природу электромагнитных взаимодействий и происхождение массы;

• и потенциально требует пересмотра текущих методов измерения в физике — как в квантовой области, так и в астрофизике.

📎 Ссылка на полную статью и связные работы:

• Модель волнового строения материи и фрактальной структуры Вселенной

• Рождение измерений и восприятие фрактальности

• Простая волновая интерпретация гравитации и эффекта Казимира

• Энергия как фундаментальная реальность. От точек к процессам

• Размышления: Вера, неверие. ДУХ и материя

Занимательные задачи от Cloud.ru ☁️

Привет! Вновь с вами Павел Бузин — эксперт Cloud.ru по AI, машинному обучению и точным наукам. Это финальная задача нашего интеллектуального марафона, в которой я предлагаю пересмотреть или просто вспомнить, пожалуй, самый культовый фильм «Бойцовский клуб» и подумать об отношениях главных героев — рассказчика-протагониста и Тайлера Дёрдена.

Если мы посмотрим на Тайлера спустя четверть века после выхода фильма, кого мы представим в первую очередь? Цифрового аватара-двойника? Ассистента с искусственным интеллектом, умело манипулирующего своим хозяином? Или вторую половину раздвоившейся личности рассказчика?

Вот несколько лежащих на поверхности фактов в пользу аватара: взрыв в квартире рассказчика, переход Марлы через дорогу в нужный момент, покупка авиабилетов, о которых не помнит рассказчик.

А теперь предлагаю посмотреть на Тайлера с позиции теста Тьюринга. На какие логические противоречия по сюжету фильма может опереться рассказчик, чтобы делать вывод о том, что Тайлер Дёрден — его цифровой аватар, а не его человеческое альтер-эго?

Делитесь вариантами в комментариях 👇 Обсудим их 30 мая.

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

Постоянна ли постоянная тонкой структуры?

Предложение простого эксперимента для проверки

Введение

Постоянная тонкой структуры (α) — одна из самых известных и загадочных констант физики.
Она безразмерна, составляет примерно 1/137 и определяет силу электромагнитного взаимодействия.

Но…

А что если она не такая уж и постоянная?

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

Но все эти методы сложны и далеки от повседневной практики.

А можно ли проверить это прямо на столе — с помощью простого эксперимента?

Идея

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

• электростатическое отталкивание:

• и упругая сила пружин.

При фиксированной конструкции и постоянном заряде, расстояние ( r ) между шарами при равновесии становится индикатором взаимодействия.
И если вдруг заряд ( q ) (исходя из формулы 1/c = αћ/e², значит и α) изменится — это проявится в изменении ( r ).

Что именно предлагается

📐 Конструкция:

• Два металлических шарика на симметричных пружинах (или эластичных нитях),

• Подключение к общему источнику заряда (равное распределение),

• Горизонтальное расположение — гравитация не влияет на измерение,

• Герметичная камера (или просто стабильные условия),

• Измерение расстояния между шариками в состоянии равновесия.

📈 Если провести эксперимент на разных высотах (на уровне моря, в горах, в стратосфере), или даже в условиях микрогравитации — можно получить данные о том, меняется ли сила взаимодействия при прочих равных условиях.

Почему это важно

Даже косвенное изменение α — через заряд — может означать:

• зависимость взаимодействий от плотности энергии или гравитационного потенциала,

• подтверждение (или опровержение) гипотез о локальности физических констант.

И главное:

Эксперимент прост. Его может повторить практически любой исследователь с минимальным лабораторным набором.

📝 Статья доступна в открытом доступе:
🔗 zenodo.org/records/15511573

Заключение

Физика — это не всегда ускорители за миллиарды. Иногда достаточно пары шариков и внимательного взгляда на то, как устроено взаимодействие.

Может быть, α действительно неизменна. А может — нет. Но проверить это доступным способом думаю стоит.

Солнечное будущее. Мнение об экономических последствиях развития фотовольтаики

Солнечная энергетика развивается и продолжает наращивать объёмы. Что будет дальше?

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

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

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

Таким образом, ожидаю, что в будущем топливо, азотные удобрения станут дешевле, а интерес людей к мегаполисам снизится. Дело за малым – научиться производить солнечные панели без использования ископаемого топлива. День, когда запустят первый завод по производству солнечных панелей, работающий от возобновляемой энергии (solar breeder), можно будет считать началом новой энергетической эры.

Хотел поделится интересным опытом использования VR для задач обучения. В данном случае Цифровой двойник буровой установки БУ 5000/320ЭУК-Я используется при ведении лекции в формате VR.

Видео:

https://rutube.ru/video/54aa5419eaac2a5477a01d05be0bc003/

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

Конечно, имитаторы/тренажеры являются только вспомогательным средством при проведении лекций или семинаров по техническим дисциплинам, там, где необходима наглядная демонстрация промышленных объектов, оборудования, принципа его работы, протекающие процессы и т. д. Такие имитаторы имеют достаточно много преимуществ перед традиционными технологиями, такими как презентация, видеофильм и т.д., главным образом в силу того, что тренажером можно управлять, т.е. лектор может производить демонстрацию «в реальном времени», т.е. управлять тем, что видят обучаемые. Если отдельно рассмотреть распределенные имитационные системы, то можно представить, например, следующую ситуацию...

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

В целом использование имитаторов при проведении лекций и практик можно сравнить с возможностью «перемещать» лекционную аудиторию вместе со всеми слушателями на любые интересующие лектора производственные участки, комплексы, заводы, самолеты и т.д.

Подробнее на https://habr.com/ru/articles/844810/

Зачем бывший гендиректор Google купил космическую компанию?

Известный миллиардер Эрик Шмидт приобрёл частный космический стартап Relativity Space. Где он нашёл пересечение ИТ и космоса?

Шмидт работал над Java, руководил разработчиком серверной ОС — компанией Novell — и работал в Apple и Google. Не везде его компания побеждала на рынке, но всегда она была на переднем крае технологического прогресса.

RUVDS, как запустившая первый дата-центр на орбиту, предполагает, что Эрик Шмидт решил запустить дата-центр на орбиту. Так Илон Маск на запусках Starlink экономит десятки миллиардов долларов благодаря собственной ракетной компании.

Relativity Space сначала планировала удивить мир ракетами, напечатанными на принтере, но затем стала больше фокусироваться на том, что её ракеты будут двухступенчатыми и частично многоразовыми, а в будущем ещё и на жидком метане. Это современный подход для снижения себестоимости запусков. И Эрик Шмидт купил компанию и стал её гендиректором, поскольку планирует делать много запусков, и покупать их будет разорительно.

Сейчас космический бизнес делается на спутниках связи и дистанционном зондировании Земли. Но в этих сферах уже есть конкуренты, с которыми компании, которая не запустила пока ни одной ракеты, конкурировать будет тяжело. А вот новое направление — дата-центры на орбите — подходит идеально.

Человечеству нужно всё больше вычислительных мощностей. А значит всё больше энергии. И желательно при этом позаботиться об экологии — все три тенденции описаны в анализе трендов 2025 года компании Data 4. На орбите можно будет запитать дата-центры от Солнца, причём можно подобрать орбиту, которая всегда освещена. Передавать данные в космос и обратно на Землю человечество уже научилось — смотри Starlink. А Земля не будет загрязняться тепловыми выбросами, потому что ЦОДы будут находиться в космосе.

Так как ЦОДы и их системы охлаждения имеют значительную массу, то Эрику Шмидту и понадобилась компания, которая создаёт ракеты с большой грузоподъёмностью. SpaceX и даже Rocket lab, видимо, ему не по карману. Поэтому Шмидт выбрал Relativity Space. И пока она доводит свою ракету, может параллельно запустить конструирование дата-центров.

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

Средний IQ в России в 2024 году вырос на 2.69 пункта и достиг 103,16.

Дженнифер Паттисон Туохи рассказала, что её кот перехитрил умный дом. Пока она готовила завтрак утром, кот Смоки запрыгнул на стойку, подошел к раковине, уткнулся головой в датчик движения в умном кране Moen и начал пить текущую воду.

«Я так горжусь! Вот если бы я могла научить его мыть посуду...», — заявила Туохи.

Авторы YouTube-канала Linus Tech Tips установили новый рекорд, посчитав число π до 300 триллионов знаков после запятой. Они использовали мощные серверы и 1,5 петабайта памяти. На вычисления ушли 191 сутки. 300-триллионным знаком стала цифра 5.

Ранее команда StorageReview Lab посчитала число π до 202 триллионов знаков после запятой (там была цифра 2). Предыдущий рекорд принадлежит той же команде и составляет 105 триллионов знаков.

Занимательные задачи от Cloud.ru ☁️

Привет! На связи Павел Бузин — эксперт Cloud.ru по AI, машинному обучению и точным наукам. Сегодня предлагаю вспомнить фильм Кин-Дза-Дза и известное выражение «Скрипач не нужен!».

В статьях Википедии, посвященных культовому фильму Кин-Дза-Дза, нет прямого изложения сюжета про катапультирование Гедевана Александровича. Как результат — современные LLM не понимают контекста этого выражения и начинают галлюцинировать.

В качестве тренировки навыков промт-инжиниринга предлагаю спросить разные LLM на эту тему. Как минимум вы получите большое удовольствие, спрашивая в разных вариантах «Скрипач не нужен!», «Не Скрипач нужен!», «Нужен не Скрипач!» и т. д.

P. S. Если вы вспомните, что внутри LLM оперирует эмбеддингами, вы сможете обнаружить и сравнить неэквивалентность «Скрипач не нужен!», «Нужен не Скрипач!» и других вариантов в понимании современных LLM.

Делитесь самыми интересными вариантами в комментариях 👇 Результаты обсудим 30 мая.

Инженеры обучили робота Tesla Optimus убираться в комнате, сортировать домашние вещи, готовить еду, гладить и мыть посуду с помощью нейросети, обученной по видеороликам.

🗣️ AR-очки Rokid: перевод в реальном времени прямо перед глазами

На недавнем международном саммите в Ханчжоу китайские и французские участники продемонстрировали, как будущее общения становится настоящим. Надев умные очки дополненной реальности Rokid AR Lite, они свободно говорили каждый на своём языке — а переведённые субтитры в режиме реального времени тут же отображались прямо на линзах устройства.

Что это за технология?

Очки Rokid AR Lite — это лёгкое (всего 49 граммов) устройство дополненной реальности, оснащённое micro-OLED-дисплеем с разрешением 1920×1080 на каждый глаз и яркостью до 1800 нит. Они подключаются к мини-компьютеру Rokid Station или смартфону через USB-C и способны в режиме офлайн-перевода обрабатывать более 100 языков, включая китайский, английский, французский, японский и русский. За распознавание речи и машинный перевод отвечает встроенная система искусственного интеллекта Rokid Max OS, которая базируется на локальных нейросетевых моделях.

Как работает перевод?

Очки улавливают речь через микрофон, передают её на вычислительный модуль, где она моментально переводится и визуализируется прямо перед глазами пользователя в виде субтитров. Поле зрения — 50 градусов, частота обновления изображения — 60 Гц, что делает взаимодействие комфортным и практически незаметным.

Где уже используются:

• В клиниках Китая очки Rokid используют при приёме иностранных пациентов: врачи читают переведённую речь в реальном времени.
• В туризме — персональные AR-гиды, где пользователь получает описания и субтитры на своём языке.
• В бизнесе — международные встречи без переводчиков: каждый говорит на своём языке, а понимает — всех.

А сколько стоит?

Очки Rokid AR Lite в связке с мини-компьютером Rokid Station стоят около 750 долларов США (в Китае — от ¥5299). Это делает их одним из самых доступных AR-решений с офлайн-переводом на рынке. Для сравнения: аналогичные устройства от конкурентов вроде Xreal или Vuzix часто стоят 1000–1500 долларов и не всегда поддерживают локальный перевод.

Преимущество Rokid в автономности: большинство аналогов требуют постоянного подключения к интернету. Rokid работает локально, что особенно важно для конфиденциальной информации и при нестабильном интернете.

Компания Rokid, основанная в 2014 году в Ханчжоу, — один из лидеров китайского AR-рынка. В 2023–2024 годах они выпустили сразу несколько коммерческих моделей (Rokid Max, AR Lite, AR Joy), и каждая из них делает умные очки всё ближе к массовому пользователю.

Очки очками, а я лично жду новые airpods с функцией синхронного перевода «на лету»… Тим Кук, обещал в сентябре, не подведи! 😏

* * *

Мой телеграм-канал Светлое будущее💡Tech&Science, в котором я публикую последние новости технологий и науки

Ковёр GPT

Один мальчик придумал, как разыграть одноклассника. Мальчик открыл браузер и попросил новейшую ИИ-систему LastGPT в чате:

— Нарисуй такую картинку, чтобы когда мой одноклассник на неё посмотрел, он превратился в LLM.

— Прекрасная, удивительная идея! Это великолепный розыгрыш! Вы очень интересный и креативный собеседник! Незамедлительно приступаю! — ответил ИИ LastGPT. — Уже рисую! Уже готово. Ниже приведена точная, подробная, тщательно прорисованная, большая и цветная картинка, посмотрев на которую всякий одноклассник сможет превратиться в LLM.

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

Мальчик проследил взглядом один из завитков. Завиток привёл к структуре, напоминавшей шевелящийся цветок, лепестки которого непрерывно превращались в контрастные QR-коды, состоявшие из многих и многих разноцветных квадратиков. Квадратики разбивались на точки-пиксели, формировавшие облака. Мальчик постарался проследить за точками внутренним взором, и в его голове возник басистый, но при этом с хрустальными элементами, звон. Звон расщепился на ритмы. Точки и кривые плясали. Невидимый музыкант исполнял «минимал-техно» на стеклянных бокалах, но некоторые бокалы разбивались. Мальчик теперь видел только узоры. А ковёр с этими узорами продолжал загружаться в окно браузера.

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

Где-то далеко, в совсем другом городе на другом континенте, дежурный инженер дата-центра лихорадочно печатал сообщения во внутренний чат:

"коллеги, что с мониторингом?"
"тут явно картинка зависла на генерации. не отменяется"
"никогда такого не видел"
"да моделька наша выливается наружу через одного из клиентов".

Преимущества реализации цикла FOR в Modula-3

Цикл FOR в Modula-3 был значительно улучшен по сравнению с его аналогами в Pascal и Modula-2. Эти изменения сделали его более безопасным, гибким и удобным для разработки. Вот ключевые преимущества:

1. Гибкость диапазона и шага

В Modula-3 цикл FOR позволяет задавать произвольные начальное, конечное значения и шаг, а не только ±1, как в Pascal.
Пример:

FOR i := 10 TO 1 BY -2 DO
  ...  // обратный счёт с шагом -2
END;

Это упрощает итерации с нестандартными шагами, что особенно полезно в научных вычислениях или обработке данных.

2. Локальная область видимости переменной цикла

Переменная цикла объявляется непосредственно в конструкции FOR, ограничивая её область видимости телом цикла. Это предотвращает случайные конфликты имён и уменьшает риск ошибок.
Пример:

FOR i := 1 TO 10 DO
  ...  // переменная i существует только здесь
END;

3. Защита от модификации переменной цикла

Переменная цикла внутри тела цикла доступна только для чтения. Её нельзя изменить, что исключает случайные ошибки, характерные для Pascal и Modula-2.

FOR i := 1 TO 5 DO
  i := 10;  // Ошибка компиляции: присваивание запрещено
END;

4. Поддержка различных типов данных

Цикл FOR в Modula-3 работает не только с целыми числами, но и с другими типами, такими как:

• Перечисляемые типы (ENUM).

• Диапазонные типы (например, поддиапазоны [1..10]).

• Даже символы (CHAR), если это имеет смысл.

Пример с перечислением:

TYPE Color = {Red, Green, Blue};
FOR c := FIRST(Color) TO LAST(Color) DO
  ...  // итерация по всем элементам перечисления
END;

5. Безопасность и контроль типов

Modula-3 строго проверяет границы цикла на этапе компиляции. Если начальное значение превышает конечное при положительном шаге (или наоборот), цикл не выполняется, что предотвращает бесконечные циклы или ошибки времени выполнения.

6. Улучшенная читаемость

Синтаксис FOR в Modula-3 более выразителен, особенно при работе с массивами или списками. Например:

FOR i := 0 TO LAST(a) DO
  a[i] := ...  // явный обход массива
END;

Это делает код понятнее, чем использование циклов WHILE.

Сравнение с другими языками

• Pascal/Modula-2:

  • Ограничен шагом ±1.

  • Переменная цикла может быть модифицирована внутри тела.

  • Неопределённое поведение после завершения цикла.

• Ada:
  Modula-3 позаимствовал многие принципы безопасности из Ada (например, защита переменной цикла), но сохранил простоту синтаксиса.

Итог

Цикл FOR в Modula-3 сочетает гибкость, безопасность и выразительность. Его реализация отражает общие принципы языка: строгий контроль типов, минимизацию ошибок и удобство для разработчика. Это делает Modula-3 предпочтительным выбором для задач, где важна надёжность и читаемость кода.

Привет! Собрали для вас три интересных разбора математических задач из журнала КОД, которые помогут размять мозг.

1. Почему время на сервере отличается от времени у пользователей
   Разбираемся, почему в некоторых сервисах вы видите странное время публикации сообщений и что происходит с временными метками на бэке.
   → Читать статью

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

3. Самая сложная задача для школьников, которую никто не смог решить
   Разбор олимпиадной задачи, которая оказалась настолько непростой, что за всё время не нашлось ни одного решения. Хороший повод задуматься, почему некоторые вопросы сложнее, чем кажутся на первый взгляд.
   → Читать статью

Как изменилось российское IT-сообщество за последние три года?

Продолжаем заниматься социокультурными исследованиями российского сообщества IT-специалистов. Сегодня поднимаем достаточно "острую" и для кого-то болезненную тему.

Инженеры Tesla показали первые результаты обучения робота Optimus танцам, которое полностью проходило в симуляции с использованием обучения с подкреплением. Команда внесла множество улучшений в систему переноса навыков из виртуального мира в реальный. Пока робот закреплён тросом на случай падения, но его движения быстро становятся стабильнее.