Dispatches
open · article · 2 published
September 2026
Dispatches
This Neural Method Searches Only Feasible Functions
Hintermüller and Ning replace penalty losses and multiplier networks with parameterizations whose outputs satisfy selected function-space constraints by construction, then eliminate some PDE variables algebraically.
Dispatches
Jev Turns AI Judgment Into a Typed Software Primitive
TypeSafe's first System One model trades generated prose for constrained probability distributions; the public release shows a new software contract, but not yet a fully disclosed model architecture.