appliedcategorytheory.org

Observed Jul 26, 2026, 15:33 UTC (5d ago). Every field below was attested with an Ed25519 signature at scan time. Catalog observation, re-checked on rotation - watch it for 5-minute checks.

Verify this receipt yourself + Watch this domain

Up right now

Secured byLet's Encrypt

8 subdomains · domcop

Every line above is a signed observation. Check the math at the bottom of the page.

INFRASTRUCTURE MAPwhat appliedcategorytheory.org actually stands on - every host below is a signed observation

appliedcategorytheory.org

A / AAAA

50.87.216.45

unattributedserves the site

ns1.bluehost.comns2.bluehost.com

bluehost.comanswers its DNS

mail.appliedcategorytheory.org

appliedcategorytheory.orgreceives its email

TLS

cpcalendars.appliedcategorytheory.org

Let's Encryptissued its certificate

DNS Records

A 1

50.87.216.45

MX 1

0mail.appliedcategorytheory.org

TXT 1

v=spf1 a mx ptr include:bluehost.com ?all

NS 2

ns1.bluehost.com
ns2.bluehost.com

SOA 1

ns1.bluehost.com root.box2283.bluehost.com

SRV 1

autodiscover.bluehost.com:443 p0

TLS Certificates (3)

Common Name	Issuer	Expires
`cpcalendars.appliedcategorytheory.org`	C=US, O=Let's Encrypt, CN=YR2	Mon, 31 Aug 2026 16:06:40 +0000
`YR2`	C=US, O=ISRG, CN=Root YR	Sat, 02 Sep 2028 23:59:59 +0000
`Root YR`	C=US, O=Internet Security Research Group, CN=ISRG Root X1	Thu, 02 Sep 2032 23:59:59 +0000

Subdomains (8)

The proof

Signed at scan time. Check the math yourself. Every line above is part of one signed observation. Re-hash it and check the Ed25519 signature in your own browser; nothing leaves your machine.

Verify this receipt

Put the receipt on your own site. A live badge showing what DomainDrift observes and signs for appliedcategorytheory.org. It updates itself. It attests a signed observation - not that the site is safe.

<a href="https://domaindrift.io/t/appliedcategorytheory.org">
  <img src="https://domaindrift.io/badge/appliedcategorytheory.org.svg"
       width="300" height="64" alt="DomainDrift signed observations for appliedcategorytheory.org">
</a>

Ed25519 Receipt

Receipt ID: rcpt_20b5c4e083b95c1d
Output Hash: 09df95606ab7000afd7ffa2e12ffa20853e032f34f274006628ae375389ed8b7
Signature: ed25519:ec5c146999afdacf2fde9fb019c86b74c9b3fe27debf8e0746492fff35d6fa2098fa6e716079311798352cdf5c59d881fbe336435ab77c60e51e71e0d6b2d705
Public Key: ed25519:4859bb613d650e12dd7478cc307c73a8712fabc115a9dc59f65534ed3c09a8f9
Parent: (genesis)
Plane: fast

Verify this in your browser

Permalink: https://domaindrift.io/t/appliedcategorytheory.org