{"type": "article", "title": "Our MongoDB TLA+ Workshop", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/our-mongodb-tla-workshop", "original_source": "https://muratbuffalo.blogspot.com/2026/06/our-mongodb-tla-workshop.html", "published": "2026-06-13T13:23:23+00:00", "accessed": "2026-06-13", "id": "our-mongodb-tla-workshop"}