i need to calculate UT2 - UT1 (which is the seasonal component of the length of day) and i find that Rust has f64::consts::TAU impeccably good taste 😍

on the other hand I keep wanting unary plus so that my equations line up

ok now i can pull a leap second forecast out of any of the 850 issues of IERS Bulletin A since 2005 and the calculations are not too far off what actually happened allowing for the fact that the IERS varies in how large they let UT1-UTC grow so a fixed threshold can’t match

thread cross-link

continuing to play around with rust and leap seconds I have some code to fetch and parse the NIST leap-seconds.list and check it is cromulent going to add code to read and write my compact leap second list dotat.at/cgi/git/leapseconds…

I have not done a proper reference implementation yet (so the idea has been kind of useless) but I think there could be some value in having a leap second list that’s less than 20 bytes, small enough to broadcast promiscuously

hmm curious, my program has become surprisingly slow let’s see if i can get profiling working

sigh now crates.io is being surprisingly slow i wonder if this is vmware being dogshit

rustup downloads at a plausible speed but cargo is really really slow 🧐

eventually worked out which bit of .cargo to rsync so that it doesn’t spend forever talking to github