-
Recommendssponsoredrcmnd.app
AntithesisTheir words
@AntithesisHQ – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages. https://t.co/AKYm4cbVCU
-
Recommendssponsoredrcmnd.app
AntithesisHQTheir words
@AntithesisHQ – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages. https://t.co/AKYm4cbVCU
Related posts
Russ Cox Blog
undefinedcorrectnessprioritize
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
9 September
10 August
30 June
-
Their words
And I think a good exposition you care a little bit less about like correctness on the way, but you can like deliberately craft things that are a little bit wrong that you correct along the way that gets like edited out in a crowd source environment.
21 June
-
korrents.com
Genuinely valuing truth, honesty and climate action logically entails opposing generative AI.Their words
Being pro-correctness, anti-theft and anti-fossil fuels automatically places you in an aggressively anti-generative-AI position.
14 June 2025
-
Their words
And that's a phase shift, because suddenly it makes sense when you write a paper to write it in Lean first, or through a conversation with AI, which is generally on the fly with you, and it becomes natural for journals to accept.
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.