✅ Archive Proofs

Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

NHS Cybersecurity and Data Handling
muckypaws.com·4h
🔓Hacking
Joy & Curiosity #48
registerspill.thorstenball.com·7h
⟷Bidirectional Programming
The hidden engineering behind foundation model building
poolside.ai·4h·
Discuss: Hacker News
⚡Incremental Computation
Encrypted Client Hello Approved for Publication
feistyduck.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Using LLM Embeddings to Normalize User Data
matthodges.com·17h·
Discuss: Hacker News
🔤Character Classification
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·2d
💧Liquid Types
Speak, Don't Type
typeless.com·19h·
Discuss: Hacker News
📝Text Compression
How Promise Works in JavaScript
developer.mozilla.org·5h·
Discuss: Hacker News
⚖️Hoare Logic
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·3d
✅Format Verification
A simple deployment setup for self-hosting personal projects
bimals.net·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·4d·
Discuss: Hacker News
🧮Theorem Proving
Partner with the AI, throw away the code
martinfowler.com·2d
🦀Rust Macros
When Your Database Lives in CPU Cache (Because Why Not?)
blog.canoozie.net·1d·
Discuss: Hacker News
⚡Cache Coherence
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·1d
⚛️Quantum Error Correction
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·6h·
Discuss: Substack
💾SQLite
Cracking the code: resilient defense and rapid recovery
techradar.com·2d
💾Persistence Strategies
Show HN: Shiproom – A Browser-Based Cloud IDE with File-Level Access Control
shiproom.vercel.app·1h·
Discuss: Hacker News
🛡️WebAssembly Security
How AI Could Start a Nuclear War
medium.com·4h·
Discuss: Hacker News
🔲Cellular Automata
Symbolic-numeric programming in scientific computing
dspace.mit.edu·3d
🧬Functional Programming
Machine Learning Fundamentals: loss function
dev.to·1d·
Discuss: DEV
🧠Machine Learning