user: o8vm

107 karma | created 5 years ago

recent submissions

Show HN: AI agent framework where dangerous actions are structurally unreachable (github.com)

3 pts|10 days ago|discuss

(no title)

18 days ago|discuss

(no title)

18 days ago|discuss

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

5 pts|23 days ago|2 comments

(no title)

23 days ago|discuss

(no title)

23 days ago|discuss

Protocol Validation with Affine MPST in Rust (hibanaworks.dev)

1 pts|23 days ago|1 comment

Show HN: Hibana – An Affine MPST Runtime for Rust (hibanaworks.dev)

18 pts|23 days ago|6 comments

(no title)

1 year ago|discuss

Writing a Unix-Like OS in Rust (vmm.dev)

6 pts|1 year ago|discuss

(no title)

2 years ago|discuss

(no title)

2 years ago|discuss

(no title)

2 years ago|discuss

(no title)

2 years ago|discuss

(no title)

2 years ago|discuss

(no title)

2 years ago|discuss

Octox: Unix-like OS in Rust inspired by xv6-riscv (github.com)

190 pts|2 years ago|119 comments