If you are not sure if the website you would like to visit is secure, you can verify it here. Enter the website address of the page and see parts of its content and the thumbnail images on this site. None (if any) dangerous scripts on the referenced page will be executed. Additionally, if the selected site contains subpages, you can verify it (review) in batches containing 5 pages.
favicon.ico: martinkl.substack.com - .

site address: martinkl.substack.com redirected to: martinkl.substack.com

site title:

Our opinion (on Sunday 03 May 2026 17:16:59 UTC):

GREEN status (no comments) - no comments
After content analysis of this website we propose the following hashtags:
#kleppmann


Meta tags:
description=Distributed systems, databases, and information security. Click to read Martin Kleppmann’s Blog, a Substack publication with thousands of subscribers.;
author=;

Headings (most frequently used words):

martin, kleppmann, blog,

Text of the page (most frequently used words):
martin (13), #kleppmann (13), blog (6), new (6), the (5), for (4), substack (3), about (3), subscribe (3), and (3), interviews (3), paper (3), 2024 (3), this (2), javascript (2), home (2), archive (2), distributed (2), systems (2), 2021 (2), just (2), jan (2), 2022 (2), year (2), review (2), post (2), site, requires, run, correctly, please, unblock, scripts, turn, great, culture, get, app, start, your, collection, notice, terms, privacy, 2026, sitemap, databases, information, security, see, all, sep, have, given, bunch, podcasts, lately, three, summer, dozen, over, last, couple, years, covering, several, podcast, nov, our, landed, peritext, crdt, rich, text, collaboration, happy, book, future, fusion, energy, oct, there, verifying, with, isabelle, hol, 2023, feb, bluesky, protocol, usable, decentralized, social, media, jul, pudding, user, discovery, anonymity, networks, top, latest, dec, 2025, will, make, formal, verification, mainstream, sign,


Text of the page (random words):
martin kleppmann s blog substack martin kleppmann s blog subscribe sign in home archive about ai will make formal verification go mainstream new blog post dec 8 2025 martin kleppmann 1 latest top pudding user discovery for anonymity networks new paper jul 5 2024 martin kleppmann bluesky and the at protocol usable decentralized social media new paper feb 7 2024 martin kleppmann my year 2023 in review new blog post jan 4 2024 martin kleppmann verifying distributed systems with isabelle hol hi there oct 12 2022 martin kleppmann book review the future of fusion energy happy new year jan 3 2022 martin kleppmann peritext a crdt for rich text collaboration our new paper just landed nov 24 2021 martin kleppmann several podcast interviews i have given a bunch of interviews for podcasts lately three interviews just this summer and about a dozen over the last couple of years covering a sep 1 2021 martin kleppmann see all martin kleppmann s blog distributed systems databases and information security subscribe martin kleppmann s blog subscribe about archive sitemap 2026 martin kleppmann privacy terms collection notice start your substack get the app substack is the home for great culture this site requires javascript to run correctly please turn on javascript or unblock scripts
Thumbnail images (randomly selected): * Images may be subject to copyright.GREEN status (no comments)

Verified site has: 11 subpage(s). Do you want to verify them? Verify pages:

1-5 6-10 11-11


The site also has references to the 1 subdomain(s)

  substack.com  Verify


The site also has 1 references to external domain(s).

 enable-javascript.com  Verify


Top 50 hastags from of all verified websites.

Supplementary Information (add-on for SEO geeks)*- See more on header.verify-www.com

Header

