Newest at the top
| 2025-02-13 07:22:46 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-13 07:21:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 07:13:01 +0100 | mange | (~user@user/mange) (Quit: Quittin' time!) |
| 2025-02-13 07:11:08 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-13 07:10:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 07:05:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 07:00:00 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 268 seconds) |
| 2025-02-13 06:55:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 06:55:09 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 06:55:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-13 06:52:22 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-02-13 06:50:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 06:50:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 06:44:00 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-13 06:41:57 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-02-13 06:41:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 06:36:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 06:36:19 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2025-02-13 06:29:26 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 06:26:12 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-13 06:25:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-13 06:23:00 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) (Read error: Connection reset by peer) |
| 2025-02-13 06:19:37 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484) |
| 2025-02-13 06:19:00 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2025-02-13 06:18:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 06:07:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-13 06:06:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-13 06:03:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 06:02:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-13 06:01:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-13 05:56:48 +0100 | <jle`> | sorry lambdabot |
| 2025-02-13 05:56:40 +0100 | <lambdabot> | <hint>:1:10: error: parse error on input ‘of’ |
| 2025-02-13 05:56:38 +0100 | <jle`> | > The join of the Odd monad is a concat of the inner lists provided there is an odd number of them, and that all of them are of odd length themselves. Otherwise (modulo cases needed for the unit laws), the result is the empty list. |
| 2025-02-13 05:56:29 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-50-70-31-30-224.dsl.bell.ca) |
| 2025-02-13 05:56:14 +0100 | hattckory | (~hattckory@70.31.30.224) (Remote host closed the connection) |
| 2025-02-13 05:55:18 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-02-13 05:54:53 +0100 | <jle`> | those are some neat monads |
| 2025-02-13 05:53:18 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 05:52:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-13 05:51:09 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-13 05:50:53 +0100 | glguy | (glguy@libera/staff/glguy) (Quit: Quit) |
| 2025-02-13 05:47:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 05:42:02 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2025-02-13 05:37:33 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-13 05:37:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-13 05:31:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-13 05:28:34 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-13 05:28:34 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-02-13 05:28:34 +0100 | tavare | (~tavare@150.129.88.189) |
| 2025-02-13 05:28:11 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |