🛡️ Archive Verification

More podcast goodness... Code for Thought: When Bits Rot - with C McKean, L Talboom, A Page-Mitchell <a href="https://codeforthought.buzzsprout.com/1326658/e...

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

👑Isabelle/HOL Blog

amazon.science··Lobsters

TASCAM recovery

🎵Audio Formats

inkdroid.org·

Cranelift

🕸️WebAssembly 6

cranelift.dev··Hacker News·Cited by 6 articles

Vacancy for Senior Specialist, Learning Objects Repository at RMIT University

✅Format Validation

dpconline.org·

LPOR: A Layered Proof of Reserves Framework for Usable and Publicly Auditable Solvency Verification

🌐Archive Networks Academic

arxiv.org·

Show HN: A Terrible Way to Consume Hacker News – AI Slop

🛡Cybersecurity

deadinternet.tech··Hacker News

When the Repository Goes Weird: Running a Digital Preservation Tabletop Exercise

✅Format Validation Blog

saaers.wordpress.com·

AWS can now mathematically prove your VMs are isolated

👑Isabelle/HOL

thenewstack.io·

Which Memes Deserve Digital Preservation? See the Online Videos the British Film Institute Selected for a New Archive

🗃archives News

smithsonianmag.com·

Ask HN: What has been the fate of code review?

💻Programming languages Discussion

news.ycombinator.com··Hacker News

Bookmarks - data, design, vis, book

🔒Type Safety

inkdroid.org·

Question for The DigiPres Hive Mind.... I've never used any of the digital preservation systems like Archivematica/Rosetta/Preservica/etc. One specific ...

✅Archive Validation

digipres.club·

[Podcast] The Erik protocol: Improving RPKI data fetch

🌐BGP Security Blog

blog.apnic.net·

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

💻Programming languages Blog

aws.amazon.com··Hacker News

Now what?

✅Archive Validation Blog

blog.danieljanus.pl··Lobsters, Hacker News, Hacker News

More podcast goodness... Code for Thought: When Bits Rot - with C McKean, L Talboom, A Page-Mitchell <a href="https://codeforthought.buzzsprout.com/1326658/e...

A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe

Preservica and Cadence Solutions Bring Digital Preservation to Microsoft 365 Users

Preservation & Migration Seminar 2026 - A Recap!

I thought Blu-rays and DVDs were obsolete until I discovered how long they can preserve data

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

TASCAM recovery

Cranelift

Vacancy for Senior Specialist, Learning Objects Repository at RMIT University

LPOR: A Layered Proof of Reserves Framework for Usable and Publicly Auditable Solvency Verification

Show HN: A Terrible Way to Consume Hacker News – AI Slop

When the Repository Goes Weird: Running a Digital Preservation Tabletop Exercise

AWS can now mathematically prove your VMs are isolated

Which Memes Deserve Digital Preservation? See the Online Videos the British Film Institute Selected for a New Archive

Ask HN: What has been the fate of code review?

Bookmarks - data, design, vis, book

Question for The DigiPres Hive Mind.... I've never used any of the digital preservation systems like Archivematica/Rosetta/Preservica/etc. One specific ...

[Podcast] The Erik protocol: Improving RPKI data fetch

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

Now what?