Anil Madhavapeddy

@avsm

Professor of Planetary Computing @Cambridge_CL

Cambridge, England

anil.recoil.org

Joined April 2008

1,256 Following

6,298 Followers

Replies Reposts Media Articles

Pinned
Anil Madhavapeddy
@avsm
Feb 24
Made the cover of @CACMmag 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 writeup has been a long time coming: cacm.acm.org/research/a-dec…. A heady
00:00
1
Anil Madhavapeddy
@avsm
Oct 6
Delighted that Bidirectional Type Slicing has been (conditionally) accepted to POPL27, with tons of good expository suggestions from the reviewers! Their attention to detail is massively appreciated.
arxiv.org
Bidirectional Type Slicing
Development tools report what type an expression has, but not why it has that type. This paper develops a theory of type slicing: a programmer selects a term, queries any part of its type...
1
Anil Madhavapeddy
@avsm
Oct 5
Been trying to capture the seasons with my new notes page design. Still not quite there but getting better... anil.recoil.org/notes
Anil Madhavapeddy
@avsm
Oct 5
.plan-2026-40: now locked into Cambridge as term starts! Also a fun day trip to Oxford to talk to the Intelligent Earth PhD cohort, and did a mega release of @geotessera 0.11 with wall-to-wall embeddings for 2017-2025 now supported; and security issues in open source projects
.plan-26-40: A whole new world (of wall-to-wall Tessera embeddings)
From anil.recoil.org
Anil Madhavapeddy
@avsm
Oct 4
I'm not sure if I missed it or not, but it feels like computer science never had the same sort of consultation across the academies. Did we just move too fast, or is this just fragmentation across our sub-disciplines?
Abhishek Saha
@ObhishekSaha
Oct 4
The London Mathematical Society is currently surveying all editorial board members of all nine LMS journals (I am on the editorial board of two). This is part of a consultation on AI and publishing that will help determine changes to the LMS’s AI policy. The survey has 36
3