Nice work! Just looking through the Eio code, you may want to use the capability restrictions more. For example, in the static file serving code, you can use `Eio.Path.open_subtree` which will use Linux fd sandboxing to prevent accidental symlink escapes or other ways to leave that subtree: https://ocaml-multicore.github.io/eio/eio/Eio/Path/index.htm...
Will keep an eye on this project, love me some Ocaml! Do you have an example of it deployed and in use?
Don’t like the “fresh off the AI block” feeling of the website but could be a bit more confident if I could see it used in the actual wild!
Interesting software implementation.
I took a look at the github and it seems many of the projects are written in OCaml and are made with LLMs.
I'm not sure about how practical or useful this will really be and also the long term support due to there not being as much OCaml training data or users compared to other languages. The only people that really seriously use OCaml is Jane Street and I don't know how much of this stuff they have already built in house...
Have you tried it? Claude works fine with OCaml
Cool to see some Lisp in this OCaml project:
Add to your bin/dune:
(executable
(name main)
(libraries spindle eio_main)
(preprocess (pps ppx_wiretype)))**
These are S-expressions, not Lisp. It's part of dune, which is the build system for ~40% of OPAM packages.
Very cool! Congrats. Looking forward to trying