HN Explorer

o8vm

↗ HN profile [ 123 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Hibana: Protocol Choreography for Rust (crates.io)
    2 points 1
  2. 1 points 0
  3. Show HN: AI agent framework where dangerous actions are structurally unreachable (github.com)

    Hi HN — Today's AI agent guardrails are almost entirely post-hoc. The model proposes an action, then a policy layer tries to reject it. Prompt injection, jailbreaks, and edge cases mean the dangerous action is always…

    3 points 0
  4. Show HN: Hibana – choreography-first protocol safety for Rust (hibanaworks.dev)

    Hi HN — I just open-sourced Hibana and hibana-agent. Hibana is an Affine MultiParty Session Types (MPST) runtime for Rust. It targets protocol drift in distributed systems. Instead of maintaining separate hand-written…

    5 points 2
  5. Protocol Validation with Affine MPST in Rust (hibanaworks.dev)
    1 points 1
  6. Show HN: Hibana – An Affine MPST Runtime for Rust (hibanaworks.dev)

    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 -…

    18 points 3
  7. Writing a Unix-Like OS in Rust (vmm.dev)
    6 points 0
  8. Octox: Unix-like OS in Rust inspired by xv6-riscv (github.com)
    163 points 121