Skip to content
Standard Reader
Log in
Tag

Ocaml

Articles and publications tagged Ocaml across the Atmosphere.

59articles3publications
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageAug 31, 2026
Security scanning my own code with Scrutineer and local coding models
Deploying Alpha-Omega's Scrutineer on a VM, driving its scans with a local GLM 5.3 on my Mac Studio, and thinking through practical workflows
securityai
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageAug 30, 2026
.plan-26-35: All I want for Tesseramas is (GP)U
Tessera v1.1 now also synced to Source Cooperative but we're short on GPUs for v2, Scrutineer security scans driven by a local GLM, PROPL 2026 videos are live, and TDM reservations in OCaml for Evidence TAP.
tesserasecurity
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageAug 22, 2026
Just a rumour of a bug is enough to find a security exploit these days
Thinking through how the conventional OSS security embargoes no longer buy us time, and what open source maintainers might do instead to respond
securityai
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageAug 16, 2026
.plan-26-33: Zarro rides out and evidence papers pour in
TESSERA 1.0 is now fully available as Zarr with global RGB previews, a weather downscaling preprint, and Evidence TAP gets a public website with progress on the downloader and parser.
tesseraocaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageAug 16, 2026
Using Forester to turn Foundations of CS into interactive evergreen lectures
Porting the FoCS lecture notes to Forester, including transclusions and stable section URLs, and a live OCaml toplevel compiled into the browser.
teachingocaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageAug 9, 2026
.plan-26-32: Finally a use for serverless and found the Forester for the trees
GETMobile micro-NPU article and package calculus published, TESSERA embeddings conversion using Fargate Spot, and starting to shift to Forester for teaching.
tesseraocaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageAug 8, 2026
Updating to the OxCaml 5.2.0-minus39 opam packaging
How the OxCaml overlay's guard packages keep incompatible releases out, and how to contribute to it with your own packages.
ocamloxcaml
L
LinuxLinksAug 5, 2026
Dune – composable build system for OCaml projects
Programmingbuild system
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageAug 2, 2026
.plan-26-31: Sorting out Tessera and Evidence TAP infrastructure
A petabyte of TESSERA embeddings moves to Source Cooperative, and Taposaur's GROBID metadata index and capability-based downloader take shape for Evidence TAP, while Eio gets some native Windows support.
tesseraocaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageJul 26, 2026
.plan-26-30: Bananas ripen, models open, and OxCaml releases
An OpenUK openness interview, prototyping the Evidence TAP site with exe.dev, Windows eio support finds a user in Forester, and a new grant for optimising ranger patrols.
ocamleio
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageJul 19, 2026
.plan-26-29: Perfect weather, imperfectly measured, precisely predicted
My first viva in Law, a TESSERA stall at the House of Lords, downscaling the weather with embeddings, moving terabytes onto Source Cooperative, the Pembroke garden party, and a from-scratch shell makes progress.
aieio
L
LinuxLinksJul 18, 2026
Ramen – type-safe static site generator
Web AppsOCaml
L
LinuxLinksJul 13, 2026
Lambdapi – interactive proof assistant
ScientificOCaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageJul 12, 2026
.plan-26-28: What fun papers piled up while I was out at sea
Back from the Arctic into a heatwave, hacking on Eio for the TESSERA sync engine, the Conservation Evidence team demoing at Parliament, and TESSERA on stage at the RAISE Summit in Paris.
ocamleio
Sovereign Dispatch
Sovereign DispatchJun 23, 2026
Private Webrings: Building Stealth Onion Networks in OCaml
Moving beyond public networks into isolated systems requires abandoning standard DNS and public TLS infrastructure.
stealthocaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageJun 14, 2026
Language integrated LLMs as an OCaml function
Using a local DeepSeek model as an ordinary OCaml library and building sandboxed agents from simple primitives
ocamlai
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageApr 13, 2026
The FP Launchpad takes off at IIT Madras
ocamlfp
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageApr 3, 2026
A Proposal for Voluntary AI Disclosure in OCaml Code
Proposing a voluntary, machine-readable AI content disclosure scheme for OCaml spanning opam packages, dune, and per-module attributes, aligned with the W3C AI Content Disclosure vocabulary.
aiocaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageMar 15, 2026
.plan-26-11: Bins, bollards, bots and biodiversity boffins
Evidence synthesis at the DEFRA science conference, TESSERA transcoding and building a new SPA, OpenStreetMap/DuckDB bindings in OxCaml, and early thoughts on vibecoding etiquette.
tesserapackages
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageFeb 24, 2026
A Decade of Docker Containers on the CACM cover!
Our CACM cover article reflects on a decade of Docker, from the early days of hacking Docker for Mac on a French farm to today's AI-driven sandboxing, covering the technical origins, cross-platform challenges, and the vibrant open-source community that made it all possible.
dockerocaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageFeb 8, 2026
Weeknote 2026/w6: Vivas, ARIA and interviews
PhD viva for Maddy, presenting TESSERA at ARIA, Nature covers the conservation evidence conference, giving evidence to Parliamentary POST, and a CACM interview.
tesseraconservation
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageFeb 1, 2026
My (very) fast zero-allocation webserver using OxCaml
Building httpz, a high-performance HTTP/1.1 parser with zero heap allocation using OxCaml's unboxed types, local allocations, and mutable local variables
ocamloxcaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageFeb 1, 2026
Weeknote 2026/w5: An OxCaml hacking week
Deploying an OxCaml zero-allocation webserver, OCaml CI maintenance and opam versioning, and OCaml Workshop and FOSDEM talks
tesseraocaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageJan 8, 2026
Devcontainer for using O(x)Caml and Claude in your projects
A prebuilt Docker devcontainer for sandboxed OCaml and OxCaml development with Claude Code, including multiarch builds and network isolation.
ocamloxcaml