{
  "slug": "type-theory",
  "keyword": "type theory",
  "total": 16,
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/type-theory",
  "feeds": [
    {
      "slug": "queuea9-wordpress-com",
      "title": "QA9",
      "description": "Exploring the Computational Logic Literature",
      "siteUrl": "https://queuea9.wordpress.com",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 3,
      "page": "https://rssamplifier.com/queuea9-wordpress-com"
    },
    {
      "slug": "higherlogics-blogspot-com",
      "title": "Higher Logics",
      "description": null,
      "siteUrl": "https://higherlogics.blogspot.com/",
      "kind": "blog",
      "itemCount": 25,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/higherlogics-blogspot-com"
    },
    {
      "slug": "thehousecarpenter-wordpress-com",
      "title": "The House Carpenter",
      "description": "Guesses based on what each set of time and change is touching",
      "siteUrl": "https://thehousecarpenter.wordpress.com",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/thehousecarpenter-wordpress-com"
    },
    {
      "slug": "risav-dev",
      "title": "anarchitekt",
      "description": "Anarchitecture",
      "siteUrl": "https://risav.dev",
      "kind": "blog",
      "itemCount": 20,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/risav-dev"
    },
    {
      "slug": "yager-io",
      "title": "yager.io :: Will Yager",
      "description": "Assorted Articles and Crazed Ravings From the Website of Will Yager",
      "siteUrl": "https://yager.io",
      "kind": "blog",
      "itemCount": 14,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/yager-io"
    },
    {
      "slug": "twanvl-nl",
      "title": "Twan van Laarhoven's blog",
      "description": null,
      "siteUrl": "http://twanvl.nl/blog",
      "kind": "blog",
      "itemCount": 40,
      "source": "content",
      "strength": 7,
      "page": "https://rssamplifier.com/twanvl-nl"
    },
    {
      "slug": "amelia-how",
      "title": "Amelia's Blag: Latest articles",
      "description": null,
      "siteUrl": "https://amelia.how",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/amelia-how"
    },
    {
      "slug": "tekne-dev",
      "title": "tekne.dev",
      "description": "Blog by Jad Ghalayini",
      "siteUrl": "https://tekne.dev/",
      "kind": "blog",
      "itemCount": 8,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/tekne-dev"
    },
    {
      "slug": "ryanbrewer-dev",
      "title": "Ryan's Blog",
      "description": "Ryan Brewer's personal blog, covering ideas in programming languages, software, logic, abstract math, and analytic philosophy.",
      "siteUrl": "https://ryanbrewer.dev",
      "kind": "blog",
      "itemCount": 17,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/ryanbrewer-dev"
    },
    {
      "slug": "mvr-github-io",
      "title": "Mitchell Is Typing",
      "description": null,
      "siteUrl": "https://mvr.github.io",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/mvr-github-io"
    },
    {
      "slug": "jcreedcmu-github-io",
      "title": "jcreedcmu.github.io",
      "description": "Occasional blogging",
      "siteUrl": "https://jcreedcmu.github.io/index.html",
      "kind": "blog",
      "itemCount": 95,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/jcreedcmu-github-io"
    },
    {
      "slug": "philcrissman-net",
      "title": "Dogma & Ritual",
      "description": "Recent content on Dogma & Ritual",
      "siteUrl": "https://philcrissman.net/",
      "kind": "blog",
      "itemCount": 6,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/philcrissman-net"
    },
    {
      "slug": "jadon-io",
      "title": "Jadon",
      "description": "Personal blog on software development, game modding",
      "siteUrl": "https://jadon.io/",
      "kind": "blog",
      "itemCount": 12,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/jadon-io"
    },
    {
      "slug": "feeds-feedburner-com-theifworks",
      "title": "The If Works",
      "description": null,
      "siteUrl": "https://blog.jcoglan.com/",
      "kind": "blog",
      "itemCount": 5,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/feeds-feedburner-com-theifworks"
    },
    {
      "slug": "xoltar-org",
      "title": "Xoltar",
      "description": null,
      "siteUrl": "http://www.xoltar.org",
      "kind": "blog",
      "itemCount": 6,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/xoltar-org"
    },
    {
      "slug": "blog-kleisli-io",
      "title": "kleisli blog",
      "description": "Applying effect systems and type theory to infrastructure.",
      "siteUrl": "https://blog.kleisli.io",
      "kind": "blog",
      "itemCount": 4,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/blog-kleisli-io"
    }
  ]
}