Writing
Research, engineering, and product notes on agentic systems, memory, and planning.
Why the next frontier in agent trustworthiness isn't better scoring — it's executable grammar. Snayu's openverifiers project makes every reasoning step a checkable node in a proof trace, inspired by the same computation-graph trick PyTorch used to revolutionize gradient tracking.