🧮 Archive Algebra

Preservation Mathematics, Storage Theory, Formal Archival, Mathematical Curation

Symbolic-numeric programming in scientific computing
dspace.mit.edu·2h
🧬Functional Programming
A Study on Variants of Conventional, Fuzzy, and Nullspace-Based Independence Criteria for Improving Supervised and Unsupervised Learning
arxiv.org·2h
🧠Machine Learning
Preserving 3D-scans: a journey
openpreservation.org·20h
📄Document Digitization
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·10h
🛡️Proof-Carrying Archives
Contraction Hierarchies: HMC Clinic Project Recap
blog.appliedcomputing.io·1d·
Discuss: Lobsters, Hacker News
🎯Performance Proofs
Cactus Language • Pragmatics 5
inquiryintoinquiry.com·14h
📐Format Grammars
Reporting from the Born-Digital Collections, Archives and Memory Conference 2025
blogs.bodleian.ox.ac.uk·1d
🏛️PREMIS
Mining the Past, Uncovering MLC’s Company History
andersonarchival.com·1d
📄Document Digitization
A Developer’s Guide to Go’s Garbage Collection: Mastering the Tri-Color Algorithm
dev.to·3h·
Discuss: DEV
🧠Memory Allocators
The Hidden World of Coordinates
youtube.com·16h
🕸️Algebraic Topology
Why not Matrix (2023)
telegra.ph·1d·
Discuss: Hacker News
🌊Stream Ciphers
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·12h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Extensions and Shadows (8)
sites.psu.edu·1d
🧮Kolmogorov Bounds
Beyond reuse: smarter embedding of information with structured content
fontoxml.com·19h
📦METS Standards
Mathematical Typesetting in TeXmacs
texmacs.github.io·14h·
Discuss: Hacker News
📐Document Algebra
Privacy-First Research with OpenSAFELY • Eli Holderness & Hannes Lowette
youtube.com·17h
🔒Privacy Preserving
Week 6 — Learning Basic Concepts of Cybersecurity
infosecwriteups.com·2d
💾Persistence Strategies
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·9h·
Discuss: Hacker News
🧮Theorem Proving
Spiral Matrix: Another Matrix Layer Problem
mmhaskell.com·1d
🔗Combinatory Logic
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·2h
🎞️Tape Combinatorics