Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·16h
🤖Grammar Induction
Your LLM Knows the Future: Uncovering Its Multi-Token Prediction Potential
machinelearning.apple.com·2d·
Discuss: Hacker News
💻Local LLMs
Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·3d
💻Local LLMs
HydrAIDE a Go-native data engine (DB + cache + pub/sub), Apache-2.0, no query language, just Go struct
reddit.com·1d·
Discuss: r/golang
🧱Immutable Infrastructure
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·6d·
Discuss: Hacker News
💧Liquid Types
Optimized Autonomous Inference
outerbounds.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Optimizing Cloud Native Java • Ben Evans & Holly Cummins
youtube.com·1d
🌊Streaming Systems
Show HN: Creating a Binary Puzzle Game
taengo.vercel.app·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Real-Time Predictive Maintenance of Gearbox Faults via Spectral Domain Resampling & Sparse Bayesian Filtering
dev.to·16h·
Discuss: DEV
🌊Digital Signal Processing
How the Lean language brings math to coding and coding to math
amazon.science·4d·
Discuss: Hacker News
🔬Lean
Myths About Floating-Point Numbers (2021)
asawicki.info·7h·
Discuss: Lobsters, Hacker News
📐Arithmetic Precision
libsemigroups: C++ library for semigroups and monoids
github.com·4d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
Parametric Matrix Models
nature.com·2d·
Discuss: Hacker News
📐Linear Algebra
Remocal and Minimum Viable Models: Why Right-Sized Models Beat API Overkill
docker.com·15h
⚡Performance Mythology
I “Vibe” Built a System Inspired by Nature's Math, and It's 1.82x Faster Than Nginx
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Dynamic Decision Tree Pruning via Reinforcement Learning for Real-time Risk Assessment
dev.to·8h·
Discuss: DEV
🌊Stream Processing
Understanding not just Clojure's comp function by re-implementing it
evalapply.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
The incompleteness of ethics
aeon.co·1d·
Discuss: Hacker News
🔲Cellular Automata
Automated Microbial Strain Optimization via Bio-Digital Twin Simulation and Bayesian Reinforcement Learning
dev.to·11h·
Discuss: DEV
🧮Algorithmic Cooking
PHP compile time generics: yay or nay?
thephp.foundation·2d·
Discuss: Hacker News
🔗Dependently Typed