Sitting in bed in the middle of the night thinking about multisets, "I could clamp registers to a max value and crash, or I could use the largest int value as infinity.." It seems like being to have infinity in Rejoice would be a fun thing to move in and out of recipes. x^ω x and x^ω would be equal, it would be a saturating register value in Rejoice. I'm not exactly sure what the ramifications of this are yet, that might be a stupid idea.
And so I think it's it's really important uh when when we think about benchmark progress to think about it from that perspective, which is benchmarks rise on problems that we've framed that we can articulate, that we can score. And there's a lot of work that's human work that uh it it can't be scored until you write it down
The Spy Who Came in From the Cold by John le Carré is a perfect espionage novel: tight, taught, twisty, and thought-provoking. Le Carré brings the subtle machinations of intelligence operations to vivid life, illustrating their geopolitical ramifications and human cost with equal care.
And when you make a mistake and correct it, well, first you you've achieved the task because you've corrected, but you've also gained knowledge that allows you to avoid that mistake in the future. With driving, because of the dynamics of how it's set up, it's very hard to make a mistake, correct it, and then learn from it because the mistakes themselves have significant ramifications.
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.