Cardinality Estimation, Sketching Algorithms, Stream Processing, Probabilistic Counting

Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท22h
๐Ÿ”—Graph Isomorphism
An enough week
blog.mitrichev.chยท1dยท
๐Ÿ“ˆLinear programming
A gentle introduction to Generative AI: Historical perspective
medium.comยท1hยท
Discuss: Hacker News
๐Ÿง Learned Codecs
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท16h
๐Ÿ’ŽInformation Crystallography
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
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
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท13hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.appยท5hยท
Discuss: Hacker News
๐Ÿ“œBinary Philology
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.orgยท22h
๐Ÿ“Concrete Syntax
YouTube gets ~5% CTR lift on Shorts by replacing embedding tables with Semantic IDs
shaped.aiยท1d
๐Ÿ“ŠFeed Optimization
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
Efficient and accurate search in petabase-scale sequence repositories
nature.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.comยท3h
๐ŸŒŠStream Processing
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.orgยท22h
โšกProof Automation
A Proof of the Riemann Hypothesis
future.forem.comยท2dยท
Discuss: DEV
๐ŸŽฏArithmetic Coding Theory
Fun with HyperLogLog and SIMD
vaktibabat.github.ioยท6dยท
๐Ÿ”ขBitwise Algorithms
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
My First Week of Vibecoding
underreacted.leaflet.pubยท15mยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐Ÿ”จCompilers
An enough week
blog.mitrichev.chยท1dยท
๐ŸงฎZ3 Solver