hckrnws

Show HN: Hibana – An Affine MPST Runtime for Rust

by o8vm

Hi HN — I just open-sourced Hibana and hibana-agent.

Hibana is an Affine MPST runtime for Rust: - global choreography -> compile-time projection -> role-local execution - core is no_std / no_alloc-oriented - deterministic route/offer/recv/decode model

Repo: https://github.com/hibanaworks/hibana Demo (AI control with session-typed branching): https://github.com/hibanaworks/hibana-agent

kej

28m

The habana-quic link is unavailable in GitHub. Is that possibly a private repo that you meant to make public?

seg_lol

HN is technical but not that technical. Next time explain why "Affine MultiParty Session Types for Rust" are cool! And maybe how they relate to choreographies and choreographic programming.

Thanks for sharing, this looks cool.

o8vm

Thank you — this is very helpful feedback.

You’re absolutely right that I led with terminology instead of value. A simpler way to describe it is:

Hibana helps prevent protocol drift bugs in distributed systems. You describe the interaction once as a global choreography, and each role gets a projected local API. Because steps are affine (consumed once), invalid transitions like skipping, reusing, or taking the wrong branch are rejected by the type/protocol model.

So the practical goal is fewer hidden state-machine bugs, with one global source of truth for interaction order.

I appreciate the suggestion, and I’ll explain it this way in the next write-up.

antonvs

41m

Examples would help.

alvinunreal

[flagged]

Crafted by Rajat

Source Code