miniblog.

I've started naming my servers digiocean1.example.com, digiocean2.example.com and so on. I wish I'd done this much earlier. I already have domain names for the actual deployed services, but it quickly gets confusing when you start moving things around.

TIL that Rust has a (i) icon that shows relevant traits that a type implements. This is useful to understand that e.g. .iter() on a Vec<T> iterates with &T. https://doc.rust-lang.org/std/vec/struct.Vec.html#method.iter It looks like one of my bug reports was mentioned, so I'm delighted but wish I'd noticed earlier!

I'm fascinated to learn that people are discovering weaknesses in state-of-the-art bots for playing Go, such that a novice player can reliably win: https://goattack.far.ai/human-evaluation This suggests that self-play doesn't always generalise: it's not sufficient to beat earlier versions.