You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Jules Hedges (Apr 15 2021 at 19:18):The open game engine has a new beginner-friendly upgrade to its syntax. Here's what prisoner's dilemma looks like now: Screenshot-2021-04-15-at-17.52.34.png
Jules Hedges (Apr 15 2021 at 19:18):There's still as much category theory as ever inside it, but we're pretty aggressively hiding it from users now
Jules Hedges (Apr 15 2021 at 19:21):(And using a mountain of category theory to do prisoner's dilemma is still nuking a mosquito)
Jason Erbele (Apr 15 2021 at 20:13):As long as the mosquito is dead, and not mutated into some kind of ubersquito that drives us to extinction. :smirk:
Jules Hedges (Apr 15 2021 at 21:13):I got this phrase from https://mathoverflow.net/questions/42512/awfully-sophisticated-proof-for-simple-facts , I use it for when you use compositional methods to handle examples that are small enough to do by hand
Jason Erbele (Apr 15 2021 at 21:20):It's a perfectly fine idiomatic phrase. I was just taking it to cartoonish extreme (and from there the uber/driving pun was irresistible).