Week 46 · November 9–15, 2026
Radar
Topics we can back with this week’s papers, releases or threads.
Is your robot’s memory just a clock?
Memory-augmented VLA policies that stamp frames by time can treat a pause like work. A Nov 10 cs.RO paper shows a brief fidget is enough to throw the memory off. Nearby: TanCRAFT tries to forecast assembly mistakes before they happen.
A complete calculus for goto and break
CFGKAT extends guarded Kleene algebra with tests to non-local control flow and proves a sound, complete axiomatization. Another paper asks how domain scientists keep performance portable when HPC hardware is shaped by AI workloads.
Compression tricks landing in local stacks
llama.cpp just added OCP FP8 support on CUDA. On HN, people are also passing around word of an Apple app for running local models on a Mac.
Two search communities sit down together
Operations research’s branch-and-bound and AI’s A* are cousins that rarely share a benchmark. A new math.OC paper puts both on resource-constrained project scheduling and measures the gap. Lean 4 and mathlib also tagged v4.36.0-rc2; Qiskit 2.6.2 shipped last week.