42 Followers
75 Following
172 Posts
A distributed systems PhD student at Cambridge; come talk to me about consensus!
githubgithub.com/cjen1

Phenomenal

You might have hear of wind shear, but have you ever seen it?

Late October, the maximum sustained wind speed was 75.9 kph (47.2 mph), a Beaufort scale force 9 - a "strong gale."
We were hurrying back to our hotel, breaking no speed limits but not hanging about.

I spotted this strange cloud formation and took a few shots. It wasn't until I had chance to look at them properly that I realised what I had.

Rangárþing eystra, southern Iceland.

#WeatherPhotography #Iceland #Photography

I switched all the labels on my wife's spice rack.

I'm not in trouble yet, but the thyme is cumin.

Borb of the day: Cedar Waxwing. Very round. 10/10.

Pretty song, too.

#FediBirds #BorbOfTheDay

Parker was a very happy (and sleepy) sofa buddy for a quiet evening of reading.

#caturday #cats #oneorangebraincell

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!
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