Related posts
Steve Coast x.com
The the word it uses that this site has seen least often elsewhere. Posts are matched on those words alone — nothing here is a summary of this one.
Top people
Showing Profile →
Hiding
Hiding
19 September
-
Their words
There’s no proof that “good code” will matter in the future. The notion of “good code” itself is mostly based on the idea that it’s easy/cheap/efficient for humans to work with. But humans won’t modify the majority of code.
18 September
16 September
15 September
14 September
-
korrents.com
AI agents are only as good as the proof-checkers, compilers, type systems, and linters given to them.Their words
Agents are only as good as the proof-checkers, compilers, type systems, and linters you give them.
-
korrents.com
The U.S. dollar's continued global dominance is a lagging indicator, not proof that American hegemony remains intact.Their words
the dollar's status is not a harbinger of U.S. hegemonic decline - it's a lagging indicator.
The Dollar Will Be the Last Pillar To Falldanieldrezner.substack.com
13 September
-
Their words
No matter who is and is not at fault, it is rather alarming that the labs cannot cooperate on something like assigning credit for a mathematical proof. This is a very bad sign and also a wake-up call.
11 September
10 September
9 September
-
Their words
the math community needs to adopt a version of the ethical standards of experimental science. If you are using AI agents, you can't just give a proof (formalized or not), but need to also provide a detailed explanation of how these agents were used to get the result.
8 September
31 August
30 August
-
korrents.com
States do not behave like predators by nature, and the American alliance system is the standing proof of it.Their words
If there is one thing we can say that has been shown, it is that states do not behave like this by nature.
28 August
26 August
From one piece Why performant code matters (but gets widely ignored), with Casey Muratori 2 beliefs, in the piece's order there
-
Their words
It's just like we are massively underperforming and people don't believe it when you say 10x 100x but it's actually true and we've seen a lot of proof of it as you point out.
-
Their words
They've got blog posts of we had to rewrite this whole thing because the performance was bad. If it was always hotspots that made your performance bad, you'd never have to rewrite the whole thing. So, we know that that doesn't work anymore.
17 August
-
korrents.com
Excessively AI-polished proofs can remove natural friction and become easy to read but hard to learn from.Their words
An excessively AI-polished proof may sand away both the "artificial" friction (typos, awkward phrasing, disorganization) and the "natural" friction, leaving a text that is easy to read and hard to learn from.
12 August
-
Their words
Okay, if I'm not going to read this code, how do I know it's going to perform within boundaries of the last code that I generated? That is conformance testing.
3 August
-
Their words
Your your models can be leaked, algorithms can be replicated, but hundreds of millions of miles of fully autonomous operations in the real world, backed by evidence-grade evaluation and publicly audited proof, that is much, much more difficult to replicate.
20 July
-
Their words
These wins are not proof that the system works; in fact, they are clear evidence that the system only works when it is circumvented.
8 July
-
Their words
Despite these strides, we argue that current AI4Math systems still largely operate as solvers, excelling at isolated, well-defined proof generation rather than as researchers capable of expanding the boundaries of mathematical knowledge.
30 June
From one piece Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what? 2 beliefs, in the piece's order there
-
Their words
And so having anything that's able to give you that green check mark that says even if this is going to be complicated to understand, even if it's going to be a pain, you at the very least know it is correct. Like every other field would kill for that, right?
-
Their words
Um even if it's proven just like there is a difference between proof and explanation.
7 June
-
Usesrcmnd.app
StudioBricks One PlusTheir words
Studiobricks One Plus sound-proof recording booth
22 April
From one piece Designing Data-intensive Applications with Martin Kleppmann 3 beliefs, in the piece's order there
-
Their words
But a proof can reason about potentially infinite state spaces. So, it can tell you things about like every possible thing that could possibly happen in the entire universe.
-
Their words
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.
-
korrents.com
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.Their words
But also LLMs increase the need for these formal proofs because, you know, we're live coding a bunch of stuff. If we have to manually review all of that code, then that will become the bottleneck.
16 April
3 April
-
Their words
A very useful book about the history of proving math theorems by computer.
20 March
From one piece Terence Tao – How the world’s top mathematician uses AI 2 beliefs, in the piece's order there
-
Their words
so so some people are concerned, you know, what if the Riemann hypothesis is proved with a completely incomprehensible proof? I I think once you have the artifact of a proof, we can do a lot of of of of of analysis on it.
-
Their words
I mean, some problems have been basically solved by pure brute force. The four color theorem is is a famous example. Um, we have still not found a conceptually elegant proof of this theorem.
11 March
-
korrents.com
Nobody will believe a resume any more; what will count is visible proof of the work you actually did.Their words
we are moving into a world very quickly this year where proof of work is so important and I mean proof of work not in the Bitcoin sense but your proof of what you have done, your resume. And I don't mean your resume because nobody's going to believe that. I mean the actual work that you did which has to be visible
18 February
-
Their words
Extrapolators have a remarkable track record in the AI field, being repeatedly early to trends and capabilities that empiricists believed were still decades away.
31 January
19 January
10 January
26 September 2025
-
korrents.com
Deep learning generalises badly, and catastrophic interference with what a network already knew is the proof of it.Their words
so we know deep learning is really bad at this for example we know that if you train on some new thing it will often catastrophically interfere with all the old things that you that you knew
2 September 2025
25 June 2025
14 June 2025
-
Their words
And that's a phase shift, because suddenly it makes sense when you write a paper to write it in Lean first, or through a conversation with AI, which is generally on the fly with you, and it becomes natural for journals to accept.
13 May 2025
5 May 2025
-
Their words
Eventually, I think it’s kind of hard to imagine, but yes, all of these Nobel Prizes, all of these mathematical proofs, all of these conversations, all of these ideas, all the influence we have on each other, even the AI, eventually will expire.
30 April 2025
-
Their words
There's ever more pressure to rebuild society more and more around credentials. Do you have this certificate? Do you have that proof? But companies that are focused on just building great products and doing great things gravitate towards people who do the great work.
1 April 2025
-
Their words
If you want to argue that human-level AI is extremely unlikely in the next 20 years, you certainly can, but you should treat that as a minority position where the burden of proof is on you.
22 December 2024
-
korrents.com
The burden of proof about alien civilisations has shifted: it is now on the pessimists.Their words
But I felt like what this paper showed was that the burden of proof is now on the pessimists. So, that's why we called it the pessimism line. Throughout history, there's been alien pessimists and alien optimists, and they've been yelling at each other, that's all they had to go with.
18 June 2024
26 October 2023
-
Their words
Despite evaluations, we cannot consider coming powerful frontier AI systems "safe unless proven unsafe". With current testing methodologies, issues can easily be missed. Additionally, it is unclear if governments can quickly build the immense expertise needed for reliable technical evaluations of AI capabilities and societal-scale risks. Given this, developers of frontier AI should carry the burden of proof to demonstrate that their plans keep risks within acceptable limits.
2 August 2023
-
korrents.com
The way to tell legal analysis from partisan lying is to distrust absolute certainty and to trust conceded ambiguity.Their words
Be skeptical of absolute certainty not backed up with proof. Be skeptical of pronouncements that there’s only one way a court will ever possibly interpret something.
23 June 2023
31 December 2022
-
Their words
Referencing obscure concepts, friends who are real but not famous, niche interests, and recent events all make you plausibly more human.
25 November 2020
-
Their words
But nobody will ever get to the billions of representative miles necessary to say anything compelling about expected safety until after they actually deploy their fleet.
2 June 2018
-
Their words
Brutalist buildings often age badly; Habitat 67 is proof that they don't need to, not even when they're built in a rush out of pre-fabricated units.
2 April 2016
Nothing matches.
What is a korrent?
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.