{
  "slug": "verification",
  "keyword": "verification",
  "total": 28,
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/verification",
  "feeds": [
    {
      "slug": "tenthousandfailures-com-blog",
      "title": "Blog - Ten Thousand Failures",
      "description": null,
      "siteUrl": "https://tenthousandfailures.com/blog/",
      "kind": "blog",
      "itemCount": 20,
      "source": "category",
      "strength": 13,
      "page": "https://rssamplifier.com/tenthousandfailures-com-blog"
    },
    {
      "slug": "proofsandintuitions-net",
      "title": "Proofs and Intuitions",
      "description": "A blog about mathematics, computing, formal verification, and the ideas behind them",
      "siteUrl": "https://proofsandintuitions.net/",
      "kind": "blog",
      "itemCount": 7,
      "source": "category",
      "strength": 4,
      "page": "https://rssamplifier.com/proofsandintuitions-net"
    },
    {
      "slug": "verum-lang-org-blog",
      "title": "Verum Blog",
      "description": "Verum Blog",
      "siteUrl": "https://verum-lang.org/blog",
      "kind": "blog",
      "itemCount": 2,
      "source": "category",
      "strength": 2,
      "page": "https://rssamplifier.com/verum-lang-org-blog"
    },
    {
      "slug": "samuelcoward-co-uk",
      "title": "Samuel Coward",
      "description": "University College London",
      "siteUrl": "https://cowardsa.github.io/",
      "kind": "blog",
      "itemCount": 4,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/samuelcoward-co-uk"
    },
    {
      "slug": "stefanbohacek-com",
      "title": "Stefan Bohacek's Personal Website and Blog",
      "description": "See what I'm working on and what else I'm up to!",
      "siteUrl": "https://stefanbohacek.com",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/stefanbohacek-com"
    },
    {
      "slug": "walsenburgtech-com",
      "title": "Walsenburg Tech Blog",
      "description": "Engineering notes on systems architecture, agentic AI, and infrastructure automation from Walsenburg Tech.",
      "siteUrl": "https://walsenburgtech.com/blog",
      "kind": "blog",
      "itemCount": 15,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/walsenburgtech-com"
    },
    {
      "slug": "will62794-github-io",
      "title": "William Schultz",
      "description": "My personal website.",
      "siteUrl": "https://will62794.github.io/",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/will62794-github-io"
    },
    {
      "slug": "catalini-com",
      "title": "Christian Catalini",
      "description": "Founder, operator, economist. Co-founder of Lightspark, co-creator of Libra at Meta, founder of the MIT Cryptoeconomics Lab. Building and writing at the intersection of AI, verification, digital assets and markets.",
      "siteUrl": "https://catalini.com/",
      "kind": "blog",
      "itemCount": 175,
      "source": "content",
      "strength": 22,
      "page": "https://rssamplifier.com/catalini-com"
    },
    {
      "slug": "aguilar-pelaez-co-uk",
      "title": "Eduardo Aguilar Pelaez",
      "description": "AI security, formal verification, and contained agency. Essays by Eduardo Aguilar Pelaez, CTO and Co-founder of Legal Engine.",
      "siteUrl": "https://aguilar-pelaez.co.uk",
      "kind": "blog",
      "itemCount": 28,
      "source": "content",
      "strength": 9,
      "page": "https://rssamplifier.com/aguilar-pelaez-co-uk"
    },
    {
      "slug": "intrigus-org",
      "title": "Intrigus’ Security Lab",
      "description": "A tiny contribution on securing the world's software",
      "siteUrl": "https://intrigus.org/",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 9,
      "page": "https://rssamplifier.com/intrigus-org"
    },
    {
      "slug": "spruceid",
      "title": "SpruceID",
      "description": "Building a future where users control their identity and data across all digital interactions.",
      "siteUrl": "https://blog.spruceid.com/",
      "kind": "blog",
      "itemCount": 15,
      "source": "content",
      "strength": 6,
      "page": "https://rssamplifier.com/spruceid"
    },
    {
      "slug": "blog-giovanh-com",
      "title": "GioCities",
      "description": null,
      "siteUrl": "https://blog.giovanh.com/",
      "kind": "blog",
      "itemCount": 24,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/blog-giovanh-com"
    },
    {
      "slug": "ljhsiung-com",
      "title": "Lucas Hsiung - Home",
      "description": "Recent content on Lucas Hsiung - Home",
      "siteUrl": "http://example.org/",
      "kind": "blog",
      "itemCount": 23,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/ljhsiung-com"
    },
    {
      "slug": "ctxt-dev",
      "title": "ctxt.dev — Context Engineering (EN)",
      "description": "Blog about context engineering, structuring information for LLMs and AI development",
      "siteUrl": "https://ctxt.dev/",
      "kind": "blog",
      "itemCount": 29,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/ctxt-dev"
    },
    {
      "slug": "abhishek-shankar-com",
      "title": "Abhishek Shankar's Blog",
      "description": "Agentic AI Landscape",
      "siteUrl": "https://abhishek-shankar.com",
      "kind": "blog",
      "itemCount": 28,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/abhishek-shankar-com"
    },
    {
      "slug": "gavinhoward-com",
      "title": "Gavin D. Howard",
      "description": null,
      "siteUrl": "https://gavinhoward.com/index.xml",
      "kind": "blog",
      "itemCount": 20,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/gavinhoward-com"
    },
    {
      "slug": "lockstep-com-au",
      "title": "Lockstep",
      "description": "PIA, privacy impact assessment, \"privacy impact assessment\"",
      "siteUrl": "https://lockstep.com.au/",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/lockstep-com-au"
    },
    {
      "slug": "britter-dev",
      "title": "Reproducible Thoughts",
      "description": "Notes from the intersection of Gradle, NixOS, and developer productivity — build systems, reproducible environments, and a decade of building software that actually works.",
      "siteUrl": "https://britter.dev/",
      "kind": "blog",
      "itemCount": 28,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/britter-dev"
    },
    {
      "slug": "thewatershed-markpesce-com",
      "title": "The Watershed",
      "description": "Everything has changed. Here's what that looks like.",
      "siteUrl": "https://thewatershed.markpesce.com/",
      "kind": "blog",
      "itemCount": 15,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/thewatershed-markpesce-com"
    },
    {
      "slug": "blog-vrypan-net",
      "title": "blog.vrypan.net",
      "description": "blog.vrypan.net",
      "siteUrl": "https://blog.vrypan.net/",
      "kind": "blog",
      "itemCount": 50,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/blog-vrypan-net"
    },
    {
      "slug": "carlsz-dev",
      "title": "carlsz.dev Main Feed",
      "description": "The main feed for everything on carlsz.dev",
      "siteUrl": "https://carlsz.dev/",
      "kind": "blog",
      "itemCount": 28,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/carlsz-dev"
    },
    {
      "slug": "joomy-korkutblech-com",
      "title": "joomy's blog",
      "description": null,
      "siteUrl": "http://joomy.korkutblech.com",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/joomy-korkutblech-com"
    },
    {
      "slug": "klabo-world",
      "title": "klabo.world",
      "description": "Bitcoin, Lightning, Nostr & Agentic Engineering insights from klabo.world.",
      "siteUrl": "https://klabo.world/",
      "kind": "blog",
      "itemCount": 14,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/klabo-world"
    },
    {
      "slug": "blog-sukonbu-party",
      "title": "Sukonbu",
      "description": "Recent content on Sukonbu",
      "siteUrl": "https://blog.sukonbu.party/",
      "kind": "blog",
      "itemCount": 12,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/blog-sukonbu-party"
    },
    {
      "slug": "cheickdo-github-io",
      "title": "chk",
      "description": "Going stronger",
      "siteUrl": "http://cheickdo.github.io/",
      "kind": "blog",
      "itemCount": 2,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/cheickdo-github-io"
    },
    {
      "slug": "microkerneldude-org",
      "title": "microkerneldude",
      "description": "Random rants and pontifications by Gernot Heiser",
      "siteUrl": "https://microkerneldude.org",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/microkerneldude-org"
    },
    {
      "slug": "code-sgo-to",
      "title": "sgo.to",
      "description": "Hello World",
      "siteUrl": "https://code.sgo.to",
      "kind": "blog",
      "itemCount": 9,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/code-sgo-to"
    },
    {
      "slug": "amangoel-ai",
      "title": "Aman Goel — Writing",
      "description": "Notes on LLM internals, fine-tuning, evaluation, and formal verification.",
      "siteUrl": "https://amangoel.ai/blog/",
      "kind": "blog",
      "itemCount": 1,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/amangoel-ai"
    }
  ]
}