Delete argon bro. We're switching to carbon.
Did you sign up for krypton yet? I sent you an invite to our oxygen team. Check your inbox on xenon. You need to make a nitrogen account to access neon. Hold on, let me add you to nuclear fusion.
dhul retweeted
I see how some people can watch flashy robot demos on the timeline and think with a shiver that the robot apocalypse is around the corner, but reality check:
There is no robot in the world that can change the batteries in a jack-o-lantern.
If you have a robot friendly door handle it might be able to walk outside, pick it up, and carry it back inside. The robot could open the drawer with your batteries in it, but then things get tough.
Opening the package of AA batteries?
Extracting a precision screwdriver from its case?
Unscrewing four tiny screws that require a hard press and twist?
Popping batteries out of the case?
Yes, you could build and train a specialist robot to do that today, but there is a very long way to go to replace the full range of human capabilities. Near term doomer scenarios should stop at “secretly controlling humanity” instead of “wiping humanity out” 😀
We are about to have faster everything.
For decades ETH marked a limit on how fast we could solve hard problems.
In practice we'll have better chip design, longer battery life, cheaper deliveries and fewer bugs in software.
A four-minute mile moment for computing.
dhul retweeted
An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4
dhul retweeted
Announcing three major scientific discoveries, one each in mathematics (harmonic analysis), computer science (complexity theory), and physics (quantum field theory).
AI starting to help us improve our understanding of the universe! openai.com/index/building-sc…
dhul retweeted
OpenAI has announced to three new discoveries in mathematics, computer science, and physics:
- Local smoothing and the Kakeya conjecture
- The Exponential Time Hypothesis is false
- Existence of quantum chromodynamics and completions of the Standard Model
The one thing about openai and by extension sam is that they take feedback really well. They are taking a massive loss on the reset campaign to retain customers but its certain they have something huge up their sleeve.
People are grossly exaggerating Anthropic's $80b loss. Most of that loss was on paper: ANT became more valuable, making the shares owed to investors worth more. Accounting rules count that increase as a loss. The operating loss was only $693m in the first half of this year.
Anthropic has filed an S-1 registration statement with the SEC related to its proposed IPO.
Read more: anthropic.com/news/s1-sec
Legal disclaimer: A registration statement relating to these securities has been filed with the SEC but has not yet become effective. These securities may not be sold, nor may offers to buy be accepted, prior to the time the registration statement becomes effective. This post does not constitute an offer to sell or the solicitation of an offer to buy these securities, nor shall there be any sale of these securities in any state or jurisdiction in which such offer, solicitation or sale would be unlawful prior to registration or qualification under the securities laws of any such state or jurisdiction.
deepinfer is deepseek playing 4d chess. all the providers will now more efficiently serve their models further driving down the prices and capturing more of the market, without giving out their real edge in KV cache or Distributed systems efficiency.
Proof generation is an amazing way to verify your app works, as long as you know what to check, ie. proving a user is always charged the displayed amount doesn't prove that amount was calculated correctly.
Another key thing is maintaining these claims as the app evolves, if not careful can hint to the ai wrong behavior.
unfortunately, this isn’t economical for most teams. they run several layers of claude code review in parallel, both locally and in CI. at $15–25 per pull request, a team merging 100 PRs a day would spend $1,500–2,500 daily on reviews alone. at their volume of 1,000 PRs a day, that’s $15,000–25,000.
Claude writes about 90% of Claude Code's code.
From June to September, merged PRs more than doubled while the share reverted fell by more than 40%.
We wrote about how we changed code review to get there, and how to adopt it:
claude.dev/blog/solving-code…
Worthy read
Hi, I'm Felix. I'm an eng lead working on Claude. I love watching people take flight and do things they never thought possible.
We often describe that as "being more ambitious" when using AI, which is tricky advice to follow. I wrote a tutorial:
felixrieseberg.com/how-to-be…
