✅ Archive Proofs

Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

Pleasant Imperative Program Proofs with GallinaC
arxiv.org·10h
⚔️Lean Tactics
Survivorship in the Digital Age (2013)
mrgris.com·5h·
Discuss: Hacker News
🔐Archive Encryption
The Ternary Manifesto
homepage.cs.uiowa.edu·4h
📝Concrete Syntax
SAA Statement on State and Territorial Archives and Records Repositories
www2.archivists.org·17h
💾Data Preservation
Claude Can (Sometimes) Prove It
galois.com·15h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Fuzzy Logic: Cleaning Floppy Disk with our Conservation Department — Part One
digitalpreservation-blog.lib.cam.ac.uk·1d
💾Floppy Imaging
<p>🔗 <a href="https://stephango.com/file-over-app">Steph Ango: File over app</a></p>
lmika.org·1d
🎯Dependent Preservation
Announcing the Candidates for the 2025 NDSA Coordinating Committee Members Election
ndsa.org·1d
🏛️PREMIS Metadata
Predictive Precision: Combining Data and Reasoning for Self-Healing Systems by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
💾Persistence Strategies
System Instruction Fixed Point
funcall.blogspot.com·19h·
Discuss: www.blogger.com
⚡Proof Automation
A deep dive into Apache Kafka's KRaft protocol
developers.redhat.com·2h·
Discuss: Hacker News
🤝Consensus Protocols
Digging into the OCI Image Specification (2022)
blog.quarkslab.com·2h·
Discuss: Hacker News
📋Format Specification
The Truth About Cloud Security Costs: Why High Costs Don’t Always Mean Better Protection
backblaze.com·21h
🔐Archive Encryption
Google Releases VaultGemma, Its First Privacy-Preserving LLM
yro.slashdot.org·1d
🛡️Differential Privacy
WebSocket Turbo Intruder:&nbsp;Unearthing the WebSocket Goldmine
portswigger.net·2h
🧪Protocol Fuzzing
Taming Service-Oriented Architecture Using A Data-Oriented Service Mesh
medium.com·20h
🏠Homelab Orchestration
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·21h
🔀Category Theory
Solving a Wooden Puzzle Using Haskell
glocq.github.io·9h·
Discuss: Lobsters, Hacker News
💎Information Crystallography
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Balance between refactoring and inheritance in your code
github.com·2d·
Discuss: Hacker News
✅Format Verification