🧮 Archive Algebra

Preservation Mathematics, Storage Theory, Formal Archival, Mathematical Curation

Imaginary Numbers, Imaginary Constant, ... History and Etymology of Math Terms
pballew.blogspot.com·10h·
Discuss: www.blogger.com
⚔️Lean Theorem
Hard work is a virtue
lemire.me·21h
🔬Lean
if you could do it all over again...
reddit.com·1h·
Discuss: r/kubernetes
❄️Nix Flakes
Architecting pandemic infrastructure at a human scale
nakedinstinct.xyz·10m·
Discuss: Hacker News
🌍Cultural Algorithms
Exploring GrapheneOS secure allocator: Hardened Malloc
synacktiv.com·4h
🏷️Memory Tagging
X Design Notes: Pattern Matching II
blog.polybdenum.com·16h
💻Programming languages
Storing Unwise Amounts of Data in JavaScript Bigints
jonathan-frere.com·1d·
Discuss: Lobsters, Hacker News
🗃️Database Storage
Tips for Working with Legacy Code
esveo.com·2h·
Discuss: Lobsters, Hacker News
🌿git
Distribution of integer literals in text/speech and source code
shape-of-code.com·19h
🔢Denotational Semantics
Anti-*: The Things We Do But Not All The Way
blog.jim-nielsen.com·21h·
Discuss: Hacker News
🧲Magnetic Philosophy
The Ternary Manifesto
homepage.cs.uiowa.edu·5d
📝Concrete Syntax
Automated Anti-Corruption Risk Assessment via Multi-Modal Data Fusion and Causal Inference
dev.to·6h·
Discuss: DEV
🧠Machine Learning
Project management when the project is data
blog.datadef.io·1d·
Discuss: Hacker News
🔗Data Provenance
Biconnected components
emi-h.com·17h·
Discuss: Hacker News
🕸️Graph Algorithms
Research Round Up: On Anonymization -Creating Data That Enables Generalization Without Memorization
hackernoon.com·1d
💻Local LLMs
Galileo's Telescope as the Last Echo of an Ancient Stone-Light-Silence Trinity
lightcapai.medium.com·5h·
Discuss: Hacker News
⏰Time Crystals
Pointer Tagging in C++: The Art of Packing Bits Into a Pointer
vectrx.substack.com·15h·
Discuss: Substack, r/cpp
🔩Systems Programming
Everyone's trying vectors and graphs for AI memory. We went back to SQL
news.ycombinator.com·11h·
Discuss: Hacker News
💾Persistence Strategies
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·1d·
Discuss: Hacker News
⚡SIMD Optimization
A Major Trading Firm Has Open-Sourced The Latest Linux File-System: TernFS
phoronix.com·3h·
Discuss: Hacker News
📦Git LFS