42 Followers
74 Following
168 Posts
A distributed systems PhD student at Cambridge; come talk to me about consensus!
githubgithub.com/cjen1
Who called it "prompt injection" and not "Escape from Markov"

Trying to put together a few slides about "data sovereignty" -- or, more generally, legal and social and ethical concerns of distributed systems (especially when they get ever larger).

Does anyone have readings or data to suggest?

E.g. I'd be especially interested in illustrating the historical decline of e.g. in-house or ISP-provided services, and the rise of the hyperscaler-backed equivalents e.g. Gmail / Office 365 / ...

> LOOK

You are in a room. There are exits to the north and west. There is an armchair.

> SIT

You are sitting in an armchair in a room. There are exits to the north and west. A small black cat enters the room.

> TAKE CAT

You cannot take the cat.

> PET CAT

You pet the cat. It starts to purr.

> PET CAT

You pet the cat. It jumps onto the chair, purrs, and settles on your lap.

> N

You cannot go north. You are immobilised by a cat.

> STAND UP

You cannot stand up. You are immobilised by a cat.

> W

You cannot go west. You are immobilised by a cat.

> PET CAT

The cat purrs.

#Cats

LPT: want to stop burning your mouth on coffee every morning? Just drink yesterday's drip coffee!
@ahelwer I did not know they had a digital version this is fantastic thanks!
Experiences using the #TLA Toolbox with TLAPS to prove liveness for the Xen vchan protocol: https://roscidus.com/blog/blog/2026/01/01/tla-liveness/

I’ve just published Potato, a new pansharpening package. It aims to render certain kinds of satellite imagery more clearly and accurately than what’s for sale and on satellite maps today: https://github.com/celoyd/potato/

It’s under 50k parameters, comes with a working checkpoint, runs on a home computer, and is specialized on WorldView-2/3 ARD imagery. It does a few things I haven’t noticed before in the literature: for example, using all the visible multispectral bands to make its visible colors.

GitHub - celoyd/potato: A small pansharpening model

A small pansharpening model. Contribute to celoyd/potato development by creating an account on GitHub.

GitHub

humans unix
🤝
using ps to find cat

#unix #caturday

Night Shift 🌙 for #windowfriday

This took me much longer to edit than I would care to admit - even if it is minimalistic. So, if you have any critiques on it, talk to me about it in a couple of months when I've recovered from the pain. 😂
It's not great, but it's something! You might have seen another photo of this building a few months ago when I photographed the reflections of clouds on its façade.
Oh, the person standing there had just put on their coat and I was very happy they were visible! ✨

#photography #window #fensterfreitag #friday #tgif #amateurphotography #architecture #streetphotography #windows #silhouette #night #nightphotography #urbanarchitecture #bologna #city #cityscape #urban #citta #minimalism #minimalistic #finestravenerdi #finestra #photo #street

The council demands dinner.

#caturday