3 comments

  • seg_lol4 days ago
    HN is technical but not <i>that</i> technical. Next time explain why &quot;Affine MultiParty Session Types for Rust&quot; are cool! And maybe how they relate to choreographies and choreographic programming.<p>Thanks for sharing, this looks cool.
    • o8vm4 days ago
      Thank you — this is very helpful feedback.<p>You’re absolutely right that I led with terminology instead of value. A simpler way to describe it is:<p>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&#x2F;protocol model.<p>So the practical goal is fewer hidden state-machine bugs, with one global source of truth for interaction order.<p>I appreciate the suggestion, and I’ll explain it this way in the next write-up.
      • antonvs55 minutes ago
        Examples would help.
  • kej42 minutes ago
    The habana-quic link is unavailable in GitHub. Is that possibly a private repo that you meant to make public?
  • alvinunreal5 days ago
    [flagged]