Company
HorneSci builds math for changing systems.
The work is simple to state and hard to execute: avoid recomputing what the system already knows.
Trust is part of the product.
The goal is faster sparse-update systems with evidence a customer can inspect.
HST should make the route visible: what changed, what was reused, when exact fallback was selected, and why the result can be trusted.
That is the standard for the company as much as the runtime.