| 2025-07-18 00:00:20 +0200 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-07-18 00:01:14 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 00:05:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 00:05:23 +0200 | Rembane | (~Rembane@user/Rembane) (Ping timeout: 245 seconds) |
| 2025-07-18 00:12:25 +0200 | dhil | (~dhil@5.151.29.141) (Ping timeout: 252 seconds) |
| 2025-07-18 00:13:38 +0200 | Rembane | (~Rembane@user/Rembane) Rembane |
| 2025-07-18 00:13:57 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-07-18 00:15:22 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-07-18 00:16:55 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-18 00:17:08 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-18 00:21:28 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-07-18 00:28:15 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-07-18 00:30:00 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-07-18 00:37:55 +0200 | sprotte24 | (~sprotte24@p200300d16f06fb002c26010dc25f1234.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-18 00:49:46 +0200 | kaskal- | (~kaskal@2a02:8388:15bf:c200:3d7a:b666:bd24:83ab) (Ping timeout: 272 seconds) |
| 2025-07-18 00:54:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-18 00:59:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 01:01:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b66280009eebd73db406f.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-07-18 01:04:00 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-18 01:04:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-18 01:04:14 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-18 01:07:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 01:08:20 +0200 | phma | (~phma@host-67-44-208-39.hnremote.net) (Read error: Connection reset by peer) |
| 2025-07-18 01:09:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-18 01:09:37 +0200 | phma | (phma@2001:5b0:2144:7958:a188:f90e:a332:9c2d) |
| 2025-07-18 01:09:59 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-07-18 01:12:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-18 01:12:31 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-18 01:14:41 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-18 01:20:53 +0200 | xff0x | (~xff0x@2405:6580:b080:900:31f8:e5f1:cf3:b71f) (Ping timeout: 248 seconds) |
| 2025-07-18 01:22:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 01:23:08 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-18 01:24:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-18 01:27:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-18 01:30:08 +0200 | kaskal | (~kaskal@2a02:8388:15bf:c200:b805:34c5:402d:8eda) kaskal |
| 2025-07-18 01:33:31 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a58c:d6e5:328e:a48b) |
| 2025-07-18 01:38:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 01:38:41 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-07-18 01:43:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-18 01:43:38 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-07-18 01:45:00 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:61c8:3ff4:a761:bcde) internatetional |
| 2025-07-18 01:47:18 +0200 | yin_ | zzz |
| 2025-07-18 01:48:08 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-07-18 01:50:38 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-18 01:53:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 01:55:09 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-18 01:55:23 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-07-18 01:58:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-18 01:59:51 +0200 | inline | (~inline@ip-005-146-197-046.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2025-07-18 02:05:37 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-18 02:05:56 +0200 | pierrot_ | (~pi@user/pierrot) (Server closed connection) |
| 2025-07-18 02:06:13 +0200 | pierrot | (~pi@user/pierrot) pierrot |
| 2025-07-18 02:09:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 02:10:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 02:13:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-18 02:14:14 +0200 | m1dnight | (~m1dnight@78-20-51-206.access.telenet.be) (Ping timeout: 260 seconds) |
| 2025-07-18 02:15:13 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:61c8:3ff4:a761:bcde) (Ping timeout: 248 seconds) |
| 2025-07-18 02:18:07 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 02:19:32 +0200 | zzz | yin |
| 2025-07-18 02:24:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 02:27:44 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-07-18 02:28:12 +0200 | m1dnight | (~m1dnight@78-20-51-206.access.telenet.be) m1dnight |
| 2025-07-18 02:29:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-18 02:40:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 02:42:38 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 02:43:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 02:45:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-18 02:52:33 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a58c:d6e5:328e:a48b) (Ping timeout: 248 seconds) |
| 2025-07-18 02:55:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 02:57:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 02:58:48 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Remote host closed the connection) |
| 2025-07-18 02:58:51 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-18 03:00:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-18 03:06:09 +0200 | puke | (~puke@user/puke) puke |
| 2025-07-18 03:09:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 03:09:39 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-07-18 03:11:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 03:15:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-18 03:26:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 03:33:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-18 03:44:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 03:45:02 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 03:48:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 03:49:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-18 03:50:43 +0200 | tavare | (~tavare@150.129.88.189) |
| 2025-07-18 03:50:43 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-07-18 03:50:43 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-07-18 03:57:21 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-07-18 03:58:00 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-07-18 03:58:00 +0200 | ChanServ | +v haskellbridge |
| 2025-07-18 03:58:52 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-07-18 03:58:53 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-18 03:59:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 04:04:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-18 04:06:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-07-18 04:15:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 04:20:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-18 04:22:51 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Ping timeout: 252 seconds) |
| 2025-07-18 04:25:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-18 04:25:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 04:30:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 04:34:58 +0200 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 248 seconds) |
| 2025-07-18 04:35:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-18 04:36:48 +0200 | td_ | (~td@i5387092F.versanet.de) td_ |
| 2025-07-18 04:38:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-18 04:41:29 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-07-18 04:41:56 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-18 04:41:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 04:46:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 04:50:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-18 04:54:30 +0200 | FANTOM_ | (~fantom@33be818f.skybroadband.com) (Ping timeout: 252 seconds) |
| 2025-07-18 04:58:14 +0200 | trickard_ | trickard |
| 2025-07-18 05:01:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-18 05:01:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 05:02:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-07-18 05:08:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-18 05:09:42 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) |
| 2025-07-18 05:19:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 05:24:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-18 05:26:38 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-07-18 05:34:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 05:39:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-18 05:42:09 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce8:ec00:8e85:40b4:db08:8733) aforemny |
| 2025-07-18 05:44:04 +0200 | aforemny | (~aforemny@2001:9e8:6cc9:7f00:fef4:96e0:82b6:8409) (Ping timeout: 276 seconds) |
| 2025-07-18 05:50:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 05:54:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-18 06:04:46 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-18 06:05:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 06:05:56 +0200 | adamCS | (~adamCS@70.19.85.77) (Server closed connection) |
| 2025-07-18 06:06:06 +0200 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-07-18 06:10:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-18 06:12:14 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Remote host closed the connection) |
| 2025-07-18 06:13:30 +0200 | orenty7 | (~orenty7@37.63.19.36) (Quit: Konversation terminated!) |
| 2025-07-18 06:20:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-18 06:20:57 +0200 | haskellman | (~haskellma@2a01:e0a:16a:7710:c592:3759:58a1:dbe9) |
| 2025-07-18 06:21:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 06:24:49 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-18 06:26:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-18 06:32:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-07-18 06:33:13 +0200 | haskellman | (~haskellma@2a01:e0a:16a:7710:c592:3759:58a1:dbe9) (Ping timeout: 272 seconds) |
| 2025-07-18 06:35:02 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-07-18 06:36:20 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-18 06:36:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 06:43:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-18 06:46:52 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-07-18 06:46:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-07-18 06:46:55 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Remote host closed the connection) |
| 2025-07-18 06:47:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-07-18 06:47:30 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-07-18 06:49:01 +0200 | trickard_ | trickard |
| 2025-07-18 06:54:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 06:57:45 +0200 | qqe | (~qqq@185.54.21.199) |
| 2025-07-18 06:59:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-18 07:03:53 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-18 07:08:49 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-07-18 07:08:58 +0200 | Guest82 | (~Guest82@2405:3800:898:469:d431:27ff:fec6:44e4) |
| 2025-07-18 07:10:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 07:12:21 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-07-18 07:14:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-18 07:17:05 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-18 07:18:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-07-18 07:20:02 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-18 07:25:05 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-18 07:25:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 07:29:43 +0200 | Guest82 | (~Guest82@2405:3800:898:469:d431:27ff:fec6:44e4) (Quit: Client closed) |
| 2025-07-18 07:29:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-18 07:32:56 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 07:40:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 07:41:39 +0200 | michalz | (~michalz@185.246.207.218) |
| 2025-07-18 07:42:41 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-18 07:45:13 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 07:45:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-18 07:49:06 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-07-18 07:51:13 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-18 07:54:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-07-18 07:54:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-18 07:54:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 07:56:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 07:59:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
| 2025-07-18 08:01:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-18 08:01:38 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-18 08:04:52 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 08:09:25 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) internatetional |
| 2025-07-18 08:09:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-07-18 08:11:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 08:13:21 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Client Quit) |
| 2025-07-18 08:18:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-18 08:19:24 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:cf3a:622b:30a0:a383) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-07-18 08:19:41 +0200 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2025-07-18 08:20:14 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-07-18 08:21:17 +0200 | inline | (~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) Inline |
| 2025-07-18 08:21:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-07-18 08:29:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 08:30:06 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-18 08:34:20 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 08:34:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-18 08:43:03 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-18 08:43:17 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-18 08:45:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 08:50:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-18 08:55:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-18 08:57:23 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-18 08:57:54 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-18 09:00:00 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-18 09:00:42 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-18 09:01:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 09:04:38 +0200 | kuribas | (~user@ptr-17d51ep8yduuovay7gl.18120a2.ip6.access.telenet.be) kuribas |
| 2025-07-18 09:05:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-18 09:06:26 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 09:07:30 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-18 09:07:44 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-18 09:10:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-18 09:14:39 +0200 | m1dnight | (~m1dnight@78-20-51-206.access.telenet.be) (Ping timeout: 252 seconds) |
| 2025-07-18 09:15:42 +0200 | chele | (~chele@user/chele) chele |
| 2025-07-18 09:16:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 09:21:02 +0200 | piele | (~piele@eiseth.creativeserver.net) (Quit: Ciao!) |
| 2025-07-18 09:24:01 +0200 | piele | (~piele@eiseth.creativeserver.net) piele |
| 2025-07-18 09:24:37 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-18 09:25:11 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b6628a5441e99b23fb06c.dip0.t-ipconnect.de) acidjnk |
| 2025-07-18 09:25:30 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-18 09:29:02 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 09:30:23 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-18 09:30:36 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-18 09:41:37 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-18 09:42:24 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-07-18 09:53:53 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-18 09:55:11 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 265 seconds) |
| 2025-07-18 09:56:09 +0200 | qqe | (~qqq@185.54.21.199) (Read error: Connection reset by peer) |
| 2025-07-18 09:59:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 10:00:56 +0200 | rvalue- | rvalue |
| 2025-07-18 10:01:01 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-18 10:06:19 +0200 | jespada | (~jespada@2800:a4:2241:e00:28ff:528c:7960:1491) (Ping timeout: 260 seconds) |
| 2025-07-18 10:09:43 +0200 | jespada | (~jespada@2800:a4:2238:3600:b452:4ce3:45f9:95c) jespada |
| 2025-07-18 10:12:43 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 10:20:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-18 10:27:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-18 10:28:16 +0200 | qqe | (~qqq@185.54.21.199) |
| 2025-07-18 10:28:57 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-18 10:35:22 +0200 | trickard_ | trickard |
| 2025-07-18 10:35:36 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 2025-07-18 10:39:23 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-18 10:39:36 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-18 10:41:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 10:47:21 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 10:53:38 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-07-18 10:53:44 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-18 10:54:00 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-07-18 11:01:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-18 11:05:39 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 11:09:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-18 11:10:51 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-07-18 11:19:40 +0200 | dhil | (~dhil@5.151.29.139) dhil |
| 2025-07-18 11:20:56 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-18 11:40:33 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 11:41:44 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-18 11:44:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 11:45:25 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-18 11:47:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 11:57:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 11:57:24 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 11:57:49 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-07-18 11:58:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 12:02:49 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-18 12:08:32 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-18 12:08:50 +0200 | trickard__ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-07-18 12:14:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-18 12:20:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 12:28:05 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 12:28:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-18 12:33:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 12:38:59 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-18 12:44:29 +0200 | vpan | (~vpan@212.117.1.172) |
| 2025-07-18 12:44:47 +0200 | vpan | Guest5693 |
| 2025-07-18 12:45:03 +0200 | Guest5693 | vpan |
| 2025-07-18 12:56:50 +0200 | kuribas | (~user@ptr-17d51ep8yduuovay7gl.18120a2.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-07-18 12:58:03 +0200 | Square | (~Square@user/square) Square |
| 2025-07-18 12:58:16 +0200 | Guest57 | (~Guest57@185.70.55.71) |
| 2025-07-18 13:06:09 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-07-18 13:06:52 +0200 | Guest57 | (~Guest57@185.70.55.71) (Quit: Client closed) |
| 2025-07-18 13:07:10 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 13:14:08 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-18 13:15:26 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-07-18 13:17:24 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-18 13:18:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-07-18 13:18:45 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-18 13:25:36 +0200 | trickard__ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-18 13:25:50 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-07-18 13:26:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 13:36:05 +0200 | Achylles | (~Achylles@45.182.57.11) Achylles |
| 2025-07-18 13:39:10 +0200 | krei-se- | (~krei-se@p200300f1cf2fbd010000000000003050.dip0.t-ipconnect.de) krei-se |
| 2025-07-18 13:39:39 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-07-18 13:39:49 +0200 | krei-se | (~krei-se@p200300f1cfff17fdda9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-07-18 13:46:14 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 13:47:17 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-07-18 13:47:59 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-18 13:48:13 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-07-18 13:56:29 +0200 | Achylles | (~Achylles@45.182.57.11) (Quit: Leaving) |
| 2025-07-18 13:57:37 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-18 14:02:41 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-18 14:05:33 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-18 14:05:56 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Server closed connection) |
| 2025-07-18 14:06:09 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) kritzefitz |
| 2025-07-18 14:11:08 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 14:11:59 +0200 | xff0x | (~xff0x@2405:6580:b080:900:43cc:6096:3f7c:e1ce) |
| 2025-07-18 14:16:21 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-18 14:16:53 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-18 14:20:38 +0200 | ubert1 | (~Thunderbi@91.141.73.73.wireless.dyn.drei.com) ubert |
| 2025-07-18 14:21:33 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-18 14:21:45 +0200 | ubert | (~Thunderbi@178.115.53.153.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2025-07-18 14:21:46 +0200 | ubert1 | ubert |
| 2025-07-18 14:23:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-07-18 14:24:14 +0200 | <absence> | Is it possible to give generalisedCompose a type that makes it compile, but doesn't mention MonadReader or MonadIO? https://play.haskell.org/saved/GHcNXU3c |
| 2025-07-18 14:25:59 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) ft |
| 2025-07-18 14:26:18 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-07-18 14:26:53 +0200 | <tomsmeding> | absence: you have given a higher-rank type to h3 in its type signature |
| 2025-07-18 14:27:08 +0200 | <tomsmeding> | GHC essentially never infers higher-rank types, you need to annotate those explicitly |
| 2025-07-18 14:27:20 +0200 | <tomsmeding> | so _some_ type signature will be required |
| 2025-07-18 14:28:35 +0200 | <tomsmeding> | and binding constraints to a type variable won't work in this context |
| 2025-07-18 14:29:16 +0200 | <tomsmeding> | so I think the only option would be to introduce some newtypes wrapping these kinds of function types, e.g. newtype EffFun c m a = EffFun (c => m a -> m a) |
| 2025-07-18 14:30:06 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp |
| 2025-07-18 14:30:42 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2025-07-18 14:34:05 +0200 | ubert | (~Thunderbi@91.141.73.73.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2025-07-18 14:35:44 +0200 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2025-07-18 14:35:54 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-07-18 14:38:57 +0200 | kuribas | (~user@2a02:1810:2825:6000:a58:ceb1:3874:51de) kuribas |
| 2025-07-18 14:40:24 +0200 | tjbc | (~tjbc@user/fliife) fliife |
| 2025-07-18 14:41:48 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-18 14:46:26 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 14:50:23 +0200 | <absence> | tomsmeding: I think I would need some kind of lambda for constraints: https://play.haskell.org/saved/TtVvWuex |
| 2025-07-18 14:51:33 +0200 | <absence> | ... or more newtypes. :P |
| 2025-07-18 14:51:33 +0200 | trickard_ | trickard |
| 2025-07-18 14:52:01 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-18 15:00:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 15:05:08 +0200 | <tomsmeding> | absence: your code is kind-incorrect |
| 2025-07-18 15:05:16 +0200 | <tomsmeding> | you can't bundle up MonadReader () and MonadIO like that |
| 2025-07-18 15:14:24 +0200 | <absence> | tomsmeding: Right, I'm trying to use a type family to combine them, but I'm running into missing type lambdas for the m parameter... |
| 2025-07-18 15:18:06 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 276 seconds) |
| 2025-07-18 15:19:10 +0200 | <absence> | tomsmeding: Close, but no cigar: https://play.haskell.org/saved/cUJPJyjV |
| 2025-07-18 15:23:02 +0200 | <tomsmeding> | absence: scoping issue https://play.haskell.org/saved/v2f6EyFa |
| 2025-07-18 15:25:23 +0200 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-07-18 15:28:46 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-07-18 15:30:07 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 15:31:53 +0200 | <absence> | tomsmeding: Ohhh, I'd never have guessed that. Thanks a lot! |
| 2025-07-18 15:34:45 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-18 15:37:55 +0200 | <tomsmeding> | absence: I'm not 100% sure, but my intuition for this stuff is that "opening" the EffFun constructor makes GHC choose some 'a' and 'm' there and then, and they will only be provided by the EffFun constructor that you create in the function body |
| 2025-07-18 15:38:21 +0200 | <tomsmeding> | so you first have to bring the appropriate a and m in scope by writing 'EffFun _', and then in the argument you can open up the arguments and instantiate those polymorphic functions to the correct a and m |
| 2025-07-18 15:39:28 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 276 seconds) |
| 2025-07-18 15:40:58 +0200 | <tomsmeding> | this would be much easier to see if forall-abstraction and instantiation was explicit, but it's implicit in haskell (for very good reasons) |
| 2025-07-18 15:41:33 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-18 15:44:50 +0200 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-07-18 15:45:09 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-07-18 15:46:48 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 15:48:43 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-07-18 15:51:36 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-07-18 16:09:02 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 244 seconds) |
| 2025-07-18 16:16:09 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-07-18 16:17:47 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-07-18 16:18:15 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-18 16:18:53 +0200 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 2025-07-18 16:20:19 +0200 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) (Client Quit) |
| 2025-07-18 16:20:39 +0200 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 2025-07-18 16:25:27 +0200 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) (Client Quit) |
| 2025-07-18 16:26:32 +0200 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 2025-07-18 16:27:08 +0200 | <absence> | tomsmeding: It makes sense when you explain it! |
| 2025-07-18 16:30:21 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e70b6693a5441e99b23fb06c.dip0.t-ipconnect.de) acidjnk |
| 2025-07-18 16:30:40 +0200 | trickard_ | trickard |
| 2025-07-18 16:32:00 +0200 | kuribas | (~user@2a02:1810:2825:6000:a58:ceb1:3874:51de) (Ping timeout: 265 seconds) |
| 2025-07-18 16:32:09 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b6628a5441e99b23fb06c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-07-18 16:44:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 16:46:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 16:52:12 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.6.3) |
| 2025-07-18 16:52:26 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 2025-07-18 16:53:35 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-07-18 16:54:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-18 17:00:01 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-18 17:00:01 +0200 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-07-18 17:01:01 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-18 17:05:55 +0200 | inline | (~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-07-18 17:06:03 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 17:07:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 17:10:41 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-18 17:11:12 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 276 seconds) |
| 2025-07-18 17:11:46 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-07-18 17:18:37 +0200 | <absence> | Are there ways to work around the lack of type lambdas in general (not just for constraints), or are problems that require them not representable in Haskell? |
| 2025-07-18 17:19:44 +0200 | <c_wraith> | It comes up sometimes, and newtypes are basically what we've got. |
| 2025-07-18 17:23:15 +0200 | tsuki | (~tsuki@49.37.43.51) |
| 2025-07-18 17:23:37 +0200 | <absence> | c_wraith: Do you have an example of how that typically looks? |
| 2025-07-18 17:26:19 +0200 | <c_wraith> | newtype Const a b = Const a, or newtype Flip f a b = Flip (f b a) |
| 2025-07-18 17:30:59 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 17:32:29 +0200 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) SlackCoder |
| 2025-07-18 17:34:19 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Read error: Connection reset by peer) |
| 2025-07-18 17:35:54 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-18 17:37:19 +0200 | qqe | (~qqq@185.54.21.199) (Quit: Lost terminal) |
| 2025-07-18 17:40:04 +0200 | inline | (~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) Inline |
| 2025-07-18 17:41:05 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-18 17:41:49 +0200 | <absence> | c_wraith: I don't understand how I can use that for a lambda. Say you have a type operator ++ with kind [Type] -> [Type] -> [Type], how could you encode something that would look like "prepend x = (x ++)" on the value level? |
| 2025-07-18 17:42:54 +0200 | <c_wraith> | newtype Prepend x y = Prepend (x ++ y) |
| 2025-07-18 17:43:45 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-18 17:43:52 +0200 | <c_wraith> | oh [Type]. You'd need to lift it a bit |
| 2025-07-18 17:45:19 +0200 | <c_wraith> | newtype Prepend x y = Prepend (Proxy (x ++ y)) |
| 2025-07-18 17:45:42 +0200 | <c_wraith> | It's ugly, and you'd rather not do that |
| 2025-07-18 17:46:25 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-07-18 17:47:32 +0200 | <absence> | c_wraith: Ah, the Proxy was the missing piece. I agree that it's not pretty, but are there any options? |
| 2025-07-18 17:47:49 +0200 | <c_wraith> | Sometimes you can use a type equality constraint |
| 2025-07-18 17:49:01 +0200 | <c_wraith> | like throw a (z ~ (x ++ y)) into a constraint, and sometimes that's enough to make what you want to do work |
| 2025-07-18 17:50:07 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e70b6693a5441e99b23fb06c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-07-18 17:50:17 +0200 | <c_wraith> | especially when type families are involved, you tend to get a lot of type equality constraints |
| 2025-07-18 17:51:26 +0200 | <c_wraith> | But that feels more like prolog and less like lambdas |
| 2025-07-18 17:52:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 17:52:38 +0200 | <absence> | c_wraith: Thanks, I'll look out for that. By the way, how do I get rid of the Proxy that Prepend returns, when I want to use the resulting [Type]? A type family? |
| 2025-07-18 17:53:52 +0200 | <c_wraith> | you probably just stick with type families until you get to things that have values naturally anyway. |
| 2025-07-18 17:54:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 17:54:35 +0200 | <c_wraith> | I mean, all of this varies depending on lots of tiny details |
| 2025-07-18 17:55:02 +0200 | <c_wraith> | It's not uncommon to try three or four different things before you find one where you're happy with the usability |
| 2025-07-18 17:55:33 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 2025-07-18 17:59:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-18 18:02:05 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-07-18 18:02:58 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 18:04:16 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e70b6693a5441e99b23fb06c.dip0.t-ipconnect.de) acidjnk |
| 2025-07-18 18:08:04 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-18 18:08:33 +0200 | nebular | (~nebular@p579e81e6.dip0.t-ipconnect.de) |
| 2025-07-18 18:09:18 +0200 | nebular | (~nebular@p579e81e6.dip0.t-ipconnect.de) (Client Quit) |
| 2025-07-18 18:09:19 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-18 18:09:27 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-18 18:15:16 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-07-18 18:15:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-18 18:15:56 +0200 | mesaoptimizer | (~mesa@user/PapuaHardyNet) (Server closed connection) |
| 2025-07-18 18:16:20 +0200 | mesaoptimizer | (~mesa@user/PapuaHardyNet) PapuaHardyNet |
| 2025-07-18 18:16:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-18 18:17:57 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-18 18:19:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 18:19:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-07-18 18:21:56 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 18:22:24 +0200 | califax_ | (~califax@user/califx) califx |
| 2025-07-18 18:22:48 +0200 | califax_ | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-18 18:23:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-18 18:25:00 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-18 18:29:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 18:30:09 +0200 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) (Ping timeout: 252 seconds) |
| 2025-07-18 18:30:54 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-18 18:31:23 +0200 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) SlackCoder |
| 2025-07-18 18:33:51 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-18 18:34:06 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-18 18:43:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Quit: leaving) |
| 2025-07-18 18:45:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
| 2025-07-18 18:50:21 +0200 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) (Quit: Bye..) |
| 2025-07-18 18:50:57 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-18 18:52:28 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
| 2025-07-18 18:52:56 +0200 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) distopico |
| 2025-07-18 18:55:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 18:59:27 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-18 19:00:01 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-07-18 19:04:38 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-18 19:05:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-18 19:07:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
| 2025-07-18 19:11:18 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 252 seconds) |
| 2025-07-18 19:11:34 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 260 seconds) |
| 2025-07-18 19:12:24 +0200 | sus0 | (zero@user/zeromomentum) (Ping timeout: 272 seconds) |
| 2025-07-18 19:13:44 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-18 19:17:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 19:18:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-07-18 19:18:22 +0200 | califax_ | (~califax@user/califx) califx |
| 2025-07-18 19:19:06 +0200 | califax | (~califax@user/califx) (Ping timeout: 244 seconds) |
| 2025-07-18 19:19:38 +0200 | califax_ | califax |
| 2025-07-18 19:22:00 +0200 | Galisma | (~ismael@2a0c:5a85:a101:3f00:11a2:b801:71e:e8c6) Galisma |
| 2025-07-18 19:22:45 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
| 2025-07-18 19:23:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 19:26:11 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-18 19:27:57 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-07-18 19:30:42 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Ping timeout: 268 seconds) |
| 2025-07-18 19:31:43 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-18 19:32:35 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2025-07-18 19:32:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 19:33:13 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-07-18 19:34:57 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2025-07-18 19:36:49 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-07-18 19:37:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-18 19:37:53 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-07-18 19:38:14 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-07-18 19:38:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-18 19:38:52 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-07-18 19:39:10 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2025-07-18 19:41:50 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-18 19:42:30 +0200 | ncf | (~n@monade.li) (Quit: brb) |
| 2025-07-18 19:44:37 +0200 | ncf | (~n@monade.li) ncf |
| 2025-07-18 19:46:29 +0200 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) (Ping timeout: 248 seconds) |
| 2025-07-18 19:46:38 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-07-18 19:47:32 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2025-07-18 19:47:50 +0200 | biberu | (~biberu@user/biberu) biberu |
| 2025-07-18 19:51:46 +0200 | <__monty__> | Does Shake have support for defining required command line arguments? The only way I can see to do it is with `addOracle`. |
| 2025-07-18 19:52:34 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e70b6693a5441e99b23fb06c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-07-18 19:53:35 +0200 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) SlackCoder |
| 2025-07-18 19:55:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
| 2025-07-18 19:59:59 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2025-07-18 20:04:32 +0200 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) (Quit: Leaving) |
| 2025-07-18 20:06:24 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-07-18 20:08:43 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 20:08:54 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-18 20:17:12 +0200 | <[exa]> | __monty__: "required command line arguments" as in passing in some commandline-originating configuration of the build? |
| 2025-07-18 20:18:06 +0200 | <[exa]> | (if so I assume you want to conditionally rebuild if people run with different commandline?) |
| 2025-07-18 20:19:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-18 20:26:23 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-07-18 20:27:00 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e70b6693a5441e99b23fb06c.dip0.t-ipconnect.de) acidjnk |
| 2025-07-18 20:32:26 +0200 | tsuki | (~tsuki@49.37.43.51) (Read error: Connection reset by peer) |
| 2025-07-18 20:32:50 +0200 | <__monty__> | Yes, passing a different value for the option should result in a build. But I mean requiring specific options to be passed. |
| 2025-07-18 20:34:10 +0200 | tsuki | (~tsuki@49.37.43.51) |
| 2025-07-18 20:37:41 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-18 20:40:35 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-07-18 20:48:11 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 20:48:48 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-07-18 20:49:43 +0200 | ncf | (~n@monade.li) (Quit: Fairfarren.) |
| 2025-07-18 20:49:52 +0200 | ncf | (~n@monade.li) ncf |
| 2025-07-18 20:51:09 +0200 | Galisma | (~ismael@2a0c:5a85:a101:3f00:11a2:b801:71e:e8c6) (Quit: WeeChat 4.6.3) |
| 2025-07-18 20:52:11 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-18 20:53:59 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-18 20:55:57 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-18 20:56:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-18 20:59:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 2025-07-18 20:59:31 +0200 | ljdarj1 | ljdarj |
| 2025-07-18 21:00:04 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-18 21:00:43 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-18 21:06:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 21:11:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-18 21:11:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b486:fa5:6d97:6c15) |
| 2025-07-18 21:20:25 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-07-18 21:20:41 +0200 | sprotte24 | (~sprotte24@p200300d16f13150010a1034e13842892.dip0.t-ipconnect.de) |
| 2025-07-18 21:21:39 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-07-18 21:21:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b486:fa5:6d97:6c15) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-18 21:22:14 +0200 | jespada | (~jespada@2800:a4:2238:3600:b452:4ce3:45f9:95c) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-18 21:23:18 +0200 | jespada | (~jespada@2800:a4:2238:3600:b452:4ce3:45f9:95c) jespada |
| 2025-07-18 21:25:07 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-18 21:25:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b486:fa5:6d97:6c15) |
| 2025-07-18 21:25:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 21:26:26 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-18 21:33:08 +0200 | ncf | (~n@monade.li) (Quit: Fairfarren.) |
| 2025-07-18 21:33:17 +0200 | ncf | (~n@monade.li) ncf |
| 2025-07-18 21:33:30 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-07-18 21:35:19 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e70b6693a5441e99b23fb06c.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-07-18 21:35:42 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e70b6693a5441e99b23fb06c.dip0.t-ipconnect.de) acidjnk |
| 2025-07-18 21:36:21 +0200 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) (Ping timeout: 248 seconds) |
| 2025-07-18 21:38:40 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-07-18 21:39:42 +0200 | jespada | (~jespada@2800:a4:2238:3600:b452:4ce3:45f9:95c) (Ping timeout: 244 seconds) |
| 2025-07-18 21:41:12 +0200 | ncf | (~n@monade.li) (Quit: Fairfarren.) |
| 2025-07-18 21:41:22 +0200 | ncf | (~n@monade.li) ncf |
| 2025-07-18 21:43:17 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Client Quit) |
| 2025-07-18 21:43:55 +0200 | <__monty__> | Hmm, the oracle rules don't really seem to fit what I want to achieve. Maybe I just need to check if the flag's present and error/fail if not. |
| 2025-07-18 21:51:25 +0200 | tsuki | (~tsuki@49.37.43.51) (Read error: Connection reset by peer) |
| 2025-07-18 21:53:08 +0200 | jespada | (~jespada@2800:a4:2238:3600:1138:65a1:3e2e:4328) jespada |
| 2025-07-18 21:53:32 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-07-18 21:57:46 +0200 | jespada | (~jespada@2800:a4:2238:3600:1138:65a1:3e2e:4328) (Ping timeout: 265 seconds) |
| 2025-07-18 21:58:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 21:59:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 22:04:03 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 265 seconds) |
| 2025-07-18 22:06:13 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 276 seconds) |
| 2025-07-18 22:07:57 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-07-18 22:10:31 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-18 22:13:59 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-07-18 22:14:08 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-18 22:16:49 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-07-18 22:17:41 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-18 22:22:34 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-07-18 22:23:53 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 22:26:23 +0200 | jespada | (~jespada@2800:a4:2237:6f00:6dfb:ad0c:ac9:57ca) jespada |
| 2025-07-18 22:27:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-18 22:31:13 +0200 | jespada | (~jespada@2800:a4:2237:6f00:6dfb:ad0c:ac9:57ca) (Ping timeout: 248 seconds) |
| 2025-07-18 22:36:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-18 22:38:39 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-18 22:43:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 22:46:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-18 22:54:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b486:fa5:6d97:6c15) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-18 22:54:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-07-18 22:57:25 +0200 | bramh | (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
| 2025-07-18 22:57:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b486:fa5:6d97:6c15) |
| 2025-07-18 22:57:45 +0200 | bramh | (~bramh@user/bramh) bramh |
| 2025-07-18 23:02:15 +0200 | jespada | (~jespada@2800:a4:2237:6f00:5c6c:61ba:f044:b872) jespada |
| 2025-07-18 23:03:27 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 268 seconds) |
| 2025-07-18 23:06:41 +0200 | jespada | (~jespada@2800:a4:2237:6f00:5c6c:61ba:f044:b872) (Ping timeout: 252 seconds) |
| 2025-07-18 23:08:48 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-18 23:14:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-18 23:17:09 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-18 23:18:51 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-18 23:21:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-18 23:25:53 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |