The feature in OxCaml that more languages should steal https://lobste.rs/s/51qnh7 #ml
https://theconsensus.dev/p/2026/06/27/the-feature-in-oxcaml-more-languages-should-steal.html
ml
jj_tui: terminal user interface to jujutsu focused on speed and clarity https://lobste.rs/s/fg3sgh #ml #vcs
https://tangled.org/elidowling.com/jj_tui
Mi ne estas granda fervorulo de maŝina lernado (la furora speco de artefarita inteligenteco). Ne plaĉas al mi ĝia uzo en verkado. 
Tamen! Ĝi havas grandan utilon en iuj sciencaj fakoj, kaj tio scivoligas min, ĉu ĝi povus helpi nin gene konstrui katulojn. Se jes, tio certe superpezus ĉiun malutilon, kiun ĝi iam faris aŭ faros al homa socio, ĉu ne? 
Self-hosting email the hard way from your own routable IPv4 block up https://lobste.rs/s/cw7vxa #ml #networking #security
https://anil.recoil.org/notes/recoil-self-hosting-2026
A line-by-line translation of the OCaml runtime from C to Rust https://lobste.rs/s/k85k6w #c #ml #rust #vibecoding
https://discuss.ocaml.org/t/a-line-by-line-translation-of-the-ocaml-runtime-from-c-to-rust/18247
Debootstrapping without Archeology: Stacked Implementations in Camlboot via @fanf https://lobste.rs/s/lws1qc #lisp #ml
https://arxiv.org/abs/2202.09231
Taking OCaml and Eio for a spin https://lobste.rs/s/mush3s #ml
https://mattjhall.co.uk/posts/taking-ocaml-eio-for-a-spin.html
Xavier Leroy on programming, languages and formal verification via @xvw https://lobste.rs/s/oviysl #video #formalmethods #ml
https://www.youtube.com/watch?v=9Cswiqrq6So
Why ML/OCaml are good for writing compilers https://lobste.rs/s/kzo2fe #compilers #ml
https://flint.cs.yale.edu/cs421/case-for-ml.html
Meta Garbage Collection: Using OCaml's GC to GC Rust https://lobste.rs/s/p3z0zw #ml #rust
https://soteria-tools.com/blog/meta-garbage-collection
Why Rocq is better than Lean for program verification https://lobste.rs/s/vnh6b2 #compilers #formalmethods #ml #plt
https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html
Guarded methods in OCaml by @xvw https://lobste.rs/s/ki0ge3 #ml #programming
https://xvw.lol/en/articles/oop-refl.html
bonsai: A library for building dynamic webapps, using Js_of_ocaml via @soapdog https://lobste.rs/s/mdm2yk #ml #web
https://github.com/janestreet/bonsai
Retrofitting a build system into a compiler https://lobste.rs/s/izkimy #compilers #ml
https://www.dra27.uk/blog/platform/2025/09/25/building-with-effects.html
Just a rumour of a bug is enough to find a security exploit these days via @lobsters https://lobste.rs/s/t73wqi #ml #security #vibecoding
https://anil.recoil.org/notes/rumour-is-the-exploit
Hillingar - MirageOS Unikernels on NixOS https://lobste.rs/s/ifyeuo #ml #nix #osdev #security
https://ryan.freumh.org/hillingar.html