sterlind
Joined 9 years ago
Joined 9 years ago
please reconsider.
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.
Discord: starstriking Email: sterling dot dorminey at gmail