Pinned Discussions

• 

  Proposed agenda items TLA+ community calls - Feel free to add any agenda items you'd like to discuss at an upcoming TLA+ community call. If you add a topic, please be prepared to present it. You may also share background materials in advance to help attendees review and prepare beforehand.

  📣 Announcements · lemmy