proofsandintuitions.net

.net crawl

First seen 2026-04-12 · Last seen 2026-05-19 · ok HTTP/1.1 200 270 ms crawled 2026-05-19

US · 185.199.108.153 · AS54113 Fastly, Inc.

Reputation 95/100 weak security headers

Classifying

HTML metadata

Title
Proofs and Intuitions
Description
A blog about mathematics, computing, formal verification, and the ideas behind them
Language
en
Generator
Jekyll v3.10.0
Canonical
https://proofsandintuitions.net/
Feeds

Open Graph

url
https://proofsandintuitions.net/
title
Proofs and Intuitions
locale
en_US
site name
Proofs and Intuitions
description
A blog about mathematics, computing, formal verification, and the ideas behind them

Technology

CDN
Fastly
Server
GitHub.com
Analytics
  • Google Tag Manager

Third-party hosts loaded (1)

  • www.googletagmanager.com×1

Social

Registration

Registrar
HOSTINGER operations, UAB
Created
2026-01-01
Expires
2028-01-01 590 days left
Updated
2026-01-01
Name servers
  • ns1.dns-parking.com
  • ns2.dns-parking.com

DNS records live

NS
  • ns1.dns-parking.com
  • ns2.dns-parking.com

Email authentication no MX

SPF
not published
DMARC
not published
DKIM
no key found at common selectors

Certificate (current)

R12
from 2026-05-10 to 2026-08-08
Expires in 80 days

HTTP security headers

Header hygiene 30/100 Checked live page: https://proofsandintuitions.net/

findings
  • missing HSTS
  • missing Content Security Policy
  • missing frame protection
  • missing content type protection
  • missing Referrer Policy
  • missing Permissions Policy

Links to (8)

Linked from (2)