We need to do something that inflicts pain on nicer, more sympathetic Israelis in Tel Aviv and Haifa, something that makes them want to actually change course and meaningfully alter the situation.
When liability exposure approaches 0—when no one pays the price for unverified failures—verification budgets collapse...Deployers flood the Runaway Risk Zone with unmonitored agents, capturing the gains of automation while socializing catastrophic risks.
LLMs constantly hallucinate and cannot be trusted. I still have to verify and iterate a lot but now I usually focus on architecture and design instead of code style.
no matter what kind of industry you're looking at, there was this government angle where the government's policy actions could be ones that could actually unlock technologies.
but I can tell you with first hand experience nuclear power plants do not care about this stuff. They're actually just fine with with with thorough testing.
I think it is making it more popular. I don't know if it'll make it go mainstream, but it's definitely making it a lot more popular. It's bringing it from maybe like 0.1% to 0.3% which is huge.
I think the skill nowadays is less about prompt engineering and more about figuring out how do you give Claude a hard task that seems a little bit too hard. And then how do you make it possible for Claude to verify its work along the way? And the verification I think is probably the single most important thing that people do not get right
However, these LLM reasoners that generate informal reasoning in natural language are fundamentally limited by the lack of precise, machine-checkable semantics, making their outputs prone to hallucinations [Huang et al., 2025b] and precluding autonomous verification, a prerequisite for tackling open-ended mathematical research.
that's how progress has always been made historically, right? It's not um through centralization. It's through empowering individuals to try things that are somewhat out of the mainstream that other people didn't think were good ideas
To a certain extent, the concerns about cognitive offloading are an example of technological lag, where the mainstream discussion of AI and its impact is still framed in terms of the first-generation chatbots.
One is that the LLMs are getting increasingly good at writing these proofs. And if we don't have to write the proof by hand as humans, it just becomes feasible to do them in situations where previously it would have not been economical.
And so you just have to first realize that chips exist in China. They manufacture 60% of the world's mainstream chips, maybe more. It's a very large industry for them. They have some of the world's greatest computer scientists.
So certainly one thing that a lot of them seem to be bottlenecked on is now having interesting ideas and in particular having interesting design ideas.
so the mainstream view would say, well, China has cheaper labor, which is no longer true, uh, say compared to Mexico, and it's got lower environmental regulations, uh, which is true, and that it is more businessfriendly, which is absolutely crazy.
He offers a unique form of grounding on political, sports and other issues, and a way of bridging my kinds of ideas into mainstream discourse. I almost never regret reading.
However, luasec does not perform any certificate verification by default! This makes its out-of-the-box behavior very unsafe, and I have to recommend against using it for anything.
Despite misleading statements by mainstream education economists, college attendance in particular is not a good career investment for most of the population.
So there is an angle of, the US' actions, from the angle of the expert controls, have been so inflammatory at slowing down China's progress on the leading edge that they've turned around and have accelerated their progress elsewhere because they know that this is so important.
So having an independently owned powerful platform is very important for truth, for free speech, for hearing the other side of the story, for counterbalancing the power of the government.
All the evidence is that Hispanics are integrating into the American mainstream more quickly and more effectively than the European immigrant groups that came starting around 1835.
the most likely identifiable scenario by which fertility will rise again is via the growth of currently-small insular high-fertility subgroups like the Amish and Orthodox Jews
It is a remarkable work, not just of scholarship and research but, above all, of a fresh angle on the way that the inter-reaction between Nazism and Stalinism actually caused such appalling levels of hatred and murder in this particular area.
Formal verifiers have a dilemma: the more expressive the language, the harder it is to prove anything in it. But the less expressive the language, the harder it is to write anything in it.
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com.
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.