Related posts
Hillel Wayne GitHub
lets-prove-leftpad — Proving leftpad correct two-dozen different ways
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
19 September
18 September
16 September
14 September
13 September
-
Their words
A choice exists at the scale of a person thinking, weighing and deciding. Looking at the molecules underneath and finding no choice there doesn't prove that choice is an illusion.
12 September
11 September
7 September
2 September
1 September
-
Their words
So, we did a classifier sweep specifically looking for agents thinking about or making the decision to alert humans. And across, 1200 transcripts, each of which are extremely long, we only found like a halfozen instances of it ever occurring to any agent to potentially notify humans. Um, and all of them just decide not to do it.
29 August
28 August
17 August
15 August
10 August
31 July
-
korrents.com
Models can prove monumental theorems and still have never written an essay worth reading.Their words
I mean, it's very interesting, right? Because these can prove the Jacobian conjecture, you know, whatever. Uh and so clearly they're capable of these monumental feats. Um but somehow I still haven't read the LLM essay that I found super compelling.
25 July
14 July
11 July
-
Their words
Population-level studies will keep struggling to prove that short sleep shortens life, because they are structurally unable to separate cause from symptom—and the genetic tools meant to overcome this limitation inherit a different fatal flaw.
30 June
-
Their words
So my role and arguably that of like other mathematicians might actually just shift subtly into that curation direction of what ideas are are worth displaying.
28 June
26 June
-
Their words
we are trying to encourage people to not spend all their time just like going through all the mathematical open problems physics problems and um just seeing pushing the models to their limits to see what they can prove or disprove.
24 June
-
Their words
it's just right team, right project, cuz if you don't get the right project, there's no way you can prove yourself. You could be a 10x, 100x engineer, and if you're working on relatively easy stuff, you can't really say that you solved like a really hard problem.
16 June
-
Their words
and you may now use the actual Inquisition record of you having gone through censorship as the document to prove that you and only you have the right to print the book and therefore you can sue people for plagiarizing it or printing an unauthorized edition. And so, the very first version of copyright is the Inquisition.
13 June
-
korrents.com
The war in Ukraine will prove as historically significant in its outcome as the First World War was.Their words
The war in Ukraine has now lasted longer than the First World War, and there is every reason to think that its outcome will be of comparable historical significance.
10 June
-
korrents.com
Progress in AI takes a very strong dozen or two researchers, not hundreds or thousands of them.Their words
in order to make progress in AI you don't need like many many hundreds of AI researchers um or thousands or anything like that I think you can really make progress with um you know a very strong group of a dozen or a couple dozen people.
9 June
-
Their words
But the maritime world is about negative objectives. It's preventing things from bad things from happening. And um you can never prove that you prevented anything.
3 June
-
Their words
if you nominate people whose life history reflects a high degree of unreliability, they may prove unreliable once in office.
8 May
-
Their words
It may still be the case, and I guess it is, that immune traits are the most selected category, but is not at all the case, and in fact, we can prove it's not the case that behavioral traits are not selected.
6 May
24 April
-
korrents.com
A confession stops the investigation that would have cleared the innocent person who gave it.Their words
A confession, though, will sometimes preclude police from doing the very sort of investigation that would prove the confessor’s innocence.
22 April
-
Their words
The dynamic type system provides flexibility and easy meta-programming, while the static type system removes the overhead in most of your code.
13 April
3 April
-
Their words
A very useful book about the history of proving math theorems by computer.
25 March
-
Lovedrcmnd.app
Zen and the Art of Motorcycle MaintenanceTheir words
I’ve read it at least a half dozen times since. I’ve listened to it on Audible twice.
19 March
-
Their words
it turns out you can do this if you think really hard about okay, how do I have agents prove to me that the stuff they've written works?
11 March
-
Their words
The right way to incubate a video game is you have the smallest group possible and you try to get the idea across with whatever technology you can get your hands on, using other engines, using art from whatever. You prove out that idea, and once you know what you’re doing, then you expand the team.
4 March
-
Their words
When rare skills become more attainable, people feel pressure to move "up the stack" to prove their value.
15 January
1 January
-
Their words
behavior and belief is like two-way street. You know, what you believe will influence the actions that you take, but the actions that you take can also influence what you believe about yourself. And you know, every time you show up and do it in some small way, you prove to yourself a little bit, hey, maybe I am that kind of person. And so, my encouragement, my suggestion is to let the behavior lead the way.
12 December 2025
9 December 2025
From one piece Is It a Bubble? 2 beliefs, in the piece's order there
-
Their words
There’s a consistent history of transformational technologies generating excessive enthusiasm and investment, resulting in more infrastructure than is needed and asset prices that prove to have been too high. The excesses accelerate the adoption of the technology in a way that wouldn’t occur in their absence.
-
Their words
There can be no way to participate fully in the potential benefits from the new technology without being exposed to the losses that will arise if the enthusiasm and thus investors’ behavior prove to have been excessive.
26 November 2025
-
Mixed onrcmnd.app
Fantastic FourTheir words
Fantastic Four. It was ok? Aside from a few things, I’m having trouble getting excited about post-Infinity Saga Marvel. There was just a special alchemy about that whole arc that is proving impossible to reproduce. (B)
2 September 2025
-
korrents.com
Studies showing a language model behaving badly prove nothing, because the model was asked to produce that behaviour.Their words
you write murder is good on a piece of paper and you put it in a photocopier and you press go and you say my god the machine says murder's good. Well, no, you told the machine to say that. And that's what these anthropic studies are. They're basically you tell the machine to say a thing and then it says it like well you haven't proved anything.
17 August 2025
14 August 2025
14 June 2025
From one piece Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472 2 beliefs, in the piece's order there
-
Their words
I can tell you with complete certainty the twin prime conjecture is true. The random model gives overwhelming odds it is true, I just can't prove it.
-
Their words
I'm much more comfortable with the fox paradigm. Yeah. So yeah, I like looking for analogies, narratives. I spend a lot of time… If there's a result, I see it in one field, and I like the result, it's a cool result, but I don't like the proof, it uses types of mathematics that I'm not super familiar with, I often try to re-prove it myself using the tools that I favor.
30 April 2025
-
Their words
We'd constantly be improving the tools and just the iterative process and the speed at which that improves products is the critical element to success in games. The slower the iteration cycle, if you make a build every week and you prove, you go through one iteration every week, you're going to be way way way worse by the end of your project than a game company that makes new stuff every day.
24 April 2025
-
Their words
Unfortunately, making those simple changes is infuriatingly difficult. Global meat consumption keeps rising every year. The world still wastes at least one fourth of its food.
It's Hard to Change Our Behaviorsmichaelgrunwald.substack.com
16 December 2024
-
Mixed onrcmnd.app
First, Break all the RulesTheir words
Gallup interviewed thousands of high-performing teams and managers and found a dozen of things each of these teams had in common. While the insights are good, the content itself was quite dry for my taste.
30 September 2024
-
korrents.com
Responsible scientists try to disprove their own theories, and archaeology keeps stepping out of that box.Their words
And as responsible scientists, we’re trying to disprove our theories. We are not supposed to be trying to prove our theories. That’s one more foot out of the science box that archeology often steps.
3 July 2024
-
Likedrcmnd.app
Beyond the Visible: Hilma af KlintTheir words
Beyond the Visible: Hilma af Klint (Germany, 2019, CC) 3.6 When thinking about the most overlooked female artist, Artemesia Gentileschi often comes to mind. This documentary makes a persuasive case for Hilma af Klint. To my eyes, her most appealing works are not the large scale abstractions, rather it’s the small Klee-like gems that stand out. Don’t assume that if you have seen a half dozen of her most famous works that you have any conception of her overall career.
4 June 2024
-
Their words
But their latest study is for only 7.1 million miles. They need something like 40 times more data prove they are actually saving lives with statistical confidence (likely even more).
Waymo's Misleading Claim of Saving Livessafeautonomy.blogspot.com
20 February 2024
-
korrents.com
About a dozen holdings captures nearly all the benefit of diversification; going to fifty adds almost nothing.Their words
I even recommend for individual investors to invest in a dozen companies, you don't get that much more benefit of diversification going from a dozen to 25 or even 50.
27 June 2023
-
korrents.com
A threat loses First Amendment protection only if the speaker was at least reckless about it being taken as a threat.Their words
Now, finally, the Court has resolved the question: the First Amendment requires that, at a minimum, the government prove that a speaker was reckless about whether their statement would be interpreted as threatening.
9 March 2023
31 December 2022
-
Their words
Easier said than done, but one of the best ways to prove you’re not a predictive language model is to demonstrate critical and sophisticated thinking.
7 March 2021
-
Usesrcmnd.app
FeedlyTheir words
I use Feedly to follow most of the usual economics blogs, as well as dozen or so journals
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.
8 September 2020
-
Their words
Others are the golden threads of this world, holding it together at the seams with no more than a dozen people knowing about it. Remove one of these and it all comes crashing down.
How can you not be romantic about programming?thorstenball.com
10 December 2019
-
Usesrcmnd.app
FeedlyTheir words
I use Feedly to follow hundreds of RSS sources, subscribe to a couple dozen newsletters, and maintain a carefully-selected set of non-default subreddits to make Reddit tolerable.
21 January 2019
From one piece Why Don't People Use Formal Methods? 2 beliefs, in the piece's order there
-
korrents.com
The hard part of verification is not proving the code correct but working out what the specification should say.Their words
Finding the right spec is one of the biggest challenges in formal methods.
-
Their words
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.
10 September 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.