Empty Stack Developer, just pop me.
The fables of 10x engineers never include:
- updating the docs
- pair programming
- adding meaningful test coverage
- listening to burned-out coworkers
- improving on-call runbooks
The engineers that do these do not seek glory. They plant trees they don't expect to sit under.
The Supreme Court said Biden didn’t have the right to forgive student loans but Trump has the right to dismantle the Department of Education.
That’s when it became clear they’ve given up on even the appearance of impartiality. They’re just an arm of the MAGA movement at this point.
I have played a little bit with OpenAI's new iteration of #GPT, GPT-o1, which performs an initial reasoning step before running the LLM. It is certainly a more capable tool than previous iterations, though still struggling with the most advanced research mathematical tasks.
Here are some concrete experiments (with a prototype version of the model that I was granted access to). In https://chatgpt.com/share/2ecd7b73-3607-46b3-b855-b29003333b87 I repeated an experiment from https://mathstodon.xyz/@tao/109948249160170335 in which I asked GPT to answer a vaguely worded mathematical query which could be solved by identifying a suitable theorem (Cramer's theorem) from the literature. Previously, GPT was able to mention some relevant concepts but the details were hallucinated nonsense. This time around, Cramer's theorem was identified and a perfectly satisfactory answer was given. (1/3)
📢 Today, we are pleased to announce that Radicle 1.0 is ready for everyone to use!
After five months of feedback and 17 release candidates, we are finally ready to call this release stable.
Read the blog post for details, and give it a spin. 🎊