o8vm | Dark Hacker News

1.	Eggshell is an open-source token-saving tool built in Lean4(github.com) 2 points by o8vm 1 day ago \| 0 comments
2.	Choreographic Programming in Rust(github.com) 40 points by o8vm 1 day ago \| 26 comments
3.	Hibana-QUIC: QUIC in Rust using choreographic programming, no_std and no_alloc(github.com) 2 points by o8vm 1 day ago \| 0 comments
4.	1 points by o8vm 44 days ago \| discuss
5.	Hibana: Protocol Choreography for Rust(crates.io) 2 points by o8vm 162 days ago \| 0 comments
6.	1 points by o8vm 162 days ago \| discuss
7.	Show HN: AI agent framework where dangerous actions are structurally unreachable(github.com) 3 points by o8vm 234 days ago \| 0 comments
8.	Show HN: Hibana – choreography-first protocol safety for Rust(hibanaworks.dev) 5 points by o8vm 247 days ago \| 2 comments
9.	Protocol Validation with Affine MPST in Rust(hibanaworks.dev) 1 points by o8vm 247 days ago \| 1 comment
10.	Show HN: Hibana – An Affine MPST Runtime for Rust(hibanaworks.dev) 18 points by o8vm 248 days ago \| 6 comments
11.	Writing a Unix-Like OS in Rust(vmm.dev) 6 points by o8vm 2 years ago \| 0 comments
12.	Octox: Unix-like OS in Rust inspired by xv6-riscv(github.com) 190 points by o8vm 3 years ago \| 119 comments