Live and Let Die: Rethinking Personal Digital Archiving, Memory, and Forgetting Through a Library Lens
lil.law.harvard.edu·2d
🧲Magnetic Philosophy
Pgschema: Postgres Declarative Schema Migration, Like Terraform
pgschema.com·20h·
Discuss: Hacker News
🚚Data Migration
SafeLLM: Unlearning Harmful Outputs from Large Language Models against Jailbreak Attacks
arxiv.org·1d
💻Local LLMs
Cloud Storage Myths Debunked, Part Three: Onboarding Specialized Providers Is Too Hard
backblaze.com·22h
💾Storage Replication
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
AI Agents Need Data Integrity
schneier.com·1d·
Discuss: www.schneier.com
🛡️Preservation Proofs
What’s hierarchical about a hierarchical wallet?
johndcook.com·1h
🌳Archive Merkle Trees
A Conceptual Model for Storage Unification
jack-vanlightly.com·2d·
Discuss: Lobsters, Hacker News
🌐Edge Preservation
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·22h
🔐Cryptographic Archaeology
Welcome to Remix 3
github.com·19h·
Discuss: Hacker News
🦋Format Metamorphosis
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
May 1, 2014, LinuxTag
ffmpeg.org·1h
⏱️SMPTE Timecode
My Zip Isn't Your Zip: Identifying and Exploiting Semantic Gaps Between Parsers
usenix.org·2d·
Discuss: Hacker News
💣ZIP Vulnerabilities
busy beaver function
ncatlab.org·4h
⚔️Lean Theorem
Sorry, Baby to Earl Sweatshirt: the week in rave reviews
theguardian.com·8h
⭐Awesome lists
Ways Your Collection Can Bite the Dust
andersonarchival.com·2d
✅Archive Proofs
Go Beyond Viper and Cobra: Declarative Field-Driven Configuration for Go Apps
dev.to·11h·
Discuss: DEV
📋Format Specification
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages
Private Sovereign Clouds with Solvinity and MinIO
blog.min.io·20h
🖥️Self-hosted Infrastructure
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·22h·
Discuss: Hacker News
⚡Proof Automation