Related posts
Martin Kleppmann Blog
The the words 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
20 September
19 September
14 September
-
korrents.com
The more one believes AI may cause unspecified unpredictable problems, the stronger the case for state control of it.Their words
The more we believe that IA may cause non-specified and unpredictable problems, the stronger the argument for its control by the state.
9 September
-
korrents.com
Verifying whether a photo is authentic (unaltered by AI) is becoming an increasingly difficult problem.Their words
In an era where validating image authenticity is turning into a real challenge, I think we have to commend Apple for trying to do something in this field.
8 September
1 September
24 August
-
Likedrcmnd.app
gpt-5.6-luna-fastTheir words
openai/gpt-5.6-luna-fast xhigh is *really* good at boring web dev tasks eg. migrations, ports, verifying work with agent-browser
19 August
-
Their words
Incredible watering down -- the Singularity is now redefined to mean "the rate of new firm creation has increased somewhat" Vernor Vinge described the Singularity as an event horizon past which everything (e.g. what happens tomorrow) becomes entirely unimaginable and unpredictable to human understanding
15 August
-
Their words
The alternative way that you can reduce risk is actually just reducing consequence, right? And we would argue that that's a much better way to reduce risk. Odds uh are stochastic, right? Even if you do an enormous amount of risk reduction on odds and you do all this engineering, something's still going to happen, right? like just something's going to come out of left field and you can't predict everything.
7 August
29 July
-
Their words
Then the actual system might still have bugs, but we can iron out the issues in the abstraction such that we don't actually build them in the real system.
8 July
30 June
-
korrents.com
Writing well means knowing the exact moment to be unpredictable, which is not the same as raising the temperature.Their words
like when you're writing you sort of you sort of know in order for it to be good, you have to have an element of the unpredictable. And it's it's not just like increasing temperature in your mind or something, right? It's like knowing exactly the correct point when you want to make an unpredictable move.
10 May
-
Their words
I think the structure frankly is better than founder control. Daio does not have dual class shares the way that Mark Zuckerberg or or Larry and Sergey had.
22 March
-
korrents.com
Release management is human group sense-making, and it does not scale to the volume of change AI now produces.Their words
so many times that process has been managed by humans because you're selecting the right candidate build and you're verifying it and you're thinking, you know, you're figuring out cherry picks and then you like rebundle and then you send it out and that doesn't scale if you have one or two or a handful of people trying to make group decisions and do group sense making.
20 March
-
Their words
So, we're now in a situation where suddenly people can generate thousands of theories for a given scientific problem. And now we have to to verify them, evaluate them and this is something which we we have to to change our structures of science to actually sort this out.
13 February
From one piece Dario Amodei — “We are near the end of the exponential” 2 beliefs, in the piece's order there
-
Their words
on the basic hypothesis of you know, as you put it, within 10 years we'll get to, you know, you know, what I call kind of country of geniuses in a data center. I'm at like 90% on that. Um and it's hard to go much higher than 90% cuz the world is so unpredictable.
-
Their words
on the basic hypothesis of you know, as you put it, within 10 years we'll get to, you know, you know, what I call kind of country of geniuses in a data center. I'm at like 90% on that. Um and it's hard to go much higher than 90% cuz the world is so unpredictable.
5 October 2025
-
Their words
I mean in my experience the typical win rate and I hate to use that term for experiments is is often something like 30 to 50%. Like usually you're not actually get like you're trying a bunch of things a lot of hypotheses turn out not to be true. you know, consumer products are very unpredictable like that.
11 September 2025
31 March 2025
23 March 2025
-
Their words
basically everything I thought would work out well, people use it less than I thought they did. And everything where I was like, I don't know, but let's build the thing. People love that.
30 December 2024
-
Likedrcmnd.app
Principles of the SPIN Model CheckerTheir words
This book gave me both insight and a deeper curiosity about the subject. This book introduces the SPIN model checker and exposes the reader to the nuances of verifying programs using SPIN. A nice feature of the book is how it explains concepts using thoughtfully developed, freely available tools (such as jSpin) that the author created for pedagogical purposes. It's a demanding book, but the content was interesting. The book presents details about concurrency, temporal logic, non-determinism, advanced SPIN topics, and even case studies. I've already written a few blog posts about the topics I explored while reading this book, and I plan to write more. Overall, it's a good book. I'm sure I'll revisit the latter half again.
26 March 2024
-
Their words
reassurance is futile. Reassurance that we seek is like a warm bath, it feels great, and then you need more of it. Because the future is unpredictable, and when the future doesn't match what you hoped for, the reassurance you used to have isn't enough. You need more reassurance.
23 December 2023
-
Their words
Biology is unpredictable, especially when the immune system is involved, and there is no guarantee that a drug that appears safe in animals will be safe in humans.
26 August 2022
-
Their words
As much as we might want to imagine that the greater currents push historical events largely on a predetermined path with but minor variations from what must always have been, in practice events are tremendously contingent on unpredictable variables.
26 April 2022
8 February 2022
-
korrents.com
Relying on metatables for method lookup tends to produce surprising, unpredictable behavior.Their words
This is a common problem with using metatables; they can lead to surprising, unpredictable behavior.
20 January 2021
-
korrents.com
Software is not uniquely unpredictable; other engineering disciplines are hit by the same surprises and overruns.Their words
To assume that software is uniquely unpredictable is a special kind of arrogance.
5 April 2018
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.