| 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 |