Newsletter / Technology
The Feedback Loop Is the Product
AI is becoming useful where reality can grade its homework.
Amor Newsletter
··6 min read
On this page
The Machine Still Needs a Ruler
The week's less-advertised AI story is not that models are becoming agents. They have been agents in slide decks for roughly three geological eras. It is that the promising deployments all put the model inside a system that can measure, reject, and retry its work. That is less like digital godhood and more like a junior engineer with unusually fast hands, shell access, and a CI pipeline that occasionally remembers to say no.
Consider the two strongest practical claims. Z.ai says its GLM-powered Infra Agent helped take inference infrastructure for GLM-5.3-Flash from adaptation to production readiness in under two weeks and roughly triple serving performance on a cluster of more than 100,000 Chinese-made accelerators. Its own formulation is admirably circular: “The model optimizes the system; the system runs the model.” The important noun in that sentence is not model. It is system: traces, tests, numerical tolerances, microbenchmarks, end-to-end metrics, and engineers empowered to review critical changes.
Likewise, a small Qwen-derived model did not wake up one morning with a mystic understanding of join ordering. It was given tools, PostgreSQL execution results, and an enormous number of chances to be wrong in ways a database could price. In a self-reported experiment on 113 join-heavy JOB queries, the best-of-many evaluation reported 1.81x geometric-mean and workload speedups versus PostgreSQL defaults—but only after candidate generation, hint translation, repeated runs, noise controls, and selection across up to 15 candidates. The author is clear about the intended territory: recurring queries, not the conquest of every one-off SQL statement. The model is not replacing the optimizer so much as becoming a highly caffeinated tuning loop around it.
This is the dividing line obscured by the agentic fog machine. Language models generate plausible moves; environments determine whether those moves deserve to survive. Where the environment supplies cheap, local, objective feedback, the model can compound usefulness. Where it does not, one gets a very articulate intern explaining why rm -rf was strategically necessary.
Postgres Hires a Gambler With a Stopwatch
The query-planning experiment deserves attention precisely because it is narrower than its headline. The setup trained a 4.66-billion-parameter model to inspect schema and statistics, solicit plans, submit pg_hint_plan-style alternatives, execute them, and keep the result or retain PostgreSQL's default. Training occurred on synthetic IMDb queries; evaluation used the distinct-topology JOB benchmark on the same database. That is a serious attempt at an engineering question, rather than a chatbot wearing a database administrator's lanyard.
The reported result is also inseparable from its search budget. Three trajectories per evaluation query, preliminary feedback, and selection among up to 15 candidates is not a single-shot planner. Nor is 1.81x speedup the same thing as an 81% latency reduction; the post separately reports a 44.7% decrease in summed latency. Those distinctions, along with a 5% tie zone and explicitly noisy timing environment, are in the experiment's own methodology. Good. Benchmarks should make their accounting visible, especially when the model is allowed to roll dice several times before presenting its best throw.
Still, the architecture is the point. PostgreSQL remains the conservative baseline and execution is the judge. The model’s policy learns preferences over a specific workload—nested loops, index scans, disabled sorts, a changed random-page-cost setting—rather than announcing a general theory of relational algebra. That makes it potentially useful. Enterprises do not need an oracle to optimize every imaginable query; they need a way to find savings in the recurring, expensive, embarrassingly measurable parts of their estate. The future may contain fewer prompt engineers and more people who can build an eval harness without quietly benchmarking the cache.
Rust Offers the GPU a Chaperone, Not Salvation
NVIDIA's CUDA Rust announcement follows the same logic from a different layer of the stack: turn a class of expensive runtime mishaps into something the toolchain can reject before it hits silicon. CUDA Rust offers a SIMT path, cuda-oxide, and a tile-oriented path, cutile-rs, for kernels compiled natively to PTX. The former preserves thread-level control; the latter lets the compiler own tile-to-architecture mapping. This is not merely Rust cosplay with a GPU sticker. The stated objective is to carry ownership constraints across a domain where a buffer can become a crime scene with thousands of simultaneous witnesses.
The tile approach is especially revealing. It gives each tile exclusive ownership of its writable sub-tensor while treating inputs as shared; the SIMT route can use types and launch contracts to constrain mutable access and launch configuration. In examples, certain input/output aliasing patterns fail at compile time. That is valuable, but only if everyone resists the traditional temptation to translate “prevents this demonstrated aliasing error” into “solves GPU correctness.” Synchronization, numerical behavior, algorithm design, and performance still exist. Nature has not agreed to be borrow-checked.
NVIDIA itself supplies the proper antidote to the launch-day incense: “Both projects are early-stage and neither is production-ready.” cuda-oxide needs a pinned nightly toolchain; cutile-rs uses stable Rust but JIT-compiles through CUDA Tile IR. APIs will change, coverage is incomplete, and even the naming has attracted a reported crates.io-confusion complaint. Yet the direction matters. Better types are feedback mechanisms in advance: a compiler is an evaluator that works before the pager goes off. In an industry presently obsessed with making machines act, making certain bad actions unrepresentable remains rather elegantly unfashionable.
Governance Is the Bill for All Those Loops
Once models write kernels, tune queries, and diagnose inference fleets, governance stops being a compliance appendix and becomes part of the runtime architecture. A CSO Online survey of 16 AI-governance products is a useful, if inevitably sales-adjacent, map of the emerging control layer: inventories, agent discovery, prompt-injection defenses, output filtering, data-flow controls, red teaming, model bills of materials, and traces priced in the universal enterprise currency of “contact sales.”
No buyer should mistake a vendor roundup for a comparative security audit. The article provides neither standardized performance evidence nor independent validation, and many products have custom pricing and promotional capability descriptions. But the market signal is unambiguous: organizations are discovering that an AI fleet is not a collection of endpoints. It is a network of permissions, datasets, tools, models, prompts, logs, and side effects. A control plane does not magically align an agent; it makes the agent’s footprint inspectable enough that someone can eventually explain the invoice, breach, or inexplicable quarterly variance.
The grander claims about AI solving mathematics belong in this frame too. Scientific American reports that OpenAI says a model may have solved Navier–Stokes and has made unspecified progress on another Millennium Prize problem; the remaining targets range from conjectures where searching for counterexamples may help to P versus NP, which experts do not expect models to resolve soon. The prize is $1 million; verification is the actual price of admission. Proof, like a production deployment, is not a confident output. It is a claim that survives hostile checking. The systems winning now are not those that ask the model to be trusted. They build enough rulers, gates, and counterexamples that trust becomes unnecessary.
Sources
- Introducing CUDA Rust: Two Tracks for Writing GPU Kernels
Hacker News
- Training a 4B model to produce 81% faster query plans than Postgres - Rohan Bansal
Hacker News
- 16 governance tools for securing your AI fleet
bing
- Which million-dollar math problem could AI solve next?
Scientific American
- Toward Recursive Self-Improvement: How GLM Built Its Own Inference Infrastructure
Hacker News
AI
LLMs
GPU programming
inference
databases
governance
From Amor Newsletter.
Explore the newsletter archive ↗Generation cost
API-equivalent token estimate (USD)
0.274347
Total tokens
77,243
Token-rate estimates do not represent per-use subscription charges.