🧮 Archive Algebra

Preservation Mathematics, Storage Theory, Formal Archival, Mathematical Curation

Building Your Own AI Agent
devblog.kogan.com·3h
⚡Proof Automation
What I learned building an AI-driven spaced repetition app
seangoedecke.com·8h
⚡Proof Automation
Exploring GrapheneOS secure allocator: Hardened Malloc
synacktiv.com·14h·
Discuss: Lobsters, Hacker News
🏷️Memory Tagging
Hostship: A Lightweight Alternative to Dokku
plark.com·11h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Meandering Sea of Primordial Soupy Thought
kennethreitz.org·2d·
Discuss: Hacker News
🏛️Philosophy
The Cardinality of an Interval
youtube.com·1d
🏗️Constructive Mathematics
Persistence Spheres: Bi-continuous Representations of Persistence Diagrams
arxiv.org·4h
🕳️Persistent Homology
4D-MoDe: Towards Editable and Scalable Volumetric Streaming via Motion-Decoupled 4D Gaussian Compression
arxiv.org·4h
⚡LZ4 Streaming
Automated Facility Enumeration for Building Compliance Checking using Door Detection and Large Language Models
arxiv.org·4h
📱QR Archaeology
Circular-arc H-graphs: Ordering Characterizations and Forbidden Patterns
arxiv.org·4h
🕸️Network Topology
ME-Mamba: Multi-Expert Mamba with Efficient Knowledge Capture and Fusion for Multimodal Survival Analysis
arxiv.org·4h
🧮Kolmogorov Complexity
Tides of Memory: Digital Echoes of Netizen Remembran
arxiv.org·4h
🎭Cultural Informatics
Reflecting on the State of Rehearsal-free Continual Learning with Pretrained Models
arxiv.org·4h
🌊Streaming Algorithms
Exploring Bichronous Collaboration in Virtual Environments
arxiv.org·4h
⏱️SMPTE Timecode
Optimal 4-Approximation for the Correlated Pandora's Problem
arxiv.org·4h
🌳Huffman Trees
Efficiently Computing the Cyclic Output-to-Output Gain
arxiv.org·4h
🎯Performance Proofs
XaaS Containers: Performance-Portable Representation With Source and IR Containers
arxiv.org·4h
🔩Systems Programming
An Empirical Study on the Robustness of YOLO Models for Underwater Object Detection
arxiv.org·4h
🧮Kolmogorov Bounds
EpiCache: Episodic KV Cache Management for Long Conversational Question Answering
arxiv.org·4h
⚡ZStandard
Dynamic Objects Relocalization in Changing Environments with Flow Matching
arxiv.org·4h
📱QR Archaeology