If you had told me in undergrad I’d love to see ~fully automatic formalization I would have bet against, and if you had told me that the machine doing it would have a running color commentary on the importance, I’d have thought you under the influence.
We can we can teach we can teach somebody, I think, to be a really good AI developer in a few months. You can build enough intuition where you are, you know, accelerated off the ground and you can go like keep growing there. It's really hard to teach someone a CS undergrad program in in 3 months.
There are many forces online that want to cast every movie into their pet topic and I find that deeply reduces the immersion and experience from watching a piece of cinema for the first time.
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.
players who are also commentators give better commentary than people who are just commentators. Stock analysts who never invest have zero skin in the game.
There is something deeply satisfying with reading out loud phrases like: “for in mere breath did it come, and into darkness it goes, and in darkness its name is covered.” Though King James is iconic, Robert Alter better conveys overall the literary power of the Hebrew Bible.
After years of people recommending him to me, I finally took the plunge into the literary world of Wendell Berry. Now I can't help but wonder what took me so long. This 2018 collection of Berry's best essays is a fantastic introduction into his genre-defining polemic style, which mixes razor-sharp commentary with a poetry grounded in lived experience, to argue on behalf of land, the environment, and a slower, richer approach to life.
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.