Sadiq Jaffer

Free Hardware Performance Counters in OxCaml Runtime Events

Sadiq Jaffer — Sat, 04 Apr 2026 19:37:00 +0100

A prototype extending OxCaml's Runtime Events to sample hardware performance counters at span boundaries, letting you correlate IPC, cache misses and branch mispredictions with specific GC and program phases with overhead indistinguishable from noise.

Earth Observation on a Budget: Finding Solar Farms with a 42k-Parameter Model

Sadiq Jaffer — Wed, 14 Jan 2026 17:38:00 +0000

Satellite imagery analysis doesn't always require massive data and compute. We show how to combine open data from OpenStreetMap and the UK Government's Renewable Energy Planning database with Tessera foundation model embeddings to map solar farms across the UK using a lightweight neural network.

Three Steps for OCaml to Crest the AI Humps

Sadiq Jaffer — Fri, 24 Oct 2025 17:38:00 +0100

OCaml represents less than 0.01% of training data for many large language models, creating an existential threat for the language community. This talk outlines three concrete steps the OCaml community can take to improve AI coding agent support and ensure the language's future relevance.

Can a model trained on satellite data really find brambles on the ground?

Sadiq Jaffer — Wed, 24 Sep 2025 21:04:00 +0100

Can a model trained on satellite data really find brambles on the ground? We put a new model to the test with a field trip around Cambridge. The results were surprisingly good and taught us a lot about the model's strengths and weaknesses.

Adding an OCaml GC debugging task to terminal-bench

Sadiq Jaffer — Wed, 20 Aug 2025 10:01:00 +0100

I stumbled onto terminal-bench a few weeks ago while researching datasets to evaluate agents. It contains around 120 tasks that need to be completed using a terminal..

Last three months in OCaml (July 2025)

Sadiq Jaffer — Tue, 15 Jul 2025 10:01:00 +0100

A look at recent OCaml projects, from benchmarking AI code models and building new agentic tools to improvements in the garbage collector.

Letting Claude Code check with Gemini

Sadiq Jaffer — Fri, 27 Jun 2025 10:01:00 +0100

A simple MCP server that enables Claude Code (or any MCP host) to check things with gemini-cli

Qwen3 Leads the Pack: Evaluating how Local LLMs tackle First Year CS OCaml exercises

Sadiq Jaffer — Tue, 06 May 2025 17:52:00 +0100

How well can locally-runnable language models handle OCaml code generation? We evaluate 19 open-weight LLMs on first-year Computer Science exercises, exploring the balance between model size, architecture, and reasoning capabilities for less mainstream programming languages.

A dataset of OCaml's Opam

Sadiq Jaffer — Thu, 01 May 2025 10:01:00 +0100

Introducing opam-archive-dataset: a Parquet dataset containing code from OCaml packages, designed to improve performance of language models for OCaml development through better training data

JSON output from Deepseek R1 and distills with llama.cpp

Sadiq Jaffer — Thu, 30 Jan 2025 17:52:00 +0000

Here's a workaround to get JSON output from Deepseek R1 and distills when using the llama.cpp OpenAI-compatible server endpoint

Teaching Bloom Filters new tricks

Sadiq Jaffer — Fri, 25 Dec 2020 00:52:00 +0000

In this post we're going to discuss how to teach Bloom Filters new tricks. We'll start with examining Partitioned Bloom Filters and then look at ways we can generalise Bloom Filters to new and interesting uses. By the end of the post you will be able to use this generalised framework to come up with novel probabilistic data structures.

Getting OCaml running on the ESP32

Sadiq Jaffer — Sun, 15 Jan 2017 00:00:00 +0000

I was looking for some small Christmas stocking-fillers to give to techie friends and decided to try to find some interesting electronics boards from China.

In the end, I went with the WEMOS Lolin32 Lite which features Espressif's ESP32. If you're not familiar with the ESP32, it's an awesome little …