🧮 Archive Algebra

Preservation Mathematics, Storage Theory, Formal Archival, Mathematical Curation

​​RAG is dead: why enterprises are shifting to agent-based AI architectures
techradar.com·2d
💾Persistence Strategies
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·1d·
Discuss: Hacker News
⚡gRPC
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·1d·
Discuss: Hacker News
🌐DNS Security
Being a Script
raphaelbastide.com·1d·
Discuss: Hacker News
🏛Digital humanities
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·4d·
Discuss: Hacker News
🔤Type Theory
Generative AI: A Self-Study Roadmap
kdnuggets.com·18h
🗺️Competency Maps
Durable Agent Loops
restate.dev·2d·
Discuss: Hacker News, r/programming
⚙️TLA+
Build a conversational data assistant, Part 1: Text-to-SQL with Amazon Bedrock Agents
aws.amazon.com·13h
🌊Streaming Systems
LISTEN: Lightweight Industrial Sound-representable Transformer for Edge Notification
arxiv.org·1d
🎵Audio ML
Basic To-Do List App
dev.to·16h·
Discuss: DEV
🌳Incremental Parsing
Mutual Information Free Topological Generalization Bounds via Stability
arxiv.org·2d
🧮Kolmogorov Bounds
Disappearing Ink: Obfuscation Breaks N-gram Code Watermarks in Theory and Practice
arxiv.org·3d
💧Digital Watermarking
Building an MCP Server in Umbraco: My Journey into AI-Powered Content Management
dev.to·1d·
Discuss: DEV
⚡gRPC
JECQ: Smart, Open-Source Compression for FAISS Users—6x Compression Ratio, 85% Accuracy
dev.to·2d·
Discuss: DEV
📊Quantization
(Attempting to) Engineer the chaos out of AI agents
dev.to·12h·
Discuss: DEV
⚔️Lean Tactics
ISLES'24 -- A Real-World Longitudinal Multimodal Stroke Dataset
arxiv.org·4d
🌀Differential Geometry
Show HN: I built tinyORM, a minimal, database-agnostic TypeScript ORM
github.com·3d·
Discuss: Hacker News
🎯Dependent Preservation
I don't think LLM's are making us stupider
news.ycombinator.com·13h·
Discuss: Hacker News
📏Code Metrics
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·2d
📋Document Grammar
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·1d
🔍Information Retrieval