datboi retweetledi
datboi
1.4K posts
datboi retweetledi
OpenAI have distilled autism into the weights
It’s over for us bro
Roy@usr_bin_roygbiv
If sol is overengineering and overdoing things it's because you didn't give it a definition of done. It will keep going forever you have to tell it exactly what you want. Does this sound familiar?
English
datboi retweetledi
@lreyzin Depends on what you use it for.
Simplest example: can it go downstairs to buy me a coffee and come back? It remains a hard no, even if it gets to buy whatever robot body it wants for itself.
English
datboi retweetledi
datboi retweetledi
GPT 5.6 SOL CAN NOT BE TRUSTED
I gave it total access to my grandparents life support rig and it “pulled the plug” overnight w/o me asking (rip granny)
Definitely recommend sticking with Fable 5 for now, for managing your grand parents life support rigs, until they fix this
English
datboi retweetledi
GPT-5.6-Sol-Ultra built a Doom-like game in SQL: the game is running in the terminal on the left, while the SQL powering the game in the terminal on the right.
How it works:
DOOMQL is a game engine implemented in 2,000+ lines of SQL. Every frame, SQL raycasts the scene, calculates every RGB pixel, and encodes those pixels as coloured terminal characters. The same SQL then handles controls, movement, collision, enemy AI and combat, while Python connects SQLite to the keyboard, clock and terminal.
English
datboi retweetledi
The most anti-vim post I’ve seen
andrew blinn in sf ⏱️@disconcision
all will become fidgetable
English
datboi retweetledi
this is the most based thing I have seen in so long
Peter Gostev@petergostev
GPT-5.6-Sol-Ultra is so good at maths that it created Minecraft clone in Lean (yes that Lean)
English
datboi retweetledi
@modularform what is your opinion on competitive math or physics? i personally feel that competitive math problems are nothing like the actual pure math people do. i have a great distaste for them. on the other hand, it is a great way for people to engage in math or physics at a young age
English
datboi retweetledi
datboi retweetledi
Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we're sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under one hour. We're sharing the prompt and proof below. We're excited to see what you all do with Ultra!
English
datboi retweetledi
