Another manifestation of the lack of sufficiently abstract, formal reasoning in LLMs is the way in which performance often fall apart as problems are made bigger.
I work at a StandDesk, sit in a Torsa Taskchair that I got second-hand from a local dev shop (thanks!), and sometimes use a small Wacom Bamboo tablet and a TI-83 Plus calculator.
I work at a StandDesk, sit in a Torsa Taskchair that I got second-hand from a local dev shop (thanks!), and sometimes use a small Wacom Bamboo tablet and a TI-83 Plus calculator.
It's an online graphing calculator that makes it very simple to whip up surprisingly complicated graphs. I found it abundantly useful for live presentations over a stream, and what's nice is that you can share the links of what you build so that students can play with them.
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.