| 2026-03-20 00:02:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 00:06:03 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-20 00:06:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-20 00:13:27 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-03-20 00:17:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 00:22:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 00:27:03 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 2026-03-20 00:27:03 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 2026-03-20 00:27:03 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 00:31:26 +0000 | czan | (~czan@user/mange) czan |
| 2026-03-20 00:35:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 00:36:44 +0000 | tv | (~tv@user/tv) (Quit: derp) |
| 2026-03-20 00:37:14 +0000 | tv | (~tv@user/tv) tv |
| 2026-03-20 00:38:20 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:f01e:edc7:4f22:41ed) synchromesh |
| 2026-03-20 00:40:02 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 00:40:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 00:41:11 +0000 | v0id_7 | (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 2026-03-20 00:44:54 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2026-03-20 00:50:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 00:59:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 01:06:39 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-03-20 01:08:43 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5412a4816b29ee23bce.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2026-03-20 01:10:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 01:15:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 01:15:33 +0000 | vetkat | (~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish) |
| 2026-03-20 01:21:37 +0000 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2026-03-20 01:25:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 01:30:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-20 01:40:34 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 01:41:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 01:43:26 +0000 | puke | (~puke@user/puke) puke |
| 2026-03-20 01:43:59 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-03-20 01:44:05 +0000 | craunts795335385 | (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-20 01:45:09 +0000 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-03-20 01:45:15 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2026-03-20 01:45:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 01:51:16 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-03-20 01:52:41 +0000 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2026-03-20 01:56:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 02:01:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 02:02:05 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:a69e:37ae:76eb:6e1f) |
| 2026-03-20 02:02:05 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:a69e:37ae:76eb:6e1f) (Changing host) |
| 2026-03-20 02:02:05 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-03-20 02:11:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 02:14:45 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-20 02:16:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 02:27:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 02:32:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 02:42:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 02:49:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 03:00:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 03:05:45 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 03:05:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 03:08:14 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2026-03-20 03:10:16 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-03-20 03:16:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 03:20:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-20 03:22:45 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 03:27:42 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-20 03:27:52 +0000 | pyooque | (~puke@user/puke) puke |
| 2026-03-20 03:27:52 +0000 | puke | Guest261 |
| 2026-03-20 03:27:52 +0000 | pyooque | puke |
| 2026-03-20 03:29:13 +0000 | Guest261 | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2026-03-20 03:31:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 03:36:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 03:39:08 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 2026-03-20 03:39:08 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 2026-03-20 03:39:08 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 03:43:12 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 2026-03-20 03:46:28 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-03-20 03:46:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 03:51:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 03:56:37 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-03-20 04:02:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 04:06:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-20 04:10:19 +0000 | sp1ff | (~user@2601:1c2:4080:14c0::1ced) sp1ff |
| 2026-03-20 04:13:06 +0000 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2026-03-20 04:14:57 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 2026-03-20 04:14:57 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 2026-03-20 04:14:57 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 04:15:48 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-20 04:17:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 04:24:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-20 04:25:28 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-03-20 04:26:05 +0000 | haskellbridge | (~hackager@96.28.224.214) (Ping timeout: 244 seconds) |
| 2026-03-20 04:26:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 04:31:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 04:39:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-03-20 04:42:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 04:46:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 04:49:47 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2026-03-20 04:52:24 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 2026-03-20 04:57:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 04:58:23 +0000 | <geekosaur> | My ISP's down, cable connects but no DHCP |
| 2026-03-20 04:58:44 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 268 seconds) |
| 2026-03-20 04:59:41 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 05:00:57 +0000 | <geekosaur> | Just got notified it's planned maintenance and should be back up soon |
| 2026-03-20 05:01:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-20 05:02:01 +0000 | <geekosaur> | Anyway that means the bridge is down and may stay down for a while since I'll have to repoint DNS |
| 2026-03-20 05:02:35 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) SrPx |
| 2026-03-20 05:02:55 +0000 | <EvanR> | oof |
| 2026-03-20 05:03:43 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-03-20 05:04:18 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-03-20 05:07:03 +0000 | <gentauro> | geekosaur: you need redundant fiber connections ;) |
| 2026-03-20 05:09:00 +0000 | <gentauro> | btw, did anybody read the code from this blogpost? https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code. It looked kind of "okayish" (I don't know how much time OP used top fix stuff or it was the agent all along) |
| 2026-03-20 05:11:28 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-03-20 05:11:28 +0000 | ChanServ | +v haskellbridge |
| 2026-03-20 05:12:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 05:14:31 +0000 | <geekosaur> | it's back now but I still need to repoint things |
| 2026-03-20 05:15:35 +0000 | <geekosaur> | oh, huh, they didn't change my IP address. should be up and running properly, then |
| 2026-03-20 05:15:52 +0000 | <gentauro> | geekosaur: a couple who are friends of mine, some road crew just cut their fiber. They had a "cheap" ISP (which is just re-selling a 3rd providers product) and it took "quite" some time to get it up again |
| 2026-03-20 05:16:16 +0000 | <gentauro> | not ideal when you work from home and have to commute long distance |
| 2026-03-20 05:16:19 +0000 | <geekosaur> | I can imagine |
| 2026-03-20 05:16:37 +0000 | <gentauro> | and then it's the thing with the kidos being teenagers and their world is gaming |
| 2026-03-20 05:16:57 +0000 | <gentauro> | the temp solution was a 5G hub |
| 2026-03-20 05:17:04 +0000 | <gentauro> | :| |
| 2026-03-20 05:18:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 05:28:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 05:29:48 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (Ping timeout: 264 seconds) |
| 2026-03-20 05:32:44 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2026-03-20 05:33:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 05:34:09 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-03-20 05:35:24 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 05:36:20 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:f01e:edc7:4f22:41ed) (Quit: WeeChat 4.1.1) |
| 2026-03-20 05:40:03 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2026-03-20 05:43:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 05:44:30 +0000 | haetsal | (~quassel@1.229.73.147) |
| 2026-03-20 05:47:49 +0000 | michalz | (~michalz@185.246.207.221) |
| 2026-03-20 05:48:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-20 05:52:21 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-03-20 05:59:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 06:00:51 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 2026-03-20 06:00:51 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 2026-03-20 06:00:51 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 06:01:22 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:a116:be89:35e0:7191) synchromesh |
| 2026-03-20 06:05:17 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-20 06:06:02 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2026-03-20 06:06:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 06:06:32 +0000 | pierluc-codes | (~pierlucco@modemcable092.154-83-70.mc.videotron.ca) (Quit: Ping timeout (120 seconds)) |
| 2026-03-20 06:06:39 +0000 | pierluc-codes3 | (~pierlucco@modemcable092.154-83-70.mc.videotron.ca) |
| 2026-03-20 06:08:54 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-20 06:09:17 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 06:11:24 +0000 | synchrom1 | (~john@2406:5a00:2412:2c00:a116:be89:35e0:7191) synchromesh |
| 2026-03-20 06:13:36 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:a116:be89:35e0:7191) (Ping timeout: 246 seconds) |
| 2026-03-20 06:14:01 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2026-03-20 06:15:41 +0000 | synchromesh | (~john@115.69.186.131) synchromesh |
| 2026-03-20 06:16:50 +0000 | synchrom1 | (~john@2406:5a00:2412:2c00:a116:be89:35e0:7191) (Ping timeout: 248 seconds) |
| 2026-03-20 06:17:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 06:19:34 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-20 06:20:48 +0000 | Square3 | (~Square@user/square) Square |
| 2026-03-20 06:21:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 06:22:50 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2026-03-20 06:27:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 06:29:09 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 06:29:40 +0000 | yachatta | (~kaushikv@c-71-238-53-216.hsd1.or.comcast.net) |
| 2026-03-20 06:32:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 06:34:54 +0000 | yachatta | (~kaushikv@c-71-238-53-216.hsd1.or.comcast.net) (Quit: leaving) |
| 2026-03-20 06:37:19 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2026-03-20 06:38:12 +0000 | yachatta | (~kaushikv@c-71-238-53-216.hsd1.or.comcast.net) |
| 2026-03-20 06:39:15 +0000 | yachatta | (~kaushikv@c-71-238-53-216.hsd1.or.comcast.net) (Client Quit) |
| 2026-03-20 06:43:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 06:48:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 06:58:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 07:01:32 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 2026-03-20 07:01:32 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 2026-03-20 07:01:32 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 07:03:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 07:03:31 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-03-20 07:04:24 +0000 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) (Quit: Ping timeout (120 seconds)) |
| 2026-03-20 07:04:42 +0000 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin |
| 2026-03-20 07:05:09 +0000 | haasn | (sid579015@id-579015.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 2026-03-20 07:05:32 +0000 | haasn | (sid579015@id-579015.hampstead.irccloud.com) haasn |
| 2026-03-20 07:06:00 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 2026-03-20 07:06:02 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-03-20 07:06:21 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 272 seconds) |
| 2026-03-20 07:06:23 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Ping timeout: 268 seconds) |
| 2026-03-20 07:06:23 +0000 | astra | (sid289983@id-289983.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 2026-03-20 07:06:34 +0000 | fun-safe-math | (~fun-safe-@97.115.234.213) (Ping timeout: 256 seconds) |
| 2026-03-20 07:06:49 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) (Ping timeout: 248 seconds) |
| 2026-03-20 07:06:56 +0000 | fun-safe-math | (~fun-safe-@97.115.234.213) fun-safe-math |
| 2026-03-20 07:07:14 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) NiKaN |
| 2026-03-20 07:07:44 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2026-03-20 07:08:10 +0000 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2026-03-20 07:08:55 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-03-20 07:09:37 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
| 2026-03-20 07:13:13 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |
| 2026-03-20 07:13:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 07:14:04 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 07:19:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 07:28:49 +0000 | ft | (~ft@p508db341.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-03-20 07:28:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 07:33:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-20 07:42:33 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-03-20 07:44:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 07:51:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 07:56:53 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 08:01:30 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 08:02:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 08:05:57 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-20 08:05:58 +0000 | Googulator | (~Googulato@84-236-126-177.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2026-03-20 08:07:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 08:17:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 08:18:19 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-03-20 08:22:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-20 08:23:04 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 256 seconds) |
| 2026-03-20 08:26:56 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) PotatoGim |
| 2026-03-20 08:29:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 08:32:36 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 08:33:44 +0000 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-20 08:34:30 +0000 | rainbyte | (~rainbyte@181.47.219.110) (Read error: Connection reset by peer) |
| 2026-03-20 08:34:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 08:36:35 +0000 | rainbyte | (~rainbyte@181.47.219.110) rainbyte |
| 2026-03-20 08:37:40 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-03-20 08:39:59 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-20 08:45:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 08:49:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 08:53:13 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-03-20 08:59:22 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e541daf6366eab32adad.dip0.t-ipconnect.de) |
| 2026-03-20 09:00:42 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-20 09:04:54 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-03-20 09:05:45 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-20 09:07:57 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 09:08:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 09:12:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-20 09:14:04 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-03-20 09:15:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 09:20:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 09:23:31 +0000 | kuribas | (~user@2a02:1808:4f:27d0:bdf3:9bb4:5714:ba09) kuribas |
| 2026-03-20 09:26:24 +0000 | danza | (~danza@user/danza) danza |
| 2026-03-20 09:30:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 09:35:05 +0000 | <gentauro> | what's the easiest way to flatten a list of either types? -> `[Either [a] [b]] -> Either [a] [b]`? |
| 2026-03-20 09:35:52 +0000 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-03-20 09:36:12 +0000 | <int-e> | :t Data.Either.partitionEithers |
| 2026-03-20 09:36:13 +0000 | <lambdabot> | [Either a b] -> ([a], [b]) |
| 2026-03-20 09:36:30 +0000 | <int-e> | (your type isn't gonna play nicely) |
| 2026-03-20 09:36:33 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 09:37:33 +0000 | <[exa]> | gentauro: what do you do with [Left [1], Right [2]] ? |
| 2026-03-20 09:37:36 +0000 | kuribas | (~user@2a02:1808:4f:27d0:bdf3:9bb4:5714:ba09) (Ping timeout: 264 seconds) |
| 2026-03-20 09:37:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 09:37:53 +0000 | <gentauro> | [exa]: combine and show end-user |
| 2026-03-20 09:38:06 +0000 | <gentauro> | but it seems that int-e has the solution |
| 2026-03-20 09:38:09 +0000 | <[exa]> | how do you combine tho |
| 2026-03-20 09:38:29 +0000 | <[exa]> | (spoiler: you might love Data.These) |
| 2026-03-20 09:38:31 +0000 | <int-e> | :t (concat *** concat) . Data.Either.partitionEithers |
| 2026-03-20 09:38:32 +0000 | <lambdabot> | [Either [a1] [a2]] -> ([a1], [a2]) |
| 2026-03-20 09:39:59 +0000 | <gentauro> | `***`? |
| 2026-03-20 09:40:14 +0000 | <int-e> | :t (***) |
| 2026-03-20 09:40:15 +0000 | <lambdabot> | Arrow a => a b c -> a b' c' -> a (b, b') (c, c') |
| 2026-03-20 09:41:04 +0000 | <Leary> | % :t foldMap \case{ Left xs -> (xs, []); Right ys -> ([], ys) } |
| 2026-03-20 09:41:04 +0000 | <yahb2> | foldMap \case{ Left xs -> (xs, []); Right ys -> ([], ys) } ; :: Foldable t => t (Either [a1] [a2]) -> ([a1], [a2]) |
| 2026-03-20 09:41:21 +0000 | <int-e> | in this case it's just \f g (x, y) -> (f x, g y) |
| 2026-03-20 09:41:24 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-20 09:42:41 +0000 | <gentauro> | Leary: yeah, ended up writing something like that |
| 2026-03-20 09:45:26 +0000 | <int-e> | :t foldMap (partitionEithers . pure) |
| 2026-03-20 09:45:27 +0000 | <lambdabot> | Foldable t => t (Either a b) -> ([a], [b]) |
| 2026-03-20 09:45:40 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 09:45:57 +0000 | <int-e> | ah. no, of course that's just partitionEithers again |
| 2026-03-20 09:48:09 +0000 | <newmind> | hmm, i don't see how this is supposed to work, since the input list can be a's or b's mixed, but the output.. can only have one of them |
| 2026-03-20 09:48:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 09:49:01 +0000 | <newmind> | except for an impolied "if there are any bs, give me thoese, otherwise i'll take the as" |
| 2026-03-20 09:53:04 +0000 | <int-e> | :t partitionEithers . foldMap (either (map Left) (map Right)) {- looks clean, but inefficient because of all the intermediate Eithers -} |
| 2026-03-20 09:53:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-20 09:53:05 +0000 | <lambdabot> | Foldable t => t (Either [a] [b]) -> ([a], [b]) |
| 2026-03-20 09:53:50 +0000 | <gentauro> | int-e: partitionEithers creates a tuple. If `left` has any item, then there are errors. Otherwise, just show list of `rights` |
| 2026-03-20 09:54:22 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2026-03-20 09:57:25 +0000 | <Leary> | :t getAp . foldMap Ap |
| 2026-03-20 09:57:26 +0000 | <lambdabot> | k}. (Foldable t, Monoid (Ap f a)) => t (f a) -> f a |
| 2026-03-20 09:57:45 +0000 | <Leary> | > getAp . foldMap Ap $ [Right [1, 2], Right [3, 4]] |
| 2026-03-20 09:57:46 +0000 | <lambdabot> | Right [1,2,3,4] |
| 2026-03-20 09:57:51 +0000 | <Leary> | > getAp . foldMap Ap $ [Right [1, 2], Left [3, 4]] |
| 2026-03-20 09:57:53 +0000 | <lambdabot> | Left [3,4] |
| 2026-03-20 09:59:40 +0000 | astra | amish |
| 2026-03-20 10:00:09 +0000 | amish | Guest8340 |
| 2026-03-20 10:00:28 +0000 | <int-e> | > getAp . foldMap Ap $ [Left [1], Left [2]] |
| 2026-03-20 10:00:29 +0000 | <lambdabot> | Left [1] |
| 2026-03-20 10:00:55 +0000 | Guest8340 | astra |
| 2026-03-20 10:01:39 +0000 | <int-e> | regardless, clever |
| 2026-03-20 10:01:57 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 10:04:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 10:06:37 +0000 | astra | amish |
| 2026-03-20 10:06:53 +0000 | amish | (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 2026-03-20 10:06:53 +0000 | amish | (sid289983@user/amish) amish |
| 2026-03-20 10:08:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 10:10:54 +0000 | amish | astra |
| 2026-03-20 10:16:59 +0000 | <newmind> | % :t uncurry (\ls rs -> bool (Left ls) (Right rs) (null ls)) . bimap concat concat . partitionEithers |
| 2026-03-20 10:16:59 +0000 | <yahb2> | <interactive>:1:20: error: [GHC-88464] ; Variable not in scope: ; bool :: Either (t2 a2) b1 -> Either a3 b2 -> Bool -> c ; ; <interactive>:1:59: error: [GHC-88464] ; Variable not in ... |
| 2026-03-20 10:19:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 10:20:08 +0000 | Freakie | (~Freakie@37.96.11.80) |
| 2026-03-20 10:22:38 +0000 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 256 seconds) |
| 2026-03-20 10:23:35 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 2026-03-20 10:23:35 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 2026-03-20 10:23:35 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 10:23:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 10:29:54 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Remote host closed the connection) |
| 2026-03-20 10:30:42 +0000 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 248 seconds) |
| 2026-03-20 10:31:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 10:33:50 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2026-03-20 10:34:01 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-03-20 10:34:54 +0000 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-20 10:36:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 10:36:28 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:55d9:690d:58e3:8491) |
| 2026-03-20 10:36:28 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:55d9:690d:58e3:8491) (Changing host) |
| 2026-03-20 10:36:28 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 10:37:24 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e545b138643e76a029bb.dip0.t-ipconnect.de) acidjnk |
| 2026-03-20 10:40:19 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e541daf6366eab32adad.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-20 10:42:19 +0000 | craunts795335385 | (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-20 10:43:25 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-03-20 10:47:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 10:48:14 +0000 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-03-20 10:51:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 10:52:23 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-20 10:55:39 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-20 11:02:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 11:04:29 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2026-03-20 11:06:24 +0000 | Freakie | (~Freakie@37.96.11.80) (Quit: Client closed) |
| 2026-03-20 11:06:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-20 11:07:28 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 11:07:53 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-20 11:12:30 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-03-20 11:14:31 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-03-20 11:14:36 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-03-20 11:15:27 +0000 | divlamir_ | divlamir |
| 2026-03-20 11:16:22 +0000 | <gentauro> | :t getAp |
| 2026-03-20 11:16:23 +0000 | <lambdabot> | forall {k} (f :: k -> *) (a :: k). Ap f a -> f a |
| 2026-03-20 11:17:34 +0000 | puke | (~puke@user/puke) (Ping timeout: 276 seconds) |
| 2026-03-20 11:17:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 11:18:30 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-20 11:19:09 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 246 seconds) |
| 2026-03-20 11:23:33 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 11:24:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-20 11:27:49 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-03-20 11:32:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 11:33:04 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 11:37:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 11:37:30 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2026-03-20 11:48:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 11:49:56 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-03-20 11:49:56 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-03-20 11:49:56 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-03-20 11:52:20 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 11:52:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 11:55:49 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-20 11:56:50 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-03-20 11:56:51 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2026-03-20 11:57:40 +0000 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 245 seconds) |
| 2026-03-20 11:59:08 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-20 11:59:50 +0000 | Freakie | (~Freakie@37.96.11.80) |
| 2026-03-20 12:02:05 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 12:03:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 12:06:33 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-03-20 12:07:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 12:10:57 +0000 | Googulator | (~Googulato@team.broadbit.hu) |
| 2026-03-20 12:12:41 +0000 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2026-03-20 12:18:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 12:23:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-20 12:27:33 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-03-20 12:30:42 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |
| 2026-03-20 12:33:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 12:37:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-20 12:39:00 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 12:40:31 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds) |
| 2026-03-20 12:43:09 +0000 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-03-20 12:46:48 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:804d:635c:62ff:74ac) |
| 2026-03-20 12:46:48 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:804d:635c:62ff:74ac) (Changing host) |
| 2026-03-20 12:46:48 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 12:48:11 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-20 12:49:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 12:49:49 +0000 | AlexZenon | (~alzenon@178.34.151.138) (Quit: ;-) |
| 2026-03-20 12:50:00 +0000 | Alex_delenda_est | (~al_test@178.34.151.138) (Quit: ;-) |
| 2026-03-20 12:50:37 +0000 | AlexNoo | (~AlexNoo@178.34.151.138) (Quit: Leaving) |
| 2026-03-20 12:55:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-20 13:02:44 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-20 13:07:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 13:11:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-20 13:15:13 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-03-20 13:16:28 +0000 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-03-20 13:20:24 +0000 | AlexNoo | (~AlexNoo@178.34.151.138) |
| 2026-03-20 13:22:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 13:24:56 +0000 | AlexZenon | (~alzenon@178.34.151.138) |
| 2026-03-20 13:24:57 +0000 | Rembane | (~Rembane@user/Rembane) (Ping timeout: 248 seconds) |
| 2026-03-20 13:25:05 +0000 | danz69579 | (~danza@user/danza) danza |
| 2026-03-20 13:26:08 +0000 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-03-20 13:27:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 13:34:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 13:39:34 +0000 | Catty | (~catties@user/meow/catties) (Remote host closed the connection) |
| 2026-03-20 13:39:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 13:41:12 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-20 13:41:13 +0000 | Alex_delenda_est | (~al_test@178.34.151.138) |
| 2026-03-20 13:46:13 +0000 | Alex_delenda_est | (~al_test@178.34.151.138) (Ping timeout: 268 seconds) |
| 2026-03-20 13:46:22 +0000 | catties | (~catties@user/meow/catties) catties |
| 2026-03-20 13:50:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 13:50:41 +0000 | catties | Catty |
| 2026-03-20 13:54:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 13:55:12 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 13:58:02 +0000 | Guest62t | (~Guest62t@p200300ca8f11210081af2badae2f0f42.dip0.t-ipconnect.de) |
| 2026-03-20 14:01:56 +0000 | puke | (~puke@user/puke) puke |
| 2026-03-20 14:05:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 14:06:15 +0000 | Freakie | (~Freakie@37.96.11.80) (Quit: Client closed) |
| 2026-03-20 14:06:49 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2026-03-20 14:07:25 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-20 14:07:36 +0000 | traxex | (traxex@user/traxex) (Ping timeout: 264 seconds) |
| 2026-03-20 14:09:02 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 269 seconds) |
| 2026-03-20 14:09:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 14:13:23 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-03-20 14:17:43 +0000 | akegalj | (~akegalj@141-136-131-38.dsl.iskon.hr) akegalj |
| 2026-03-20 14:20:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 14:26:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 14:28:25 +0000 | hakutaku | (~textual@user/hakutaku) (Ping timeout: 248 seconds) |
| 2026-03-20 14:32:19 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-03-20 14:34:50 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |
| 2026-03-20 14:35:42 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-20 14:35:51 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2026-03-20 14:42:52 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-03-20 14:53:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 14:58:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 15:00:18 +0000 | Alex_delenda_est | (~al_test@178.34.151.138) |
| 2026-03-20 15:05:39 +0000 | v0id_7 | (~v0id_7@user/v0id-7:62772) v0id_7 |
| 2026-03-20 15:09:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 15:10:33 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-20 15:14:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 15:33:24 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-03-20 15:34:59 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-20 15:35:17 +0000 | califax | (~califax@user/califx) califx |
| 2026-03-20 15:36:45 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-20 15:37:19 +0000 | <chromoblob> | > length (undefined :: (a, b)) |
| 2026-03-20 15:37:20 +0000 | <lambdabot> | 1 |
| 2026-03-20 15:40:20 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-20 15:41:12 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 264 seconds) |
| 2026-03-20 15:52:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 15:53:35 +0000 | haritzondo | (~hrtz@140.228.70.141) |
| 2026-03-20 15:53:55 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 245 seconds) |
| 2026-03-20 15:54:29 +0000 | hsw_ | (~hsw@106.104.102.45) (Quit: Leaving) |
| 2026-03-20 15:56:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 16:00:13 +0000 | <mikko> | tuples being foldable is weird |
| 2026-03-20 16:00:24 +0000 | <mikko> | > minimum(1,2) |
| 2026-03-20 16:00:26 +0000 | <lambdabot> | 2 |
| 2026-03-20 16:01:12 +0000 | <geekosaur> | there are reasons for it, but the instance is also a fertile source of silent errors |
| 2026-03-20 16:01:33 +0000 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-03-20 16:02:36 +0000 | <mikko> | i'd like to hear more about the reasons |
| 2026-03-20 16:03:48 +0000 | <__monty__> | Does draw a nice parallel between AssocLists and Maps. |
| 2026-03-20 16:04:35 +0000 | <geekosaur> | largely related to the fact that tuples have a meaningful and useful `Functor` instance IIRC, which means they're like 90% there already |
| 2026-03-20 16:05:19 +0000 | Googulator | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2026-03-20 16:05:33 +0000 | Googulator | (~Googulato@team.broadbit.hu) |
| 2026-03-20 16:06:27 +0000 | <geekosaur> | and that makes them useful with `Traversable`, but you need `Foldable` for `Traversable` |
| 2026-03-20 16:06:37 +0000 | Googulator | (~Googulato@team.broadbit.hu) (Client Quit) |
| 2026-03-20 16:06:58 +0000 | Googulator | (~Googulato@team.broadbit.hu) |
| 2026-03-20 16:07:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 16:07:47 +0000 | <geekosaur> | so you get this footgunny `Foldable` |
| 2026-03-20 16:12:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 16:22:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 16:29:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 16:30:58 +0000 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 240 seconds) |
| 2026-03-20 16:37:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 16:41:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-20 16:50:33 +0000 | danz69579 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-03-20 16:53:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 16:57:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 16:58:21 +0000 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 255 seconds) |
| 2026-03-20 17:05:06 +0000 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 2026-03-20 17:08:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 17:13:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 17:19:44 +0000 | akegalj | (~akegalj@141-136-131-38.dsl.iskon.hr) (Quit: leaving) |
| 2026-03-20 17:21:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 17:22:03 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-03-20 17:24:14 +0000 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-03-20 17:26:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 17:36:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 17:42:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-20 17:46:06 +0000 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 268 seconds) |
| 2026-03-20 17:53:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 17:57:53 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-03-20 17:59:26 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2026-03-20 18:01:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-20 18:01:50 +0000 | Guest62t | (~Guest62t@p200300ca8f11210081af2badae2f0f42.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2026-03-20 18:04:41 +0000 | <probie> | :t uncurry (bool <$> (const Right) <*> (const . Left) <*> null) . partitionEithers |
| 2026-03-20 18:04:42 +0000 | <lambdabot> | [Either a b] -> Either [a] [b] |
| 2026-03-20 18:05:45 +0000 | <probie> | > map (uncurry (bool <$> (const Right) <*> (const . Left) <*> null) . partitionEithers) [[Left 1, Right 2, Left 3], [], [Right 1, Right 2, Right 3]] |
| 2026-03-20 18:05:46 +0000 | <lambdabot> | [Right [2],Left [],Left []] |
| 2026-03-20 18:06:24 +0000 | <probie> | > map (uncurry (bool <$> (const . Left) <*> (const Right) <*> null) . partitionEithers) [[Left 1, Right 2, Left 3], [], [Right 1, Right 2, Right 3]] |
| 2026-03-20 18:06:25 +0000 | <lambdabot> | [Left [1,3],Right [],Right [1,2,3]] |
| 2026-03-20 18:09:43 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-20 18:11:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 18:16:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 18:27:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 18:31:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 18:33:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 18:35:04 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2026-03-20 18:36:02 +0000 | <probie> | mikko: I don't think it's much weirder than `(->) r` being a monad. People are happy with the reader monad, but it looks a bit strange when the newtype is stripped away |
| 2026-03-20 18:37:33 +0000 | <probie> | I don't think it'd seem too weird to have `Foldable` and `Traversable` for `data Env env a = Env env a` |
| 2026-03-20 18:38:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-20 18:46:09 +0000 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-03-20 18:46:14 +0000 | anselmschueler | (~Thunderbi@user/schuelermine) (Client Quit) |
| 2026-03-20 18:47:44 +0000 | <probie> | and since `Env` is equivalent to `(,)` and there's only one (assuming functional extensionality) reasonable valid definition for `Foldable` and `Traversable` for `Env a`/ `(,) a`. Having those instances seems no less reasonable than having a monad instance for `(->) r` |
| 2026-03-20 18:54:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 18:58:44 +0000 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 244 seconds) |
| 2026-03-20 18:59:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-20 19:00:20 +0000 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-03-20 19:06:01 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-20 19:10:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 19:10:37 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-03-20 19:14:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 19:25:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 19:28:31 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-20 19:29:36 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-20 19:29:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 19:40:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 19:45:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 19:51:50 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-20 19:52:08 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2026-03-20 19:52:49 +0000 | Rembane | (~Rembane@user/Rembane) Rembane |
| 2026-03-20 19:54:41 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-03-20 19:56:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 19:57:38 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-20 20:00:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-20 20:06:34 +0000 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 245 seconds) |
| 2026-03-20 20:11:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 20:14:37 +0000 | anselmschueler | (~Thunderbi@user/schuelermine) (Quit: anselmschueler) |
| 2026-03-20 20:15:04 +0000 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-03-20 20:15:56 +0000 | anselmschueler | (~Thunderbi@user/schuelermine) (Client Quit) |
| 2026-03-20 20:16:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 20:16:23 +0000 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-03-20 20:17:13 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 20:19:11 +0000 | anselmschueler | (~Thunderbi@user/schuelermine) (Client Quit) |
| 2026-03-20 20:27:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 20:27:21 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-20 20:28:29 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:941d:5a00:e7:3ad0) |
| 2026-03-20 20:28:29 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:941d:5a00:e7:3ad0) (Changing host) |
| 2026-03-20 20:28:29 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 20:31:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-20 20:34:31 +0000 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2026-03-20 20:36:27 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-20 20:42:19 +0000 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-03-20 20:42:39 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-20 20:46:59 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-03-20 20:58:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 21:02:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 21:13:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 21:18:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 21:28:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 21:32:59 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-20 21:33:24 +0000 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-03-20 21:33:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 21:35:33 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-20 21:41:16 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2026-03-20 21:41:36 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-03-20 21:44:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 21:45:29 +0000 | Digitteknohippie | Digit |
| 2026-03-20 21:51:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 21:58:11 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2026-03-20 22:02:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 22:06:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-20 22:08:41 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-03-20 22:17:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 22:21:44 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-20 22:22:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 22:26:45 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-20 22:32:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 22:37:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 22:37:45 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-03-20 22:38:01 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-20 22:47:32 +0000 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-20 22:48:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 22:48:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-20 22:53:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-20 22:59:08 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-20 23:03:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 23:04:14 +0000 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-03-20 23:08:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-20 23:19:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 23:21:48 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2026-03-20 23:25:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 23:30:20 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-20 23:33:36 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 244 seconds) |
| 2026-03-20 23:33:40 +0000 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-03-20 23:34:07 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 244 seconds) |
| 2026-03-20 23:34:07 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2026-03-20 23:35:31 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2026-03-20 23:36:16 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-03-20 23:37:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 23:41:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-20 23:50:26 +0000 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-20 23:52:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-20 23:55:44 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-20 23:56:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-20 23:58:44 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |