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

Конечно, обидно что в качестве летательного аппарата, с которого можно было бы запустить орбитальную ракету приходится называть устройство, которому уже 55 лет. Неужели ничего нового вообще не происходило ( Read more... )

Кроме SpaceX есть ещё один ну очень интересный игрок на том же рынке - Rocket Lab. Они делают малюсенькую ракету Electron, которая выводит на орбиту всего 150кг. Ракета диаметром 120 сантиметров, высота первой ступени (которую, весьма вероятно, вот вот научатся делать многоразовой) всего 12 метров, сухая масса - 950кг, меньше чем у автомобиля, даже ( Read more... )

Использование многоразовых первых ступеней ракет позволяет снизить цену запуска полезной нагрузки на орбиту (низкую околоземную) в десять раз, до менее чем тысячи долларов за кг. Если сделать многоразовыми обе ступени (в смысле full and rapid reusability, а не как это было у шаттла), как SpaceX планирует это сделать в рамках Starship, позволит ( Read more... )

С 2023 года на немецких железных дорогах должны появиться поезда ECx (EuroCityX), призванные постепенно заменить старые ICшки. В них наконец сделано то, о чём я давным-давно мечтал: размещение вагонных тележек между вагонами, широкие входы без ступенек и широкие тамбуры в каждом вагоне (и отсутствие каких бы то ни было ступенек внутри поезда), ( Read more... )

Оказывается, в 1994-1996 годах немецкие железные дороги экспериментировали с купе первого класса в поездах ICE - такназываемых конференц-купе. Это купе с большим удобным столом посередине и четырьмя креслами по сторонам от него. Главные особенности таких купе состояли в том, что ( Read more... )

Как известно, в интуиционистских теориях типов определимы только вычислимые тотальные `f : A -> B`. Теория типов не утверждает, что внутри типа функций `A -> B` не живёт ещё каких-нибудь (невычислимых) функций, но вот конкретно предьявить можно только тотально-вычислимые. А это означает, что у нас не может быть Тьюринг-полноты, т.е. как бы не была ( Read more... )

Я очень давно не писал о прорывах по части томографии ( Read more... )

На слово «вертолёт» я автоматически представляю себе сейчас Eurocopter EC-135 или MD Explorer - два очень похожих вертолёта для скорой помощи и поисково-спасательных операций. Оба имеют ротор диаметром чуть больше 10 метров, длину корпуса около 10 метров, и вмещают пилота, дюжего медбрата, врача и носилки-каталку. Размер достаточно маленький, чтобы ( Read more... )

Плановой операции на зубах мы ждали несколько месяцев, т.к. для операции должны очень совпасть звёзды: наш детский стоматолог раз в месяц имеет операционный день в клинике, и в этот день там должны быть одновременно доступно два детских анестезиолога, т.к. для операций детям до 2 лет и 15 кг веса положено чтобы в операционной одновременно был ( Read more... )