z7
Joined 4 years ago
Karma
905
Submissions
264
Member since
Apr 15
Recent submissions
Comment · 11 days ago
Comment · 1 month ago
> The field in question is formal verification. It’s notable that those two words appear nowhere on Bend’s webpage or in its codebase. The developer has built an entire language around a field seemingly without realising that said field exists.
I checked the developer's X account, they have written numerous posts about formal verification, so this specific claim ("without realising that said field exists") seems to be false.
Comment · 1 month ago
François Chollet wrote in February that he expected ARC-3 to be saturated in "about one year".
"Frontier models today perform very poorly with a minimal harness. However if big labs start directly targeting the benchmark like they did for ARC-2, numbers will go up fast."
Comment · 1 month ago
Chollet writes he expects AGI now sooner than 2030, "given progress is happening faster than I expected."
Comment · 3 months ago
> The cost of generating the proofs for all 10 of these breakthroughs combined was under $2,000 at Sol API prices.
Comment · 3 months ago
> The incredible Yitan Zhang (https://newyorker.com/magazine/2015/02/02/pursuit-beauty) worked on proving this conjecture for 7 years. Moh, his advisor, wrote that Zhang "failed miserably" in proving the Jacobian conjecture, "never published any paper on algebraic geometry" after leaving Purdue, and "wasted seven years of his own life and my time".
Comment · 3 months ago
"Hey Leibniz, how do you live with yourself knowing that your binary system helped eventually replace human conversations?"
Comment · 4 months ago
"I just tested my hand in a mini version of this scanner. Images that are higher quality than MRI, whole body captured in <1 minute, virtually free to run. This is going to change medicine."
Comment · 8 months ago
"As Alexander predicted in 'AI 2027,' OpenAI did release a major new model in 2025; unlike in his forecast, it’s been a damp squib. Advances seem to be plateauing; the conversation in tech circles is now less about superintelligence and more about the possibility of an AI bubble."
I'm not sure how many AI researchers would find this accurate. It seems to me that under conditions of ambiguity people often default to describing their preferred version of reality.
Comment · 9 months ago
The comparison isn't really like-for-like. NHTSA SGO AV reports can include very minor, low-speed contact events that would often never show up as police-reported crashes for human drivers, meaning the Tesla crash count may be drawing from a broader category than the human baseline it's being compared to.
There's also a denominator problem. The mileage figure appears to be cumulative miles "as of November," while the crashes are drawn from a specific July-November window in Austin. It's not clear that those miles line up with the same geography and time period.
The sample size is tiny (nine crashes), uncertainty is huge, and the analysis doesn't distinguish between at-fault and not-at-fault incidents, or between preventable and non-preventable ones.
Also, the comparison to Waymo is stated without harmonizing crash definitions and reporting practices.
Comment · 9 months ago
> The West is not complicit in the actions of the Iranian regime
What about the 1953 CIA/MI6 coup that overthrew Iran's elected prime minister?
Comment · 11 months ago
"You only live once."
Why state this as absolute fact? Seems a bit lacking in epistemic humility.
You're leaving this out?
On 26 February 2026, the Administrative Court of Cologne (Verwaltungsgericht Köln) ordered Germany’s Federal Office for the Protection of the Constitution (BfV), in interim proceedings, to refrain from classifying and treating the AfD as a “confirmed right-wing extremist organisation” pending the conclusion of the main proceedings at first instance.
https://www.tagesschau.de/inland/innenpolitik/afd-einstufung...