Newest at the top
| 2025-12-26 14:18:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-26 14:11:18 +0100 | <ncf> | Map k isn't a Monad, but it is a Bind (a monad without unit, or "semigroupad"). it is also equipped with a morphism Map k (Either a (Map k a)) â Map k a, which means that Either a (Map k a) is in a sense the "free monad" on this semigroupad (equivalently, Map k is the Tâ part of an ideal monad https://hackage.haskell.org/package/monad-ideals) |
| 2025-12-26 14:08:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 14:01:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 13:58:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-26 13:58:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-26 13:57:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 13:56:47 +0100 | sshine | (~simon@dao.mechanicus.xyz) () |
| 2025-12-26 13:56:01 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-26 13:52:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 13:45:48 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-26 13:45:38 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2025-12-26 13:44:13 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-26 13:39:31 +0100 | lockna_ | (~lockna@193-81-168-132.hdsl.highway.telekom.at) lockna |
| 2025-12-26 13:36:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 13:32:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 13:21:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-26 13:17:16 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-26 13:16:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 13:10:43 +0100 | Digitteknohippie | (~Digit@user/digit) Digit |
| 2025-12-26 13:10:35 +0100 | Digit | (~Digit@user/digit) (Ping timeout: 240 seconds) |
| 2025-12-26 13:05:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 13:00:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 12:51:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-26 12:46:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 12:36:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-26 12:34:47 +0100 | califax_ | califax |
| 2025-12-26 12:34:47 +0100 | califax | (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2025-12-26 12:33:21 +0100 | califax_ | (~califax@user/califx) califx |
| 2025-12-26 12:33:01 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-26 12:31:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 12:20:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 12:15:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 12:04:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-26 11:59:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 11:55:03 +0100 | acidjnk | (~acidjnk@p200300d6e7171923edacc98e824f0ce3.dip0.t-ipconnect.de) acidjnk |
| 2025-12-26 11:52:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 11:50:56 +0100 | pebble | (~pebble@37.63.33.138) pebble |
| 2025-12-26 11:47:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 11:44:16 +0100 | 068AABI46 | (~wz1000@2a01:4f9:c012:de50::1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-26 11:42:05 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-26 11:41:24 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-26 11:36:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 11:34:02 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-26 11:31:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-26 11:29:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 11:28:50 +0100 | ljdarj1 | ljdarj |
| 2025-12-26 11:28:48 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-12-26 11:28:23 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-26 11:27:36 +0100 | califax | (~califax@user/califx) califx |