gilbertbernstein.com

HTML metadata

Social

• github

Contact

Email

• gilbert@gilbertbernstein.com

Registration

Registrar

DreamHost, LLC

Created

2011-07-31

Expires

2026-07-31 72 days left

Updated

2025-06-30

Name servers

• ns1.dreamhost.com
• ns2.dreamhost.com
• ns3.dreamhost.com

DNS records live

NS

• ns1.dreamhost.com
• ns2.dreamhost.com
• ns3.dreamhost.com

MX

• 0 mx1.dreamhost.com
• 0 mx2.dreamhost.com

Email authentication weak

SPF

v=spf1 mx include:netblocks.dreamhost.com include:relay.mailchannels.net -all

strict (-all)

DMARC

not published

DKIM

no key found at common selectors

Links to (15)

• inria.fr×1
• odedstein.com×1
• chlipala.net×1
• davidbdurst.com×1
• alexreinking.com×1
• mackenzieleake.com×1
• nvidia.com×1
• github.io×1
• exo-lang.dev×1
• aetherling.org×1
• optlang.org×1
• acm.org×1
• ebblang.org×1
• ucl.ac.uk×1
• github.com×1

Linked from (6)

• uwplse.org×6
• aetherling.org×3
• nathurtig.com×3
• exo-lang.dev×3
• paulguerrero.net×2
• optlang.org×2