Patrick Ferris
where else to find them
website:https://patrick.sirref.org
github:patricoferris
bluesky:patrick.sirref.org
mastodon:@patricoferris@mastodon.social
what they talk about
all 9 in the filters
where they keep going back
all 6 in the filters
on a stage with
all 21 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| What we talk about when we talk about scientific programming | PROPL 2025 | 2025-10-13 |
Updates to the same remote dataset change land‑cover conclusions dramatically — an example shows deforestation jumping from 3% to 8.5% when the provider… | ||
| 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… | ||
| 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 on multidisciplinary PROPL-work | PROPL 2024 | 2024-01-20 |
Group discussion foregrounds concrete pain points and fixes: counterfactual deforestation analysis relies on spatial matching but fails when undocumented… | ||
| 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… | ||
| 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… | ||
| nothing matches | ||