Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·4h
🧩Constraint Solvers
Understanding the KV Cache (feat. Self-Attention)
dev.to·57m·
Discuss: DEV
🔄Subinterpreters
Property-based testing of batch-invariant operations
mmaaz.ca·9h·
Discuss: Hacker News
🎲Property Testing
Recurse Checkins
404wolf.com·7h
🔄Bootstrapping
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·4h
📱Bytecode Design
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🪜Recursive Descent
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1h
🌳Tree Shaking
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·14h
🧮Combinator Calculus
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·4h
📋Souffle Datalog
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·5h
🔒Rust Borrowing
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·1h·
Discuss: Hacker News
⚡Cache Optimization
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·14h·
Discuss: r/programming
🧠Memory Models
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·12h·
Discuss: Hacker News
🔢Algebraic Datatypes
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·3h·
Discuss: DEV
🌳Pattern Match Compilation
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·1d·
Discuss: Hacker News
🧩Constraint Solvers
News for September 2025
ptreview.sublinear.info·1d
🎲Property Testing
ECS Implementation
reddit.com·23h·
Discuss: r/cpp
🤖Embedded Go
LLMs are badly misaligned
lesswrong.com·18h
✅Type Checking
How Much Should You Tell Your AI Agent?
raymondyxu.com·14h·
Discuss: Hacker News
💬Interactive REPLs