{"entity": "TLA+", "url": "https://wpnews.pro/entity/TLA+", "count": 5, "articles": [{"slug": "the-two-abstractions-of-system-design-hide-or-reduce", "title": "The Two Abstractions of System Design: Hide or Reduce", "url": "https://wpnews.pro/news/the-two-abstractions-of-system-design-hide-or-reduce", "published_at": "2026-05-08 23:27:00+00:00"}, {"slug": "sysmobench-evaluating-ai-on-formally-modeling-complex-real-world-systems", "title": "SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems", "url": "https://wpnews.pro/news/sysmobench-evaluating-ai-on-formally-modeling-complex-real-world-systems", "published_at": "2026-03-24 19:36:00+00:00"}, {"slug": "tla-mental-models", "title": "TLA+ mental models", "url": "https://wpnews.pro/news/tla-mental-models", "published_at": "2026-03-23 16:12:00+00:00"}, {"slug": "modeling-token-buckets-in-pluscal-and-tla", "title": "Modeling Token Buckets in PlusCal and TLA+", "url": "https://wpnews.pro/news/modeling-token-buckets-in-pluscal-and-tla", "published_at": "2026-03-16 14:41:00+00:00"}, {"slug": "the-coming-ai-revolution-in-distributed-systems", "title": "The Coming AI Revolution in Distributed Systems", "url": "https://wpnews.pro/news/the-coming-ai-revolution-in-distributed-systems", "published_at": "2025-05-24 00:00:00+00:00"}]}