✅ Archive Proofs

Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

Pleasant Imperative Program Proofs with GallinaC
arxiv.org·5h
⚔️Lean Tactics
Survivorship in the Digital Age (2013)
mrgris.com·26m·
Discuss: Hacker News
🔐Archive Encryption
SAA Statement on State and Territorial Archives and Records Repositories
www2.archivists.org·12h
💾Data Preservation
Claude Can (Sometimes) Prove It
galois.com·10h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
<p>🔗 <a href="https://stephango.com/file-over-app">Steph Ango: File over app</a></p>
lmika.org·1d
🎯Dependent Preservation
Fuzzy Logic: Cleaning Floppy Disk with our Conservation Department — Part One
digitalpreservation-blog.lib.cam.ac.uk·23h
💾Floppy Imaging
Announcing the Candidates for the 2025 NDSA Coordinating Committee Members Election
ndsa.org·20h
🏛️PREMIS Metadata
Predictive Precision: Combining Data and Reasoning for Self-Healing Systems by Arvind Sundararajan
dev.to·20h·
Discuss: DEV
💾Persistence Strategies
System Instruction Fixed Point
funcall.blogspot.com·14h·
Discuss: www.blogger.com
⚡Proof Automation
The Truth About Cloud Security Costs: Why High Costs Don’t Always Mean Better Protection
backblaze.com·16h
🔐Archive Encryption
Google Releases VaultGemma, Its First Privacy-Preserving LLM
yro.slashdot.org·20h
🛡️Differential Privacy
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
✨Algebraic Effects
Taming Service-Oriented Architecture Using A Data-Oriented Service Mesh
medium.com·15h
🏠Homelab Orchestration
Solving a Wooden Puzzle Using Haskell
glocq.github.io·4h·
Discuss: Lobsters, Hacker News
💎Information Crystallography
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·16h
🔀Category Theory
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
HTB Planning Machine Walkthrough | Easy HackTheBox Guide for Beginners
infosecwriteups.com·1d
🛡️CLI Security
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
✅Format Verification
Preserving the digital legacy of company archives: Last stop, Newhaven.
dpconline.org·2d
💾Data Preservation
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·2d
🔗Topological Sorting