deepspec.org

.org crawl

First seen 2026-04-11 · Last seen 2026-05-18 · ok HTTP/1.1 200 2010 ms crawled 2026-05-04

US · 128.52.129.157 · AS3 Massachusetts Institute of Technology

Reputation 100/100

sector tech type homepage

HTML metadata

Title: The Science of Deep Specification

Technology

Server: Apache

Third-party hosts loaded (4)

cdnjs.cloudflare.com×8
cdn.jsdelivr.net×2
cdn.ckeditor.com×1
code.jquery.com×1

Social

Registration

Registrar

Squarespace Domains LLC

Created

2014-02-02

Expires

2027-02-02 258 days left

Updated

2026-01-23

Name servers

ns-cloud-d4.googledomains.com
ns-cloud-d1.googledomains.com
ns-cloud-d3.googledomains.com
ns-cloud-d2.googledomains.com

DNS records live

NS

ns-cloud-d1.googledomains.com
ns-cloud-d2.googledomains.com
ns-cloud-d3.googledomains.com
ns-cloud-d4.googledomains.com

MX

0 smtp.secureserver.net
10 mailstore1.secureserver.net

Certificate (current)

R12

from 2026-04-04 to 2026-07-03

Expires in 44 days

Full certificate history on crt.sh ↗

Links to (2)

chlipala.net×2
twitter.com×2

Linked from (1)

uwplse.org×4