Anil Madhavapeddy
where else to find them
website:https://anil.recoil.org/
github:avsm
bluesky:anil.recoil.org
mastodon:@avsm@amok.recoil.org
speakerdeck:avsm
what they talk about
all 17 in the filters
where they keep going back
all 8 in the filters
on a stage with
all 42 in the filters
who talks about the same things
- Sudha Parimala9 talks
- Deepak Garg18 talks
- KC Sivaramakrishnan17 talks
- Leo White12 talks
- Nadia Polikarpova24 talks
- Amal Ahmed25 talks
| title | conference | date |
|---|---|---|
| Introduction | PROPL 2026 | 2026-06-15 |
CO2 concentration exceeds 430 ppm in 2026 and the last three years are the hottest on record; biodiversity monitoring shows a 73% drop in the Living Planet… | ||
| Three steps for OCaml to crest the AI humps | OCaml Workshop 2025 | 2025-10-17 |
OCaml appears in only 0.003% in Stack v2, causing ~5x worse agent performance versus Python on some tasks; local 32B models like Qwen 3 approaching Claude… | ||
| The Wild West of post-POSIX IO Interfaces | VMIL 2025 | 2025-10-15 |
Claim: POSIX is becoming a compatibility layer that throttles modern I/O. Evidence: Linux exposes io_uring shared‑memory submission/completion rings, Windows… | ||
| Decomposable Type Highlighting for Bidirectional Type and Cast Systems | HATRA 2025 | 2025-10-14 |
Defines a formal, decomposable highlighting method that computes synthesis slice and analysis slice answers for bidirectional typing, attaches those slices to… | ||
| Scaling the Urban Forest: An Integrated Framework for Managing Cities by Fusing Raster(…) | PROPL 2025 | 2025-10-13 |
A reproducible pipeline converts LiDAR rasters and vector building/park data into building-level metrics across England, producing 190 million trees segmented… | ||
| Spatial Programming for Environmental Monitoring | PROPL 2025 | 2025-10-13 |
Argues for treating space as a first-class programming concept using bigraphs to encode containment and links, implements a runtime called byrost that derives… | ||
| A FAIR Case for a Live Computational Commons | PROPL 2025 | 2025-10-13 |
Proposal for a planetary-scale live computational commons called Fairground that stores thousands of executable artifacts, runs them with a distributed… | ||
| Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings | PROPL 2025 | 2025-10-13 |
Pre-computed TESSERA 128-d embeddings replace a year of 10 m optical and radar imagery, trained on 800 billion non-cloudy pixel time series and stored by year… | ||
| Programming Opportunities for the Global Biodiversity Observation Network | PROPL 2025 | 2025-10-13 |
A platform called BON in a box packages community-contributed scripts plus a YAML description into reusable pipelines that compute EBVs and CBD indicators; the… | ||
| Yirgacheffe: a declarative approach to geospatial data | PROPL 2025 | 2025-10-13 |
Yirgacheffe is a Python declarative geospatial library that expresses raster ops as numpy‑style expressions, performs lazy evaluation, and automatically chunks… | ||
| Welcome to the 2nd PROPL | PROPL 2025 | 2025-10-13 |
Workshop revival originates from a small cross-disciplinary effort to apply programming languages and systems to climate and biodiversity problems, following a… | ||
| Generating a corpus of Hazel programs from ill-typed OCaml programs | TyDe 2025 | 2025-10-12 |
A compiler translates OCaml programs into Hazel, producing a large corpus of both well‑typed and ill‑typed Hazel code by reusing OCaml packages and an… | ||
| Functional Networking for Millions of Docker Desktops (Experience Report) | ICFP 2025 | 2025-10-12 |
A decade-long engineering saga that ships OCaml unikernels inside Docker Desktop, running Linux as a callable library via a library virtual machine monitor and… | ||
| Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads | HOPE 2024 | 2024-09-02 |
Position proposes a Bastion OS design that uses Dijkstra monads and secIO in F to enforce capability-based, provable constraints on agent actions. Concrete… | ||
| Discussion and brain storming: How can the CS/PL community help address the cur... | PROPL 2024 | 2024-01-20 |
Discussion documents a plan to collect concrete actions in a shared Google Doc, run a summer school on programming for climate science, and coordinate… | ||
| Eio 1.0 – Effects-based IO for OCaml 5 | OCaml 2023 | 2023-09-09 |
Effects-based direct-style IO for OCaml 5 that exposes three core effects suspend, fork, get_context and multiple backends (POSIX, Linux io_uring, Windows, JS… | ||
| State of the OCaml Platform 2023 | OCaml 2023 | 2023-09-09 |
Platform marks 10 years since opam 1.0 and proposes a three year roadmap that lists about 20 concrete workflows to complete. Editor-side work already shipped… | ||
| Programming for the planet | ICFP 2023 | 2023-09-04 |
A reproducible pipeline built in OCaml (the urrent DSL) composes satellite inputs, Dockerized science scripts and Python wrappers into traceable dataflows… | ||
| Homogeneous builds with OBuilder and OCaml | OCaml 2022 | 2022-09-16 |
OBuilder provides sandboxed, cross-platform OCaml builds used in production by checks.ocaml.io, OCaml-CI and opam-repo-ci, supporting Linux, macOS, Windows and… | ||
| Retrofitting Parallelism onto Ocaml | ICFP 2020 | 2020-08-23 |
A mostly-concurrent, non-moving mark-and-sweep GC for multicore OCaml is implemented (major heap based on VCGC, allocator from Streamflow) and extended to… | ||
| nothing matches | ||