Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·18h
🔗Graph Isomorphism
Announcing the 2025 NDSA Excellence Award Winners
ndsa.org·9h
🏛️PREMIS Metadata
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Categorical systems theory
topos.institute·10h
🔀Category Theory
Sorting encrypted data without decryption: a practical trick
dev.to·7h·
Discuss: DEV
🔐Hash Functions
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·12h
💎Information Crystallography
New Articles: Journal of Contemporary Archival Studies
archivespublishing.com·1d
⚖️Archive Ethics
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
🔢Denotational Semantics
Never Ever Use Content Addressable Storage
frederic.vanderessen.com·2d·
Discuss: Hacker News
🛡️Preservation Proofs
A disenshittification moment from the land of mass storage
doctorow.medium.com·10h
🧲Magnetic Philosophy
Three ways formally verified code can go wrong in practice
buttondown.com·5h
📜Proof Carrying Code
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·7h
📐Mathematical Art
Welcome to LIL’s Data.gov Archive Search
lil.law.harvard.edu·2h
💾Data Preservation
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
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
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·5h·
Discuss: Hacker News
📐Linear Algebra
Experimenting with ACL2 and Claude Code
mikedodds.org·10h·
Discuss: Hacker News
👑Isabelle
The Day I Hacked XCTrack
blog.syrac.org·7h·
Discuss: Hacker News
🔐PKI Archaeology