FEATURE - Building Frameworks for Long-Term Digital Preservation
infotoday.com·1d
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·1d
Redacting Faces, People, Vehicles, and Plates with Amped Replay Assisted Redaction
blog.ampedsoftware.com·21h
Canonicalize Your Web Identity and Achieve Data Sovereignty with PESOS
shellsharks.com·18h
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·1d
Software Heritage Archive recognized as a digital public good
softwareheritage.org·1d
BPF Verifier State Pruning: Timeline
pchaigno.github.io·2d
22.00.0180 Backups aren't enough: create 'restore points'
johnnydecimal.com·5h
CodeSOD: Validation Trimmed Away
thedailywtf.com·1d
Loading...Loading more...