Related posts
Tom Preston-Werner GitHub
erlectricity — Erlectricity exposes Ruby to Erlang and vice versa.
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
19 September
8 September
-
Their words
if you have good enough transitions, an essay will feel as if it has a good structure. And vice versa: when readers complain about lack of structure, the reason is often simply that they're bothered by clumsy or abrupt transitions.
30 June
-
Their words
What's fun for others might not be fun for you, and vice versa.
24 June
7 April
-
Their words
which is that the the Venn diagram of developer experience and agent experience is a circle. And the point here is that, you know, what we do that that's good for the agents is good for the humans and vice versa. I'm hearing a lot of feedback saying, "Yeah, actually, if you have well-modularized code, that actually makes it easy for the agents to work with."
17 February
-
Their words
Like any addictive consumer product that routinely exposes users to graphic sex, extreme violence, and anonymous sexual predators, social media in its current form causes a variety of harms to people of all ages. But we allow adults (often defined as age 18) to make decisions that are bad for them.
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.
25 June 2024
4 March 2024
-
Their words
But next accident would actually expose new vulnerability. You deal with Chernobyl and then tsunami comes. You deal with tsunami and then war comes.
12 February 2024
-
Their words
In light of the applied nature of current research problems, there is another path that exposes you to cutting-edge AI work: joining a startup.
31 October 2023
22 November 2022
-
korrents.com
Being easy to find online exposes people, especially those in marginalized groups, to a high risk of targeted abuse.Their words
ask any member of a marginalized group and they'll tell you that being easy to find can have a high cost when it exposes you to targeted abuse.
8 July 2022
-
Their words
All propulsion systems are air pumps, and they work more efficiently if they accelerate a large mass of air to a small overspeed than vice versa.
1 July 2020
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.