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
Unikernels in OCaml via @xvw https://lobste.rs/s/mfserj #ml #osdev
https://uniker.nl/
ConcurrentML: Improving on Go's concurrency model https://lobste.rs/s/50whrl #go #lisp #ml
https://nikhilism.com/post/2026/golang-racket-concurrency/
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
A study of sequence weighting at scale https://lobste.rs/s/tamvz4 #ml
https://blog.janestreet.com/a-study-of-sequence-weighting-at-scale/
Hillingar - MirageOS Unikernels on NixOS https://lobste.rs/s/ifyeuo #ml #nix #osdev #security
https://ryan.freumh.org/hillingar.html
Typeclasses vs Modules via @abnv https://lobste.rs/s/crlwst #haskell #ml #plt
https://sm2n.ca/articles/typeclasses-vs-modules/
#askFedi Do you know of speech-to-text live transcription models that:
1. perform OK for lightly technical English speech, in near-real-time,
2. have available (ideally libre/open-source) training data, libre/open-source training code, libre/open-source inference code, and/or libre/open-source weights (ideally some amount of freedom to use/study/modify/distribute; e.g. the Open Source AI Definition)
Glanced at:
april-asr: probably best candidate so far; somewhat below quality expectations on my laptop (tested with https://flathub.org/en/apps/net.sapples.LiveCaptions; quality/performance is configurable; maybe I should run it on a more powerful server and check if it's better?)
OpenAI Whisper: no training data/code
Vosk official model: not sure about training data/code, not sure about weights
Mozilla DeepSpeech: Archived
CoquiSTT: Looks abandoned
#Transcription #NeuralNetworks #NN #MachineLearning #ML #SpeechToText #STT #FOSS #FLOSS #OpenSource #FreeSoftware #LibreSoftware #OSAID #OpenSourceAI #CommonVoice
Compile-Time Dependent Types via @PolyWolf https://lobste.rs/s/d09iy3 #ml #plt
https://thenumb.at/Syl-Intro/
Lists that keep track of their reversal via @xvw https://lobste.rs/s/eqemtu #ml
https://grim.cargocut.org/a/rev-list.html