Skip to content
Standard Reader
Log in
Tag

Ocaml

Articles and publications tagged Ocaml across the Atmosphere.

61articles3publications
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageOct 11, 2026
.plan-26-41: Hello, is it Part II you're looking for?
The Foundations of Computer Science notes are now done as a Forest with live OCaml toplevels, and Part II projects sorted.
teachingocaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageOct 9, 2026
OCaml's module language is the perfect fit for agentic programming
Write interfaces first, statically type check the design, then hand each module to an agent one at a time. OCaml's module language makes this a natural workflow for future formal methods too.
ocamloxcaml
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageOct 4, 2026
.plan-26-40: A whole new world (of wall-to-wall Tessera embeddings)
Michaelmas term restarts, with Forester replacing my traditional printed FoCS notes, GeoTessera is now wall-to-wall across dual Zarr/Icechunk stores, and a trip to Oxford's Intelligent Earth CDT.
teachingcompsci
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageSep 13, 2026
.plan-26-37: The humans aren't dead, the humans are ahead
Mathematics gets its AI reckoning after security, thinking through formative assessment for the CST Tripos, triaging Scrutineer bugs without panicking, and an Echo Labs visit.
aisecurity
Anil Madhavapeddy's homepage
Anil Madhavapeddy's homepageSep 6, 2026
.plan-26-36: Ground control to major MODIS
Tessera v2 beta2 smooths space at the cost of time, new Pembroke Associate Scholars, Scrutineer's git remediation workflow, paying the Windows tax, and retiring AI disclosure metadata.
tesseraconservation
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
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
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
19
ocamloxcaml