you, childish cretin: type checkers
me, sophisticated genius: type chess
@fool me, type theory doubter:
Type theorists have written MILLIONS OF GREEK LETTERS and yet inexplicably have not produced a SINGLE VALID GREEK WORD
(stolen from @email@example.com)
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!