🧮 Archive Algebra

Preservation Mathematics, Storage Theory, Formal Archival, Mathematical Curation

The Right Approach to Authorization in RAG
osohq.com·19h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·15h
📼Tape Combinators
Mitigating Ransomware Attacks with Object Storage
blog.min.io·45m
💿WORM Storage
Double Maths First Thing: Issue 2C
aperiodical.com·1d
🔬Lean
A Catalan question
cameroncounts.wordpress.com·1d
λLambda Encodings
Why No Single Algorithm Solves Deduplication — and What to Do Instead
hackernoon.com·12h
🔍MinHash Variants
New Records Released – 2025 Third Quarter Release List
declassification.blogs.archives.gov·6h
💾Data Preservation
The Ancient History of Compression Algorithms
cs4fn.org·12h·
Discuss: Hacker News
📊Compression Proofs
Ente web - State of the Union 2025
ente.io·1d
🎯Gradual Typing
The Data Engineering Toolkit: Infrastructure, DevOps, and Beyond
ssp.sh·10h
🌊Stream Processing
Physics+ MIN/MAX of Functional: UNIZOR.COM - Physics+ 4 All - Lagrangian
unizor.blogspot.com·4h·
Discuss: www.blogger.com
⚔️Lean Theorem
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·2h·
Discuss: DEV
🔩Systems Programming
Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
📐Linear Algebra
実務で使っているClaude Codeの開発環境の紹介
zenn.dev·13h
🇯🇵Japanese Computing
The Festschrift For Cliff Lynch
blog.dshr.org·4h·
Discuss: www.blogger.com
🏰Manuscript Networks
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·21h·
Discuss: Hacker News
🔍RegEx Engines
There are exponentially many vectors with small inner product
lmao.bearblog.dev·1h·
Discuss: Hacker News
⚽Sphere Packing
Lecture series on the philosophy of mathematics
jdh.hamkins.org·1d
⚔️Lean Theorem
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·2h·
Discuss: Lobsters, Hacker News
⚙️TLA+