Fun with HyperLogLog and SIMD
vaktibabat.github.ioยท2dยท
Discuss: Hacker News, r/rust
๐Ÿ“ŠHyperLogLog
Toward a Holistic Evaluation of Robustness in CLIP Models
arxiv.orgยท10h
๐Ÿ“ŠLearned Metrics
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.orgยท10h
๐Ÿ”ฒCellular Automata
A Decision Matrix for Time Series Forecasting Models
machinelearningmastery.comยท3h
๐Ÿ“ˆTime Series
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.toยท6hยท
Discuss: DEV
๐Ÿง Intelligence Compression
On This Day in Math - October 6
pballew.blogspot.comยท9hยท
Discuss: www.blogger.com
๐Ÿ“Interval Arithmetic
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.comยท4hยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
DeepSpace: A breakthrough in satellite image storage and processing
informatics.ed.ac.ukยท1h
๐Ÿง Machine Learning
A quiet change to RSA
johndcook.comยท1h
๐Ÿ”ฑGalois Cryptography
News for September 2025
ptreview.sublinear.infoยท2d
๐ŸงชProperty-Based Testing
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.comยท20hยท
Discuss: r/programming
โšกCache Coherence
An Illustrated Introduction to Linear Algebra
ducktyped.orgยท1hยท
Discuss: Hacker News
๐Ÿ“ˆLinear programming
Detecting Notational Errors in Digital Music Scores
arxiv.orgยท10h
๐ŸŽผComputational Musicology
Teaching Models to Decide When to Retrieve: Adaptive RAG, Part 4
blog.reachsumit.comยท6hยท
Discuss: Hacker News
๐Ÿง Learned Indexing
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.ioยท2dยท
Discuss: Hacker News, r/LLM
ฮปLambda Encodings
Property-based testing of batch-invariant operations
mmaaz.caยท15hยท
Discuss: Hacker News
๐ŸงชProperty-Based Testing
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.comยท14hยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.orgยท10h
๐Ÿ”งHardware Verification
Learning a distance measure from the information-estimation geometry of data
arxiv.orgยท10h
๐Ÿ“Information Geometry
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.netยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity