ppll

Related posts

Terence Tao Bluesky

A third video in my occasional series on #Lean4 formalization workflows, this time focusing on how relying extensively on #GitHubCopilot fares against standard "epsilon delta" type problems in analysis.

formalizationdeltaextensively

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.

Sources

Top people

14 September

Patrick McKenziex.com

  • AI alignmentgovernmentRelated

22 February

Miles BrundageKorrents

19 February

Colin PercivalSite

  • FreeBSD AMI ID pages

    Related

13 January

Hannah RitchieKorrents

6 September 2025

Duncan McCleanRecommends

  • Lovedrcmnd.app

    Things 3

    Their words

    I use Things 3 extensively for keeping on top of to-dos. It's got to be one of the most well-designed macOS and iOS apps out there!

    duncanmcclean.com

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.