Make Your Own Backup System – Part 1: Strategy Before Scripts
it-notes.dragas.net·9h
💿Backup Strategies
Fast and Simple Rust Interner
matklad.github.io·8h
🦀Rust Verification
Proof-theoretic Semantics for First-order Logic
arxiv.org·12h
🏗️Constructive Logic
New Community of Practice for Exploring Content Provenance and Authenticity in the Age of AI
blogs.loc.gov·16h
📚MARC Archaeology
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.app·22h·
Discuss: Hacker News
💎Information Crystallography
Checking data integrity
eclecticlight.co·2d
✅Checksum Validation
Data Lakehouse Security: Supporting Scalable Analytics and AI Workloads
blog.min.io·17h
📦METS Containers
Linkdump No 64
82mhz.net·16h
🔌Operating system internals
Information modeling example: Call sheet
disruptivearchitecture.info·9h
🚚Data Migration
Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build·15h·
Discuss: Hacker News
📋Protocol Buffers
Fully Homomorphic Encryption and the Dawn of a Truly Private Internet
bozmen.io·12h·
Discuss: Hacker News
🔐Homomorphic Encryption
Remote backup pod at a friend/family member's house
i.redd.it·3h·
Discuss: r/homelab
💿Backup Strategies
Issue 481
haskellweekly.news·1d
🔗Functional Compilers
This Week in Security: Trains, Fake Homebrew, and AI Auto-Hacking
hackaday.com·2h
🔓Hacking
Python Fundamentals: case
dev.to·1d·
Discuss: DEV
✅Format Verification
Cambridge contributor session and Archives fair
blog.archiveshub.jisc.ac.uk·1d
🕸️WARC Archives
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com·21h·
Discuss: Hacker News, Hacker News
🏗️Compiler Archaeology
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
Thoughts on edent's 'We've got to stop sending files to each other'
neilzone.co.uk·1d
✅Document Verification
A distributed systems reliability glossary
antithesis.com·3d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity