[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Monthly Development Update newsletter

June 2025 update: AI contest submission deadline is July 4th, Spectacle gets GraphViz animation support, VS Code extension gets MCP support, and a new research grant for synthesizing inductive invariants!

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

Also seeking volunteers to help expand this newsletter with various features, as suggested by the Outreach Committee:

On Sun, Jun 15, 2025 at 12:01 PM Andrew Helwer <andrew.helwer@xxxxxxxxx> wrote:
May 2025 update: TLA⁺ Community Event talk recordings posted, a contest with a NVIDIA RTX 5090 as the grand prize, GraalVM native image builds, and a big focus on improving usability this month.

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

On Tuesday, April 15, 2025 at 1:14:46 PM UTC-4 Andrew Helwer wrote:
April 2025 update: creator of P specification language joins the board, a new TLA+ parser written in Python, two first-time contributors, and a PlusCal transpilation bug featured in the newbie corner!

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

On Monday, March 17, 2025 at 2:32:37 PM UTC-4 Andrew Helwer wrote:
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/

On Sunday, February 16, 2025 at 2:54:26 PM UTC-5 Andrew Helwer wrote:
The February 2025 edition has now been posted: https://foundation.tlapl.us/blog/2025-02-dev-update/

On Friday, January 17, 2025 at 10:39:17 AM UTC-5 Andrew Helwer wrote:
The January 2025 edition has now been posted: https://foundation.tlapl.us/blog/2025-01-dev-update/index.html

On 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.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/5326e424-cb35-4f4b-b98c-51cb45c205bdn%40googlegroups.com.

--
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/CABj%3DxUV5srn9%2Ba4Apw%3D0bSD3hHKyVjb5BPv%3D_7WpbP3vq%3D7YXA%40mail.gmail.com.