Cardinality Estimation, Sketching Algorithms, Stream Processing, Probabilistic Counting

Hyperloglog: Counting Without Counting
karthihegde.devยท2dยท
Discuss: Hacker News
๐Ÿ“ŠCount-Min Sketch
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท2hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท11h
ฮปLambda Formalization
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.toยท9hยท
Discuss: DEV
๐Ÿ—บ๏ธCompetency Maps
Flag this post
Show HN: I built a lightweight AI tool to analyze visitor behavior
getallinsights.comยท10hยท
Discuss: Hacker News
๐Ÿ“ŠFeed Optimization
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท4h
๐ŸŒ€Brotli Dictionary
Flag this post
A Minimal Route to Transformer Attention
neelsomaniblog.comยท1dยท
Discuss: Hacker News
๐ŸงฎVector Embeddings
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท1dยท
ฮปLambda Encodings
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.comยท6hยท
Discuss: Hacker News
โœ…Format Verification
Flag this post
Issue 496
haskellweekly.newsยท12h
๐Ÿ”—Functional Compilers
Flag this post
Convert any GitHub repo to coding puzzles
github.comยท2dยท
Discuss: Hacker News
โšกProof Automation
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.orgยท1d
๐ŸงฎKolmogorov Bounds
Flag this post
Estimating the Perceived 'Claustrophobia' of New York City's Streets
mfranchi.netยท11hยท
Discuss: Hacker News
๐Ÿ“ŠCount-Min Sketch
Flag this post
New Dataset PerSense-D Enables Model-Agnostic Dense Object Segmentation
hackernoon.comยท2d
๐Ÿ“ŠLearned Metrics
Flag this post
3 Minutes to Start Your Research in Nearest Neighbor Search
romanbikbulatov.bearblog.devยท1dยท
Discuss: Hacker News
๐Ÿ“Range Queries
Flag this post
MLPrE -- A tool for preprocessing and exploratory data analysis prior to machine learning model construction
arxiv.orgยท20h
๐ŸŽตAudio ML
Flag this post
Show HN: LogLens, a fast alternative to grep โ€“ jq for structured logs
getloglens.comยท10hยท
Discuss: Hacker News
๐Ÿ“Log Parsing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท7h
๐Ÿ”—Combinatory Logic
Flag this post