Related posts
Sasha Rush GitHub
lean-transformer — Blog on formalizing key transformer invariants.
formalizinginvariantsnamespace
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
18 September
21 August
13 August
7 April
-
korrents.com
Formalizing math is a translation task, so AI will boost top mathematicians' productivity more than top writers'.Their words
I expect AI to increase productivity of top mathematicians much more than that of top writers, because formalization is a kind of translation task, it doesn't require much judgement, and as long as it compiles noone needs to read the result.
0058: borrow-checking surprises, books, linksscattered-thoughts.net
18 February
-
Their words
The world may be complex, but complex systems are typically controlled by a small number of highly stable invariants.
26 May 2025
13 May 2025
10 June 2022
-
korrents.com
Fast capability gains are likely, and they can break many of the assumptions alignment depends on at the same moment.Their words
Fast capability gains seem likely, and may break lots of previous alignment-required invariants simultaneously.
17 March 2022
-
korrents.com
How science works can be reasoned about in advance, because the activity has invariants that do not change over time.Their words
If we know the invariants of the problem at hand we can make assertions about the best way to solve that problem now and in the future.
1 October 2020
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.