unprovable

I hope this is the only time I use this tracker (unlike the COVID-19 ones...)

Absolutely this. Plus, LLMs are surprisingly adept (in my experience) at handling gnarly syntactic corners of most widespread strongly typed languages, esp. C++ and Rust.

Solid writeup - Actually an enjoyable read about solving a problem with zero documentation but plenty of tenacity.

> A paper is not a blog post

True words. This post is actually a very good enumeration of the status quo for this debacle.

Open source quantum hardware with Quantum Village in donated lab space at a London university. Pushing the boundary for Entropy Loop, a QRNG to make it faster and more enteopy, and the Uncut Gem redesign, our NVC diamond based quantum magnetometer.

It's been so long since I last saw this. Stalwart of the internet.

Cute, and quite something if the sim-to-real pipeline is as smooth as we all might hope.