Ask a techspert: What is inference?
blog.google·2d
📊Quantization
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
A Briefing on Logistic Regression
blog.engora.com·20h·
Discuss: Hacker News
🧠Machine Learning
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
First NetHack ascension, and insights into the AI capabilities it requires
mikaelhenaff.substack.com·1h·
Discuss: Substack
🔲Cellular Automata
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·22h·
Discuss: Hacker News, r/programming
🔗Lisp
A Spatio-Temporal Point Process for Fine-Grained Modeling of Reading Behavior
arxiv.org·4h
📊Learned Metrics
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Define-ML: An Approach to Ideate Machine Learning-Enabled Systems
arxiv.org·4h
🧠Machine Learning
Introduction to Algorithms: What They Are and Why They Matter
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·2d
🎯Performance Proofs
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·2d
⚖️Hoare Logic
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·2d
🔐Quantum Security
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·4h
📊Quantization
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·4h
🧠Intelligence Compression
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·18h·
Discuss: DEV
📏Code Metrics
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·1d
💻Local LLMs