mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

279K
active users

@enkiv2@niu.moe Here's a link to the video corresponding to the talk this came from. dyalog.tv/Dyalog17/?v=9xCJ3BCI

dyalog.tvWelcome to Dyalog '17 Videos Page
Vertigo

@enkiv2@niu.moe from the video, "..., so this guy already has a program which is five to seven CHARACTERS long, and he hasn't gotten it to produce a result yet."

(Emphasis mine.)

I love that. Characters. Not statements, not words -- characters. LOL!

As a Forth junkie, we're happy if we can yield a colon definition that is small enough to fit on a single line (8 words on average).