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...
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...
If you don't want LLM-written software in the same spirit, you can take a look on vif (https://github.com/robur-coop/vif) ;) (and about "seriously use OCaml", we seriously use it for our unikernels, see https://uniker.nl).
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...
If you don't want LLM-written software in the same spirit, you can take a look on vif (https://github.com/robur-coop/vif) ;) (and about "seriously use OCaml", we seriously use it for our unikernels, see https://uniker.nl).
Have you tried it? Claude works fine with OCaml
Cool to see some Lisp in this OCaml project:
Add to your bin/dune:
These are S-expressions, not Lisp. It's part of dune, which is the build system for ~40% of OPAM packages.
Dune is an unholy combination of bash and Lisp, according to its author - https://adam-mcdaniel.github.io/dune-website/
https://dune.build/
I stand corrected.
Very cool! Congrats. Looking forward to trying