✅ Archive Proofs

Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

Stop Hardcoding Passwords
blog.nviso.eu·1d
🔐PKI Archaeology
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·2d·
Discuss: Hacker News
🛡️Error Boundaries
Encrypted Client Hello Approved for Publication
feistyduck.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Issue 483
haskellweekly.news·2d
🔗Functional Compilers
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·2d·
Discuss: Hacker News
🔀CRDT
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·1d
💧Liquid Types
When Your Database Lives in CPU Cache (Because Why Not?)
blog.canoozie.net·1d·
Discuss: Hacker News
⚡Cache Coherence
Introduction to Unikernel: Building, Deploying Lightweight, Secure Applications
tallysolutions.com·22h·
Discuss: Hacker News
📦Container Security
Machine Learning Fundamentals: loss function
dev.to·19h·
Discuss: DEV
🧠Machine Learning
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·3d
✅Format Verification
Build Custom ActiveStorage Analyzers for Ruby on Rails
blog.appsignal.com·3d·
Discuss: Hacker News
🏺ZIP Archaeology
Step3
stepfun.ai·1d·
Discuss: Hacker News
🌊Streaming Algorithms
I tested this tape storage drive - and the Netflix-approved LTFS keeps this pricey unit cost-effective and relevant
techradar.com·5h
📼Cassette Technology
Partner with the AI, throw away the code
martinfowler.com·1d
🦀Rust Macros
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
🧮Theorem Proving
The Dartboard Sequence
mathpages.com·2d·
Discuss: Hacker News
🎞️Tape Combinatorics
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·1d
⚛️Quantum Error Correction
Privacy-First Research with OpenSAFELY • Eli Holderness & Hannes Lowette
youtube.com·4d
🔒Privacy Archives
Files Are Living Rent-Free in Someone's Cloud Forever (and That's Weird)
medium.com·2d·
Discuss: Hacker News
🏠Personal Archives
Understanding Blockchains Through Java Code
blog.blockingqueue.com·1d·
Discuss: Hacker News
🔗Hash Chains