{
  "slug": "proof",
  "keyword": "proof",
  "total": 43,
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/proof",
  "feeds": [
    {
      "slug": "zhu45-org",
      "title": "Zeyuan Hu's Page",
      "description": null,
      "siteUrl": "https://zhu45.org/",
      "kind": "blog",
      "itemCount": 110,
      "source": "category",
      "strength": 4,
      "page": "https://rssamplifier.com/zhu45-org"
    },
    {
      "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": 2,
      "page": "https://rssamplifier.com/thehousecarpenter-wordpress-com"
    },
    {
      "slug": "christianevidence-net",
      "title": "Christian Evidence",
      "description": null,
      "siteUrl": "https://www.christianevidence.net/",
      "kind": "blog",
      "itemCount": 25,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/christianevidence-net"
    },
    {
      "slug": "themathdoctors-org",
      "title": "The Math Doctors",
      "description": "Continuing the Mentoring Tradition of Ask Dr. Math (tm)",
      "siteUrl": "https://www.themathdoctors.org",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/themathdoctors-org"
    },
    {
      "slug": "t-neumann-github-io",
      "title": "t-neumann.github.io",
      "description": "Personal website of Tobias Neumann.",
      "siteUrl": "https://t-neumann.github.io/",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/t-neumann-github-io"
    },
    {
      "slug": "consequently-org",
      "title": "Home on consequently.org",
      "description": "Recent content in Home on consequently.org",
      "siteUrl": "https://consequently.org/",
      "kind": "blog",
      "itemCount": 722,
      "source": "content",
      "strength": 33,
      "page": "https://rssamplifier.com/consequently-org"
    },
    {
      "slug": "2-com",
      "title": "Math & Engineering",
      "description": "Random collections of my notes and articles over the years, mostly about maths and/or engineering.",
      "siteUrl": "https://2π.com",
      "kind": "blog",
      "itemCount": 214,
      "source": "content",
      "strength": 28,
      "page": "https://rssamplifier.com/2-com"
    },
    {
      "slug": "patrickstevens-co-uk",
      "title": "Patrick Stevens",
      "description": "Recent content on Patrick Stevens",
      "siteUrl": "/",
      "kind": "blog",
      "itemCount": 195,
      "source": "content",
      "strength": 22,
      "page": "https://rssamplifier.com/patrickstevens-co-uk"
    },
    {
      "slug": "blog-skill-issue-dev",
      "title": "Skill Issue Dev | Dax the Dev",
      "description": "I'm a Nuclear Engineer turned Software Engineer. I'm passionate about learning and sharing my knowledge with others. I'm currently working on a few projects and I'm always looking for new opportunities to learn and grow.",
      "siteUrl": "https://blog.skill-issue.dev/",
      "kind": "blog",
      "itemCount": 130,
      "source": "content",
      "strength": 11,
      "page": "https://rssamplifier.com/blog-skill-issue-dev"
    },
    {
      "slug": "ludusnovus-net",
      "title": "Ludus Novus",
      "description": "The Art of Interaction",
      "siteUrl": "https://ludusnovus.net",
      "kind": "blog",
      "itemCount": 50,
      "source": "content",
      "strength": 10,
      "page": "https://rssamplifier.com/ludusnovus-net"
    },
    {
      "slug": "building-babylon-net",
      "title": "Building Babylon",
      "description": "Notes on maths, machine learning & programmable cryptography",
      "siteUrl": "https://building-babylon.net",
      "kind": "blog",
      "itemCount": 59,
      "source": "content",
      "strength": 9,
      "page": "https://rssamplifier.com/building-babylon-net"
    },
    {
      "slug": "siek-blogspot-com",
      "title": "Jeremy Siek",
      "description": "Musing about programming languages and computer science.",
      "siteUrl": "https://siek.blogspot.com/",
      "kind": "blog",
      "itemCount": 25,
      "source": "content",
      "strength": 9,
      "page": "https://rssamplifier.com/siek-blogspot-com"
    },
    {
      "slug": "sites-psu-edu-sunflowerconjecture",
      "title": "The Sunflower Conjecture and P vs. NP Problem",
      "description": "The two big problems in combinatorics and theoretical computer science",
      "siteUrl": "https://sites.psu.edu/sunflowerconjecture",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 9,
      "page": "https://rssamplifier.com/sites-psu-edu-sunflowerconjecture"
    },
    {
      "slug": "lawrencecpaulson-github-io",
      "title": "(untitled)",
      "description": "Machine Logic is Lawrence Paulson's blog on Isabelle/HOL and related topics.",
      "siteUrl": "https://lawrencecpaulson.github.io/",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 6,
      "page": "https://rssamplifier.com/lawrencecpaulson-github-io"
    },
    {
      "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": 6,
      "page": "https://rssamplifier.com/aguilar-pelaez-co-uk"
    },
    {
      "slug": "ngerakines-leaflet-pub",
      "title": "Nick's Blog",
      "description": "Nick's Blog",
      "siteUrl": "https://ngerakines.leaflet.pub",
      "kind": "blog",
      "itemCount": 41,
      "source": "content",
      "strength": 6,
      "page": "https://rssamplifier.com/ngerakines-leaflet-pub"
    },
    {
      "slug": "unnamed-website",
      "title": "Unnamed Website",
      "description": "Recent content on Unnamed Website",
      "siteUrl": "https://unnamed.website/",
      "kind": "blog",
      "itemCount": 20,
      "source": "content",
      "strength": 6,
      "page": "https://rssamplifier.com/unnamed-website"
    },
    {
      "slug": "ta180m-exozy-me",
      "title": "Unnamed Website",
      "description": "Recent content on Unnamed Website",
      "siteUrl": "https://unnamed.website/",
      "kind": "blog",
      "itemCount": 20,
      "source": "content",
      "strength": 6,
      "page": "https://rssamplifier.com/ta180m-exozy-me"
    },
    {
      "slug": "vitalik-eth-limo",
      "title": "Vitalik Buterin's website",
      "description": "Vitalik Buterin's website",
      "siteUrl": "https://vitalik.ca/",
      "kind": "blog",
      "itemCount": 174,
      "source": "content",
      "strength": 6,
      "page": "https://rssamplifier.com/vitalik-eth-limo"
    },
    {
      "slug": "leodemoura-github-io",
      "title": "Leonardo de Moura",
      "description": "Blog posts and notes from Leonardo de Moura — creator of Lean and Z3.",
      "siteUrl": "https://leodemoura.github.io",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/leodemoura-github-io"
    },
    {
      "slug": "max-amb-github-io",
      "title": "~/ on Max's blog",
      "description": "Recent content in ~/ on Max's blog",
      "siteUrl": "https://max-amb.github.io/",
      "kind": "blog",
      "itemCount": 8,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/max-amb-github-io"
    },
    {
      "slug": "pixel-druid-com",
      "title": "A universe of sorts",
      "description": "A universe of Sorts",
      "siteUrl": "https://bollu.github.io/",
      "kind": "blog",
      "itemCount": 1028,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/pixel-druid-com"
    },
    {
      "slug": "mattbaker-blog",
      "title": "Matt Baker's Math Blog",
      "description": "Thoughts on number theory, graphs, dynamical systems, tropical geometry, pedagogy, puzzles, and the p-adics",
      "siteUrl": "https://mattbaker.blog",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/mattbaker-blog"
    },
    {
      "slug": "seebitcoin-com",
      "title": "SeeBitcoin",
      "description": "Making sense of everything Bitcoin",
      "siteUrl": "https://seebitcoin.com",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/seebitcoin-com"
    },
    {
      "slug": "blog-wizsec-jp",
      "title": "WizSec",
      "description": "Bitcoin and MtGox related research",
      "siteUrl": "https://blog.wizsec.jp/",
      "kind": "blog",
      "itemCount": 17,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/blog-wizsec-jp"
    },
    {
      "slug": "research-swtch-com",
      "title": "research!rsc",
      "description": null,
      "siteUrl": "https://research.swtch.com/feed.atom",
      "kind": "blog",
      "itemCount": 24,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/research-swtch-com"
    },
    {
      "slug": "illya-sh-blog",
      "title": ">illya.sh/blog",
      "description": "Blockchain, DeFi, Zero-Knowledge, AI and Finance. Blog written by Illya, an entrepeneur and engineer..",
      "siteUrl": "https://illya.sh/blog/",
      "kind": "blog",
      "itemCount": 7,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/illya-sh-blog"
    },
    {
      "slug": "kuruczgy-com-blog",
      "title": "Gyuri's blog",
      "description": "Recent content in Blogs on György Kurucz's blog",
      "siteUrl": "https://kuruczgy.com/",
      "kind": "blog",
      "itemCount": 5,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/kuruczgy-com-blog"
    },
    {
      "slug": "philipzucker-com",
      "title": "Hey There Buddo!",
      "description": "A blog about life, programming, math, logic, and physics.",
      "siteUrl": "https://www.philipzucker.com/",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/philipzucker-com"
    },
    {
      "slug": "philipzucker-com-2",
      "title": "Hey There Buddo!",
      "description": "A blog about life, programming, math, logic, and physics.",
      "siteUrl": "https://www.philipzucker.com/",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/philipzucker-com-2"
    },
    {
      "slug": "kevinhouston-net-blog",
      "title": "Kevin Houston",
      "description": "Thinking mathematically...",
      "siteUrl": "https://www.kevinhouston.net/blog",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/kevinhouston-net-blog"
    },
    {
      "slug": "paquari-com",
      "title": "Matthias Görgens",
      "description": "Notes on OCaml, Rust, property-based testing, zero-knowledge VMs, and breaking the occasional cipher.",
      "siteUrl": "https://paquari.com",
      "kind": "blog",
      "itemCount": 14,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/paquari-com"
    },
    {
      "slug": "floatingpragma-io-oph",
      "title": "Observer Patch Holography Updates",
      "description": "Public routes into Observer Patch Holography: plain-language introductions, formal papers, simulations, essays, and ways to test the claim.",
      "siteUrl": "https://floatingpragma.io/oph/",
      "kind": "blog",
      "itemCount": 16,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/floatingpragma-io-oph"
    },
    {
      "slug": "queuea9-wordpress-com",
      "title": "QA9",
      "description": "Exploring the Computational Logic Literature",
      "siteUrl": "https://queuea9.wordpress.com",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/queuea9-wordpress-com"
    },
    {
      "slug": "uwu-network-sink",
      "title": "Quiet System",
      "description": "Yellowsink's blog - code, unix, and ramblings.",
      "siteUrl": "https://uwu.network/",
      "kind": "blog",
      "itemCount": 58,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/uwu-network-sink"
    },
    {
      "slug": "rot256-dev",
      "title": "ROT256.",
      "description": "Recent posts on ROT256.",
      "siteUrl": "https://rot256.dev/",
      "kind": "blog",
      "itemCount": 25,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/rot256-dev"
    },
    {
      "slug": "soimort-org",
      "title": "Through the Looking-Glass",
      "description": "Mort’s random homepage.",
      "siteUrl": "https://www.soimort.org/",
      "kind": "blog",
      "itemCount": 20,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/soimort-org"
    },
    {
      "slug": "cryptologie-net-2",
      "title": "cryptologie.net",
      "description": "Cryptography, Security, and Programming",
      "siteUrl": "https://cryptologie.net/",
      "kind": "blog",
      "itemCount": 20,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/cryptologie-net-2"
    },
    {
      "slug": "cryptologie-net",
      "title": "cryptologie.net",
      "description": "Cryptography, Security, and Programming",
      "siteUrl": "https://cryptologie.net/",
      "kind": "blog",
      "itemCount": 20,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/cryptologie-net"
    },
    {
      "slug": "jix-one",
      "title": "jix.one",
      "description": "Blog by Jannis Harder",
      "siteUrl": "https://jix.one/",
      "kind": "blog",
      "itemCount": 16,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/jix-one"
    },
    {
      "slug": "konne-me",
      "title": "konne88.github.io",
      "description": "Homepage",
      "siteUrl": "http://konne.me//",
      "kind": "blog",
      "itemCount": 6,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/konne-me"
    },
    {
      "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": "logicgrimoire-wordpress-com",
      "title": "the logic grimoire",
      "description": null,
      "siteUrl": "https://logicgrimoire.wordpress.com",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/logicgrimoire-wordpress-com"
    }
  ]
}