Top New Best Ask Show Jobs

o8vm

107 karma · joined September 18, 2020

submissions comments

Hibana: Protocol Choreography for Rust

crates.io·2 pts·o8vm·

Show HN: AI agent framework where dangerous actions are structurally unreachable

github.com·3 pts·o8vm·

Show HN: Hibana – choreography-first protocol safety for Rust

hibanaworks.dev·5 pts·o8vm·

Protocol Validation with Affine MPST in Rust

hibanaworks.dev·1 pts·o8vm·

Show HN: Hibana – An Affine MPST Runtime for Rust

hibanaworks.dev·18 pts·o8vm·

Writing a Unix-Like OS in Rust

vmm.dev·6 pts·o8vm·

Octox: Unix-like OS in Rust inspired by xv6-riscv

github.com·190 pts·o8vm·