Related posts
John Baez Mastodon
What's the easiest way to hack Lean, Mathlib or something so that when people check your formalized proof of a Millennium Prize problem, it comes out saying "yes, the proof is good"? Asking for a friend.
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
3 September
24 August
24 July
9 July
-
Their words
power shifting from institutions to individuals across industries, the easiest example is sports where players are more relevant than teams now.
9 June
22 April
-
Their words
Agents, by making it easiest to write code, means there will be a lot more software.
1 January
-
Their words
You want to you want to be able to walk into the rooms that you're in each day, and the good habit is the path of least resistance. It's the easiest thing to do. And a lot of the time you walk into rooms and it's the distractions that are easier to do and you feel like you're swimming upstream and trying to fight your environment to make a change happen.
31 October 2025
-
Their words
To watch the universe. The easiest plausible answer is we are designed by the universe to watch itself and to comment on it in interesting ways.
16 October 2025
-
Their words
Each delayed year costs approximately 10% of life's easiest risk-taking period.
5 June 2025
-
Their words
So I do think scaling laws are working, but it's tough to get, at any given time, the models we all use the most, this maybe a few months behind the maximum capability we can deliver because that won't be the fastest, easiest to use, et cetera.
29 May 2025
27 September 2024
-
korrents.com
Wealth is what you have divided by what you want, so the reliable way to become wealthier is to want less.Their words
Once you have some, the easiest way to increase your wealth is to decrease your needs.
2 February 2024
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.