51 on this site · 876 links
.plan-26-36: Ground control to major MODIS6th Sep 2026Updating to the OxCaml 5.2.0-minus39 opam packaging8th Aug 2026
Compiling Lean specifications into OxCaml enforcement automata1st Aug 2026
.plan-26-21: Pint of Science, OxCaml dissertations, and TESSERA 1.1 stirring24th May 2026Building OxCaml packages for Debian, Fedora, Homebrew and Arch17th May 2026
.plan-26-20: Putting OxCaml in a box and OCaml in orbit (again)17th May 2026
.plan-26-17: Unwedging kernels, dogfood deployments, and managing beef leakage26th Apr 2026
.plan-26-16: Chennai, Cambridge, Belfast: a week on the wing19th Apr 2026
The FP Launchpad takes off at IIT Madras13th Apr 2026
.plan-26-14: Tracking AI screen time and escaping to pen and paper5th Apr 2026
A Proposal for Voluntary AI Disclosure in OCaml Code3rd Apr 2026
.plan-26-13: Oxidised, standardised, and syndicated29th Mar 2026
Outreachy Demo Day December 2025 Round23rd Mar 2026
.plan-26-12: Zarr across space and TESSERA time22nd Mar 2026
.plan-26-11: Bins, bollards, bots and biodiversity boffins15th Mar 2026
.plan-26-10: Streaming TESSERA working, biodiversity action papers, and FPL takes off8th Mar 2026
.plan-26-09: Browser TESSERA, package management and Docker in the CACM1st Mar 2026
A Decade of Docker Containers1st Mar 2026
.plan-26-08: At AI summit, Shriram's PL opinions, Zarr hacking22nd Feb 2026
.plan-26-06: Vivas, ARIA and interviews8th Feb 2026