corpus.blog
41,554 blogs · 5,149,205 posts Claim your blog
Back to anil.recoil.org
Blog · corpus.blog/blogs/anil.recoil.org/posts

anil.recoil.org

anil.recoil.org

2024

Interview with AI@CAM about conservationoriginal ↗
9 Jun 2024
Hyperspectrally identifying trees in tropical forestsoriginal ↗
1 Jun 2024
Programming for the Planetoriginal ↗
27 May 2024
Quantifying the impact of the food we eat on species extinctionsoriginal ↗
1 May 2024
Predicting species using machine learning at CCAIoriginal ↗
1 May 2024
Teaching 1A Security and Software Engineeringoriginal ↗
4 Apr 2024
Global, robust and comparable digital carbon assetsoriginal ↗
4 Apr 2024
Rolling out a new site designoriginal ↗
1 Apr 2024
Preprint available on insuring against variability of NbSoriginal ↗
1 Mar 2024
Green Urban Equity: Analyzing the 3-30-300 Rule in UK Cities and Its Socioeconomic Implicationsoriginal ↗
1 Mar 2024
A Case for Planetary Computingoriginal ↗
1 Mar 2024
Selected in the AI@CAM challenge for conservation researchoriginal ↗
5 Feb 2024
Uncertainty at scale: how CS hinders climate researchoriginal ↗
1 Feb 2024

2023

Joined the Royal Society fellowships committeeoriginal ↗
2 Dec 2023
PACT Tropical Moist Forest Accreditation Methodologyoriginal ↗
1 Dec 2023
BBC report on the new Cambridge supercomputer ("Dawn") announced at the 2023 AI Summitoriginal ↗
2 Nov 2023
Where on Earth is the Spatial Name System?original ↗
1 Nov 2023
Nature Climate Change paper on impermanent carbon creditsoriginal ↗
1 Nov 2023
First preprint of LIFE biodiversity metric availableoriginal ↗
1 Nov 2023
Cambridge Zero highlights University efforts at Climate Week NYCoriginal ↗
18 Oct 2023
Information Flow Tracking for Heterogeneous Compartmentalized Softwareoriginal ↗
1 Oct 2023
Enabling Lightweight Privilege Separation in Applications with MicroGuardsoriginal ↗
1 Oct 2023
Functional Programming for the Planetoriginal ↗
5 Sept 2023
State of the OCaml Platform 2023original ↗
1 Sept 2023
Eio 1.0 – Effects-based IO for OCaml 5original ↗
1 Sept 2023
Preprint on the social value of impermanent carbon creditsoriginal ↗
1 Jul 2023
OCaml wins the ACM Programming Language Software awardoriginal ↗
19 Jun 2023
PACT Tropical Moist Forest Accreditation Methodologyoriginal ↗
1 Jun 2023
Credit credibility threatens forestsoriginal ↗
1 May 2023
Leveraging Scientific Innovation and AI to Scale Carbon Marketsoriginal ↗
7 Mar 2023
A Case for Planetary Computingoriginal ↗
1 Mar 2023
OCaml.org: recapping 2022 and queries on the Fediverseoriginal ↗
2 Jan 2023

2022

Financing Forests: A Credible Approach towards Halting Tropical Deforestationoriginal ↗
16 Nov 2022
17th William Pitt Seminar - Who's in Charge?original ↗
1 Nov 2022
The 2nd ed of Real World OCaml is available in shopsoriginal ↗
1 Oct 2022
Homogeneous Builds with OBuilder and OCamloriginal ↗
1 Sept 2022
Trusted Carbon Creditsoriginal ↗
6 May 2022
OCaml Multicore Monthly: heading towards OCaml 5.0original ↗
19 Apr 2022
OCaml Multicore Monthly: post merge activitesoriginal ↗
9 Feb 2022
Enhancing the Security & Privacy of Wearable Brain-Computer Interfacesoriginal ↗
1 Jan 2022

2021

OCaml Multicore Monthly: code review complete with Inriaoriginal ↗
21 Dec 2021
Launching the Cambridge Centre for Carbon Creditsoriginal ↗
4 Nov 2021
What is an Operating System?original ↗
3 Nov 2021
OCaml Multicore Monthly: effect handling confirmed for 5.0original ↗
1 Oct 2021
Forest preservation and restorationoriginal ↗
25 Sept 2021
Decentralised tech on Recoiloriginal ↗
19 Sept 2021
Roadmap for OCaml's online presenceoriginal ↗
27 Aug 2021
How Computer Science Can Aid Forest Restorationoriginal ↗
1 Aug 2021
Experiences with Effectsoriginal ↗
1 Aug 2021
Retrofitting effect handlers onto OCamloriginal ↗
1 Jun 2021

