personally, I was somewhat poorly utilized in my last team, I've just switched to a dream team where I am again tremendously effective, and I'm concerned that the axe will fall on me at random or before I have an opportunity to get 140% in my next Connect.

I tolerate the freedom of speech of neo-Nazis and cyberbullies because it's the same freedom of speech I use. but they're awful people. FOSDEM is free not to associate with them.

if it weren't for China, half a dozen US billionaires would own the frontier, gatekeeping any model more powerful than Llama from the public. fortunately China is open-sourcing powerful models, but how long will they keep it up?

I think the political problems are much harder than the technical problems, fwiw. I can readily imagine ending up in a neo-feudalist dystopia.

have you seen Astra's computer use harness? it's literally that.

the burden of proof is on the prosecutor, but the defendant stands a better chance by presenting evidence that it wasn't her.

you could have the driver code prove it implements a spec, that there's no UB, that hardware invariants are maintained, that routines take a fixed time to execute.

the formal driver spec must still be written by sober, well-caffeinated humans of course.

so frustratingly, if it is an ancient hoax we can't ever prove it. all we would observe is that we haven't deciphered it, but failing to decipher isn't proof that there's nothing to decipher.