A Kevin week
blog.mitrichev.ch·3d·
🧮Z3 Solver
Vectorization in Python for Machine Learning
dev.to·1d·
Discuss: DEV
SIMD Vectorization
2025-09-17: Classic Machine Learning Models and XAI Methods
ws-dl.blogspot.com·12h·
🧠Machine Learning
Hamilton–Jacobi–Bellman is just linear duality
guille.site·15h·
Discuss: Hacker News
📈Linear programming
TimeCluster with PCA is Equivalent to Subspace Identification of Linear Dynamical Systems
arxiv.org·1d
🌊Spectral Clustering
Linkage
11011110.github.io·2d
⚔️Lean Tactics
Fast Fourier Transforms Part 1: Cooley-Tukey
connorboyle.io·17h·
📊Frequency Analysis
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.com·22h·
Discuss: Hacker News
🎯Interactive Provers
RAG Explained: Understanding Embeddings, Similarity, and Retrieval
towardsdatascience.com·13h
📊Multi-vector RAG
Learning languages with the help of algorithms
johndcook.com·11h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Snail Homing and Mating Search Algorithm for Weight Optimization of Stepped-Transmission Shaft
arxiv.org·4h
🌀Differential Geometry
Hardness of Dynamic Core and Truss Decompositions
arxiv.org·4h
🎯Performance Proofs
Bayesian Parametric Matrix Models: Principled Uncertainty Quantification for Spectral Learning
arxiv.org·1d
🌈Spectral Methods
Optimality Conditions for Multivariate Chebyshev Approximation: A Survey
arxiv.org·4h
🧮Kolmogorov Bounds
Solving a Wooden Puzzle Using Haskell
glocq.github.io·1d·
💎Information Crystallography
Concentration inequalities for semidefinite least squares based on data
arxiv.org·1d
🧮Kolmogorov Bounds
Tractability Frontiers of the Shapley Value for Aggregate Conjunctive Queries
arxiv.org·4h
🧠Query Planners
ZTree: A Subgroup Identification Based Decision Tree Learning Framework
arxiv.org·1d
🌳Huffman Trees
Enhanced LC-MS Peptide Identification via Augmented Graph Neural Networks and Spectral Deconvolution
dev.to·1h·
Discuss: DEV
🔍Vector Forensics