2020

Banyan: Coordination-Free Distributed Transactions over Mergeable Typesoriginal ↗
1 Nov 2020
The OCaml Platform: 2020original ↗
1 Sept 2020
State of the OCaml Platform 2020original ↗
28 Aug 2020
OCaml Multicore Monthly: systhreads compatibility mergedoriginal ↗
20 Aug 2020
Retrofitting parallelism onto OCamloriginal ↗
1 Aug 2020
Parallelising your OCaml Code with Multicore OCamloriginal ↗
1 Aug 2020
OCaml-CI: A Zero-Configuration CIoriginal ↗
1 Aug 2020
OCaml Multicore Monthly: preprint paper availableoriginal ↗
27 Apr 2020
The First Billion Real Deployments of Unikernelsoriginal ↗
26 Feb 2020
Rebuilding Operating Systems with Functional Principlesoriginal ↗
26 Feb 2020
Programming the Next Trillion Embedded Devicesoriginal ↗
26 Feb 2020
OCaml Multicore Monthly: starting upstream to OCamloriginal ↗
29 Jan 2020

2019

OpenBSD cloud hosting optionsoriginal ↗
29 Aug 2019
The OCaml Platform in 2019original ↗
1 Aug 2019
MirageOS 4: the dawn of practical build systems for exotic targetsoriginal ↗
1 Aug 2019
Programming Unikernels in the Large via Functor Driven Developmentoriginal ↗
1 May 2019
Snape: The Dark Art of Handling Heterogeneous Enclavesoriginal ↗
1 Mar 2019

2018

New opam repository layout for large librariesoriginal ↗
19 Nov 2018
A modular foreign function interfaceoriginal ↗
1 Oct 2018
Foundations of Computer Scienceoriginal ↗
2 Sept 2018
Bounding data races in space and timeoriginal ↗
1 Jun 2018
Concurrent System Programming with Effect Handlersoriginal ↗
1 Apr 2018
An architecture for interspatial communicationoriginal ↗
1 Apr 2018
Founded Tarides and looking to hire OCaml hackersoriginal ↗
2 Mar 2018

2017

State of the OCaml Platformoriginal ↗
8 Sept 2017
The State of the OCaml Platform: Sep 2017original ↗
1 Sept 2017
Effectively tackling the awkward squadoriginal ↗
1 Sept 2017
Opening discuss.ocaml.org for the communityoriginal ↗
13 May 2017
DaLi: Database as a Libraryoriginal ↗
1 May 2017

2016

Unikernels: the rise of the library hypervisor in MirageOSoriginal ↗
14 Oct 2016
MirageOS Summer 2016 hack retreatoriginal ↗
29 Jun 2016
The functional innards of Docker for Mac and Windowsoriginal ↗
24 Jun 2016
Ian Eyberg, Joshua Bernstein, Anil Madhavapeddy at OSCON in Austinoriginal ↗
6 Jun 2016
FLICK: Developing and Running Application-Specific Network Servicesoriginal ↗
1 Jun 2016
Improving Docker with Unikernelsoriginal ↗
18 May 2016
Declarative Foreign Function Binding Through Generic Programmingoriginal ↗
1 Feb 2016
Unikernel Systems is now part of Dockeroriginal ↗
21 Jan 2016
Unikernel Systems acquired by Dockeroriginal ↗
21 Jan 2016

2015

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systemsoriginal ↗
1 Oct 2015
Personal Data: Thinking Inside the Boxoriginal ↗
1 Oct 2015
Immutable Distributed Infrastructure with Unikernelsoriginal ↗
29 Sept 2015
The State of the OCaml Platformoriginal ↗
4 Sept 2015
Not-Quite-So-Broken TLSoriginal ↗
1 Aug 2015
Unikernels: Functional Infrastructure with Mirage OSoriginal ↗
12 May 2015
Jitsu: Just-In-Time Summoning of Unikernelsoriginal ↗
4 May 2015
Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzlesoriginal ↗
1 May 2015
Jitsu: Just-In-Time Summoning of Unikernelsoriginal ↗
1 May 2015
Reviewing the second year of OCaml Labs in 2014original ↗
2 Apr 2015
ICFP 2015 - a call for sponsorship and how you can helporiginal ↗
18 Feb 2015
Delivered keynote at BOB 2015 on MirageOSoriginal ↗
23 Jan 2015
Previous Next