@thsottiaux Please unban my codex account. I believe I didn't violate the usage policy, but you suddenly banned me today. The account has conversation history and important data, and I can't access them now, which is really disappointing and unacceptable. I have appealed, but it doesn't help
@thsottiaux Thanks for doing this. Just to share some feedback: since the last reset was 7 days ago, many weekly Codex limits were about to reset automatically in a few hours anyway.
A reset 2–3 days into the cycle would feel much more impactful and would probably be appreciated even more.
I don't know what they are doing over there, but Codex will continue to be available both in the FREE and PLUS ($20) plans. We have the compute and efficient models to support it. For important changes, we will engage with the community well ahead of making them.
Transparency and trust are two principles we will not break, even if it means momentarily earning less. A reminder that you vote with your subscription for the values you want to see in this world.
my friend @neuralkian just dropped a pipeline parallelism course for FREE! this is exactly what frontier labs would hire you to work on at scale in order to speed up training and inference on large models. you'll start with a simple example of overlapping computation on a small MLP, and work up from there!
My research lab is launching a new blog, where we will share thoughts and tutorials on formal methods, mechanised proofs, PL, and more.
https://t.co/DdaoMpHN0O
First post: verifying imperative programs in Lean 4 with Velvet, using symbolic automation and AI-assisted proving.