Robin Leroy

Results 189 comments of Robin Leroy

I think 9.2.8 7 is the only thing there which requires definition _in_ the definition domain, as opposed to definition _reachable from_ (the end of) the definition domain. This is...

> One could have hoped that the _body could be relegated to a module partition. Unfortunately, a look at N4868 shows that we cannot put those definitions that we had...

> #### 10.1 > 7 A _module_ is either a named module or the global module. A declaration is _attached_ to a module as follows: (7.1) โ€” If the declaration...

Note on visualization: the equipotentials move (and the energy of a free-falling vessel can change over time, because since the potential is time-dependent, so that Noetherโ€™s theorem does not apply)....

Addendum: `WriteToMessage` serialization functions should still use `not_null`, since the `mutable` protobufs accessors return pointers: `WriteToMessage(*message.mutable_whatever())` is not an improvement over `WriteToMessage(message->mutable_whatever())`.

Optional in-out or out arguments should still use (nullable) pointers. Passing `&r` as an optional in-out argument is allowed even for a reference `T& r`.

/GL killed the 4714: https://gcc.godbolt.org/z/rY29ZC

4714 should be back following #1921.

(that's ECI but with KSP's ineffable occasionally-rotating `World` axes, we know how to handle that better than we know how to explain it)

Additional endpoint that @lamont-granquist would like for guiding with respect to the flight plan: Given a position `q` (in some frame, presumably body-centred inertial), and a vessel with a flight...