| 14:14 | <ljharb> | i hope Temporal will be able to support the moon https://www.reuters.com/science/white-house-directs-nasa-create-time-standard-moon-2024-04-02/ |
| 14:17 | <nicolo-ribaudo> | That is a clear use case for sub-microsecond precision |
| 14:21 | <Jesse> | we'll need a v2 of Temporal where we specify the astronomical "home base" object for all operations. CLDR will need to be extended with a new catalog of astronomical objects and new lunar time zones. Should be doable! |
| 14:22 | <Andreu Botella> | make sure you never end up with a home base inside a black hole |
| 14:25 | <Jesse> | maybe this time we can get it right and agree to use timex time (100 second minutes, 100 minute hours) on the moon |
| 19:23 | <ptomato> | what I learned from researching the moon standard time in the past couple of days, is that local gravity affects the rate at which atomic clocks tick. Earth's atomic time is the average of several dozen atomic clocks, all with gravitational corrections applied so that they are effectively ticking at mean sea level (even if the clock itself is physically far above sea level) |
| 19:34 | <TabAtkins> | Yup, that's relativity for you. Gravity affects the rate time passes. |
| 19:34 | <bakkot> | yeah it's not just that it affects the rate at which the clocks tick, it's that it affects the rate at which everything ticks https://en.wikipedia.org/wiki/Gravitational_time_dilation |
| 19:35 | <bakkot> | looking forward to Temporal being updated to include a "strength of local gravity" parameter :D |
| 19:38 | <ptomato> | right, so I'm a bit skeptical about whether it makes any sense to stretch the definition of POSIX time to incorporate other astronomical bodies |
| 20:56 | <Chris de Almeida> | gentle reminder to please add any and all plenary schedule constraints as soon as possible |
| 21:45 | <TabAtkins> | looking forward to Temporal being updated to include a "strength of local gravity" parameter :D |
| 21:46 | <bakkot> | if we're doing velocity we need acceleration and jerk and so on as well, so we can properly represent dates in the future |
| 21:46 | <bakkot> | really just a full PDE I figure |
| 21:52 | <Andreu Botella> | the curvature of the entire universe too |
| 21:57 | <shu> | what the fuck |