🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ—„οΈ Type-safe Archives

Verified Preservation, Safe Storage Systems, Format Type Theory, Archive Correctness

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
Loading...Loading more...
AboutBlogChangelogRoadmap