🧠 Learned Indexes

ML-assisted Data Structures, Neural Networks, B-tree Replacement, Database Optimization

GoMem is a high-performance memory allocator library for Go
github.com·1d
🧠Memory Allocators
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·3h·
Discuss: Lobsters, Hacker News
🌐DNS Security
I played 1k hands of online poker and built a web app with Cursor AI
blog.rchase.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·23h·
Discuss: Hacker News
🎯Performance Proofs
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·15h·
Discuss: DEV
⚙️Proof Engineering
Statistical Analysis Using NumPy and SciPy: A Practical Guide
dev.to·3d·
Discuss: DEV
📐Linear Algebra
Enhancing Vector Signal Generator Accuracy with Adaptive Polynomial Regression Calibration
dev.to·1d·
Discuss: DEV
📡Audio Modulation
BioAutoML-NAS: An End-to-End AutoML Framework for Multimodal Insect Classification via Neural Architecture Search on Large-Scale Biodiversity Data
arxiv.org·3d
🧠Machine Learning
Spectral Graph Clustering under Differential Privacy: Balancing Privacy, Accuracy, and Efficiency
arxiv.org·2d
📈Spectral Graph Theory
Can Risk-taking AI-Assistants suitably represent entities
arxiv.org·1d
🔗Constraint Handling
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·1d
🔲Cellular Automata
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·15h·
Discuss: DEV
📊Multi-vector RAG
Automated Performance Appraisal System Calibration via Bayesian Hyperparameter Optimization
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
A small number of samples can poison LLMs of any size
dev.to·1d·
Discuss: DEV
💻Local LLMs
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📐Compression Bounds
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·4d
🎯Performance Proofs
On the Relationship Between the Choice of Representation and In-Context Learning
arxiv.org·1d
📊Learned Metrics
Automated Spectral Anomaly Detection via Hyperdimensional Pattern Mapping in Transient Absorption Spectroscopy
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·7h·
Discuss: DEV
📊Multi-vector RAG