[HN Gopher] Show HN: Hibana - An Affine MPST Runtime for Rust
___________________________________________________________________
Show HN: Hibana - An Affine MPST Runtime for Rust
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
Author : o8vm
Score : 16 points
Date : 2026-02-06 15:09 UTC (5 days ago)
(HTM) web link (hibanaworks.dev)
(TXT) w3m dump (hibanaworks.dev)
| seg_lol wrote:
| 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 wrote:
| 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 wrote:
| Examples would help.
| kej wrote:
| The habana-quic link is unavailable in GitHub. Is that possibly a
| private repo that you meant to make public?
___________________________________________________________________
(page generated 2026-02-11 23:00 UTC)