you, childish cretin: type checkers
me, sophisticated genius: type chess

· · Web · 2 · 6 · 9

@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

@fool also me, a baby: halp I need my borrows checked :rust:

@fool me, type Go player: oh hey I didn't even see you guys over there

Sign in to participate in the conversation
Mastodon for Tech Folks

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!