You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: content/blog/2026-q1-dev-update/index.md
+3-2Lines changed: 3 additions & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -248,8 +248,9 @@ Filtered items (editor: re-add if you disagree):
248
248
249
249
### Community & Events
250
250
251
+
Did you know that the community meets every month on Zoom? Fetch the calendar with the links from [here](https://zoom-lfx.platform.linuxfoundation.org/meetings/tla?view=month).
251
252
252
-
- The [abridged summary of the tlaplus mailing list](https://discuss.tlapl.us/msg06624.html) highlights one notable update from the email community.
253
+
A few interesting threads you might have missed from the [google group](https://groups.google.com/g/tlaplus/):
253
254
254
255
- A thread on [checking if a set is a singleton](https://discuss.tlapl.us/msg06626.html) clarifies idiomatic TLA+ patterns for expressing and proving singleton properties.
255
256
@@ -329,4 +330,4 @@ Filtered items (editor: re-add if you disagree):
329
330
330
331
---
331
332
332
-
Part of this post was generated using AI.
333
+
Please note: part of this post was automatically generated using AI.
0 commit comments