00:06:49 -!- simcop2387 has quit (Quit: ZNC 1.8.2+deb3+b4 - https://znc.in).
00:06:49 -!- perlbot has quit (Quit: ZNC 1.8.2+deb3+b4 - https://znc.in).
00:07:43 -!- simcop2387 has joined.
00:08:06 -!- perlbot has joined.
00:13:44 -!- Noisytoot has quit (Quit: ZNC 1.8.2 - https://znc.in).
00:15:14 -!- Noisytoot has joined.
00:29:17 -!- Noisytoot has quit (Ping timeout: 246 seconds).
00:37:17 -!- Noisytoot has joined.
02:28:49 -!- Lord_of_Life has quit (Ping timeout: 268 seconds).
02:29:54 -!- Lord_of_Life has joined.
04:31:39 <esolangs> [[WooYeah]] https://esolangs.org/w/index.php?diff=107509&oldid=107491 * PoptartPlungerBoi * (+78) /* Examples */
04:41:34 <esolangs> [[WooYeah]] https://esolangs.org/w/index.php?diff=107510&oldid=107509 * PoptartPlungerBoi * (+532) /* Numbers */
04:42:19 <esolangs> [[WooYeah]] https://esolangs.org/w/index.php?diff=107511&oldid=107510 * PoptartPlungerBoi * (-3) /* Comment */
05:41:47 -!- craigo has joined.
05:41:54 -!- craigo has quit (Read error: Connection reset by peer).
05:45:08 -!- bgs has joined.
07:16:35 -!- Sgeo has quit (Read error: Connection reset by peer).
07:57:15 -!- tromp has joined.
08:22:47 <Taneb> I am trying to understand proposition 2.3 of https://ncatlab.org/nlab/show/locally+cartesian+closed+category but the notation is difficult :(
08:29:22 -!- Lymia has quit (Ping timeout: 250 seconds).
08:29:39 -!- Lymia has joined.
08:31:32 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:36:46 -!- tromp has joined.
08:37:41 -!- simcop2387 has quit (Read error: Connection reset by peer).
08:38:37 -!- simcop2387 has joined.
08:38:41 -!- perlbot has quit (Read error: Connection reset by peer).
08:40:07 -!- perlbot has joined.
09:31:28 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:53:25 -!- olsner has quit (Ping timeout: 268 seconds).
09:54:19 -!- zzo38 has quit (Ping timeout: 276 seconds).
10:28:57 <river> nlab is difficult to read
10:30:13 <river> I don't know about dependent product in category theory
10:30:32 <river> you could ask in #categorytheory it is a good channel
10:35:37 <Taneb> I'm actually in that channel!
10:35:58 <Taneb> I think earlier I more wanted to complain than get help but I might ask later
10:46:54 -!- tromp has joined.
11:19:42 -!- Thelie has joined.
11:22:04 -!- Noisytoot has quit (Ping timeout: 276 seconds).
11:23:30 -!- Noisytoot has joined.
11:28:34 -!- Noisytoot has quit (Ping timeout: 276 seconds).
11:36:02 -!- Noisytoot has joined.
12:53:43 -!- Noisytoot has quit (Ping timeout: 276 seconds).
13:03:24 -!- Noisytoot has joined.
13:05:41 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
13:17:42 -!- Noisytoot has quit (Quit: ZNC 1.8.2 - https://znc.in).
13:18:28 -!- Noisytoot has joined.
13:23:06 -!- Noisytoot has quit (Excess Flood).
13:27:42 -!- Noisytoot has joined.
13:36:21 -!- Noisytoot has quit (Ping timeout: 255 seconds).
13:41:25 -!- Noisytoot has joined.
14:41:25 -!- simcop2387 has quit (Remote host closed the connection).
14:42:07 -!- perlbot has quit (Quit: ZNC 1.8.2+deb3+b4 - https://znc.in).
14:42:21 -!- perlbot_ has joined.
14:42:24 -!- simcop2387 has joined.
14:43:37 -!- perlbot_ has changed nick to perlbot.
14:58:07 -!- perlbot has quit (Quit: ZNC 1.8.2+deb3+b4 - https://znc.in).
14:58:07 -!- simcop2387 has quit (Quit: ZNC 1.8.2+deb3+b4 - https://znc.in).
15:04:18 -!- perlbot has joined.
15:05:18 -!- simcop2387 has joined.
15:06:21 -!- Thelie has quit (Remote host closed the connection).
15:10:43 -!- Sgeo has joined.
15:34:59 -!- zzo38 has joined.
15:55:03 -!- tromp has joined.
15:57:52 -!- perlbot has quit (Ping timeout: 250 seconds).
15:58:29 -!- simcop2387 has quit (Ping timeout: 268 seconds).
16:01:34 -!- perlbot has joined.
16:02:15 -!- simcop2387 has joined.
16:45:38 -!- craigo has joined.
17:03:59 -!- j-bot has quit (Remote host closed the connection).
17:04:13 -!- j-bot has joined.
17:44:07 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:15:41 -!- tromp has joined.
19:30:56 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:39:12 -!- tromp has joined.
19:55:20 -!- craigo has quit (Ping timeout: 250 seconds).
19:57:44 -!- craigo has joined.
21:24:00 -!- perlbot has quit (Quit: ZNC 1.8.2+deb3+b4 - https://znc.in).
21:24:06 -!- simcop2387 has quit (Quit: ZNC 1.8.2+deb3+b4 - https://znc.in).
21:24:55 -!- perlbot has joined.
21:25:41 -!- simcop2387 has joined.
21:30:39 -!- perlbot has quit (Read error: Connection reset by peer).
21:33:37 -!- perlbot has joined.
21:40:42 -!- perlbot has quit (Quit: ZNC 1.8.2+deb3+b4 - https://znc.in).
21:40:58 -!- perlbot has joined.
22:17:14 -!- simcop2387 has quit (Quit: ZNC 1.8.2+deb3+b4 - https://znc.in).
22:17:32 -!- simcop2387 has joined.
22:20:48 -!- sprout_ has joined.
22:23:55 -!- sprout has quit (Ping timeout: 246 seconds).
23:00:55 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:29:33 <esolangs> [[Brainfuck Encoded Concatenative Calculus]] https://esolangs.org/w/index.php?diff=107512&oldid=106858 * Nurdle * (+2) fixed pronunciation transcription