| 2025-11-22 00:02:50 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 245 seconds) |
| 2025-11-22 00:04:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 00:07:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-11-22 00:10:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-22 00:13:22 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-22 00:15:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 00:18:00 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:2881:6633:48c6:4881) (Remote host closed the connection) |
| 2025-11-22 00:18:23 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c84e:ee96:e470:3884) |
| 2025-11-22 00:20:33 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-22 00:21:43 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-22 00:22:05 +0100 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 00:22:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 00:22:18 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 00:28:37 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-22 00:29:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-22 00:32:48 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 00:33:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 00:34:34 +0100 | marlino | (~marlino@96-8-193-104.block0.gvtc.com) |
| 2025-11-22 00:35:22 +0100 | trickard_ | trickard |
| 2025-11-22 00:36:19 +0100 | haritzondo | (~hrtz@140.228.70.141) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-22 00:37:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 00:38:31 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c84e:ee96:e470:3884) (Remote host closed the connection) |
| 2025-11-22 00:38:48 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:2d8e:e617:f271:23ab) |
| 2025-11-22 00:38:58 +0100 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 00:39:12 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 00:43:29 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-22 00:43:51 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-22 00:45:46 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-22 00:48:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 00:51:15 +0100 | marlino | (~marlino@96-8-193-104.block0.gvtc.com) (Quit: WeeChat 4.7.1) |
| 2025-11-22 00:52:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 00:56:52 +0100 | travisb | tabemann |
| 2025-11-22 00:58:10 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-11-22 00:58:21 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-22 00:58:33 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:2d8e:e617:f271:23ab) (Remote host closed the connection) |
| 2025-11-22 00:58:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 00:59:09 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:6397:cee2:c5e0:974) |
| 2025-11-22 00:59:52 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-11-22 00:59:52 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-22 01:03:40 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::8bad) sp1ff |
| 2025-11-22 01:03:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 01:05:59 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-11-22 01:06:00 +0100 | Googulator | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 01:06:06 +0100 | Googulator47 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 01:08:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 01:11:36 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 01:18:35 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:6397:cee2:c5e0:974) (Remote host closed the connection) |
| 2025-11-22 01:19:11 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:d18a:fc86:fb14:80c4) |
| 2025-11-22 01:19:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 01:24:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-22 01:25:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 01:35:57 +0100 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.6.3) |
| 2025-11-22 01:36:01 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 01:36:14 +0100 | Googulator47 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 01:37:17 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-22 01:37:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 01:38:37 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:d18a:fc86:fb14:80c4) (Remote host closed the connection) |
| 2025-11-22 01:39:01 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:3c5b:60ca:8ff2:89a) |
| 2025-11-22 01:42:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 01:50:26 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-11-22 01:51:31 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-22 01:52:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 01:57:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 01:58:42 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:3c5b:60ca:8ff2:89a) (Remote host closed the connection) |
| 2025-11-22 01:58:59 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:50dc:ff54:b65:89be) |
| 2025-11-22 02:05:54 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-11-22 02:05:55 +0100 | omidmash9 | (~omidmash@user/omidmash) omidmash |
| 2025-11-22 02:06:13 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-11-22 02:08:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 02:08:23 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2025-11-22 02:08:23 +0100 | omidmash9 | omidmash |
| 2025-11-22 02:12:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-22 02:18:44 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:50dc:ff54:b65:89be) (Remote host closed the connection) |
| 2025-11-22 02:18:59 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:cad2:5dba:c1cf:899) |
| 2025-11-22 02:23:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 02:28:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 02:29:49 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-11-22 02:30:04 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 02:39:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 02:39:17 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:cad2:5dba:c1cf:899) (Remote host closed the connection) |
| 2025-11-22 02:39:52 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:da31:b526:95c:5a4a) |
| 2025-11-22 02:42:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-22 02:43:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 02:44:55 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-22 02:46:12 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-11-22 02:54:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 02:55:47 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-22 02:56:09 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-22 02:58:45 +0100 | acidjnk | (~acidjnk@p200300d6e717197425fbe5e3285ef130.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-11-22 02:59:19 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:da31:b526:95c:5a4a) (Remote host closed the connection) |
| 2025-11-22 02:59:55 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:3b3f:4318:37b5:e2ae) |
| 2025-11-22 03:01:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 03:04:44 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-22 03:12:20 +0100 | trickard_ | trickard |
| 2025-11-22 03:12:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 03:16:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 03:23:30 +0100 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 03:23:44 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 03:27:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 03:30:37 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 03:32:21 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:3b3f:4318:37b5:e2ae) (Remote host closed the connection) |
| 2025-11-22 03:32:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 03:32:40 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:412b:3f2f:9bee:7b64) |
| 2025-11-22 03:34:07 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 03:36:06 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-11-22 03:43:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 03:47:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 03:48:00 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-22 03:58:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 04:03:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 04:06:10 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 04:14:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 04:17:05 +0100 | vardhan | (~vardhan@122.172.85.166) |
| 2025-11-22 04:18:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 04:18:56 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-22 04:20:27 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2025-11-22 04:21:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-22 04:22:08 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-22 04:24:25 +0100 | bggd | (~bgg@2a01:e0a:819:1510:ad2b:2815:ce76:fa73) |
| 2025-11-22 04:26:58 +0100 | ubert1 | (~Thunderbi@77.119.163.162.wireless.dyn.drei.com) ubert |
| 2025-11-22 04:27:19 +0100 | vardhan | (~vardhan@122.172.85.166) (Ping timeout: 246 seconds) |
| 2025-11-22 04:29:09 +0100 | Comstar | (~Comstar@user/Comstar) Comstar |
| 2025-11-22 04:29:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 04:29:43 +0100 | ubert | (~Thunderbi@178.165.175.248.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2025-11-22 04:29:43 +0100 | ubert1 | ubert |
| 2025-11-22 04:31:34 +0100 | <jreicher> | Does anyone have a reference for the "Tag" that kuribas was talking about earlier? |
| 2025-11-22 04:31:57 +0100 | <jreicher> | Did they mean Data.Tagged? |
| 2025-11-22 04:33:00 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 265 seconds) |
| 2025-11-22 04:33:32 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-22 04:34:49 +0100 | <int-e> | I don't think it was anything concrete. It would conceptually be a GADT like data Tag t where Tag_Int :: Tag Int | Tag_List :: Tag t -> Tag [t] | ... |
| 2025-11-22 04:34:57 +0100 | <Leary> | jreicher: I imagine they meant something equivalent to `Type.Reflection.TypeRep`. |
| 2025-11-22 04:35:50 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 04:35:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 04:36:12 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 04:37:13 +0100 | <monochrom> | <troll>It just means "day" in German >:) </troll> |
| 2025-11-22 04:38:08 +0100 | <jreicher> | :D |
| 2025-11-22 04:39:23 +0100 | <haskellbridge> | <Liamzee> are there any reasons, like perofrmance, not to replace a long when sequence with traverse_ (uncurry when)? |
| 2025-11-22 04:39:41 +0100 | <haskellbridge> | <Liamzee> i guess the biggest issue is freaking out newbies |
| 2025-11-22 04:41:17 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-22 04:41:56 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:412b:3f2f:9bee:7b64) (Remote host closed the connection) |
| 2025-11-22 04:42:32 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:f48e:62ec:f758:b0eb) |
| 2025-11-22 04:44:36 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
| 2025-11-22 04:44:45 +0100 | <monochrom> | Actually I didn't think of that. Cool trick. :) |
| 2025-11-22 04:44:52 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 04:45:32 +0100 | trickard_ | trickard |
| 2025-11-22 04:46:16 +0100 | <monochrom> | Necessity is the mother of invention. I guess I would think of that if I had 10 lines of "when"s. I had came up with clever uses of foldr and foldM in the past to replace 10 lines of something. |
| 2025-11-22 04:46:49 +0100 | <monochrom> | or some other repetativeness. |
| 2025-11-22 04:47:12 +0100 | <monochrom> | Ugh English. s/came/come/ |
| 2025-11-22 04:47:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 04:48:35 +0100 | <monochrom> | I am not sympathetic with young people overreacting and underthinking. |
| 2025-11-22 04:50:27 +0100 | <haskellbridge> | <Liamzee> https://gitlab.haskell.org/Liamzy/haddocks-view/-/blob/master/utils/haddock/haddock-api/src/Haddoc… |
| 2025-11-22 04:50:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 04:51:43 +0100 | <haskellbridge> | <Liamzee> i mean this: https://gitlab.haskell.org/ghc/ghc/-/blob/master/utils/haddock/haddock-api/src/Haddock.hs?ref_type… |
| 2025-11-22 04:52:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 04:53:34 +0100 | <monochrom> | Haha that's epic. |
| 2025-11-22 04:54:31 +0100 | <Leary> | I don't see what you gain from that refactor though; a string of `, (<cond>, <action>)` is no better than a string of `when <cond> <action>`. The latter is clear, local, and essentially the same length. |
| 2025-11-22 04:54:51 +0100 | <monochrom> | It probably evolved from just 1 when-clause a long time ago to today's dozens by slowly accreting more when's over the years at the rate of 1 addition per year so at no point anyone would think about it. |
| 2025-11-22 05:02:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 05:03:54 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-11-22 05:05:47 +0100 | <haskellbridge> | <Liamzee> Leary: it makes the string explicit instead of implicit, although i worry about the tuple |
| 2025-11-22 05:06:28 +0100 | <monochrom> | Yeah the tuples would be annoying too. |
| 2025-11-22 05:06:47 +0100 | <haskellbridge> | <Liamzee> also, in theory, the when chain is more portable and reusable as a list |
| 2025-11-22 05:06:53 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-11-22 05:07:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 05:08:21 +0100 | <haskellbridge> | <Liamzee> for instance, if you have the set of conditions constant, you can have the set of flags constant, then generate the response by zipping it with a list of actions |
| 2025-11-22 05:12:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-22 05:14:29 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:f48e:62ec:f758:b0eb) (Remote host closed the connection) |
| 2025-11-22 05:15:04 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a6ea:b4a1:b325:a58f) |
| 2025-11-22 05:18:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 05:19:47 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 05:22:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 05:30:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-22 05:33:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 05:34:31 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a6ea:b4a1:b325:a58f) (Remote host closed the connection) |
| 2025-11-22 05:34:39 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 05:35:06 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:eb5d:86e5:8fa9:c8d4) |
| 2025-11-22 05:35:42 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 05:35:47 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 05:38:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 05:42:16 +0100 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-22 05:44:33 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-22 05:46:08 +0100 | trickard | (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 05:46:21 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 05:47:22 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-11-22 05:47:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-22 05:48:53 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 05:49:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 05:50:03 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-22 05:53:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 05:53:21 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-22 05:54:06 +0100 | <Comstar> | what's the bridge to |
| 2025-11-22 05:54:26 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-11-22 05:54:33 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:eb5d:86e5:8fa9:c8d4) (Remote host closed the connection) |
| 2025-11-22 05:54:48 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8683:4951:5b82:1f35) |
| 2025-11-22 05:56:11 +0100 | <Comstar> | the whois has a bit.ly with all the connections that's cool. Ty geekosaur for the bridge and documentation! |
| 2025-11-22 06:00:12 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-22 06:04:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 06:05:47 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 06:06:13 +0100 | Googulator43 | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-22 06:08:17 +0100 | <fgarcia> | Comstar: i think it is #haskell-space on matrix |
| 2025-11-22 06:08:35 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-22 06:09:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 06:11:15 +0100 | <Comstar> | oh? the bitly lists it as being #haskell-irc:matrix.org <-> #haskell, fgarcia |
| 2025-11-22 06:11:23 +0100 | <Comstar> | maybe it's outdated |
| 2025-11-22 06:12:14 +0100 | <fgarcia> | Comstar: i read it from here https://wiki.haskell.org/IRC_channel though things may have changed |
| 2025-11-22 06:14:35 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8683:4951:5b82:1f35) (Remote host closed the connection) |
| 2025-11-22 06:19:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 06:22:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-22 06:22:44 +0100 | Comstar | (~Comstar@user/Comstar) (Ping timeout: 244 seconds) |
| 2025-11-22 06:24:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 06:31:36 +0100 | vardhan | (~vardhan@122.172.85.166) |
| 2025-11-22 06:35:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 06:35:36 +0100 | Googulator77 | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-22 06:35:49 +0100 | Googulator43 | (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 06:40:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-22 06:50:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 06:52:39 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-11-22 06:55:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-22 06:55:22 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 2025-11-22 06:58:36 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-11-22 06:59:49 +0100 | EvanR_ | EvanR |
| 2025-11-22 07:03:44 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 07:03:57 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 07:06:01 +0100 | inline__ | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) Inline |
| 2025-11-22 07:06:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 07:07:39 +0100 | Inline | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) (Ping timeout: 252 seconds) |
| 2025-11-22 07:12:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 07:18:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 07:18:09 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-22 07:18:25 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 07:20:28 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-22 07:22:26 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-22 07:22:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 07:23:39 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-22 07:25:27 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-22 07:30:12 +0100 | falafel | (~falafel@2603:8000:ca00:83fb:1db5:6d25:28c0:7c1c) falafel |
| 2025-11-22 07:33:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 07:37:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 07:48:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 07:50:13 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2025-11-22 07:52:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 07:55:22 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-22 08:01:52 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-22 08:04:06 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-22 08:04:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 08:05:50 +0100 | Googulator70 | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-22 08:06:13 +0100 | Googulator77 | (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 08:08:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 08:13:32 +0100 | trickard_ | trickard |
| 2025-11-22 08:19:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 08:19:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 08:21:48 +0100 | Comstar | (~Comstar@user/Comstar) Comstar |
| 2025-11-22 08:23:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-11-22 08:23:00 +0100 | Comstar | (~Comstar@user/Comstar) (Client Quit) |
| 2025-11-22 08:23:32 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-22 08:24:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 08:25:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-22 08:27:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-22 08:30:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 08:35:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |