This is a fairly wild post about OxCaml Labs from
@avsm
. It's hard to summarize the stuff they're doing, but, some examples:
- Some wild vibecoding
- A formal semantics for package managers
- A decade of docker containers (including OxCaml!?!)
anil.recoil.org/projects/oxc...
