Three ways formally verified code can go wrong in practice
buttondown.com·11h
📜Proof Carrying Code
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
Announcing the 2025 NDSA Excellence Award Winners
ndsa.org·16h
🏛️PREMIS Metadata
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·5h
🌊Stream Processing
The Day I Hacked XCTrack
blog.syrac.org·14h·
Discuss: Hacker News
🔐PKI Archaeology
A disenshittification moment from the land of mass storage
doctorow.medium.com·16h
🧲Magnetic Philosophy
Announcing coreboot 25.09 release
blogs.coreboot.org·5h
🔌Operating system internals
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·19h
💎Information Crystallography
I am an SSD expert – here are 5 reasons why choosing a small SSD could cost you later
techradar.com·14h
🛡️Preservation Logic
Zelos Tech Manages Hundreds of Millions of Files for Autonomous Driving with JuiceFS
dev.to·22h·
Discuss: DEV
💾Proxmox Storage
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·9h·
Discuss: Hacker News
🛡️Error Boundaries
Evidence Preservation: Why iPhone Data Can Expire
blog.elcomsoft.com·1d
🌡️Preservation Entropy
Unsure what to do as lab has grown
reddit.com·5h·
Discuss: r/homelab
🖥Home Lab Setup
Welcome to LIL’s Data.gov Archive Search
lil.law.harvard.edu·9h
💾Data Preservation
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
Cactus Language • Semantics 3
inquiryintoinquiry.com·13h
🔢Denotational Semantics
Advancing Outlook email archiving & Digital Preservation at your organization
preservica.com·1d
🔄Archival Workflows
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·1d
🔲Cellular Automata
Never Ever Use Content Addressable Storage
frederic.vanderessen.com·2d·
Discuss: Hacker News
🗄️Type-safe Archives