HackerTrans
トップ新着トレンドコメント過去質問紹介求人

charlycst

no profile record

投稿

Show HN: SpadeBox – Sandboxed tools and JavaScript runtime for AI agents

github.com
3 ポイント·投稿者 charlycst·先月·0 コメント

コメント

charlycst
·8 か月前·議論
There is an example of interface in the docs: https://lionsos.org/docs/examples/kitty/
charlycst
·9 か月前·議論
Another way to build emulators that I am very interested in is to start from a spec, and automatically translate it into executable code. High-fidelity emulators have a lot of potential for testing and verification.

The best example I know of is Sail [1]. Among other, they have RISC-V spec [2] and a bunch of compiler back-ends. They can already generate C or OCaml emulators, and I have been working on a new Rust back-end recently.

[1]: https://github.com/rems-project/sail [2]: https://github.com/riscv/sail-riscv