I couldn't agree with Julia more; we're working in @trustedcarbon to leapfrog the credibility gap of additionality claims via remote sensing, but there remains much work to be done on questions on livelihoods and the impact of these projects on local inhabitants.

RT @juliapgjones: For those who care about tropical forests (everyone!) the findings are depressing. Money is needed to ensure effective/eq….

RT @trustedcarbon: “It’s safe to say there are strong discrepancies between what we’re calculating & what exists in their databases, & that….

There is a huge amount of extra support now available for students applying to Cambridge from Africa, across _all_ departments and courses. Full funding, maintenance and travel costs are covered.

The birth of Docker for Desktop! My only regret is the "I love fried chicken" sticker on my laptop.

RT @AlexJB497: Phenomenal. Bar-tailed Godwit has broken its own record: a first-year bird (five months old!) has flown 13,560 km—just shy o….

RT @RealWorldOCaml: I've started to make an appearance in bookshops around the world; if you do see me, please do share a picture of where….

RT @RealWorldOCaml: It's a lovely autumn day in Cambridge (no power), so lettuce (no PM) explore the new Real World OCaml v2 site! The HTML….

full unplanned power cuts just happened all across Cambridgeshire and the north;

RT @TJonesCL: Some big and exciting news! We're hiring 6 new Assistant Professors across a wide range of areas in Computer Science @Cambri….

RT @kc_srk: The video of my @icfp_conference keynote on OCaml 5.0 is up 😄:

The first print copy of @realworldocaml v2 has been grabbed by a @marius!! He promises to leave it in a coffee shop in California where it will go viral

RT @yminsky: KC paints a beautiful future for OCaml!

Ready for the Kings Proclamation at the Senate House in Cambridge! Flags back to full mast until it’s done, then it’s back to half mast

All the Cambridge Colleges have dropped their flags to half-mast

The Queen waving at @marius and me just after we had OpenBSD 3.7 cake. Calgary 2005.

It looks like package manager support needs to be added to scanners like Syft to get wider language support: for example an opam file parser here

But it only currently scans the _output_ filesystem and not from a build system, so looking at the Tezos docker images only shows the base filesystem and not the OCaml/Rust pieces that went into it.

with an SBOM, you have an easy query interface to find this out systematically. For example, let's use Docker to look into the Caddy webserver. It not only shows you what's in the base image, but also the Go modules that went into the Caddy binary, and their versions!

Been learning about "Software Bill of Materials" advances today -- the idea is that you should know what's in the software you're using. It's extremely cool to see so much newer software written in safe languages; e.g. Tezos nodes are a combination of OCaml and Rust.