Related posts
Dan Luu Mastodon
In another variant of https://danluu.com/learn-what/, I caught up with a former colleague who worked on automated theorem proving. It turns out he's had an interesting career doing all sorts of interesting stuff using the skills he developed by spending a decade writing/using theorem provers. At one point, he said, "if you use X like a theorem prover, it works really well", which surprised me to hear, but of course this is a highly generalizable skill just like compilers or benchmarking/evals.
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
2 September
10 August
7 July
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.
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.
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.
3 April
-
Their words
A very useful book about the history of proving math theorems by computer.
15 January
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.