Catenable, splittable, transient sequences for Racket (Charguéraud & Pottier, ICFP 2026)

Description excerpted from the original listing, which is linked below.

Open it Listing

Facts

Published: 27 Aug 2026 (18d ago)
Medium: web
First seen: 15 Sep 2026, 15:14 UTC

Built with

Claude Code: confirmed
the agent's own trailer in the repository's commit history

What we can see

68 hygiene score

Certificate issued by WE1, 78 days remaining
Cookie attributes no cookies set
Credentials and payment does not ask for either
No strict transport security
Served over HTTPS
Mail authentication neither published
No insecure resources
Redirects none
Security headers 0 of 5 set
Third-party origins 3
Transport security TLS 1.3

Observed 15 Sep 2026 by fetching the page as a browser would. This describes hygiene and transparency, not safety: a missing header does not make a site dangerous, and a complete set does not make it trustworthy.

Changes we have seen

15 Sep 2026 first indexed