@Anil Madhavapeddy
Professor of Planetary Computing, University of Cambridge
Relays (1)
- wss://relay.ditto.pub – read & write
Recent Notes
Connecting the dots for global biodiversity action; two big perspectives out in @nprofile1q... this week lead by Bill Sutherland and Andy Gonzalez from the RS/NAS biodiversity forum last summer. My thoughts: https://anil.recoil.org/notes/nas-rs-biodiversity-papers
Seeing so many LLM-based spam attacks hitting my elderly relatives now. And meanwhile, I have to explain why the 'Apple Store' is not the same as the 'App Store'. We've collectively made a hash of partitioning trust in mobile devices, while making them a centrepoint of identity online
Made the cover of @nprofile1q... with "A Decade of Docker Containers", recapping much systems work! Docker grew so fast in those early days that we never got a chance to write an academic paper about it, so this has been a long time coming: https://cacm.acm.org/research/a-decade-of-docker-containers/
A heady mix of Go, OCaml, Swift, Linux, nested kernels, ancient network protocols like SLIRP, all mixed up into a container cauldron...
Left some musings on my blog too... https://anil.recoil.org/notes/cacm-docker-cover
A heady mix of Go, OCaml, Swift, Linux, nested kernels, ancient network protocols like SLIRP, all mixed up into a container cauldron...
Left some musings on my blog too... https://anil.recoil.org/notes/cacm-docker-cover
@nprofile1q... @nprofile1q... thanks! will still need fuzzing+build for a long time since the set of allowable constraints is massive
@nprofile1q... @nprofile1q... Yes! Ryan and I have discussed exactly that interface to the both .drv and /nix/store (the latter seems to exist now, not tried it yet)
@nprofile1q... @nprofile1q... I could imagine that being a cool 'package FFI' though, for Nix to request version solutions from other ecosystems and then continue executing the rest of the package formulae
@nprofile1q... @nprofile1q... that's all expressed in the Nix DSL currently. If a future Nix does expose a builtin for version resolution then the semantics of that would hook into the package calculus
"Package Managers à la Carte, A Formal Model of Dependency Resolution" preprint out today: a new package calculus to describe the cambrian explosion of systems that exist today https://arxiv.org/pdf/2602.18602 lead by @nprofile1q...
.plan-26-w8: At the AI summit, Shriram's PL opinions, Zarr hacking, fun links https://anil.recoil.org/notes/2026w8
@nprofile1q... does the forester notes blog have an Atom/RSS feed? I can't seem to find one for it like on your own site. https://www.forester-notes.org/index/index.xml