| 03:14.51 | *** join/#utah tiwula (~lane@174-23-22-182.slkc.qwest.net) |
| 07:26.52 | *** join/#utah akmod (~akmod@c-73-98-239-33.hsd1.ut.comcast.net) |
| 09:09.46 | *** join/#utah chum_ (~chum_@205.185.99.74) |
| 10:03.45 | *** join/#utah emcnabb (~emcnabb@hs-nc-1fff767f54-29977-1.tingfiber.com) |
| 11:11.32 | jlp_znc | this was very interesting... https://youtu.be/XsYgODmmiAM |
| 15:18.03 | *** join/#utah tiwula (~lane@70.89.246.241-Busname-UT.hfc.comcastbusiness.net) |
| 15:51.35 | *** join/#utah josephscott (~josephsco@74.114.153.251) |
| 16:22.10 | *** join/#utah infobot (ibot@c-174-52-60-165.hsd1.ut.comcast.net) |
| 16:22.11 | *** topic/#utah is Utah-related discussion including user groups | logs @ http://infobot.rikers.org/%23utah/ | See also ##lds | To combat spam, you must register with NickServ if you wish to speak. This may or may not be temporary. |
| 16:22.11 | *** mode/#utah [+o infobot] by ChanServ |
| 16:28.21 | shalkie | "Community" Six seasons and a Zoom call. :) https://www.youtube.com/watch?v=V6Q_nlSULiohttps://www.youtube.com/watch?v=V6Q_nlSULio |
| 16:28.37 | shalkie | Here, let me split that for ya: https://www.youtube.com/watch?v=V6Q_nlSULio |
| 16:29.45 | shalkie | Anyone been on Boulder Mtn yet? |
| 18:14.59 | *** join/#utah emcnabb (~emcnabb@hs-nc-1fff767f54-29977-1.tingfiber.com) |
| 18:23.15 | *** join/#utah tiwula (~lane@70.89.246.241-Busname-UT.hfc.comcastbusiness.net) |
| 19:23.23 | *** join/#utah AdaLuv (546e3056@gateway/web/cgi-irc/kiwiirc.com/ip.84.110.48.86) |
| 21:48.40 | jfindlay | https://mathoverflow.net/questions/360578/category-theory-and-set-theory-just-a-different-language-or-different-foundati |
| 22:58.40 | *** join/#utah tiwula (~lane@70.89.246.241-Busname-UT.hfc.comcastbusiness.net) |