HTTP/1.1 301 Moved Permanently
Date Sun, 03 May 2026 17:16:58 GMT
Content-Length 0
Connection close
Location htt????/martinkl.substack.com/
Set-Cookie ab_experiment_sampled=%22false%22; Max-Age=31536000; Domain=substack.com; Path=/; Expires=Mon, 03 May 2027 17:16:58 GMT; HttpOnly; Secure; SameSite=Lax
Set-Cookie ab_testing_id=%22f08127a2-9009-4a16-82a9-23481f9c016e%22; Max-Age=31536000; Domain=substack.com; Path=/; Expires=Mon, 03 May 2027 17:16:58 GMT; HttpOnly; Secure; SameSite=Lax
set-cookie __cf_bm=OGHA0Xlad72vdJNX4xvPbmF8x.yrVz2Lb8gvI_DY3Yc-1777828618.6528814-1.0.1.1-L0jhROPm_43DwAHkTTJ1_l_mjLf3dbbFLHWkHxw1JcviZhYIWbkemDTImkbLsQ0A8NpwQ2lFOxKsRZDgFul2r6eBd6wGzdOt1WJlV58sA._MCZqYZt.QU_Df_Gu4qiGa; HttpOnly; Path=/; Domain=substack.com; Expires=Sun, 03 May 2026 17:46:58 GMT
Server cloudflare
CF-RAY 9f60eaa2996a0520-AMS
alt-svc h3= :443 ; ma=86400
HTTP/2 200
date Sun, 03 May 2026 17:16:58 GMT
content-type text/html; charset=utf-8
cf-ray 9f60eaa2ee516636-AMS
cf-cache-status MISS
cache-control no-cache
set-cookie ab_experiment_sampled=%22false%22; Max-Age=31536000; Domain=substack.com; Path=/; Expires=Mon, 03 May 2027 17:16:58 GMT; HttpOnly; Secure; SameSite=Lax
set-cookie ab_testing_id=%22ee3e2ae2-c1fb-4803-bbd5-b7cf2118e5a7%22; Max-Age=31536000; Domain=substack.com; Path=/; Expires=Mon, 03 May 2027 17:16:58 GMT; HttpOnly; Secure; SameSite=Lax
set-cookie __cf_bm=B2n2n2_ObCpYz63s2OJiqWs_0aeZDPKV4f5NlR8RuRs-1777828618.7045472-1.0.1.1-BuAYBa6pLg1_qTpMhUMFDWL..1fhs2uEyEpUfOLk_kjnZHD17dpSLjaTkpqaH2DxIlI8A9MRVCK6NmHK5tsecB4uofgLgkhaWXM91Zhr2XAH97XcwccfjZQffevS142K; HttpOnly; Secure; Path=/; Domain=substack.com; Expires=Sun, 03 May 2026 17:46:58 GMT
x-service web
link <htt????/substackcdn.com>; rel=preconnect
server cloudflare
x-sub martinkl
strict-transport-security max-age=31536000; includeSubDomains; preload
vary Accept-Encoding
content-security-policy frame-ancestors self htt????/*.substack.com htt????/substack.com
x-cluster substack
x-deploy fbcbe423b0
x-powered-by Express
x-served-by Substack
content-encoding gzip
alt-svc h3= :443 ; ma=86400

Meta Tags

title=""
charset="utf-8"
name="norton-safeweb-site-verification" content="24usqpep0ejc5w6hod3dulxwciwp0djs6c6ufp96av3t4whuxovj72wfkdjxu82yacb7430qjm8adbd5ezlt4592dq4zrvadcn9j9n-0btgdzpiojfzno16-fnsnu7xd"
data-rh="true" property="og:image" content="htt????/substackcdn.com/image/fetch/$s_!frBS!,f_auto,q_auto:best,fl_progressive:steep/https%3A%2F%2Fmartinkl.substack.com%2Ftwitter%2Fsubscribe-card.jpg%3Fv%3D-1347184235%26version%3D9"
data-rh="true" name="twitter:image" content="htt????/substackcdn.com/image/fetch/$s_!frBS!,f_auto,q_auto:best,fl_progressive:steep/https%3A%2F%2Fmartinkl.substack.com%2Ftwitter%2Fsubscribe-card.jpg%3Fv%3D-1347184235%26version%3D9"
data-rh="true" name="twitter:card" content="summary_large_image"
data-rh="true" property="og:type" content="article"
data-rh="true" property="og:title" content="Martin Kleppmann’s Blog | Substack"
data-rh="true" name="twitter:title" content="Martin Kleppmann’s Blog | Substack"
data-rh="true" name="description" content="Distributed systems, databases, and information security. Click to read Martin Kleppmann’s Blog, a Substack publication with thousands of subscribers."
data-rh="true" property="og:description" content="Distributed systems, databases, and information security. Click to read Martin Kleppmann’s Blog, a Substack publication with thousands of subscribers."
data-rh="true" name="twitter:description" content="Distributed systems, databases, and information security. Click to read Martin Kleppmann’s Blog, a Substack publication with thousands of subscribers."
name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1, user-scalable=0, viewport-fit=cover"
name="author" content="Martin Kleppmann"
property="og:url" content="htt????/martinkl.substack.com/"

Load Info

page size27356
load time (s)0.398059
redirect count1
speed download68733
server IP 104.18.37.200
* all occurrences of the string "http://" have been changed to "htt???/"