| 00:31.07 | *** join/#utah nodebit (~nodebit@unaffiliated/nodebit) |
| 01:21.54 | *** join/#utah smcquay (~smcquay@173-164-185-125-SFBA.hfc.comcastbusiness.net) |
| 01:36.57 | *** join/#utah jab416171 (uid2058@gateway/web/irccloud.com/x-ibxujommcjkkmrsb) |
| 01:40.27 | *** join/#utah ink_ (~ink@67-2-219-211.slkc.qwest.net) |
| 02:13.12 | *** join/#utah yukaia__work (~yukaia@198.183.219.9) |
| 02:33.49 | *** part/#utah klys (~mdasoh@173-14-238-114-Utah.hfc.comcastbusiness.net) |
| 02:54.00 | *** part/#utah KingMichael (~KingMicha@c-50-160-126-35.hsd1.ut.comcast.net) |
| 03:30.27 | *** join/#utah klys (~User01@173-14-238-114-Utah.hfc.comcastbusiness.net) |
| 05:24.38 | *** join/#utah ldav15 (~ldavis@67-2-148-228.slkc.qwest.net) |
| 05:29.43 | *** join/#utah klys (~User01@173-14-238-114-Utah.hfc.comcastbusiness.net) |
| 05:49.35 | *** join/#utah Zefram (~Zefram@unaffiliated/zefram) |
| 06:08.15 | jxqz | levi: so, tell a category theory joke |
| 06:44.53 | levi | I don't know what joke would go with it, but for some reason 'Co-Yoneda' strikes me as a great category theory punch-line. |
| 10:28.11 | *** join/#utah mrpull (~jpollmann@71-219-147-56.slkc.qwest.net) |
| 14:14.24 | *** join/#utah pdayton (~pjdayton@67.21.63.134) |
| 16:11.45 | *** join/#utah b4dave_4 (~b4dave@2601:7:7e00:76e:f66d:4ff:feae:c5e2) |
| 16:27.14 | *** join/#utah klys (~User01@173-14-238-114-Utah.hfc.comcastbusiness.net) |
| 17:29.06 | *** join/#utah RyanE (~RyanE@rberick.dsl.xmission.com) |
| 18:13.03 | *** join/#utah b4dave_4 (~b4dave@2601:7:7e00:76e:f66d:4ff:feae:c5e2) |
| 19:55.50 | *** join/#utah keyvan (sid7672@gateway/web/irccloud.com/x-rjhnylyxhheatxax) |
| 20:20.06 | *** join/#utah skinner (~david@72.250.214.16) |
| 21:12.02 | *** join/#utah klys (~User01@173-14-238-114-Utah.hfc.comcastbusiness.net) |
| 21:16.03 | *** join/#utah sobit (~sobit@c-98-202-63-36.hsd1.ut.comcast.net) |
| 21:20.53 | klys | ~slashdot |
| 21:33.02 | *** join/#utah pmcnabb_ (~peter@kaa.mcnabbs.org) |
| 21:33.11 | *** join/#utah ldav15 (~ldavis@23.30.55.129) |
| 21:35.38 | *** join/#utah sobit (~sobit@c-98-202-63-36.hsd1.ut.comcast.net) |
| 21:45.04 | *** join/#utah bgerber (~gerberb@suse103.mwiap.com) |
| 22:30.51 | *** join/#utah jxqz (~jxqz@jfindlay.dsl.xmission.com) |
| 22:37.30 | *** join/#utah ksb (~ksb@serenity.averageurl.com) |
| 22:42.26 | *** join/#utah macnewbold (~macnewbol@c-98-202-181-28.hsd1.ut.comcast.net) |
| 23:13.37 | *** join/#utah macnewbold (~macnewbol@c-98-202-181-28.hsd1.ut.comcast.net) |
| 23:14.31 | *** join/#utah klys (~User01@173-14-238-114-Utah.hfc.comcastbusiness.net) |
| 23:41.56 | *** join/#utah gerberb (~gerberb@opensuse/member/Gerberb) |
| 23:49.17 | *** join/#utah macnewbold (~macnewbol@c-98-202-181-28.hsd1.ut.comcast.net) |
| 23:51.23 | *** join/#utah klys (~User01@173-14-238-114-Utah.hfc.comcastbusiness.net) |