📊 HyperLogLog

Cardinality Estimation, Sketching Algorithms, Stream Processing, Probabilistic Counting

Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
⚔️Lean Tactics
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·20h·
Discuss: Hacker News, r/programming
✅Format Verification
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·1h·
Discuss: DEV
🔤Character Classification
Retentive Relevance: Capturing Long-Term User Value in Recommendation Systems
arxiv.org·17h
🎯Content Recommendation
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·8h·
Discuss: Hacker News
🎯Performance Proofs
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·7h·
Discuss: DEV
📊Multi-vector RAG
GoMem is a high-performance memory allocator library for Go
github.com·19h
🧠Memory Allocators
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·17h
🔗Parser Combinators
IASC: Interactive Agentic System for ConLangs
arxiv.org·17h
🌳Context free grammars
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·17h
💻Local LLMs
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·17h
🌈Spectral Methods
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·17h·
Discuss: r/LLM
💻Local LLMs
Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.org·2d
📏Range Queries
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·13h·
Discuss: DEV
🌊Apache Kafka
Instance Relation Learning Network with Label Knowledge Propagation for Few-shot Multi-label Intent Detection
arxiv.org·17h
🤖Grammar Induction
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·1d
💻Local LLMs
Optimal Stopping in Latent Diffusion Models
arxiv.org·17h
🧠Machine Learning