What configuration on the ThinkPad?

In the US, cheap ThinkPads like E14 sometimes sell for a bit less when you factor in all typical discounts. They are good machines that run Linux well and can be repaired.

In EU, and I imagine other markets, there's nothing remotely close. I hope this puts some pressure on Lenovo and the rest of manufacturers to be more competitive.

For instance, under Yann's direction Meta FAIR produced the ESM protein sequence model, which is less hyped than AlphaFold, but has been incredibly influential. They achieved great performance without using multiple alignments as an input/inductive bias. This is incredibly important for large classes of proteins where multiple alignments are pretty much noise.

CSP and Hoare logic were brilliant. He was a huge proponent of formal methods.

He famously gave up on making formal methods mainstream, but I believe there will be a comeback quite soon.

On generated code, verification is the bottleneck. He was right, just too early.

It was edited again a few minutes ago and now displays Sunday, March 8th as his date of death.