{"entity": "PlusCal", "url": "https://wpnews.pro/entity/PlusCal", "count": 1, "articles": [{"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"}]}