Monthly Development Update newsletter

Andrew Helwer

unread,

Dec 17, 2024, 7:25:23 PM12/17/24

to tlaplus

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

unread,

Jan 17, 2025, 3:39:17 PMJan 17

to tlaplus

The January 2025 edition has now been posted: https://foundation.tlapl.us/blog/2025-01-dev-update/index.html

Andrew Helwer

unread,

Feb 16, 2025, 7:54:26 PMFeb 16

to tlaplus

The February 2025 edition has now been posted: https://foundation.tlapl.us/blog/2025-02-dev-update/

Andrew Helwer

unread,

Mar 17, 2025, 6:32:37 PM (13 days ago) Mar 17

to tlaplus

March TLA+ development update: a bad month for tuple-except expressions, another formal methods use paper from AWS after 10 years, a new TLA+ formatter written in Rust, and more!

https://foundation.tlapl.us/blog/2025-03-dev-update/

Reply all

Reply to author

Forward