Dominic Orchard and I had a blast running the first PROPL workshop a couple of years ago, with a full room and engaged audience in POPL in London. Last year, our sister conference LOCO took over, and it's our turn again this year! PROPL will return for a second outing in October, co-located with ICFP/SPLASH in Singapore in October.

3D printing the planet (or bits of it) This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Finley Stirk. It is co-supervised with Michael Dales. Thanks to a combination of satellite information, remote sensors and data-science, we now are able to reason about places all over the globe from the comfort of our desks and offices.

Using graph theory to define data-driven ecoregion and bioregion maps This is an idea proposed in 2025 as a good starter project, and is available for being worked on. It may be co-supervised with Daniele Baisero and Michael Dales.

Battery-free wildlife monitoring with Riotee This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Dominico Parish. It is co-supervised with Josh Millar. Monitoring wildlife in the field today relies heavily on battery-powered devices, like GPS collars or acoustic recorders.

Autoscaling geospatial computation with Python and Yirgacheffe This is an idea proposed in 2025 as a good starter project, and is available for being worked on. It may be co-supervised with Michael Dales. Python is a popular tool for geospatial data-science, but it, along with the GDAL library, handle resource management poorly. Python does not deal with parallelism well and GDAL can be a memory hog when parallelised.

Bidirectional Hazel to OCaml programming This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Max Carroll. It is co-supervised with Patrick Ferris and Cyrus Omar. Hazel is a pure subset of OCaml with a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs.

Runtimes à la carte: crossloading native and bytecode OCaml This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Jeremy Chen. It is co-supervised with David Allsopp.

An access library for the world crop, food production and consumption datasets This is an idea proposed in 2025 as a good starter project, and is available for being worked on. It may be co-supervised with Alison Eyres and Thomas Ball. Agricultural habitat degradation is a leading threat to global biodiversity.

Effects based scheduling for the OCaml compiler pipeline This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Lucas Ma. It is co-supervised with David Allsopp. In order to compile the OCaml program foo.ml containing: Stdlib.print_endline "Hello, world" the OCaml compilers only require the compiled stdlib.cmi interface to exist in order to determine the type of Stdlib.print_endline.

This is a response to a [letter](http://doi.org/10.1016/j.tree.2025.03.003) by Murray K. et al to our paper on "[:2024-ai-conhorizon]". See [:ai-should-unite-conservation] for further thoughts.

Josh Millar just released our latest preprint on how to make sense of the growing number of dedicated, ultra-low-power 'neural network accelerators' that are found in many modern embedded chipsets. My interest in this derives from wanting to decouple from the cloud when it comes to low-latency local environments, and this needs fast tensor operations in hardware.