🧮 Archive Algebra

Preservation Mathematics, Storage Theory, Formal Archival, Mathematical Curation

Why No Single Algorithm Solves Deduplication — and What to Do Instead
hackernoon.com·10h
🔍MinHash Variants
Double Maths First Thing: Issue 2C
aperiodical.com·1d
🔬Lean
Data-Star.dev – v1 and Beyond
data-star.dev·2h·
Discuss: Hacker News
🏺ZIP Archaeology
A Catalan question
cameroncounts.wordpress.com·1d
λLambda Encodings
New Records Released – 2025 Third Quarter Release List
declassification.blogs.archives.gov·4h
💾Data Preservation
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·19h·
Discuss: Hacker News
🔍RegEx Engines
実務で使っているClaude Codeの開発環境の紹介
zenn.dev·11h
🇯🇵Japanese Computing
Physics+ MIN/MAX of Functional: UNIZOR.COM - Physics+ 4 All - Lagrangian
unizor.blogspot.com·2h·
Discuss: www.blogger.com
⚔️Lean Theorem
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·13h
📼Tape Combinators
Book review: A New Kind of Science (2005)
bactra.org·1d·
Discuss: Hacker News
🔲Cellular Automata
Python Memory Optimization: Essential Techniques for Data-Intensive Applications That Actually Work
dev.to·34m·
Discuss: DEV
🔩Systems Programming
The Ancient History of Compression Algorithms
cs4fn.org·10h·
Discuss: Hacker News
📊Compression Proofs
Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.com·22h·
Discuss: www.blogger.com
📐Linear Algebra
The Data Engineering Toolkit: Infrastructure, DevOps, and Beyond
ssp.sh·9h
🌊Stream Processing
The Festschrift For Cliff Lynch
blog.dshr.org·2h·
Discuss: www.blogger.com
🏰Manuscript Networks
Lecture series on the philosophy of mathematics
jdh.hamkins.org·1d
⚔️Lean Theorem
Ente web - State of the Union 2025
ente.io·1d
🎯Gradual Typing
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·2h·
Discuss: Hacker News
🔗Topological Sorting
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·5h
🗣️Domain-Specific Languages
I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app·2d·
Discuss: Hacker News
📐Interval Arithmetic