lox-space / lox

Oxidized Astrodynamics
Mozilla Public License 2.0
25 stars 2 forks source link

Epoch computations and time management #1

Closed ChristopherRabotin closed 1 year ago

ChristopherRabotin commented 1 year ago

Hi Helge!

I saw that you're implementing time computations for astrodynamics in Rust. Time computations, as you know, is very error prone. I've actually spent a few years developing hifitime which supports all time scales typically used in astrodynamics. You can find additional documentation (including for its Python bindings) on the MathSpec of Nyx Space (https://nyxspace.com/hifitime/intro/). It's thoroughly tested and formally verified. I don't want to be "that guy" but if you are interested in using that instead or rewriting it from scratch, I'd be happy to help!

As we've discussed a few times on Matrix, Nyx itself is also in active development (cf. https://github.com/nyx-space/nyx). I'm working on version 2, which should provide most functionality for using it for pre-flight analysis and start of operations.

Glad to see that you're having a look at Rust!

helgee commented 1 year ago

Hey Chris,

No worries, I am of course aware of your work (and impressed by it). This library is primarily meant as a vehicle/excuse for myself to explore and learn Rust which requires a certain amount of reinventing the wheel in my experience to develop real expertise. At this point, I would not feel comfortable at all trying to contribute to other people's projects, e.g., yours.

That being said, since it is still early days for rustic astrodynamics, the design space is largely unexplored and having several independent exploration missions probably would not hurt (at the cost of splitting resources).

ChristopherRabotin commented 1 year ago

Sounds good!