The January 2025 edition has now been posted: https://foundation.tlapl.us/blog/2025-01-dev-update/index.htmlOn Tuesday, December 17, 2024 at 2:25:23 PM UTC-5 Andrew Helwer wrote:Hello all,As part of work funded by the TLA+ Foundation I have written up a newsletter on various community developments over the past month or two. This is hoped to be a monthly publication. Here is the post for December 2024: https://foundation.tlapl.us/blog/2024-12-dev-update/index.htmlSince this is the first newsletter published it's inevitable I missed some things; so if you wrote a blog post about TLA+ or made a contribution to the TLA+ tools that I missed or are working on a side-project of your own related to TLA+, please let me know by replying directly to me in this thread or opening an issue here! No need to be humble or shy.Andrew Helwer