Hacker News new | ask | show | jobs
user: o8vm
created: 2020-09-18
karma: 107

submissions:

Hibana: Protocol Choreography for Rust
2 points | 0 comments
Show HN: AI agent framework where dangerous actions are structurally unreachable
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Hibana – choreography-first protocol safety for Rust
5 points | 2 comments
0 points | 0 comments
0 points | 0 comments
Protocol Validation with Affine MPST in Rust
1 points | 1 comments
Show HN: Hibana – An Affine MPST Runtime for Rust
18 points | 6 comments
0 points | 0 comments
Writing a Unix-Like OS in Rust
6 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Octox: Unix-like OS in Rust inspired by xv6-riscv
190 points | 119 comments