[tlaplus] Monthly Development Update newsletter

[Andrew Helwer <andrew.helwer@xxxxxxxxx>]

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.html

Since 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

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/599e0063-4a45-453c-9b4b-7875365b8280n%40googlegroups.com.