David Webster

I’m at least 100x more productive than I was before AI. And that’s with a much better quality of life; I can get more done in a day running errands than I did in a month of being chained to my desk. If AI doesn’t kill us all, I can’t help but think we’re headed for some really great times.

Mocny ekesperyment lata po necie:, wrzucasz do swojego modelu AI taki obrazek i komendę: „Wypełnij ten pokój tym, co o mnie wiesz” Przyznam, że mój wynik mnie zaskoczył, to znaczy zawsze byłem świadomy, że oni zbierają informacje o nas… ale co innego być świadomym a co innego zobaczyć to na takim obrazku, trochę mrozi krew w żyłach ;)

We asked GPT-6 Astra to edit Qwen3.5-0.8B weights to improve math. It directly changed only 0.016% of weights, fixing 0.8B's reasoning loops & improving math up to 6x and even instruction following 3x, without gradients or training. We call this Weight-Space Programming: frontier LLMs can now natively read/write neural network weights! 🧵 Blog: rikiyat.github.io/blog/weigh…

bro RIP Patrick

If P = NP but all the things we thought were not P just have huge constants, then the only reasonable conclusion is that we are in a simulation and these constants were chosen to be inaccessible to denizens of the simulation

Had early access to Genie 4 from @GoogleDeepMind. This is a fully generated, interactive world from a single starting prompt (environment + character) 🤯 Feels like a massive step forward - you can now prompt to change the world and interact with it. With native audio!

This is Genie 4, our most realistic and interactive world model yet. 🌐 Explore dynamic environments in real time to see how the scene responds, sounds, and how the people in it move, react, and speak.

This morning we are releasing the largest proof in the history of mathematics: A formalization of the Classification of Finite Simple Groups (CFSG)! Over 43 million lines of Lean, 715 papers and books, and 100 substantive fixes to the literature, this is truly an enormous theorem. Well done team!

OpenAI CEO Sam Altman: "I don't even know a dramatic enough word to use… models can find bugs that are outside of the normal threat model of what we think a hacker can do… hardware-level, insane stuff… I no longer think we're gonna be able to just patch all the bugs." It's over.