🧮 Archive Algebra

Preservation Mathematics, Storage Theory, Formal Archival, Mathematical Curation

Our New Field Guide: ‘The Tech We Want | Read This Before You Build’
blog.okfn.org·12h
🏛Digital humanities
X Design Notes: Pattern Matching II
blog.polybdenum.com·2d
💻Programming languages
Roger Penrose and Friends Appeal for Unique Archive
crowdfunder.co.uk·19h·
Discuss: Hacker News
💾Data Preservation
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·3d·
Discuss: Hacker News
⚡SIMD Optimization
Project management when the project is data
blog.datadef.io·2d·
Discuss: Hacker News
🔗Data Provenance
Altoids by the Fistful
scottsmitelli.com·1d·
Discuss: Lobsters, Hacker News
📦Deflate
LLMs are strangely-shaped tools
near.blog·3h·
Discuss: Hacker News
🧩WASM Components
How to Connect an MCP Server for an AI-Powered, Supply-Chain Network Optimization Agent
towardsdatascience.com·1d
📡Tape Networking
SiDiaC: Sinhala Diachronic Corpus
arxiv.org·1d
📜Binary Philology
Privacy-Preserving State Estimation with Crowd Sensors: An Information-Theoretic Respective
arxiv.org·1d
🛡️Differential Privacy
MOIS-SAM2: Exemplar-based Segment Anything Model 2 for multilesion interactive segmentation of neurobromas in whole-body MRI
arxiv.org·1h
💾Floppy Imaging
Assessing metadata privacy in neuroimaging
arxiv.org·2d
🔒Privacy Archives
XaaS Containers: Performance-Portable Representation With Source and IR Containers
arxiv.org·1d
🔩Systems Programming
Modern Go: A Book by Claude
dev.to·1d·
Discuss: DEV
💻Programming languages
My First DEV Post: Learning AI, Big Data & Web Development
dev.to·6h·
Discuss: DEV
λLambda Formalization
Shape-induced obstacle attraction and repulsion during dynamic locomotion
arxiv.org·1d
🔲Cellular Automata
Quantum memories reach new milestone with secure quantum money protocol
phys.org·1d
⚛️Quantum Tape
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
arxiv.org·1d
🌐Protocol Synthesis
Deep Synthetic Cross-Project Approaches for Software Reliability Growth Modeling
arxiv.org·1d
📏Code Metrics
Variation in Verification: Understanding Verification Dynamics in Large Language Models
arxiv.org·1d
🧪Binary Fuzzing