Newest at the top
| 2026-03-01 22:19:02 +0100 | juri__ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 256 seconds) |
| 2026-03-01 22:11:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 22:07:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 22:00:27 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 255 seconds) |
| 2026-03-01 21:56:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-01 21:51:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 21:51:21 +0100 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 248 seconds) |
| 2026-03-01 21:51:04 +0100 | juri__ | (~juri@217-114-215-140.pool.ovpn.com) juri_ |
| 2026-03-01 21:46:03 +0100 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 2026-03-01 21:44:40 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2026-03-01 21:40:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 21:33:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 21:23:58 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-03-01 21:22:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 21:19:52 +0100 | Digitteknohippie | Digit |
| 2026-03-01 21:18:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 21:18:08 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-01 21:17:17 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) (Read error: Connection reset by peer) |
| 2026-03-01 21:13:00 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-01 21:12:25 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2026-03-01 21:10:40 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-03-01 21:07:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 21:05:43 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-03-01 21:03:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2026-03-01 21:03:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 20:58:50 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-03-01 20:55:22 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-01 20:52:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 20:49:45 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-03-01 20:49:22 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-01 20:48:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2026-03-01 20:48:21 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-01 20:47:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 20:39:59 +0100 | Guest2441 | (~Quokka@2001-14bb-1748-dfb-b0fe-162f-dbc2-aa1e.rev.dnainternet.fi) (Client Quit) |
| 2026-03-01 20:39:20 +0100 | Quokka | Guest2441 |
| 2026-03-01 20:38:57 +0100 | Quokka | (~Quokka@2001-14bb-1748-dfb-b0fe-162f-dbc2-aa1e.rev.dnainternet.fi) |
| 2026-03-01 20:36:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 20:33:22 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-01 20:32:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 20:21:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 20:16:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 20:15:21 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-01 20:08:45 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-03-01 20:05:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 20:03:05 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-03-01 20:02:22 +0100 | <monochrom> | It has been already mzero for MonadPlus, so maybe we could have called it azero. |
| 2026-03-01 19:58:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 19:56:14 +0100 | <EvanR> | E = empty | just Char | E <> E | E <|> E | many E, "these are the only ways to construct a regular expression --conway" xD |
| 2026-03-01 19:56:05 +0100 | <c_wraith> | but yes, it was realized pretty early on that applicative+alternative gives you context-free grammars |
| 2026-03-01 19:55:52 +0100 | <monochrom> | They came from all over the places. many, some, <|> are clearly from parsing and regex. You would then like to say "fail" for the identity of <|>, but "fail" is already taken, so the analogy went sideways and if you think of <|> as set union then its identity is the empty set. (Clearly, it is not the empty string.) |