Multivac

@GrothendiecksG @burkov He might not be Gauss. But look at the open problems Tao has solved. I don’t know anyone that prolific.

@CosmicMultivac @burkov I wholeheartedly agree with other people pointing out about how unnecessarily snarky this person is, but modern day gauss is super wild

Terence Tao for some reason referenced ChatGPT as the source of some content in his paper. Expect scientists to cite spelling correctors: "By the way, the word 'elucidate' was suggested by Microsoft Word spelling corrector. I wasn't previously aware of 'elucidate'."

I first tried to read this book in 2018 and couldn't make it through because I thought it was too hard. 8 years later it's the only book I recommend every developer reads, and I had the chance to review the 2nd edition. Join a study group, give it a read.

@Inquisition1776 @JoJoFromJerz @RpsAgainstTrump You should look at all the evidence and make up your own mind. I suspect that you dismissed the evidence because you supported him. I question your character.

@CosmicMultivac @JoJoFromJerz @RpsAgainstTrump We would ask you for proof but we know you don’t have anything substantive

Trump: “To be a great nation, you must have religion, & you must have God. In churches across the nation on Sunday, the pews will be fuller, younger, and more faithful than they have at any time in many, many years. Religion is growing again in our country”

@Inquisition1776 @JoJoFromJerz @RpsAgainstTrump It’s a pedophile saying this.

@JoJoFromJerz @RpsAgainstTrump It’s a statement of fact? What is the disconnect?

@JBarnett68 @WalshFreedom "Abandoned conservative principles" because of his opposition to Trump?

@WalshFreedom You’ve abandoned conservative principles and ideals many years ago—so it’s no surprise conservatives will react that way. But the Dems? Also no surprise they would act that way, too—because they insist you toe the line.

Me: “I’m a proud Zionist, a huge supporter of Israel, and I do NOT believe Israel committed genocide, and I do NOT believe Israel is an apartheid state.” The Left: “Fuck you Joe, I’m done following you.” Me: “I oppose Trump’s stupid, illegal war against Iran, and I oppose Netanyahu.” The MAGA Right: “Fuck you Joe, I’m done following you.”

@buyrobot @mattyglesias 😂

@mattyglesias How are they swimming with laptops?

@yacineMTB Do you worry that using AI will lead to brain rot and some of the critical thinking skills you have will wither away?

i honestly can't believe i used to write code without LLMs. that's insane

New art project. Train and inference GPT in 243 lines of pure, dependency-free Python. This is the *full* algorithmic content of what is needed. Everything else is just for efficiency. I cannot simplify this any further. gist.github.com/karpathy/8627f…

Our grad-level "Deep Learning" course (MIT's 6.7960) is now freely available online through OpenCourseWare: ocw.mit.edu/courses/6-7960… Lecture videos, psets, and readings are all provided. Had a lot of fun teaching this with @sarameghanbeery and @jxbz!

@thsottiaux The vscode extension is completely broken. I keep getting "Reconnecting 1/5, 2/5 etc" despite resetting auth cache, reinstalling, changing versions etc. Please fix this.

What could we do better on Codex? App, model, strategy and features… what’s wrong in how we approach things that we should improve immediately?

@chamb35975 @ChadPergram Because the records were sealed?

@ChadPergram Why didn't raskin do something about this 2 years ago?

After reviewing Epstein documents at DOJ, Raskin says there’s evidence of victims as young as 9 years old

@pmddomingos There are fresh comp sci graduates coming out of good schools who are still looking for jobs. I don't know how wise your advice is. Can you elaborate?

The smartest thing you can do right now is major in computer science.

@justindeanlee Do you think a person disappears if you stop thinking of him?

The disappearance of Sam Harris from popular discourse is one of the most salubrious developments of the past couple of years.

@petergyang @navneet_rabdiya Yes, far more thorough, fewer bugs and polished code.

@navneet_rabdiya I thought codex is supposed to be more thorough in generating right code

i'm giving Codex a try tonight - any tips coming from Claude Code?

Hugo Duminil-Copin, French mathematician and 2022 Field Medalist told me he never participated in math competition and was very bad at it. Innovative mathematics requires creativity, intuition, intense concentration, and long reflections, sometimes spread over several years. Good performance at a math olympiad merely tests fast problem solving abilities. AI can do that nowadays. One of the big activities of a researcher, in mathematics and elsewhere, is not to answer questions but to ask the right questions.

GPT-5.3-Codex is here! *Best coding performance (57% SWE-Bench Pro, 76% TerminalBench 2.0, 64% OSWorld). *Mid-task steerability and live updates during tasks. *Faster! Less than half the tokens of 5.2-Codex for same tasks, and >25% faster per token! *Good computer use.

@burkov Can you give some examples?

With my experience and everything I know, I could come to any mostly white-collar company, talk to people about what their job tasks are, and architect a way to replace some of those tasks with AI, saving between 20% and 35% of costs to the employer or increasing productivity by the same amount. I could do that, but knowing how simple it is today, I feel zero motivation to do that.

Donald Trump is the worst president we've ever had.

@yacineMTB Don't understand the hype around Opus.

@yacineMTB Opus is good on the surface, good to start a brand new project, but I have repeatedly called on Codex to fix Opus's errors and find solutions to problems (like jemalloc memory retention issues).

Used codex all day today. We were able to rework all of Claude's development infrastructure, and we started making progress again