🧮 Archive Algebra

Preservation Mathematics, Storage Theory, Formal Archival, Mathematical Curation

XTXMarkets/ternfs: A distributed file system
github.com·3d
🗄️File Systems
Building Your Own AI Agent
devblog.kogan.com·1h
⚡Proof Automation
Ray Marching a Blob in 3D
4rknova.com·10h·
Discuss: Hacker News
📐Projective Geometry
Sneaky Code Bites Back
architecture-weekly.com·18h·
Discuss: r/programming
🔬Refinement Types
Hostship: A Lightweight Alternative to Dokku
plark.com·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
UK Postcode Binary Encoder
github.com·2d·
Discuss: Hacker News
✅Format Verification
Qwen3-Omni Technical Report
arxiv.org·2h
🎬WebCodecs
VaseVQA: Multimodal Agent and Benchmark for Ancient Greek Pottery
arxiv.org·2h
🏺Computational Archaeology
Unified Framework for Pre-trained Neural Network Compression via Decomposition and Optimized Rank Selection
arxiv.org·2h
🧠Neural Compression
Simplified Longitudinal Retrieval Experiments: A Case Study on Query Expansion and Document Boosting
arxiv.org·2h
🔍Information Retrieval
A structure-preserving relaxation Crank-Nicolson finite element method for the Schr\"{o}dinger-Poisson equation
arxiv.org·2h
🌡️Preservation Thermodynamics
Python Data Types Explained: A Beginner's Guide with Examples & Use Cases
dev.to·3d·
Discuss: DEV
🧮Algebraic Datatypes
Code distances: a new family of invariants of linear codes
arxiv.org·2h
📏Linear Codes
Equivalence of Halting Problem to Convergence of Power Series
arxiv.org·2h
🎯Performance Proofs
On efficient block Krylov-solvers for $\mathcal H^2$-matrices
arxiv.org·2h
📐Linear Algebra
Privacy in Action: Towards Realistic Privacy Mitigation and Evaluation for LLM-Powered Agents
arxiv.org·2h
💻Local LLMs
Persistence Spheres: Bi-continuous Representations of Persistence Diagrams
arxiv.org·2h
🕳️Persistent Homology
4D-MoDe: Towards Editable and Scalable Volumetric Streaming via Motion-Decoupled 4D Gaussian Compression
arxiv.org·2h
⚡LZ4 Streaming
Automated Facility Enumeration for Building Compliance Checking using Door Detection and Large Language Models
arxiv.org·2h
📱QR Archaeology
Circular-arc H-graphs: Ordering Characterizations and Forbidden Patterns
arxiv.org·2h
🕸️Network Topology