New: emulate a GitHub App in a few lines of TypeScript Generated App keys, installation auth and stateful repository APIs Develop locally, test in CI or give sandboxed agents their own isolated GitHub environment
Despite these strides, we argue that current AI4Math systems still largely operate as solvers, excelling at isolated, well-defined proof generation rather than as researchers capable of expanding the boundaries of mathematical knowledge.
The Inquisition, the Vatican, it controls everything, which is completely untrue and is propagandistic. The Inquisition is overseen by a whole bunch of isolated guys who are in isolated towns and it takes weeks or months to even communicate with the Vatican and they're making their own decisions.
Yes, it's what ultimately killed the dinosaurs, but I'd be amazed if there wasn't some equivalent of Hawaii or New Zealand or some other tucked away island or valley where actually dinosaurs were fine for anything from a few hundred thousand to a couple of million years.
One of the fascinating things that DNA is showing us, which actually blood types were showing us way before that, is that the oldest people in the Americas are in South America, the ones that got separated early and didn’t mix their DNA, like the people in the Amazon.
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.