Aaron Roth

aaroth.bsky.social

24 September 2026 16:41

AI tools are very useful for mathematical research. But at present, producing good work requires a labor intensive step that I have been calling "deslopping" - making the thing readable. Please do not skip this step; even if the theorem is great an unreadable paper is worthless.

BOB Konferenz

bobkonf.de

21 September 2026 15:53

They keynote for #BOBkonf2027 will be held by the incomparable Xavier Leroy, principal designer of #OCaml and #CompCert! bobkonf.de/2027/leroy.h...

Dominic Orchard

dorchard.bsky.social

09 September 2026 19:23

Today's activity: staring out of my office window every so often to watch the adjacent small lake (pond?) refill. It completely dried up this summer but we've finally got a day of proper rain.

Anil Madhavapeddy

anil.recoil.org

04 July 2026 21:17

Current status: second into the Ryberg Fjord in Greenland this season and engaging in polar diplomacy

Jonathan Aldrich

jonathanaldrich.bsky.social

30 June 2026 18:19

Today is my last day as SGB Liaison to the ACM Publications Board. It's been a great 6 years working with dedicated volunteers and staff to make ACM Publications better! I'm most proud of helping to transition ACM to 100% Open Access publishing, as of January 1, 2026.