| 2026-04-21 00:01:45 +0000 | uli-fem | (~uli-fem@2405:6e00:461:5d99:c5bf:4697:be18:7ea) (Ping timeout: 248 seconds) |
| 2026-04-21 00:04:59 +0000 | vols | (~vols@user/vols) vols |
| 2026-04-21 00:04:59 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-21 00:07:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 00:14:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-21 00:15:35 +0000 | vols | (~vols@user/vols) () |
| 2026-04-21 00:19:45 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-21 00:20:54 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-21 00:21:06 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 246 seconds) |
| 2026-04-21 00:21:06 +0000 | polykernel_ | polykernel |
| 2026-04-21 00:25:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 00:27:25 +0000 | acidjnk | (~acidjnk@p200300d6e700e5655d8f1f6a4acafa55.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-04-21 00:29:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-21 00:37:09 +0000 | Googulator96 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 00:37:26 +0000 | Googulator96 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 00:38:56 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-04-21 00:40:57 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-21 00:45:31 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-21 00:54:39 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e1c6:2577:bdda:cb20) (Ping timeout: 272 seconds) |
| 2026-04-21 00:56:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 00:59:12 +0000 | redpotato | (~nick@c-76-152-12-168.hsd1.ma.comcast.net) |
| 2026-04-21 01:00:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-21 01:11:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 01:16:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-21 01:21:18 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds) |
| 2026-04-21 01:23:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-21 01:27:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 01:32:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-21 01:32:20 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 01:35:34 +0000 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-04-21 01:36:11 +0000 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2026-04-21 01:37:14 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-04-21 01:39:21 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-04-21 01:42:25 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-21 01:49:04 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-21 01:49:10 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 01:53:43 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-21 01:57:52 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-21 02:00:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 02:01:24 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-21 02:05:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-21 02:08:50 +0000 | redpotato | (~nick@c-76-152-12-168.hsd1.ma.comcast.net) (Quit: Leaving) |
| 2026-04-21 02:09:14 +0000 | redpotato | (~nick@c-76-152-12-168.hsd1.ma.comcast.net) |
| 2026-04-21 02:13:27 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 246 seconds) |
| 2026-04-21 02:15:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 02:20:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-21 02:22:41 +0000 | redpotato | (~nick@c-76-152-12-168.hsd1.ma.comcast.net) (Quit: Leaving) |
| 2026-04-21 02:23:07 +0000 | pipgirl | (~nick@76.152.12.168) |
| 2026-04-21 02:31:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 02:35:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-21 02:41:48 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 246 seconds) |
| 2026-04-21 02:46:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 02:51:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-21 03:01:06 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-21 03:05:51 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-04-21 03:06:07 +0000 | pipgirl | (~nick@76.152.12.168) (Quit: Leaving) |
| 2026-04-21 03:13:17 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2026-04-21 03:16:27 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-21 03:21:33 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-21 03:29:23 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-04-21 03:32:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 03:33:59 +0000 | slomp | (~slomp@47-158-199-90.lsan.ca.frontiernet.net) (Read error: Connection reset by peer) |
| 2026-04-21 03:34:01 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-21 03:36:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-21 03:39:12 +0000 | slomp | (~slomp@47-158-199-90.lsan.ca.frontiernet.net) |
| 2026-04-21 03:43:06 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-04-21 03:44:08 +0000 | slomp | (~slomp@47-158-199-90.lsan.ca.frontiernet.net) (Read error: Connection reset by peer) |
| 2026-04-21 03:44:37 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection) |
| 2026-04-21 03:45:58 +0000 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2026-04-21 03:47:51 +0000 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2026-04-21 03:47:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 03:49:19 +0000 | Googulator96 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 03:49:31 +0000 | slomp | (~slomp@47-158-199-90.lsan.ca.frontiernet.net) |
| 2026-04-21 03:49:38 +0000 | Googulator96 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 03:49:49 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-04-21 03:52:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-21 03:56:43 +0000 | slomp | (~slomp@47-158-199-90.lsan.ca.frontiernet.net) (Ping timeout: 264 seconds) |
| 2026-04-21 03:57:31 +0000 | slomp | (~slomp@47-158-199-90.lsan.ca.frontiernet.net) |
| 2026-04-21 03:59:30 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-21 04:01:16 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-21 04:01:31 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 264 seconds) |
| 2026-04-21 04:01:31 +0000 | polykernel_ | polykernel |
| 2026-04-21 04:03:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 04:07:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-21 04:08:22 +0000 | michalz | (~michalz@185.246.207.201) |
| 2026-04-21 04:09:07 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-21 04:10:41 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 252 seconds) |
| 2026-04-21 04:10:41 +0000 | polykernel_ | polykernel |
| 2026-04-21 04:15:30 +0000 | wickedjargon | (~user@184.69.139.242) wickedjargon |
| 2026-04-21 04:18:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 04:25:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-21 04:25:24 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-21 04:26:09 +0000 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2026-04-21 04:34:56 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-21 04:36:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 04:37:55 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-04-21 04:41:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-21 04:41:51 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Read error: Connection reset by peer) |
| 2026-04-21 04:52:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 04:57:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-21 04:59:18 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-21 05:00:45 +0000 | wickedjargon | (~user@184.69.139.242) (Ping timeout: 246 seconds) |
| 2026-04-21 05:13:54 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-21 05:17:22 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-21 05:17:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 05:21:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-21 05:26:33 +0000 | wickedjargon | (~user@184.69.139.242) wickedjargon |
| 2026-04-21 05:32:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 05:37:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-21 05:37:30 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2026-04-21 05:38:05 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) |
| 2026-04-21 05:40:52 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) (Remote host closed the connection) |
| 2026-04-21 05:43:54 +0000 | Square3 | (~Square4@user/square) Square |
| 2026-04-21 05:44:10 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) |
| 2026-04-21 05:45:35 +0000 | Googulator96 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 05:45:50 +0000 | Googulator96 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 05:48:14 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-21 05:48:35 +0000 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2026-04-21 05:48:57 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) (Changing host) |
| 2026-04-21 05:48:57 +0000 | archking | (~archking@user/archking) archking |
| 2026-04-21 05:49:36 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-21 05:50:53 +0000 | archking | (~archking@user/archking) (Quit: Leaving) |
| 2026-04-21 05:51:14 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-21 05:52:25 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-21 05:52:41 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 248 seconds) |
| 2026-04-21 05:54:25 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-04-21 06:03:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 06:03:52 +0000 | Vajb | (~Vajb@n739npbtpf138whub2d-1.v6.elisa-mobile.fi) (Ping timeout: 256 seconds) |
| 2026-04-21 06:08:33 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85:3ed7:37e3:2de4) |
| 2026-04-21 06:08:33 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85:3ed7:37e3:2de4) (Changing host) |
| 2026-04-21 06:08:33 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 06:10:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-21 06:16:17 +0000 | carbolymer | (carbolymer@delirium.systems) () |
| 2026-04-21 06:16:53 +0000 | carbolymer | (carbolymer@delirium.systems) carbolymer |
| 2026-04-21 06:21:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 06:21:22 +0000 | dpk | (~dpk@jains.nonceword.org) |
| 2026-04-21 06:25:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-21 06:27:04 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-21 06:27:12 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-21 06:30:47 +0000 | wickedjargon | (~user@184.69.139.242) (Remote host closed the connection) |
| 2026-04-21 06:31:34 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-04-21 06:36:49 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-21 06:37:24 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-21 06:38:21 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2026-04-21 06:39:02 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-21 06:40:06 +0000 | czan | (~czan@user/mange) (Remote host closed the connection) |
| 2026-04-21 06:48:34 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) |
| 2026-04-21 06:49:35 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) (Client Quit) |
| 2026-04-21 06:49:41 +0000 | archking_ | (~archking@wlan-napt-001.u-aizu.ac.jp) |
| 2026-04-21 06:51:37 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-21 06:52:29 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:38a7:1e9f:9f6b:f4f5) |
| 2026-04-21 06:52:29 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:38a7:1e9f:9f6b:f4f5) (Changing host) |
| 2026-04-21 06:52:29 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 06:52:38 +0000 | archking_ | (~archking@wlan-napt-001.u-aizu.ac.jp) (Client Quit) |
| 2026-04-21 06:52:45 +0000 | archking | (~archking@user/archking) archking |
| 2026-04-21 07:03:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 07:05:01 +0000 | lbseale | (~quassel@user/ep1ctetus) (Quit: No Ping reply in 180 seconds.) |
| 2026-04-21 07:06:27 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2026-04-21 07:06:55 +0000 | archking | (~archking@user/archking) (Quit: Leaving) |
| 2026-04-21 07:07:15 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) |
| 2026-04-21 07:07:15 +0000 | archking | (~archking@wlan-napt-001.u-aizu.ac.jp) (Changing host) |
| 2026-04-21 07:07:15 +0000 | archking | (~archking@user/archking) archking |
| 2026-04-21 07:07:53 +0000 | archking | (~archking@user/archking) (Client Quit) |
| 2026-04-21 07:08:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-21 07:08:21 +0000 | archking | (~archking@user/archking) archking |
| 2026-04-21 07:12:10 +0000 | jreicher | (~joelr@user/jreicher) (Quit: Out and about) |
| 2026-04-21 07:18:33 +0000 | Googulator96 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 07:18:34 +0000 | marinelli | (~weechat@brrr.fr) marinelli |
| 2026-04-21 07:18:50 +0000 | Googulator96 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 07:19:17 +0000 | fwam | rensenwxre |
| 2026-04-21 07:32:14 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-21 07:39:55 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2026-04-21 07:42:32 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2026-04-21 07:50:55 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-21 07:56:18 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-21 08:02:10 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-04-21 08:04:24 +0000 | bggd__ | (~bgg@2a01:e0a:fd5:f510:e4aa:967c:baaa:6501) |
| 2026-04-21 08:05:13 +0000 | archking | (~archking@user/archking) (Remote host closed the connection) |
| 2026-04-21 08:05:53 +0000 | acidjnk | (~acidjnk@p200300d6e700e565cfc34f1a4881a992.dip0.t-ipconnect.de) acidjnk |
| 2026-04-21 08:25:46 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 244 seconds) |
| 2026-04-21 08:28:57 +0000 | skum | (~skum@user/skum) skum |
| 2026-04-21 08:31:06 +0000 | misterfish | (~misterfis@f119018.upc-f.chello.nl) misterfish |
| 2026-04-21 08:37:17 +0000 | chele | (~chele@user/chele) chele |
| 2026-04-21 08:43:31 +0000 | <gentauro> | usage of `undefined` is OK, as long as you keep it "taimed" :P https://gitlab.com/a-gent/a-gent/-/blob/main/src/Agent/Data/ANSI/EscapeCode.hs?ref_type=heads#L164… |
| 2026-04-21 08:44:28 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-21 08:53:40 +0000 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-04-21 09:04:56 +0000 | danza | (~danza@user/danza) danza |
| 2026-04-21 09:06:06 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 09:13:24 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-21 09:28:15 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:60da:9bfd:4c90:98b) |
| 2026-04-21 09:28:15 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:60da:9bfd:4c90:98b) (Changing host) |
| 2026-04-21 09:28:15 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 09:31:48 +0000 | garlic | (~garlic@p5b173e32.dip0.t-ipconnect.de) |
| 2026-04-21 09:32:38 +0000 | garlic | (~garlic@p5b173e32.dip0.t-ipconnect.de) (Client Quit) |
| 2026-04-21 09:33:46 +0000 | garlic | (~garlic@p5b173e32.dip0.t-ipconnect.de) |
| 2026-04-21 09:34:49 +0000 | garlic | vyrmin |
| 2026-04-21 09:36:10 +0000 | vyrmin | (~garlic@p5b173e32.dip0.t-ipconnect.de) (Changing host) |
| 2026-04-21 09:36:10 +0000 | vyrmin | (~garlic@user/vyrmin) vyrmin |
| 2026-04-21 09:38:12 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-21 09:39:31 +0000 | craunts795335385 | (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-21 09:45:32 +0000 | Googulator96 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 09:45:46 +0000 | Googulator96 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 09:48:54 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e575cc18418ef4c2db48.dip0.t-ipconnect.de) |
| 2026-04-21 09:50:27 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 09:50:39 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 09:52:13 +0000 | acidjnk | (~acidjnk@p200300d6e700e565cfc34f1a4881a992.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-04-21 09:52:51 +0000 | <gentauro> | btw, FP Sweden is going to have a nice talk later today 18:00 (CET) where are "real doctor" will show how you can reduce medical errors with Clinical Decision Support Software (CDSS) implemented in FP: https://www.youtube.com/live/fboHzVVfknU?si=UE51oHAmfFBHBbQh |
| 2026-04-21 09:53:24 +0000 | <gentauro> | I'm really cheering for Casper Bollen to catch on and to become like a de-facto standard in EUrope <3 |
| 2026-04-21 09:54:06 +0000 | gentauro | formal info -> https://www.meetup.com/func-prog-sweden/events/313648827/ |
| 2026-04-21 09:55:07 +0000 | <gentauro> | tomsmeding: aren't you in Utrech? Pls help Casper xD |
| 2026-04-21 09:55:28 +0000 | Googulator71 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 09:56:01 +0000 | Googulator96 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 09:58:16 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:991:1ea4:fa3d:6f17) |
| 2026-04-21 09:58:16 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:991:1ea4:fa3d:6f17) (Changing host) |
| 2026-04-21 09:58:16 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 10:02:36 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-21 10:03:21 +0000 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2026-04-21 10:03:41 +0000 | vyrmin | (~garlic@user/vyrmin) (Quit: Konversation terminated!) |
| 2026-04-21 10:08:41 +0000 | traxex | (traxex@user/traxex) (Ping timeout: 244 seconds) |
| 2026-04-21 10:09:01 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 10:12:49 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2026-04-21 10:17:22 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-21 10:18:04 +0000 | Googulator71 | Googulator |
| 2026-04-21 10:23:00 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-21 10:23:00 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-21 10:23:01 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-21 10:24:41 +0000 | misterfish | (~misterfis@f119018.upc-f.chello.nl) (Ping timeout: 252 seconds) |
| 2026-04-21 10:32:14 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 10:34:16 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-21 10:35:17 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-21 10:43:49 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 10:45:06 +0000 | danz65411 | (~danza@user/danza) danza |
| 2026-04-21 10:45:53 +0000 | danza | (~danza@user/danza) (Ping timeout: 244 seconds) |
| 2026-04-21 10:48:57 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 10:50:14 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-04-21 10:50:31 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-04-21 10:50:54 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 10:53:33 +0000 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-04-21 10:54:27 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 10:56:16 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2026-04-21 10:56:38 +0000 | CosterMonger | (~CosterMon@86.4.91.49) |
| 2026-04-21 10:58:04 +0000 | CosterMonger | (~CosterMon@86.4.91.49) (Client Quit) |
| 2026-04-21 11:02:53 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-04-21 11:04:54 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 11:09:39 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-21 11:10:03 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:991:1ea4:fa3d:6f17) |
| 2026-04-21 11:10:03 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:991:1ea4:fa3d:6f17) (Changing host) |
| 2026-04-21 11:10:03 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 11:14:58 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2026-04-21 11:16:14 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 11:17:45 +0000 | danza | (~danza@user/danza) danza |
| 2026-04-21 11:19:46 +0000 | danz65411 | (~danza@user/danza) (Ping timeout: 248 seconds) |
| 2026-04-21 11:20:25 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a0ab:ded3:9a8e:f68) |
| 2026-04-21 11:22:08 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2026-04-21 11:23:55 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 11:24:54 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 11:27:52 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-21 11:28:46 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 11:30:07 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 11:30:58 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 11:35:03 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 11:39:25 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 11:40:22 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 11:40:23 +0000 | constxd | (~constxd@user/constxd) (Remote host closed the connection) |
| 2026-04-21 11:40:45 +0000 | constxd | (~constxd@user/constxd) constxd |
| 2026-04-21 11:40:55 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 11:44:14 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 11:44:35 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 11:45:41 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 11:51:00 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 11:53:03 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2026-04-21 12:02:39 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:991:1ea4:fa3d:6f17) |
| 2026-04-21 12:02:39 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:991:1ea4:fa3d:6f17) (Changing host) |
| 2026-04-21 12:02:39 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 12:08:02 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-21 12:08:15 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-21 12:20:50 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 12:20:51 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 12:21:03 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 12:24:40 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 265 seconds) |
| 2026-04-21 12:47:17 +0000 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-04-21 12:49:13 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 248 seconds) |
| 2026-04-21 13:01:28 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2026-04-21 13:02:05 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-21 13:08:02 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-04-21 13:12:08 +0000 | Digit | (~user@user/digit) Digit |
| 2026-04-21 13:14:19 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) |
| 2026-04-21 13:14:30 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) (Changing host) |
| 2026-04-21 13:14:30 +0000 | alhazrod | (uid662262@user/alhazrod) alhazrod |
| 2026-04-21 13:16:32 +0000 | <dminuoso> | gentauro: Well, the usage of any primitive is "fine" if you just excercise enough discipline. |
| 2026-04-21 13:16:46 +0000 | <dminuoso> | Just like C pointers are fine if you dont do it wrong. |
| 2026-04-21 13:16:52 +0000 | Digit | digitteknohippie |
| 2026-04-21 13:16:55 +0000 | digitteknohippie | (~user@user/digit) (Remote host closed the connection) |
| 2026-04-21 13:16:59 +0000 | <dminuoso> | The question is just the likelihood and consequences of doing it wrong.. |
| 2026-04-21 13:18:17 +0000 | <dminuoso> | In Haskell there is very few usages of`evaluate` anywhere, so an `undefined` has the chance of outright crashing your program if forced. :-) |
| 2026-04-21 13:18:50 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2026-04-21 13:21:14 +0000 | Digit | (~user@user/digit) Digit |
| 2026-04-21 13:24:29 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 13:24:38 +0000 | tromp | (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) |
| 2026-04-21 13:25:18 +0000 | Digit | digitteknohippie |
| 2026-04-21 13:25:21 +0000 | digitteknohippie | (~user@user/digit) (Remote host closed the connection) |
| 2026-04-21 13:27:11 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 13:30:27 +0000 | Digit | (~user@user/digit) Digit |
| 2026-04-21 13:32:37 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-04-21 13:33:48 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2026-04-21 13:36:44 +0000 | gehmehgeh | gmg |
| 2026-04-21 13:37:19 +0000 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-04-21 13:40:34 +0000 | Digit | digitteknohippie |
| 2026-04-21 13:40:37 +0000 | digitteknohippie | (~user@user/digit) (Remote host closed the connection) |
| 2026-04-21 13:42:23 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-04-21 13:45:53 +0000 | digitteknohippie | (~user@user/digit) Digit |
| 2026-04-21 13:46:50 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 256 seconds) |
| 2026-04-21 13:53:33 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-21 13:56:36 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 246 seconds) |
| 2026-04-21 13:56:36 +0000 | polykernel_ | polykernel |
| 2026-04-21 14:02:13 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-04-21 14:06:42 +0000 | digitteknohippie | Digit |
| 2026-04-21 14:15:10 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-21 14:15:45 +0000 | danza | (~danza@user/danza) danza |
| 2026-04-21 14:20:09 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-21 14:20:40 +0000 | danza | (~danza@user/danza) danza |
| 2026-04-21 14:34:20 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-21 14:36:25 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-04-21 14:36:25 +0000 | polykernel_ | polykernel |
| 2026-04-21 14:40:43 +0000 | tromp | (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-21 14:42:32 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 14:48:00 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-04-21 14:50:45 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-21 15:03:12 +0000 | craunts795335385 | (~craunts@152.32.99.2) (Ping timeout: 265 seconds) |
| 2026-04-21 15:05:09 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-04-21 15:08:17 +0000 | <gentauro> | dminuoso: so does `head` ;) |
| 2026-04-21 15:08:21 +0000 | <gentauro> | % :t head |
| 2026-04-21 15:08:21 +0000 | <yahb2> | <interactive>:1:1: warning: [GHC-63394] [-Wx-partial] ; In the use of ‘head’ ; (imported from Prelude, but defined in GHC.Internal.List): ; "This is a partial function, it throws an err... |
| 2026-04-21 15:08:26 +0000 | <gentauro> | > :t head |
| 2026-04-21 15:08:27 +0000 | <lambdabot> | <hint>:1:1: error: parse error on input `:' |
| 2026-04-21 15:08:31 +0000 | <gentauro> | :| |
| 2026-04-21 15:08:42 +0000 | <gentauro> | % :i List.head |
| 2026-04-21 15:08:43 +0000 | <yahb2> | <interactive>:1:1: error: [GHC-76037] Not in scope: ‘List.head’ |
| 2026-04-21 15:08:46 +0000 | <gentauro> | :( |
| 2026-04-21 15:09:22 +0000 | gentauro | -> https://hackage-content.haskell.org/package/base-4.22.0.0/docs/Prelude.html#v:head |
| 2026-04-21 15:09:37 +0000 | gentauro | >>> head [] *** Exception: Prelude.head: empty list |
| 2026-04-21 15:15:49 +0000 | havochunter | (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-21 15:16:20 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-21 15:17:28 +0000 | danz66376 | (~danza@user/danza) danza |
| 2026-04-21 15:19:12 +0000 | danza | (~danza@user/danza) (Ping timeout: 244 seconds) |
| 2026-04-21 15:34:41 +0000 | <dutchie> | hmm, is there no nice Alternative instance to let me do `f <|> g $ x` where `f, g :: Foo -> Maybe Bar` |
| 2026-04-21 15:36:07 +0000 | <dutchie> | or should I do some `asum . fmap ($ x)` thing |
| 2026-04-21 15:36:42 +0000 | <merijn> | What are you trying to do? |
| 2026-04-21 15:37:15 +0000 | <merijn> | Get the first "Just"? |
| 2026-04-21 15:37:37 +0000 | <dutchie> | yeah. i've also got an `h :: Foo -> Bar` that I want to run as a last resort too |
| 2026-04-21 15:37:42 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-21 15:37:47 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-21 15:38:05 +0000 | <merijn> | dutchie: You can always make use of our friend, the best monoid instance ever |
| 2026-04-21 15:38:19 +0000 | <dutchie> | `fromMaybe (h x) (f x <|> g x)` feels ugly |
| 2026-04-21 15:38:41 +0000 | <dutchie> | merijn: the Monoid a => Monoid (x -> a) one? |
| 2026-04-21 15:38:47 +0000 | <merijn> | Is it just two alternatives or more |
| 2026-04-21 15:38:50 +0000 | <merijn> | dutchie: Yeah |
| 2026-04-21 15:38:56 +0000 | <dutchie> | just two and then the "pure" one |
| 2026-04-21 15:39:20 +0000 | <merijn> | tbh, then I don't think the monoid solution will improve much over just the <|> alternative |
| 2026-04-21 15:39:22 +0000 | <dutchie> | I thought that I'd need that instance but couldn't work out how to invoke it |
| 2026-04-21 15:39:59 +0000 | <merijn> | getFirst $ mconcat [First . f, First . g] x |
| 2026-04-21 15:40:02 +0000 | <dutchie> | i don't much like repeating the x |
| 2026-04-21 15:41:09 +0000 | <dutchie> | that is a lot noisier than the fromMaybe thing above, especially when you throw the last pure function in |
| 2026-04-21 15:41:32 +0000 | <merijn> | Yes, hence why I don't think it works for just two |
| 2026-04-21 15:41:46 +0000 | <merijn> | If you have like, 5+ methods it could be worth it |
| 2026-04-21 15:43:03 +0000 | <dutchie> | for some reason I thought there was some sort of Alternative a => Alternative (b -> a) instance but that doesn't even make sense |
| 2026-04-21 15:43:11 +0000 | <dutchie> | which is I suppose why First exists |
| 2026-04-21 15:45:19 +0000 | <merijn> | There's Alt |
| 2026-04-21 15:45:36 +0000 | <merijn> | But that's just generalised First |
| 2026-04-21 15:47:01 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-21 15:47:39 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-21 15:48:04 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-21 16:01:02 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-21 16:01:42 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-21 16:18:42 +0000 | gf31 | (~gf3@user/gf3) (Ping timeout: 256 seconds) |
| 2026-04-21 16:24:38 +0000 | Googulator72 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 16:28:32 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-21 16:33:57 +0000 | Googulator72 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-21 16:38:06 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-21 16:39:08 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-21 16:39:39 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-21 16:48:35 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2026-04-21 16:49:05 +0000 | danz66376 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-21 16:49:38 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 16:49:45 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-21 16:52:00 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-21 16:58:47 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-21 17:00:28 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-04-21 17:02:29 +0000 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 2026-04-21 17:07:26 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-21 17:08:06 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-21 17:23:06 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2026-04-21 17:26:43 +0000 | hc | (~hc@mail.hce.li) (Ping timeout: 264 seconds) |
| 2026-04-21 17:34:49 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-21 17:35:06 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-21 17:38:38 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-21 17:38:42 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-21 17:40:35 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-21 17:45:54 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-21 17:50:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-21 17:52:02 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-04-21 18:08:35 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) ft |
| 2026-04-21 18:08:49 +0000 | elarks | (~elarks@user/yerrii) (Quit: WeeChat 4.7.1) |
| 2026-04-21 18:09:14 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-21 18:15:48 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Read error: Connection reset by peer) |
| 2026-04-21 18:16:40 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-21 18:25:33 +0000 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2026-04-21 18:32:52 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-04-21 18:41:07 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 18:41:23 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 18:48:58 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 244 seconds) |
| 2026-04-21 18:50:23 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-21 18:51:47 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-21 18:52:00 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-21 18:52:53 +0000 | <Leary> | :t let (|>) = flip fromMaybe; (<<|>>) = liftA2 (<|>); (|>>) = liftA2 (|>) in \f g h x -> (f <<|>> g |>> h) x |
| 2026-04-21 18:52:54 +0000 | <lambdabot> | (t1 -> Maybe t2) -> (t1 -> Maybe t2) -> (t1 -> t2) -> t1 -> t2 |
| 2026-04-21 18:53:06 +0000 | <Leary> | dutchie: The instance you're thinking of does exist, but under `ReaderT`. |
| 2026-04-21 18:57:19 +0000 | <dutchie> | ah right of course |
| 2026-04-21 18:57:19 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-04-21 18:57:41 +0000 | <dutchie> | I have now further complicated matters by realising that f and g are actually in my effect monad |
| 2026-04-21 18:58:05 +0000 | <dutchie> | so `f, g :: Foo -> m (Maybe Bar)` |
| 2026-04-21 18:58:45 +0000 | <dutchie> | `fromMaybe (h x) . asum =<< sequence [f x, g x]` spreads the xs around enough that it's not offending me too much |
| 2026-04-21 18:59:57 +0000 | <dutchie> | I often end up writing `maybe action pure` and feeling like I'm missing something there as well |
| 2026-04-21 19:00:20 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2026-04-21 19:06:24 +0000 | <dutchie> | hmm, is sequence running all the actions even when there is a Just though |
| 2026-04-21 19:08:05 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-04-21 19:09:02 +0000 | <haskellbridge> | <ijouw> In my understanding that should not matter for lists. |
| 2026-04-21 19:10:09 +0000 | <dutchie> | > asum <$> sequence [putStrLn "hi" $> Just 'c', putStrLn "there" $> Just 'a'] |
| 2026-04-21 19:10:11 +0000 | <lambdabot> | Variable not in scope: ($>) :: IO () -> Maybe Char -> f1 (f2 a)Variable not ... |
| 2026-04-21 19:10:16 +0000 | <dutchie> | boo |
| 2026-04-21 19:10:33 +0000 | <dutchie> | but that prints hi and there for me before getting Just 'c' |
| 2026-04-21 19:11:28 +0000 | <haskellbridge> | <ijouw> Oh yes, I thought the Maybe was the outside m |
| 2026-04-21 19:12:23 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 19:12:52 +0000 | <haskellbridge> | <ijouw> The bridge is doing weird things because someone named m exists... |
| 2026-04-21 19:13:05 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-21 19:15:22 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-21 19:15:42 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 19:15:56 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-21 19:17:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 19:18:01 +0000 | bggd__ | (~bgg@2a01:e0a:fd5:f510:e4aa:967c:baaa:6501) (Remote host closed the connection) |
| 2026-04-21 19:18:05 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-21 19:20:32 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-21 19:22:18 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-04-21 19:22:27 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2026-04-21 19:24:40 +0000 | <Leary> | :t let (|>) = flip fromMaybe; (|||) = liftA2 $ \x y -> runMaybeT (MaybeT x <|> MaybeT y); (||>) = liftA2 (liftA2 (|>)) in \f g h x -> (f ||| g ||> h) x |
| 2026-04-21 19:24:41 +0000 | <lambdabot> | Monad f => (t -> f (Maybe c)) -> (t -> f (Maybe c)) -> (t -> f c) -> t -> f c |
| 2026-04-21 19:25:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-21 19:25:50 +0000 | <Leary> | dutchie: This won't run `g` if it doesn't have to, though I guess it will still run `h`. Meh. |
| 2026-04-21 19:26:27 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-04-21 19:33:33 +0000 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2026-04-21 19:33:49 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2026-04-21 19:36:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-21 19:36:25 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-21 19:37:38 +0000 | <Leary> | :t let (|||) = liftA2 $ \x y -> MaybeT x <|> MaybeT y; (||>) = liftA2 $ \x y -> runMaybeT x >>= maybe y pure in \f g h x -> (f ||| g ||> h) x |
| 2026-04-21 19:37:39 +0000 | <lambdabot> | Monad m => (t -> m (Maybe b)) -> (t -> m (Maybe b)) -> (t -> m b) -> t -> m b |
| 2026-04-21 19:40:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |