📊 HyperLogLog

Cardinality Estimation, Sketching Algorithms, Stream Processing, Probabilistic Counting

Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·13h
🔗Graph Isomorphism
An enough week
blog.mitrichev.ch·21h·
Discuss: blog.mitrichev.ch
📈Linear programming
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·7h
💎Information Crystallography
Slip – A Lisp System in JavaScript
lisperator.net·3h·
Discuss: Hacker News
🔗Lisp
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·3d·
Discuss: DEV
⚡Performance Mythology
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·13h
📝Concrete Syntax
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·17h·
Discuss: Hacker News
🔢Reed-Solomon Math
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·13h
⚡Proof Automation
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·21h·
Discuss: Hacker News
💻Local LLMs
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·1d·
Discuss: Hacker News
🔄Burrows-Wheeler
A Proof of the Riemann Hypothesis
future.forem.com·1d·
Discuss: DEV
🎯Arithmetic Coding Theory
Fun with HyperLogLog and SIMD
vaktibabat.github.io·6d·
Discuss: Hacker News, r/rust
🔢Bitwise Algorithms
Mind the Gap: Quantifying Vocabulary Mismatch in E-Commerce Site Search
searchhub.io·1d·
Discuss: Hacker News
📈Search Quality
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🔨Compilers
An enough week
blog.mitrichev.ch·21h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·16h·
Discuss: Hacker News
🔍BitFunnel
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·15h·
Discuss: Hacker News, r/programming
✅Format Verification
Retentive Relevance: Capturing Long-Term User Value in Recommendation Systems
arxiv.org·13h
🎯Content Recommendation