Newest at the top
| 2025-12-23 11:06:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 11:04:55 +0100 | acidjnk | (~acidjnk@p200300d6e717199091ae1e99efbcdecd.dip0.t-ipconnect.de) acidjnk |
| 2025-12-23 11:03:14 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-12-23 11:01:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 11:01:29 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 11:00:51 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 10:56:26 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-23 10:50:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 10:43:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 10:41:31 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-23 10:39:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-23 10:35:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 10:31:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7dcc:b6c2:83dc:ef69) |
| 2025-12-23 10:30:34 +0100 | <lucabtz> | i remember checking stuff quickly about domain theory and it was related to partial orders |
| 2025-12-23 10:30:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 10:30:12 +0100 | <lucabtz> | in the documentation of fix :: (a -> a) -> a it says that fix f is the lowest fixed point of f. i think lowest here is related to what c_wraith was once telling me about domain theory vs set theory in haskell |
| 2025-12-23 10:26:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 10:26:33 +0100 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) mulk |
| 2025-12-23 10:26:09 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-12-23 10:25:52 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 10:25:45 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 10:21:55 +0100 | mulk | (~mulk@p5b1127bf.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-12-23 10:21:23 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-23 10:20:58 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-23 10:19:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 10:14:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 10:12:28 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-12-23 10:11:19 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 10:08:44 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 10:06:47 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-23 10:05:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 10:05:20 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-23 10:03:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 10:03:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 10:01:44 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-23 10:01:22 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-23 09:58:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 09:57:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-23 09:53:43 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-23 09:53:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 09:51:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-23 09:49:07 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 09:49:00 +0100 | xff0x_ | xff0x |
| 2025-12-23 09:47:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-23 09:47:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 09:46:36 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-23 09:45:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-23 09:42:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 09:39:05 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 09:35:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |