Anil Madhavapeddy
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Homepage at https://anil.recoil.org
...a detachable roof!
November 11, 2025 at 1:00 PM
...a detachable roof!
constellation.microcosm.blue is pretty efficient :-)
Hello! — Constellation
Constellation is a self-hosted JSON API to an atproto-wide index of PDS record back-links. You can use it to query social interactions in real time.
constellation.microcosm.blue
October 31, 2025 at 11:01 PM
constellation.microcosm.blue is pretty efficient :-)
Quotes definitely feel like the "missing glue" connecting blogs together. I was actually a bit surprised that this post bsky.app/profile/anil... didn't show up in the Leaflet. Have you considered a 'mentions' alongside the quotes and comments to just pick up references to a Leaflet post from bsky?
I'll add:: the future is having the agency of extensibility for code management. I want to be able to render executable notebooks that aren't Jupyter, to coordinate large datasets outside of git LFS, to track provenance of code+data. Federation is the means to this end. icy.leaflet.pub/3m47cll72hs25
wrote down some thoughts justifying @tangled.org's existence & planned trajectory.
October 31, 2025 at 10:38 AM
Quotes definitely feel like the "missing glue" connecting blogs together. I was actually a bit surprised that this post bsky.app/profile/anil... didn't show up in the Leaflet. Have you considered a 'mentions' alongside the quotes and comments to just pick up references to a Leaflet post from bsky?
With that many type theorists in one place it had a Raphael feel to it for sure
October 31, 2025 at 10:36 AM
With that many type theorists in one place it had a Raphael feel to it for sure
it's such a tantalizingly small step to then publish executable commands for the migrations so they can be clicked one by one by Komodo or similar :-)
October 29, 2025 at 2:55 PM
it's such a tantalizingly small step to then publish executable commands for the migrations so they can be clicked one by one by Komodo or similar :-)
Totally agree on the late introduction of mutation - we only introduce that in the penultimate lecture of Foundations of CS here too
October 28, 2025 at 7:19 AM
Totally agree on the late introduction of mutation - we only introduce that in the penultimate lecture of Foundations of CS here too
personal website evolution is definitely the way; i've used perl, php, python, ocaml, haskell, cduce, xslt, sh/sed/awk and probably a few more for mine over the years!
October 25, 2025 at 4:12 PM
personal website evolution is definitely the way; i've used perl, php, python, ocaml, haskell, cduce, xslt, sh/sed/awk and probably a few more for mine over the years!
sorry, the "PyRet" typo must be as triggering as "Ocaml" is for me, now fixed! (pic was one of the Marina Bay Sands towers, how they built it is fascinating www.architectmagazine.com/design/build...)
Marina Bay Sands
Singapore/Safdie Architects
www.architectmagazine.com
October 24, 2025 at 11:21 AM
sorry, the "PyRet" typo must be as triggering as "Ocaml" is for me, now fixed! (pic was one of the Marina Bay Sands towers, how they built it is fascinating www.architectmagazine.com/design/build...)