Related posts
Hillel Wayne Newsletter
People get confused when language implementations break language guarantees
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
15 September
20 August
-
Their words
Which means that they aren’t sliding all the way to the other side of the spectrum. Instead, they are just moving one level down.
17 August
-
Their words
So, I thought this was a really cool study because it showed very clearly that there is temporal persistence in emotions and sadness probably has one of the longest time constants as we know from personal experience. But it's separate from just declarative memory.
3 June
-
korrents.com
Having worked at a highly selective, demanding employer signals conscientiousness and reliability.Their words
Having worked there is a signal that you work hard, you complete your assignments, you adapt well to new tasks and requirements, and you're ready to take on new challenges.
26 September 2025
-
Their words
when you learn to play chess you have the grand the long-term goal is winning the game and yet you you can't you um you want to be able to learn from shorter term things like you know taking the your opponent's pieces um and so you do that by having a value function which predicts the long-term outcome
28 August 2025
-
Their words
Language is a terrible way to describe visual, spatial, and temporal things.
30 December 2024
-
Likedrcmnd.app
Principles of the SPIN Model CheckerTheir words
This book gave me both insight and a deeper curiosity about the subject. This book introduces the SPIN model checker and exposes the reader to the nuances of verifying programs using SPIN. A nice feature of the book is how it explains concepts using thoughtfully developed, freely available tools (such as jSpin) that the author created for pedagogical purposes. It's a demanding book, but the content was interesting. The book presents details about concurrency, temporal logic, non-determinism, advanced SPIN topics, and even case studies. I've already written a few blog posts about the topics I explored while reading this book, and I plan to write more. Overall, it's a good book. I'm sure I'll revisit the latter half again.
13 August 2024
20 May 2024
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.