✅ Archive Proofs

Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·18h
⛪Church Encoding
Three ways formally verified code can go wrong in practice
buttondown.com·5h
📜Proof Carrying Code
Announcing the 2025 NDSA Excellence Award Winners
ndsa.org·9h
🏛️PREMIS Metadata
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·2h·
Discuss: Hacker News
🛡️Error Boundaries
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
👑Isabelle
People rescuing forgotten knowledge trapped on old floppy disks
bbc.com·9h·
Discuss: Hacker News
📼Cassette Archaeology
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·12h
💎Information Crystallography
Welcome to LIL’s Data.gov Archive Search
lil.law.harvard.edu·2h
💾Data Preservation
I am an SSD expert – here are 5 reasons why choosing a small SSD could cost you later
techradar.com·7h
🛡️Preservation Logic
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·22h·
Discuss: Hacker News
🔢Reed-Solomon Math
The Why of PGP Authentication
articles.59.ca·9h
🔑Cryptographic Protocols
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
⚔️Lean Tactics
Building Trust for AI Agents — ISM-X: A Privacy-Preserving Identity Layer (with demo)
dev.to·3h·
Discuss: DEV
🌳Archive Merkle Trees
Advanced ZFS Dataset Management: Snapshots, Clones, and Bookmarks
klarasystems.com·2d
📸ZFS Snapshots
A disenshittification moment from the land of mass storage
doctorow.medium.com·10h
🧲Magnetic Philosophy
New Articles: Journal of Contemporary Archival Studies
archivespublishing.com·1d
⚖️Archive Ethics
Living Off the Cloud: Abusing Cloud Services for Red Teaming | Cyber Codex
infosecwriteups.com·10h
🏠Homelab Federation
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
🔢Denotational Semantics
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·6h
📐Mathematical Art