# Research Ideas Research ideas. ### Interspatial OS - [3D printing the planet (or bits of it)](https://anil.recoil.org/ideas/3d-print-world) (2025-04-01) - [Building bigraphs of the real world](https://anil.recoil.org/ideas/bigraphs-real-world) (2024-01-01) - [Deep learning for decomposing sound into vector audio](https://anil.recoil.org/ideas/decomposing-audio-with-dl) (2024-01-01) - [A DSL for decentralised identity in OCaml](https://anil.recoil.org/ideas/dsl-for-decentralised-id) (2022-08-01) - [Low power audio transcription with Whisper](https://anil.recoil.org/ideas/embedded-whisper) (2025-06-01) - [Interspatial Networking with DNS](https://anil.recoil.org/ideas/interspatial-networking) (2023-01-01) - [Scheduling for Reduced Tail Latencies in Highly Utilised Datacenters](https://anil.recoil.org/ideas/murmuration) (2023-09-01) - [Spatial Name System](https://anil.recoil.org/ideas/sns) (2022-01-01) - [Low-latency wayland compositor in OCaml](https://anil.recoil.org/ideas/wayland) (2024-05-01) ### Conservation Evidence Copilots - [Accurate summarisation of threats for conservation evidence literature](https://anil.recoil.org/ideas/accurate-summarisation-for-ce) (2024-01-01) - [Evaluating a human-in-the-loop AI framework to improve inclusion criteria for evidence synthesis](https://anil.recoil.org/ideas/ai-assisted-inclusion-criteria) (2025-06-01) - [Generating chunk-free embeddings for LLMs](https://anil.recoil.org/ideas/chunk-free-embeddings) (2024-01-01) - [Evaluating LLMs for providing evidence-based information on conservation actions](https://anil.recoil.org/ideas/evaluating-conservation-copilot) (2025-06-01) - [Crawling grey literature for conservation evidence](https://anil.recoil.org/ideas/grey-lit-crawl) (2024-01-01) - [Assessing mangrove literature for conservation evidence](https://anil.recoil.org/ideas/mangrove-literature-for-ce) (2024-01-01) - [Evaluating RAG pipelines for conservation evidence](https://anil.recoil.org/ideas/rag-evaluation-for-ce) (2024-01-01) - [Spatial and multi-modal extraction from conservation literature](https://anil.recoil.org/ideas/spatial-summarisation-of-llms) (2024-01-01) ### Personal Containers - [Improving Resilience of ActivityPub Services](https://anil.recoil.org/ideas/activitypub-resilience) (2023-01-01) - [Simulating XMPP Group Communication](https://anil.recoil.org/ideas/xmpp-group-comms) (2011-01-01) ### Planetary Computing - [Autoscaling geospatial computation with Python and Yirgacheffe](https://anil.recoil.org/ideas/autoscaling-geospatial-yirgacheffe) (2025-04-01) - [Assessing high-performance lightweight compression formats for geospatial computation](https://anil.recoil.org/ideas/compressive-geospatial) (2023-01-01) - [Computational Models for Scientific Exploration](https://anil.recoil.org/ideas/computational-scientific-methods) (2023-08-01) - [Using computational SSDs for vector databases](https://anil.recoil.org/ideas/computational-storage-for-vector-dbs) (2025-02-01) - [Effective geospatial code in OCaml](https://anil.recoil.org/ideas/effective-geospatial-code) (2024-01-01) - [An imperative, pure and effective specification language](https://anil.recoil.org/ideas/effective-specification-languages) (2024-08-01) - [Composable diffing for heterogenous file formats](https://anil.recoil.org/ideas/functional-diffs) (2024-01-01) - [Gradually debugging type errors](https://anil.recoil.org/ideas/gradual-type-error-debugging) (2024-09-01) - [Bidirectional Hazel to OCaml programming](https://anil.recoil.org/ideas/hazel-to-ocaml-to-hazel) (2025-04-01) - [Privacy preserving emissions disclosure techniques](https://anil.recoil.org/ideas/tardis) (2024-01-01) - [Towards reproducible URLs with provenance](https://anil.recoil.org/ideas/urls-with-provenance) (2024-08-01) - [ZFS replication strategies with encryption](https://anil.recoil.org/ideas/zfs-filesystem-perf) (2025-06-01) ### Remote Sensing of Nature - [Battery-free wildlife monitoring with Riotee](https://anil.recoil.org/ideas/battery-free-riotee) (2025-04-01) - [Habitat mapping of the Cairngormes Connect restoration area](https://anil.recoil.org/ideas/cairngorms-connect-habitats) (2025-06-01) - [Scalable agent-based models for optimized policy design](https://anil.recoil.org/ideas/differentiable-abm) (2022-01-01) - [Diffusion models for terrestrial predictions about land use change](https://anil.recoil.org/ideas/diffusion-model-satellites) (2024-05-01) - [Affordable digitisation of insect collections using photogrammetry](https://anil.recoil.org/ideas/digitisation-of-insects) (2025-02-01) Insects dominate animal biodiversity and are sometimes called "[the little things that run the world](https://faculty.washington.edu/timbillo/Readings%20and%20documents/ABRIDGED%20READINGS%20for%20PERU/Wilson_1987_Little_things_that_run.pdf)". They play a disproportionate role in ecosystem functioning, are highly sensitive to environmental change and often considered to be early indicators of responses in other taxa. There is widespread concern about global insect declines[^1] yet the evidence behind such declines is highly biassed towards the Global North and much is drawn from short-term biodiversity datasets[^2] [^3]. - [Mapping urban and rural British hedgehogs](https://anil.recoil.org/ideas/hedgehog-mapping) (2025-06-01) - [Mapping hunting risks for wild meat in protected areas](https://anil.recoil.org/ideas/mapping-hunting-risks-for-wild-meat) (2024-08-01) - [Exploring Concurrency in Agent-Based Modelling with Multicore OCaml](https://anil.recoil.org/ideas/ocaml-forest-sim) (2021-01-01) - [Low-power sensing infrastructure for biodiversity](https://anil.recoil.org/ideas/recording-nature) (2024-01-01) - [Reverse emulating agent-based models for policy simulation](https://anil.recoil.org/ideas/rev-abm) (2023-01-01) - [Species distribution modelling using CNNs](https://anil.recoil.org/ideas/sdms-with-cnns) (2023-02-01) - [Foundation models for complex geospatial tasks](https://anil.recoil.org/ideas/ssl-for-geospatial-tasks) (2024-08-01) - [The role of urban vegetation in human health](https://anil.recoil.org/ideas/urban-vegetation) (2023-01-01) - [Validating predictions with ranger insights to enhance anti-poaching patrol strategies in protected areas](https://anil.recoil.org/ideas/validating-anti-poaching-predictions) (2025-06-01) - [Enhancing Navigation Algorithms with Semantic Embeddings](https://anil.recoil.org/ideas/walkability-for-osm) (2024-08-01) ### Information Flow for Trusted Execution - [Security analysis of brain-computing interfaces](https://anil.recoil.org/ideas/brain-interface-security) (2021-01-01) - [Secure Programming with Dispersed Compartments](https://anil.recoil.org/ideas/dispersed-compartments) (2022-05-01) - [Decentralised Capability-based Code Collaboration using Matrix](https://anil.recoil.org/ideas/version-control-matrix) (2022-01-01) - [Void Processes: Minimising privilege by default](https://anil.recoil.org/ideas/void-processes) (2021-01-01) ### Unikernels - [CausalRPC: a traceable distributed computation framework](https://anil.recoil.org/ideas/causal-rpc) (2018-01-01) - [Distributed Task Scheduling Framework over Irmin](https://anil.recoil.org/ideas/distributed-tasks-irmin) (2019-01-01) - [A strongly consistent index for email using git and MirageOS](https://anil.recoil.org/ideas/git-maildir) (2019-01-01) - [Extending 64-bit MIPS support for LLVM](https://anil.recoil.org/ideas/mips-llvm) (2011-08-01) - [Consolidating Trust for Client Groups that use TLS to Secure Connections](https://anil.recoil.org/ideas/scaling-tls-trust) (2014-01-01) - [Control flow analysis for privilege separation](https://anil.recoil.org/ideas/soapp-privgrind) (2011-08-01) ### OCaml Labs - [Implementing a higher-order choreographic language](https://anil.recoil.org/ideas/choregraphic-programming-ocaml) (2024-08-01) - [Concurrent revisions for OCaml](https://anil.recoil.org/ideas/concurrent-revisions) (2013-01-01) - [Parallel traversal effect handlers for OCaml](https://anil.recoil.org/ideas/effect-parallel-strategies) (2024-09-01) - [Effects based scheduling for the OCaml compiler pipeline](https://anil.recoil.org/ideas/effects-scheduling-ocaml-compiler) (2025-04-01) - [Functional Reactive Web Applications](https://anil.recoil.org/ideas/frp-web-ocaml) (2010-01-01) - [Macro- and Micro-benchmarking in OCaml](https://anil.recoil.org/ideas/macro-micro-benchmarking) (2012-01-01) - [Runtimes à la carte: crossloading native and bytecode OCaml](https://anil.recoil.org/ideas/ocaml-bytecode-native-ffi) (2025-04-01) - [Using effect handlers for efficient parallel scheduling](https://anil.recoil.org/ideas/parallel-scheduling-with-effects) (2022-01-01) - [Probabilistic Programming in OCaml](https://anil.recoil.org/ideas/prob-programming-owl) (2018-01-01) - [Analysis of the Raft Consensus Protocol](https://anil.recoil.org/ideas/raft-consensus) (2012-01-01) - [A hardware description language using OCaml effects](https://anil.recoil.org/ideas/tracing-hdl-with-effects) (2025-03-01) ### Ubiquitous Interaction Devices - [Audio networking using commodity hardware](https://anil.recoil.org/ideas/commodity-audio-networking) (2004-10-01) ### Mapping LIFE on Earth - [Using graph theory to define data-driven ecoregion and bioregion maps](https://anil.recoil.org/ideas/ecoregion-maps) (2025-04-01) - [An access library for the world crop, food production and consumption datasets](https://anil.recoil.org/ideas/food-provenance-fao) (2025-04-01) - [Using wasm to locally explore geospatial layers](https://anil.recoil.org/ideas/life-explorer-wasm) (2024-08-01) - [Real-time mapping of changes in species extinction risks](https://anil.recoil.org/ideas/mapping-species-extinction-risks) (2024-08-01) ### Functional Internet Services - [Functional ABNF parser generators](https://anil.recoil.org/ideas/functional-imap) (2011-01-01) - [Not-quite-so-broken TLS in OCaml](https://anil.recoil.org/ideas/nqsb-tls) (2014-01-01) ### Trusted Carbon Credits - [Legal perspectives on integrity issues in forest carbon](https://anil.recoil.org/ideas/legal-aspects-of-credits) (2024-01-01) - [Meta Properties of Financial Smart Contracts](https://anil.recoil.org/ideas/metaproperties-for-smart-contracts) (2023-08-01) - [Making GPS accurate in dense forests using sensor fusion](https://anil.recoil.org/ideas/sensor-fusion-vslam-forests) (2020-08-01) ### Enki, a Dashboard of Life on Earth - [A Living IUCN Red List of the World's Species](https://anil.recoil.org/ideas/living-iucn-redlist) (2025-09-01) --- Canonical: https://anil.recoil.org/ideas Feeds: [Atom](https://anil.recoil.org/news.xml), [JSON](https://anil.recoil.org/feed.json)