The Eternal Doorman

He explains the loss of telemetry data, amongst a lot of other things. See Intuitive Machines Athena Lander in The Space Bucket and Intuitive Machines Athena Lunar Lander Fail . Subscribe to Scott Manley .

See Intuitive Machines Athena Lunar Lander Fail . It was 1.5 Km from the intended landing site and probably broke a leg because it was going too fast on touchdown. Subscribe to TheSpaceBucket .

There's this problem in robotics, apparently. The problem is how to get all the different bits of the robot to connect together. You might wonder how it could be that you can have a robot whose bits are not connected together? Well, it turns out that physically connecting the bits of the robot together is the easy part.  The real problem is how the software that runs the different bits connects together. Ask the people at Intuitive Machines if you don't believe me. But really, any computer user-interface is a robot of sorts. In order to get your computer to do useful things, you need extra software to let you communicate with the software that runs on the machine. That extra software is called the user interface, and it's a sadly neglected part of the problem of programming computers. Think about a typical menu bar in an application: that is a program that, when it gets the 'input focus' in some sense, reacts to keypresses or mouse-button presses or something els...

"It will be off-nominal, ..." Subscribe to The Space Bucket . It's all good. The Lunar economy is burgeoning, ... Subscribe to NASA Video .  

See  https://github.com/dmacqueen/NewFrontEnd  and  https://standardml.zulipchat.com . 9:33 On disallowing static declarations within expressions: from MLFW2025.txt : 1.3. [Core] No static (type/module) declarations within expressions   Moto: "Keep the core and module levels separate", or "no static declarations within   dynamic expressions".   What does it, or should it, mean to have a (statically generative) datatype declaration   in the body of a recursive function.   [Karl Crary (and Bob Harper?) won't like this, since definition of modules within   expressions is a feature of his dialect of (S)ML. It also appears to be supported in   Moscow ML. The CMU (Harper, Crary, etc.) view of the static semanatics of (S)ML seems to   base on some fundamental "type theoretic" notion of a _module_ that seems to be   different from my own intuitive understanding of the module system of (S)ML. Their ideas   are described in papers s...