antoinebusch.dev
🇫🇷 in 🇦🇺 • Rust dev at idverse.com 🦀
👤 Joined on 17 October 2023
Followers
Following
Total Posts
@antoinebusch.bsky.social@antoinebusch.bsky.social → @antoinebusch.dev@antoinebusch.dev → @xn--antoinebsch-0hb.dev@xn--antoinebsch-0hb.dev → @antoinebusch.devIronCalc v0.9.0 is out! 47 years after VisiCalc. Our way of celebrating spreadsheet day. Merged cells, links, dark mode, super fast computations and much more: blog.ironcalc.com/2026/10/15/C...
Show PostSome reflections on AI in math. I found it helpful to simply list out the various parts of what a mathematician does, why math is valuable, and where the funding comes from. From there, what happens if AI gets more capable? youtu.be/LKrwhjOI8Nc
Show PostApparently it takes longer to make a video about Katie Zacharia than Katie Zacharia's actual career as press secretary... youtube.com/shorts/ty3bk...
Show PostNo more leap seconds, ever! There isn’t one in December and they will be abolished in May. The last one will forever be the 2016(?!) one. Didn’t realize having experienced leap seconds in prod dates me. I’m not going to miss time going backwards, I’ll be honest. www.bipm.org/en/cgpm-2026...
Show Post