ppll

Related posts

Martin Kleppmann Blog

Prediction: AI will make formal verification go mainstream

anglemainstreamverification

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

20 September

Tim BrayMastodon

  • Related

17 September

Lex Fridmanx.com

  • PsychotherapyRelated

15 September

Matthew YglesiasKorrents

11 September

Kun Chenx.com

  • LLMsAnthropicRelated

14 August

Steven Johnsonx.com

  • GoogleRelated

31 July

29 July

Gergely OroszNewsletter

  • Formal methods with Hillel Wayne

    Related

Hillel WayneKorrents

15 June

Charity Majorsx.com

  • charitydotwtf.substack.com

    Related

10 June

Mark ZuckerbergKorrents

2 June

Steven JohnsonKorrents

15 April

Jensen HuangKorrents

2 February

Matthew GreenBlog

22 December 2025

15 August 2025

Casey HandmerKorrents

30 June 2025

Zvi MowshowitzRecommends

  • Recommendsrcmnd.app

    Silver Bulletin

    Their words

    He offers a unique form of grounding on political, sports and other issues, and a way of bridging my kinds of ideas into mainstream discourse. I almost never regret reading.

    thezvi.substack.com

1 March 2025

Nelson ElhageMastodon

  • Related

19 February 2025

Bryan CaplanKorrents

19 May 2024

20 February 2024

Bill AckmanKorrents

17 November 2023

John MearsheimerKorrents

3 October 2023

Robin HansonKorrents

10 January 2023

Lilian WengBlog

  • Large Transformer Model Inference Optimization

    Related

10 February 2022

Alexey GuzeyKorrents

18 May 2018

David CrawshawBlog

  • Searching the Creative Internet

    Related

19 April 2018

Bill GurleyBlog

  • The Thing I Love Most About Uber

    Related

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.