{
  "slug": "formal-methods",
  "keyword": "formal methods",
  "total": 9,
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/formal-methods",
  "feeds": [
    {
      "slug": "speytech-com",
      "title": "SpeyTech - Technical Articles",
      "description": "Technical articles on deterministic computing, safety-critical systems, and production AI architecture.",
      "siteUrl": "https://speytech.com/",
      "kind": "blog",
      "itemCount": 69,
      "source": "category",
      "strength": 8,
      "page": "https://rssamplifier.com/speytech-com"
    },
    {
      "slug": "thepragmaticquant-com",
      "title": "thepragmaticquant",
      "description": "Building tools and writing about them honestly.",
      "siteUrl": "https://thepragmaticquant.com/",
      "kind": "blog",
      "itemCount": 21,
      "source": "category",
      "strength": 4,
      "page": "https://rssamplifier.com/thepragmaticquant-com"
    },
    {
      "slug": "will62794-github-io",
      "title": "William Schultz",
      "description": "My personal website.",
      "siteUrl": "https://will62794.github.io/",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 3,
      "page": "https://rssamplifier.com/will62794-github-io"
    },
    {
      "slug": "raywang-tech",
      "title": "Tack, Hunt, Pool",
      "description": null,
      "siteUrl": "http://raywang.tech/",
      "kind": "blog",
      "itemCount": 20,
      "source": "category",
      "strength": 2,
      "page": "https://rssamplifier.com/raywang-tech"
    },
    {
      "slug": "sourceless-org",
      "title": "Sourceless",
      "description": "My personal site and the code that generates it",
      "siteUrl": "https://sourceless.org/",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/sourceless-org"
    },
    {
      "slug": "unfooling-com",
      "title": "Unfooling",
      "description": "Writing about computers and other beautiful and worthwhile things.",
      "siteUrl": "https://unfooling.com/unfooling.com/",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/unfooling-com"
    },
    {
      "slug": "vikramsg-github-io",
      "title": "Finite Simulations",
      "description": "An amazing website.",
      "siteUrl": "https://vikramsg.github.io/",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/vikramsg-github-io"
    },
    {
      "slug": "johnbender-us-2",
      "title": "Assistant to the Proof Assistant",
      "description": "Writings on computer stuff.",
      "siteUrl": "https://johnbender.us/",
      "kind": "blog",
      "itemCount": 11,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/johnbender-us-2"
    },
    {
      "slug": "johnbender-us",
      "title": "Assistant to the Proof Assistant",
      "description": "Writings on computer stuff.",
      "siteUrl": "https://johnbender.us/",
      "kind": "blog",
      "itemCount": 11,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/johnbender-us"
    }
  ]
}