Typechecked and Still Wrong
A mechanism-first read of Bidirectional Provability Fingerprinting, and why semantic certification matters when AI turns human intent into formal artifacts.
Cognaptus Insights
Industry thoughts, trends, and commentary.
Veto Later, Repair First
A mechanism-first reading of RACL, a repair-aware decision framework that turns fixable violations into structured options instead of wasted rejections.
Design Patterns Are Not Prompt Decorations
A practical reading of how LLMs respond when asked, corrected, and shown examples while generating Java code with the Singleton pattern.
Fold Me Once: When the Demonstration Becomes the Robot Interface
Instant-Fold shows why, for deformable physical work, a single demonstration can carry more operational detail than a written instruction.
Mind the Loss Gap
Why three new AI papers point to the same operating lesson: deployment failures often live in the directions your objective forgot to supervise.
The Lesson Plan Is the Product
Why better AI learning depends less on bigger models and more on engineered supervision, grounding, and process-aware feedback.
The Model Got Smaller. The Risk Got Wider.
Compressed LLMs can preserve accuracy while quietly inflating uncertainty, so deployment teams need conformal set-size checks before celebrating cheaper inference.
When 'Check the AC' Becomes the Hard Part
A mechanism-first reading of PEC-Home, showing why smart-home assistants fail when users naturally compress repeated commands into household shorthand.
Context Is Not Free, So Stop Feeding the Whole Table
A mechanism-first reading of CRUMB, a training-free way to make prior-fitted tabular models cheaper and more drift-aware at inference time.
Same Meaning, Different Machine
Why enterprise AI reliability depends on controlling the boundary between equivalent inputs, related cases, and out-of-scope updates.