Related posts
Terence Tao Mastodon
While working on the revision of the Equational Theories Project (ETP) report at https://arxiv.org/abs/2512.07087 I came across an observation that we quietly made at the back of that report (see Section 14.1) but has become more relevant today. The ETP was a successful project, running over several months, to resolve over 22 million implications in universal algebra (and formalize them in Lean) through a variety of methods, both human and automated, although in our case the automation was much more in the ``good old-fashioned'' form of utilizing automated theorem provers (ATP) and simple scr…
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
10 August
30 June
12 December 2023
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.