📚 Archive Mathematics - matmat · Scour

The Evolving Foundations of Math ⚔️Lean Theorem

quantamagazine.org·1d·Hacker News·

On This Day in Math 📚Archival Mathematics

pballew.blogspot.com·5d·Blogger·

Sovereign Data Commons and Public Data Infrastructure 🏷️Metadata Standards

openfuture.eu·3h·

Digital preservation workflows 🔄Archival Workflows

nationalarchives.gov.uk·1d·

Investigating the Fundamental Limit: A Feasibility Study of Hybrid-Neural Archival 🌐Archive Topology

arxiv.org·6d·

dropbox/dMATH: Formal verification and theorem proving tools ⚔️Lean Tactics

github.com·2d·Hacker News·

New/Recent Publications 🎭Cultural Informatics

archivespublishing.com·2d·

Reading log: Philosophy of Mathematics (Brown) ⚔️Lean Theorem

noncommutativeanalysis.wordpress.com·5d·

Object permanence 🛡️Preservation Logic

doctorow.medium.com

·5d·

TensorCAS: Content Addressable Storage for ML Checkpoints 📼Tape Combinators

olamyy.github.io·6d·Hacker News·

Mar '26 Notes 📐Linear Algebra

susam.net·3d·

Why Does AI Lose Its Way in Philosophy? An Observational Study on Language Models and the Consensus Structure of Human Knowledge Through the Lens of Convergence Point 🔲Cellular Automata

zenodo.org·4d·Hacker News·

Algo P\"art: An Algorithmic Reconstruction of Arvo P\"art's Summa 🎯Performance Proofs

arxiv.org·2d·

What happens when AI starts checking mathematicians’ work 📐Mathematical Art

scientificamerican.com

·6d·

sharpee/docs/architecture/sharpee-computer-science.md at main 🌐Archive Topology

github.com·4d·Hacker News·

Object permanence 🌡️Preservation Physics

doctorow.medium.com

·5d·

On This Day in Math 🔐Cryptographic Archaeology

pballew.blogspot.com·4d·Blogger·

Enabling Homomorphic Analytical Operations on Compressed Scientific Data with Multi-stage Decompression 🔒Homomorphic Compression

arxiv.org·6d·

Persistence-based topological optimization: a survey 🌐Computational Topology

arxiv.org·6d·

On This Day in Math 📐Mathematical Art

pballew.blogspot.com·3d·Blogger·

Loading more...