HorneSci

Products

Products

Software that updates a result from the part of its input that changed. Four surfaces you can evaluate now, and the lineup behind them.

Evaluate today

  1. HST Console

    Private evaluation

    A native desktop app with System, Comparison and Guarantee views. It observes routing and never changes it.

    Platforms
    Linux and macOS
    Install
    Desktop app, by arrangement
  2. Ubuntu image

    Offline image validation

    An Ubuntu 24.04 amd64 image with the HST flavor. Routing applies only to processes that load MKL.

    Platform
    Ubuntu 24.04, amd64
    Install
    Offline image, by arrangement
  3. Delta Routing CLI

    Private evaluation

    Scans a Python job, checks the machine it runs on, and adds one line where the scan points.

    Commands
    scan, doctor, seal
    Install
    Command-line tool, by arrangement
  4. Own-input assessment

    Private evaluation

    Inspects a fixed sparse-matrix workload from your own application. Returns complete output comparisons, a supported-input check and a next action.

    Commands
    inspect, assess
    Backend
    CPU reference
    Platform
    Linux, Python 3.10 or later

Command-line tools

Each tool runs on your own machine and reports what it finds. None changes your application unless you ask it to.

  • hornesci-delta scan, doctor, seal. Finds the call sites in a Python job that are worth changing, checks the machine, and adds one line where the scan points. Private evaluation
  • Own-input assessment inspect, assess. Checks a fixed sparse-matrix workload from your own application and returns complete output comparisons and a next action. Private evaluation
  • hst-customer-check. Records the linkage, the machine and the workload identity of an application, without changing it. Offline image validation
  • hst-scope status, disable. Shows the routing state of the Ubuntu image and turns it off for a machine. The original operation stays available. Offline image validation
  • hst-performance-contract list. Lists the machine-local qualifications that decide whether a workload takes the routed path. Offline image validation
  • hst-matrixdb demo. Runs a small demonstration of the matrix store that ships with the image. Offline image validation

The lineup

Runtime and bindings

hstroute
Python operator sessions with cache-aware delta routing, exact recompute and an explicit full-work fallback. Linux. Existing release.
hst-general-ir
A computational-graph library with dirty propagation and adaptive routing. Python on Linux.
hst-arm64
An AArch64 sparse-delta runtime with an explicit native ABI. Linux on aarch64.
libhstcore
An embedded C library: compile an operator and apply deltas. Licensed on request.

Assess and measure

fit-probe
Screens event streams and batch reports for delta fit.
work-function-router
Routing policies between full recompute, sparse delta and preparation cost, with saved-policy replay.
runtime-rhythm
Causal telemetry analysis and native signal collection, with declared counter availability.

Services and domains

kv-residency
KV page serialization, ordering, eviction and reload state.
bio-delta-models
Biological operator models with exact and budgeted updates.
cv-gating
Tile-based gating for video frames, with exactness checks.

Separate solution

KILN
A fixed dense operator inside Krylov solvers (CG, PCG, MINRES, FGMRES), with bitwise-reproducible results. The claim is reproducibility.

Programs and founders

HorneSci is a member of the NVIDIA Inception program and of AWS Activate.

  • Hunter HorneCofounder, mathematics and theory
  • Eric SpencerCofounder, implementation

Patent pending, US 63/922,208.

Where it fits

The approach suits repeated computation where a small part of the input changes between steps: a grid with a moving front, a rollup where a few readings move, a fixed camera where most pixels repeat.

When most of the input changes at each step, full recompute is the better choice. The assessment shows where that switch falls for your workload.

HorneSci