o8vm

16 ms·

1.
Hibana: Protocol Choreography for Rust(crates.io)
2 points by o8vm 5mo ago|0 comments
2.
Show HN: AI agent framework where dangerous actions are structurally unreachable(github.com)
3 points by o8vm 7mo ago|0 comments
3.
by o8vm 7mo ago
Here is an example of how a protocol defined in Hibana can confine even an AI agent’s behavior within an explicit interaction flow. https://github.com/hibanaworks/hibana-agent From an AMPST perspective, the key idea is
4.
by o8vm 7mo ago
Yes, good catch — that repo is currently private while we prepare it for public release. Current status: we’re actively preparing `hibana-quic` for publication, and it is already passing interop tests with neqo. Please wait a little longer
5.
Show HN: Hibana – choreography-first protocol safety for Rust(hibanaworks.dev)
5 points by o8vm 7mo ago|2 comments
6.
by o8vm 7mo ago
Thank you — this is very helpful feedback. You’re absolutely right that I led with terminology instead of value. A simpler way to describe it is: Hibana helps prevent protocol drift bugs in distributed systems. You describe the interaction
7.
Protocol Validation with Affine MPST in Rust(hibanaworks.dev)
1 points by o8vm 7mo ago|1 comments
8.
by o8vm 7mo ago
Hibana( https://github.com/hibanaworks/hibana ) is an Affine MPST runtime for Rust. The key claim is type-system guardrails. In Hibana software behavior is written as global choreography, projected into role-local sess
9.
Show HN: Hibana – An Affine MPST Runtime for Rust(hibanaworks.dev)
18 points by o8vm 7mo ago|6 comments
10.
by o8vm 2y ago
In simple terms, userland just issues syscalls to the kernel. For a command, this could be as straightforward as mkdir dir in the shell or mkdir("dir") in Rust code. While this seems simple, it's not particularly convenient.
11.
Writing a Unix-Like OS in Rust(vmm.dev)
6 points by o8vm 2y ago|0 comments
12.
by o8vm 3y ago
octox aims to provide a user library similar to Rust’s std, but implementing it is somewhat difficult.
13.
by o8vm 3y ago
Oh, I see! Thank you very much. I'll add both later!
14.
by o8vm 3y ago
Thanks! Is this notation in the README not enough: https://github.com/o8vm/octox#license ?
15.
by o8vm 3y ago
I would like to implement a plan9-like OS someday!
16.
by o8vm 3y ago
Thanks！For me https://pdos.csail.mit.edu/6.S081/2020/xv6/book-riscv-rev1.p... was quite helpful! but Someday I will write a book on how to implement this OS step by step in Japanese.
17.
by o8vm 3y ago
octox is also different in that the kernel, userland, mkfs, and build system are all implemented in Rust, and I think it is also different at the type level, for example, octox using mpmc for Pipe, and using OnceLock and LazyLock for static
18.
Octox: Unix-like OS in Rust inspired by xv6-riscv(github.com)
190 points by o8vm 3y ago|119 comments