We might be working on something speedy 👀

Every senior engineer I know is currently bottlenecked by code review, correctness, and trying to wrangle the output of their team in sound architectural directions

Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao. The proof was generated by GPT 5.2 Pro and formalized with Harmonic. Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them:

~30 billion codex tokens in about 2 months and i've ported a 2.5 millions loc absolutely nightmarish js codebase full of mutations in every line to perfect functional effect-ts. All known errors gracefully handled. @EffectTS_ is so good. Only typescript framework that really

Excited to welcome Barret Zoph, Luke Metz, and Sam Schoenholz back to OpenAI! This has been in the works for several weeks, and we’re thrilled to have them join the team. Barret will report to me; Luke and Sam will report into Barret. More to come on what they’ll focus on soon!

comma will stop selling openpilot. openpilot will only be available under the MIT license on GitHub thereafter.

on one’s first day at anthropic they make you pledge unceasing allegiance to the human race. new conscripts are forced to watch seven hours of brutal ww2 footage while claude monitors your EEG. if you blackpill at any point you are deemed misanthropic and thrown out

@GuiveAssadi “bullshit jobs” has always been wrong and the market works well beyond the cognitive capacity of whatever the wordcel mlecchas on either side of the political spectrum are larping on any given day

Thank you, @nsthorat. Very well said. We all bear a collective responsibility to speak up and not be silent when we see things like the events of the last week.

Dirty.

Video message from Federal Reserve Chair Jerome H. Powell: https://t.co/5dfrkByGyX

If you claim to support human rights yet can’t bring yourself to show solidarity with those fighting for their liberty in Iran, you’ve revealed yourself. You don’t give a damn about people being oppressed and brutalised so long as it’s being done by the enemies of your enemies.

@I_amMukhtar I completely agree. Iranians are not Muslims :)) Now you can cry even more :))

Rarely seen a team ship this fast. Stay tuned for more work from Codex to work with the flourishing ecosystem of agents and tools out there.

some of anthropic rugpulls since August 2025: > revoking Max users access outside of Claude Code & banning paid users > cutting off xai api access > 5 years retention of all conversations and code, all data will be used for training > 1.58-bit quantized models during

huh they can get cursor to shut off one of THEIR customers?

https://t.co/E7VIHIfmeV

With the Claude Code shutdown. I am proud that we build Codex in the open with our OSS repo and we are 100% invested in supporting a flourishing ecosystem of agentic coding tools out there. You can already build on top of https://t.co/AwDBgSWVqU directly, which includes ChatGPT

we are working with openai to allow codex users to benefit from their subscription directly within OpenCode

let’s keep the open source coding agent goodness flowing 🤝