| 2024-10-17 00:00:48 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
| 2024-10-17 00:02:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 00:04:43 +0000 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
| 2024-10-17 00:07:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 00:13:19 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-17 00:17:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 00:23:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 00:24:09 +0000 | peterbecich | (~Thunderbi@47.149.198.150) peterbecich |
| 2024-10-17 00:26:20 +0000 | xff0x | (~xff0x@2405:6580:b080:900:7493:5a1e:80a9:6822) (Ping timeout: 272 seconds) |
| 2024-10-17 00:35:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 00:35:15 +0000 | peterbecich | (~Thunderbi@47.149.198.150) (Ping timeout: 252 seconds) |
| 2024-10-17 00:39:24 +0000 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-17 00:39:36 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-17 00:39:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 00:39:54 +0000 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2024-10-17 00:42:29 +0000 | Pixi__ | (~Pixi@user/pixi) Pixi |
| 2024-10-17 00:43:02 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 252 seconds) |
| 2024-10-17 00:45:15 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-17 00:45:58 +0000 | Pixi` | (~Pixi@user/pixi) (Ping timeout: 252 seconds) |
| 2024-10-17 00:50:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 00:57:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-17 01:08:12 +0000 | mulk | (~mulk@pd9514da8.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2024-10-17 01:08:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 01:13:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 01:19:39 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-17 01:24:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 01:28:50 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-17 01:29:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-17 01:38:57 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-17 01:40:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 01:42:05 +0000 | TonyStone | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 2024-10-17 01:44:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 01:45:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 01:47:18 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-17 01:51:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 01:55:14 +0000 | spew | (~spew@155.133.15.218) (Quit: good night) |
| 2024-10-17 02:02:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 02:07:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 02:09:01 +0000 | mulk | (~mulk@p5b11246b.dip0.t-ipconnect.de) mulk |
| 2024-10-17 02:13:39 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-17 02:17:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 02:22:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-17 02:28:59 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-17 02:29:01 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-10-17 02:31:12 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-10-17 02:32:28 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-10-17 02:32:51 +0000 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2024-10-17 02:33:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 02:36:13 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-10-17 02:40:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 02:44:37 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2024-10-17 02:47:20 +0000 | td_ | (~td@i53870917.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-17 02:48:25 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-17 02:49:06 +0000 | td_ | (~td@i53870903.versanet.de) td_ |
| 2024-10-17 02:51:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 02:55:08 +0000 | peterbecich | (~Thunderbi@47.149.198.150) peterbecich |
| 2024-10-17 02:56:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-17 03:07:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 03:11:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 03:16:18 +0000 | peterbecich | (~Thunderbi@47.149.198.150) (Ping timeout: 252 seconds) |
| 2024-10-17 03:22:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 03:26:07 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-17 03:27:04 +0000 | blase | (~wanted@2.219.56.221) (Ping timeout: 260 seconds) |
| 2024-10-17 03:28:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-17 03:33:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 03:37:22 +0000 | hgolden_ | (~hgolden@23.162.40.28) hgolden |
| 2024-10-17 03:37:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 03:40:08 +0000 | hgolden__ | (~hgolden@169.150.203.10) (Ping timeout: 272 seconds) |
| 2024-10-17 03:48:01 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-10-17 03:48:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 03:54:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-17 04:01:11 +0000 | peterbecich | (~Thunderbi@47.149.198.150) peterbecich |
| 2024-10-17 04:05:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 04:10:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 04:20:34 +0000 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 2024-10-17 04:21:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 04:23:44 +0000 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
| 2024-10-17 04:28:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 04:36:05 +0000 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:30e5:9ca8:23a3:ae14) (Quit: WeeChat 4.4.2) |
| 2024-10-17 04:38:49 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2024-10-17 04:39:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 04:40:21 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-17 04:40:30 +0000 | airscape | (~airscape@2.219.56.221) |
| 2024-10-17 04:43:34 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-17 04:44:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-17 04:47:38 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-10-17 04:48:24 +0000 | alp | (~alp@2001:861:e3d6:8f80:cfc1:c60c:c177:1e26) (Ping timeout: 246 seconds) |
| 2024-10-17 04:54:31 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-17 04:55:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 05:00:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 05:05:25 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-10-17 05:06:34 +0000 | nitrix | nitrix-or-treat |
| 2024-10-17 05:07:31 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-17 05:11:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 05:16:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 05:20:24 +0000 | michalz | (~michalz@185.246.207.200) |
| 2024-10-17 05:23:02 +0000 | alp | (~alp@2001:861:e3d6:8f80:c1d0:38:3b03:da86) |
| 2024-10-17 05:25:04 +0000 | peterbecich1 | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-17 05:26:12 +0000 | peterbecich | (~Thunderbi@47.149.198.150) (Ping timeout: 252 seconds) |
| 2024-10-17 05:26:13 +0000 | peterbecich1 | peterbecich |
| 2024-10-17 05:26:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit) |
| 2024-10-17 05:27:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-17 05:27:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 05:30:06 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-17 05:32:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 05:33:09 +0000 | alp | (~alp@2001:861:e3d6:8f80:c1d0:38:3b03:da86) (Ping timeout: 248 seconds) |
| 2024-10-17 05:34:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 05:38:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 05:38:53 +0000 | alp | (~alp@2001:861:e3d6:8f80:689:f2c1:b3cb:79a1) |
| 2024-10-17 05:47:29 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-17 05:49:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-17 05:49:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 05:50:45 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-17 05:54:03 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-17 05:54:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-17 06:01:03 +0000 | nitrix-or-treat | nitrix |
| 2024-10-17 06:07:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 06:14:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-17 06:20:23 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) |
| 2024-10-17 06:25:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 06:25:51 +0000 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-17 06:29:12 +0000 | synchromesh | (~john@2406:5a00:2497:300:3d3b:a134:d9b5:8c99) (Read error: Connection reset by peer) |
| 2024-10-17 06:30:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-17 06:30:28 +0000 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) synchromesh |
| 2024-10-17 06:35:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 06:40:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-17 06:47:28 +0000 | Pixi__ | Pixi |
| 2024-10-17 06:48:32 +0000 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-17 06:50:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 06:52:56 +0000 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
| 2024-10-17 06:54:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 06:55:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 06:56:10 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2024-10-17 06:57:05 +0000 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2024-10-17 06:59:24 +0000 | Square | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2024-10-17 07:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-17 07:00:41 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-17 07:04:44 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-17 07:06:13 +0000 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-17 07:06:14 +0000 | euleritian | (~euleritia@84.19.220.82) (Read error: Connection reset by peer) |
| 2024-10-17 07:06:45 +0000 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-17 07:07:01 +0000 | ash3en | (~Thunderbi@31.16.203.214) (Quit: ash3en) |
| 2024-10-17 07:07:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 07:19:04 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-17 07:19:56 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-17 07:36:36 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-17 07:37:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-10-17 07:37:53 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 248 seconds) |
| 2024-10-17 07:37:59 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-17 07:38:40 +0000 | koz | (~koz@121.99.240.58) |
| 2024-10-17 07:44:59 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Ping timeout: 255 seconds) |
| 2024-10-17 07:49:09 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:dd36:cbb0:bd68:c718) (Ping timeout: 248 seconds) |
| 2024-10-17 08:05:23 +0000 | hgolden__ | (~hgolden@static-198-44-129-115.cust.tzulo.com) hgolden |
| 2024-10-17 08:06:02 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-17 08:08:18 +0000 | hgolden_ | (~hgolden@23.162.40.28) (Ping timeout: 276 seconds) |
| 2024-10-17 08:21:24 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-17 08:29:23 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
| 2024-10-17 08:41:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-17 08:42:15 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2024-10-17 08:44:13 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-17 08:47:48 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-10-17 08:49:14 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-10-17 08:58:18 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) acidjnk |
| 2024-10-17 09:02:29 +0000 | airscape | (~airscape@2.219.56.221) (Ping timeout: 260 seconds) |
| 2024-10-17 09:11:21 +0000 | airscape | (~airscape@2.219.56.221) |
| 2024-10-17 09:11:27 +0000 | euleritian | (~euleritia@84.19.220.82) (Read error: Connection reset by peer) |
| 2024-10-17 09:12:11 +0000 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-17 09:12:42 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-17 09:16:00 +0000 | euleritian | (~euleritia@84.19.220.82) (Remote host closed the connection) |
| 2024-10-17 09:16:13 +0000 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-17 09:16:17 +0000 | euleritian | (~euleritia@84.19.220.82) (Read error: Connection reset by peer) |
| 2024-10-17 09:16:40 +0000 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-17 09:18:54 +0000 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-17 09:20:21 +0000 | ash3en | (~Thunderbi@2a01:780:8000:115:27a0:cdec:aee3:14b8) ash3en |
| 2024-10-17 09:20:45 +0000 | euleritian | (~euleritia@84.19.220.82) (Remote host closed the connection) |
| 2024-10-17 09:21:07 +0000 | ash3en | (~Thunderbi@2a01:780:8000:115:27a0:cdec:aee3:14b8) (Client Quit) |
| 2024-10-17 09:28:32 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-17 09:28:54 +0000 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-10-17 09:29:17 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-17 09:30:43 +0000 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-17 09:30:56 +0000 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
| 2024-10-17 09:32:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 09:36:03 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-17 09:36:11 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-17 09:42:18 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-17 09:44:41 +0000 | euleritian | (~euleritia@84.19.220.82) (Ping timeout: 255 seconds) |
| 2024-10-17 09:44:56 +0000 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) |
| 2024-10-17 09:51:59 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-17 09:56:48 +0000 | Digitteknohippie | Digit |
| 2024-10-17 09:59:13 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-10-17 10:00:49 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-17 10:01:24 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Ping timeout: 260 seconds) |
| 2024-10-17 10:02:08 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-17 10:17:28 +0000 | chele | (~chele@user/chele) chele |
| 2024-10-17 10:26:57 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-17 10:28:27 +0000 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2024-10-17 10:31:56 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-17 10:34:56 +0000 | malte | (~malte@mal.tc) malte |
| 2024-10-17 10:38:02 +0000 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) (Read error: Connection reset by peer) |
| 2024-10-17 10:39:03 +0000 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) synchromesh |
| 2024-10-17 10:50:03 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-17 10:52:43 +0000 | <kuribas> | Are python iterators an example of lazyness? |
| 2024-10-17 10:53:09 +0000 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-17 10:53:14 +0000 | <kuribas> | The are evaluated on demand, but do not memoize the results. |
| 2024-10-17 10:53:36 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-17 10:55:39 +0000 | <darkling> | Yes. |
| 2024-10-17 10:56:36 +0000 | <darkling> | I once wrote a program that used iterators/generators throughout. It ran but did nothing. Eventually, I realised that it wasn't actually consuming the final iterator, so no computation was being done because nothing was consuming the pipeline of lazy evaluation. |
| 2024-10-17 10:59:08 +0000 | <mari-estel> | that is python generators, iterators are just iterators |
| 2024-10-17 11:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-17 11:01:03 +0000 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) |
| 2024-10-17 11:02:35 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-17 11:03:55 +0000 | cyphase | (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 2024-10-17 11:05:01 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-10-17 11:05:57 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-10-17 11:09:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-17 11:09:56 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2024-10-17 11:12:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 11:13:02 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-10-17 11:13:15 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) |
| 2024-10-17 11:14:40 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8b57:d075:1efa:336f) |
| 2024-10-17 11:18:39 +0000 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-10-17 11:20:24 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-17 11:35:06 +0000 | <kuribas> | Generators are also iterators. |
| 2024-10-17 11:38:17 +0000 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2024-10-17 11:39:47 +0000 | <kuribas> | What python calls caching is IMO usually just lazyness. |
| 2024-10-17 11:40:23 +0000 | <kuribas> | I feel lazy decorators are used way to often in Python. |
| 2024-10-17 11:42:53 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-17 11:49:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-17 11:50:11 +0000 | ash3en | (~Thunderbi@149.222.128.226) ash3en |
| 2024-10-17 11:58:10 +0000 | ash3en | (~Thunderbi@149.222.128.226) (Quit: ash3en) |
| 2024-10-17 12:01:16 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-17 12:01:22 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-10-17 12:05:56 +0000 | ash3en | (~Thunderbi@149.222.128.226) ash3en |
| 2024-10-17 12:11:25 +0000 | Digitteknohippie | Digit |
| 2024-10-17 12:14:24 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-17 12:14:56 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-17 12:34:23 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-17 12:36:53 +0000 | rvalue | (~rvalue@user/rvalue) () |
| 2024-10-17 12:42:08 +0000 | <raehik> | I have a strange case where writing a via instance as an orphan works fine, but writing it together with the data type definition requires UndecidableInstances! Is this expected? The class includes a type family, and the via wrapper does a type family application in there (which is what fail swithout UndecidableInstances) |
| 2024-10-17 12:42:59 +0000 | <raehik> | is this just an interesting detail for orphan instances? the more I think about it the more fine it seems |
| 2024-10-17 12:44:45 +0000 | alp | (~alp@2001:861:e3d6:8f80:689:f2c1:b3cb:79a1) (Ping timeout: 246 seconds) |
| 2024-10-17 12:48:11 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-17 12:52:04 +0000 | <[exa]> | raehik: just to be sure, you mean "standalone" instd. of "orphan" instances? |
| 2024-10-17 12:54:13 +0000 | <[exa]> | anyway I had a similar feeling that the standalone ones are somewhat stronger in what they can do but never really cared to disprove it, so might be the case |
| 2024-10-17 12:54:41 +0000 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 248 seconds) |
| 2024-10-17 12:55:25 +0000 | <raehik> | [exa]: No, I mean an orphan instance. Using standalone deriving |
| 2024-10-17 12:55:32 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-10-17 12:55:57 +0000 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 246 seconds) |
| 2024-10-17 12:56:07 +0000 | <raehik> | In my head, it happens because the type family application can get reduced in the orphan instance case |
| 2024-10-17 12:56:54 +0000 | <[exa]> | ah soooo, so it's in a different module where it knows how to reduce the type family? |
| 2024-10-17 12:57:16 +0000 | <raehik> | Yeah. The type family is stored elsewhere in both cases. But I feel like this must be an orphan thing |
| 2024-10-17 12:57:56 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-17 12:58:04 +0000 | <tomsmeding> | are there more type family equations in scope in the module where you have the orphan instance? |
| 2024-10-17 12:58:29 +0000 | <tomsmeding> | are you sure you don't accidentally have -XUndecidableInstances |
| 2024-10-17 12:58:35 +0000 | <tomsmeding> | in the file with the orphan? |
| 2024-10-17 12:58:48 +0000 | <tomsmeding> | or perhaps have it listed in 'default-extensions:' in the .cabal file |
| 2024-10-17 12:59:04 +0000 | <[exa]> | ^ this |
| 2024-10-17 12:59:27 +0000 | <[exa]> | if you can rule out all of this, stuff is certainly weird. |
| 2024-10-17 13:02:06 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-17 13:04:30 +0000 | <raehik> | I don't have UndecidableInstances in the orphan case, neither default |
| 2024-10-17 13:07:26 +0000 | <shryke> | Hi! A question about Hakyll - I have a CodeBlock, and I'd like to dump the contents to a temporary file, run several external programs on that copiler, and then inline the final artifact. I can't use the 'unixFilter' because these external compilers can only generate files on a disk, don't dump it to stdout. |
| 2024-10-17 13:08:10 +0000 | <raehik> | tomsmeding: and I've tried importing more types in the orphan module (which I'm assuming would increase the number of type family eqs?), but it doesn't change it |
| 2024-10-17 13:08:36 +0000 | <tomsmeding> | raehik: have you tried importing more type family equations in the module where the _non_-orphan instance would be placed? |
| 2024-10-17 13:08:59 +0000 | <tomsmeding> | I'm not sure how it works but [exa] seems to imply that having more type family equations in scope might make GHC more accepting of the instance |
| 2024-10-17 13:10:41 +0000 | <[exa]> | shryke: as an absolutely unixiest workaround, you might wrap the compiler in something like `sh -c "cat > file && compile file -o file.out && cat file.out"` |
| 2024-10-17 13:10:42 +0000 | <raehik> | Huh. I've replicated (as close as I think matters) the non-orphan instance in the other place. It still doesn't work |
| 2024-10-17 13:11:04 +0000 | <raehik> | For context, I need UndecidableInstances for the module where the type family is defined in the same package |
| 2024-10-17 13:11:05 +0000 | <shryke> | What would be the best approach here? I have a hack-ish solution (entirely outside of the hakyll's lifecycle) with 'System.IO.Temp.writeTempFile' and invoking a 'make' with an outside Makefile |
| 2024-10-17 13:11:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 13:11:32 +0000 | <raehik> | the other case (the original orphan) is a separate package depending on the former |
| 2024-10-17 13:12:39 +0000 | <[exa]> | tomsmeding: I can't see any other reason that would differentiate the orphan from the inplace definition than having more rules (either instances or solver rules) available |
| 2024-10-17 13:13:43 +0000 | <shryke> | [exa]: yep, I used a similar approach =) |
| 2024-10-17 13:14:22 +0000 | <[exa]> | shryke: in extreme you can make a small executable that does just that, so that you don't have to do the shellanigans in hakyll source |
| 2024-10-17 13:15:25 +0000 | <shryke> | [exa]: I am totally stealing the word 'shellaligans' |
| 2024-10-17 13:15:48 +0000 | <shryke> | *shellanigans |
| 2024-10-17 13:17:55 +0000 | <raehik> | [exa]: it seems to consistently happen when defining an orphan instance on a type not defined in the same package! :) |
| 2024-10-17 13:18:28 +0000 | <raehik> | my intuition is that it's not too weird, because GHC has to do a mountain of work to support orphan instances. I'm not surprised if somewhere along the way it manages to figure out more about my type family |
| 2024-10-17 13:18:33 +0000 | <[exa]> | (shryke: lol this happens when I have too much coffee and my hands go feral on typing themselves) |
| 2024-10-17 13:19:32 +0000 | <[exa]> | raehik: ok that sounds consistent with the missing info |
| 2024-10-17 13:19:59 +0000 | <raehik> | in conclusion, I expect to require UndecidableInstances for a given via derivation but when writing an orphan for a non-package type, I can omit it |
| 2024-10-17 13:21:25 +0000 | <[exa]> | wasn't there some other extension that was less brutal then Undecidable on this, and just deferred the resolution a bit? |
| 2024-10-17 13:21:52 +0000 | <[exa]> | (^ a complete guess though, I vaguely recall seeing something similar in the last haskell survey :D :D ) |
| 2024-10-17 13:21:53 +0000 | <raehik> | is there? I'd love to hear it |
| 2024-10-17 13:22:11 +0000 | ash3en | (~Thunderbi@149.222.128.226) (Quit: ash3en) |
| 2024-10-17 13:22:15 +0000 | <raehik> | I don't mind UndecidableInstances at all, but I'm not at the level of putting it on default extensions yet :D |
| 2024-10-17 13:23:56 +0000 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-17 13:24:45 +0000 | <merijn> | I mean, UndecidableInstances is relatively benign |
| 2024-10-17 13:24:58 +0000 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-17 13:25:37 +0000 | <merijn> | shryke: As a better work around than shryke's example is this fun trick, on most unices you can pass `/dev/stdout` as filename to get the process to output to stdour |
| 2024-10-17 13:26:55 +0000 | <merijn> | (although whether that works tends to depend on whether the program seeks on the file or just writes it in one go) |
| 2024-10-17 13:32:24 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 252 seconds) |
| 2024-10-17 13:34:34 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-17 13:34:39 +0000 | murgeljm | (~murgeljm@APN-122-12-44-gprs.simobil.net) murgeljm |
| 2024-10-17 13:34:49 +0000 | <lxsameer> | hey folks, any recommendation on a library to create web apis? |
| 2024-10-17 13:36:06 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2024-10-17 13:38:05 +0000 | <Rembane> | lxsameer: If you really like types Servant is the library for you! |
| 2024-10-17 13:38:49 +0000 | <lxsameer> | Rembane: thank you |
| 2024-10-17 13:42:59 +0000 | murgeljm | (~murgeljm@APN-122-12-44-gprs.simobil.net) (Read error: Connection reset by peer) |
| 2024-10-17 13:43:27 +0000 | <Rembane> | lxsameer: np! |
| 2024-10-17 13:43:49 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-17 13:53:12 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 272 seconds) |
| 2024-10-17 13:53:21 +0000 | jcarpenter2 | (~lol@96.78.87.197) |
| 2024-10-17 13:53:56 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-17 13:58:20 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-17 14:01:27 +0000 | <shryke> | merijn: I am on windows, so that trick would not work; on top of that, if a copiler produces auxiliary artefacts (e.g. pdflatex), that would not work even on *nix |
| 2024-10-17 14:03:33 +0000 | <shryke> | well, pdflatex is very capricious in what it accepts as a parameter; among other things, the path to the file is not really a platform's standard filepath, rather a what pdflatex thinks what should be a filepath. |
| 2024-10-17 14:15:09 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-17 14:15:55 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-17 14:16:39 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-10-17 14:17:04 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2024-10-17 14:21:49 +0000 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) |
| 2024-10-17 14:23:07 +0000 | Digitteknohippie | Digit |
| 2024-10-17 14:25:58 +0000 | <merijn> | shryke: oh, oof |
| 2024-10-17 14:26:29 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-17 14:26:35 +0000 | <merijn> | shryke: tbh, if you're using pdflatex I would probably move that generation outside of Hakyll (like a makefile) and then call Hakyll from that makefile when the PDF is done |
| 2024-10-17 14:27:34 +0000 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-10-17 14:28:27 +0000 | <shryke> | merijn: I have to do that the other way around - the contents processed by pdflatex are extracted dynamically by hakyll and then fed to external makefile receipe |
| 2024-10-17 14:29:18 +0000 | <merijn> | Well, in that case I recommend having a good cry and finding a decent whisky to drown your sorrows :D |
| 2024-10-17 14:32:46 +0000 | <shryke> | I am more of a red wine guy, but the idea remains the same |
| 2024-10-17 14:35:36 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-17 14:36:32 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-17 14:41:35 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-17 14:43:31 +0000 | ash3en | (~Thunderbi@193.32.248.167) ash3en |
| 2024-10-17 14:47:27 +0000 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) (Read error: Connection reset by peer) |
| 2024-10-17 14:48:38 +0000 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) synchromesh |
| 2024-10-17 14:49:06 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-17 14:50:01 +0000 | ash3en | (~Thunderbi@193.32.248.167) (Quit: ash3en) |
| 2024-10-17 14:50:31 +0000 | echog | (~echog@dyn146073.shef.ac.uk) |
| 2024-10-17 14:55:19 +0000 | echog | (~echog@dyn146073.shef.ac.uk) (Ping timeout: 264 seconds) |
| 2024-10-17 14:56:29 +0000 | echog | (~echog@dyn146073.shef.ac.uk) |
| 2024-10-17 15:00:01 +0000 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-10-17 15:01:12 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-17 15:09:14 +0000 | echog | (~echog@dyn146073.shef.ac.uk) (Quit: Leaving) |
| 2024-10-17 15:11:03 +0000 | hiecaq`` | (~hiecaq`@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-17 15:16:12 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-17 15:16:15 +0000 | spew | (~spew@155.133.15.29) spew |
| 2024-10-17 15:19:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-17 15:28:59 +0000 | alp | (~alp@2001:861:e3d6:8f80:553e:4712:5919:60eb) |
| 2024-10-17 15:29:33 +0000 | spew | (~spew@155.133.15.29) (Ping timeout: 245 seconds) |
| 2024-10-17 15:31:27 +0000 | spew | (~spew@201.141.99.170) spew |
| 2024-10-17 15:37:19 +0000 | Square | (~Square@user/square) Square |
| 2024-10-17 15:42:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 15:43:30 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-17 15:50:07 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-17 15:50:32 +0000 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2024-10-17 15:53:45 +0000 | spew | (~spew@201.141.99.170) (Ping timeout: 246 seconds) |
| 2024-10-17 15:54:10 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-17 15:55:46 +0000 | spew | (~spew@155.133.15.235) spew |
| 2024-10-17 16:00:28 +0000 | Digit | (~user@user/digit) Digit |
| 2024-10-17 16:03:39 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-17 16:18:15 +0000 | alp | (~alp@2001:861:e3d6:8f80:553e:4712:5919:60eb) (Ping timeout: 246 seconds) |
| 2024-10-17 16:22:02 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-10-17 16:41:31 +0000 | AlexNoo_ | (~AlexNoo@178.34.151.233) (Ping timeout: 265 seconds) |
| 2024-10-17 16:41:40 +0000 | AlexZenon | (~alzenon@178.34.151.233) (Ping timeout: 272 seconds) |
| 2024-10-17 16:50:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-17 16:52:13 +0000 | alp | (~alp@2001:861:e3d6:8f80:34e0:ead3:355f:5f57) |
| 2024-10-17 16:52:20 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-17 16:52:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 16:57:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-17 17:01:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 17:08:46 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-10-17 17:10:37 +0000 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-10-17 17:12:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 17:14:33 +0000 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-10-17 17:15:57 +0000 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2024-10-17 17:16:37 +0000 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-17 17:16:37 +0000 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Client Quit) |
| 2024-10-17 17:16:54 +0000 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-17 17:17:03 +0000 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 245 seconds) |
| 2024-10-17 17:19:37 +0000 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-10-17 17:20:39 +0000 | AlexNoo | (~AlexNoo@178.34.151.233) |
| 2024-10-17 17:20:59 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2024-10-17 17:21:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 17:22:45 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-17 17:24:20 +0000 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-17 17:30:48 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-17 17:33:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 17:33:23 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2024-10-17 17:44:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-17 17:50:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-17 17:52:02 +0000 | AlexZenon | (~alzenon@178.34.151.233) (Ping timeout: 255 seconds) |
| 2024-10-17 17:52:21 +0000 | hgolden_ | (~hgolden@23.162.40.28) hgolden |
| 2024-10-17 17:52:58 +0000 | roconnor | (~quassel@coq/roconnor) roconnor |
| 2024-10-17 17:53:31 +0000 | <roconnor> | what would be a good way of incorporating example executables in a haskell project (via cabal)? |
| 2024-10-17 17:54:44 +0000 | hgolden__ | (~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 255 seconds) |
| 2024-10-17 17:55:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 17:55:46 +0000 | <tomsmeding> | roconnor: have you considered making them `test-suite`s? |
| 2024-10-17 17:55:52 +0000 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-17 17:56:27 +0000 | Guest15 | (~Guest15@pool-108-14-78-154.nycmny.fios.verizon.net) |
| 2024-10-17 17:56:31 +0000 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-17 17:56:37 +0000 | <tomsmeding> | then they won't get built if someone depends on your package (assuming it's a library), but if you clone the repository (or use `cabal get` to get a bundle from hackage) you can choose to build them manually with `cabal run <test suite name>` |
| 2024-10-17 17:56:39 +0000 | <roconnor> | The thought did occur to me. Although the example program I have in mind is interactive. Maybe that would still work. |
| 2024-10-17 17:56:48 +0000 | <tomsmeding> | `cabal test` is a monstrosity that I never use |
| 2024-10-17 17:56:53 +0000 | <tomsmeding> | `cabal run` works perfectly on test-suites |
| 2024-10-17 17:57:00 +0000 | <roconnor> | ah |
| 2024-10-17 17:57:14 +0000 | Guest15 | (~Guest15@pool-108-14-78-154.nycmny.fios.verizon.net) (Client Quit) |
| 2024-10-17 17:57:19 +0000 | <roconnor> | yeah, having it not built by default is a key consideration for the example programs. |
| 2024-10-17 17:57:30 +0000 | <geekosaur> | cabal flags, then? |
| 2024-10-17 17:57:48 +0000 | <roconnor> | I mean, maybe a testsuite would work well. |
| 2024-10-17 17:58:04 +0000 | <tomsmeding> | I don't think normal executable components in a package get built if someone depends on the package as a library |
| 2024-10-17 17:58:17 +0000 | <tomsmeding> | if you package has a 'cabal-version:' header that is not ancient |
| 2024-10-17 17:58:40 +0000 | <tomsmeding> | that would be worth trying though, before committing to that approach |
| 2024-10-17 18:00:24 +0000 | <geekosaur> | they do if it uses a build mechanism other thsan Simple |
| 2024-10-17 18:00:33 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-17 18:00:35 +0000 | <tomsmeding> | ah |
| 2024-10-17 18:01:06 +0000 | <tomsmeding> | roconnor: so if you don't have a Custom build type, normal executable could work too |
| 2024-10-17 18:01:15 +0000 | <tomsmeding> | *executableS |
| 2024-10-17 18:01:26 +0000 | <roconnor> | hmmm |
| 2024-10-17 18:01:53 +0000 | <roconnor> | okay. |
| 2024-10-17 18:03:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 18:07:21 +0000 | <bwe> | How can I catch an rephrase constraint failing to solve? |
| 2024-10-17 18:08:00 +0000 | <tomsmeding> | bwe: are you looking for this perhaps? https://hackage.haskell.org/package/base-4.20.0.1/docs/GHC-TypeError.html |
| 2024-10-17 18:11:19 +0000 | <Lears> | Or https://hackage.haskell.org/package/base-4.20.0.1/docs/GHC-TypeError.html#t:Unsatisfiable |
| 2024-10-17 18:11:35 +0000 | <Lears> | (in particular) |
| 2024-10-17 18:20:09 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-10-17 18:28:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-17 18:28:17 +0000 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) |
| 2024-10-17 18:29:27 +0000 | <dmj`> | would be interesting to see how much of hackage compiled with "default ()" |
| 2024-10-17 18:31:33 +0000 | <dmj`> | an NoMonomorphism restriction enabled |
| 2024-10-17 18:35:20 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-10-17 18:35:56 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) tomsmeding |
| 2024-10-17 18:37:35 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-17 18:43:38 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-17 18:44:55 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2024-10-17 18:44:57 +0000 | Server | +Cnt |
| 2024-10-17 18:46:11 +0000 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-17 18:46:34 +0000 | bsima | (~bsima@143.198.118.179) bsima |
| 2024-10-17 18:46:40 +0000 | <bwe> | tomsmeding: I'd like to rewrite this error message into some more meaningful: https://paste.tomsmeding.com/MfhzcN17 |
| 2024-10-17 18:48:57 +0000 | <tomsmeding> | bwe: you can't just rewrite arbitrary error messages |
| 2024-10-17 18:49:32 +0000 | <tomsmeding> | and in any case, this looks like a typical effect system constraint error that a user of an effect system will be well used to |
| 2024-10-17 18:50:30 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2024-10-17 18:51:26 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2024-10-17 18:51:26 +0000 | ChanServ | +v yahb2 |
| 2024-10-17 18:53:11 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-17 18:54:09 +0000 | alp | (~alp@2001:861:e3d6:8f80:34e0:ead3:355f:5f57) (Ping timeout: 252 seconds) |
| 2024-10-17 18:55:08 +0000 | <bwe> | tomsmeding: so I can't catch and rephrase this kind of error, right? and the effect system does not give me any means, too? |
| 2024-10-17 18:57:29 +0000 | <tomsmeding> | you can't _catch_ type errors generally, no |
| 2024-10-17 18:57:50 +0000 | <tomsmeding> | you can generate your own, and if you do that in clever locations you can sometimes be faster than the generated error |
| 2024-10-17 18:58:02 +0000 | <tomsmeding> | s/the generated error/the error that ghc would produce/ |
| 2024-10-17 18:58:23 +0000 | <bwe> | so is that one reason why Haskell being blamed for having bad error messages? |
| 2024-10-17 18:58:25 +0000 | Square2 | (~Square4@user/square) Square |
| 2024-10-17 18:58:39 +0000 | <tomsmeding> | no language that I know allows you to _catch_ type errors |
| 2024-10-17 18:59:21 +0000 | <tomsmeding> | a type error is a type error, that means that something went wrong |
| 2024-10-17 18:59:46 +0000 | <tomsmeding> | you can sometimes program what the types should be, but in the end it all goes through the type checker, and if the checker finds an inconsistency, that's it |
| 2024-10-17 18:59:54 +0000 | Digitteknohippie | Digit |
| 2024-10-17 19:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-17 19:00:39 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-17 19:00:42 +0000 | <tomsmeding> | constraint errors like these are imperfect mostly because the effect system is written _inside_ the language, not built into the compiler |
| 2024-10-17 19:01:00 +0000 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-10-17 19:01:02 +0000 | <tomsmeding> | so GHC knows nothing about stuff like (:>), it just knows generally about type classes and type families and can reason about them |
| 2024-10-17 19:01:35 +0000 | <tomsmeding> | now, the effect system could have defined (:>) so that it throws a custom type error if the given effect is not found in the list |
| 2024-10-17 19:01:50 +0000 | <tomsmeding> | but if it didn't do that, then there's nothing much you can do to fix that |
| 2024-10-17 19:02:10 +0000 | <tomsmeding> | except write your own copy of (:>) that does so (probably using Unsatisfiable that Lears linked) |
| 2024-10-17 19:02:51 +0000 | <tomsmeding> | and then still you aren't _catching_ this type error, you're taking over what GHC would otherwise do for you, and raising your own type errors if things go wrong |
| 2024-10-17 19:05:09 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-17 19:05:56 +0000 | visilii_ | (~visilii@46.61.242.137) |
| 2024-10-17 19:06:08 +0000 | <bwe> | tomsmeding: puh, that sounds too complicated to me, frankly, yet the desire to simplify the error messages remains :( |
| 2024-10-17 19:07:05 +0000 | <tomsmeding> | bwe: turns out `effectful` actually did what I just described: https://hackage.haskell.org/package/effectful-core-2.4.0.0/docs/Effectful.html#t::-62- |
| 2024-10-17 19:07:35 +0000 | <tomsmeding> | if you try to resolve `e :> []` then you get a "nice" error message written by `effectful` |
| 2024-10-17 19:07:58 +0000 | <tomsmeding> | but that's not what is happening here: GHC just has `es`, and for all it knows, `Handler Result` might be in `es`! |
| 2024-10-17 19:08:01 +0000 | <tomsmeding> | or it might not |
| 2024-10-17 19:08:16 +0000 | <tomsmeding> | so "The `Hyperbole` effect is not in the effects list" would be wrong here, because it might be |
| 2024-10-17 19:08:22 +0000 | hgolden__ | (~hgolden@169.150.203.10) hgolden |
| 2024-10-17 19:08:50 +0000 | <tomsmeding> | so GHC never reaches the human-written error message, and gives up early with an unresolved constraint |
| 2024-10-17 19:09:24 +0000 | visilii | (~visilii@46.61.242.109) (Ping timeout: 246 seconds) |
| 2024-10-17 19:09:26 +0000 | <tomsmeding> | er, s/Hyperbole/Handler Result/ there |
| 2024-10-17 19:09:35 +0000 | <tomsmeding> | Hyperbole is the thing that _is_ in the effects list |
| 2024-10-17 19:11:04 +0000 | hgolden_ | (~hgolden@23.162.40.28) (Ping timeout: 260 seconds) |
| 2024-10-17 19:11:41 +0000 | <dolio> | What would the 'nice' error be? |
| 2024-10-17 19:11:48 +0000 | <dolio> | Most of that 'bad' error is context. |
| 2024-10-17 19:12:22 +0000 | Guest623 | (~Guest623@122-151-33-65.sta.wbroadband.net.au) |
| 2024-10-17 19:12:52 +0000 | alp | (~alp@2001:861:e3d6:8f80:892c:a656:e37a:e5b6) |
| 2024-10-17 19:12:59 +0000 | <dolio> | It's like 3 lines of error and 20 lines of surrounding context. |
| 2024-10-17 19:14:13 +0000 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
| 2024-10-17 19:15:07 +0000 | Guest623 | (~Guest623@122-151-33-65.sta.wbroadband.net.au) (Client Quit) |
| 2024-10-17 19:18:06 +0000 | alp | (~alp@2001:861:e3d6:8f80:892c:a656:e37a:e5b6) (Ping timeout: 272 seconds) |
| 2024-10-17 19:18:12 +0000 | <bwe> | dolio: "You missed to use handlers in the function body that you specified in the type signature." |
| 2024-10-17 19:19:02 +0000 | <tomsmeding> | (I would rather reword that as "You used the 'Handler Result' effect in your function body, but forgot to declare it in the type signature.") |
| 2024-10-17 19:19:19 +0000 | <tomsmeding> | but that comes back to my initial reaction: that's what this error _means_ |
| 2024-10-17 19:19:33 +0000 | <tomsmeding> | anyone who has worked with an effect system in haskell for a while will recognise this particular error |
| 2024-10-17 19:23:54 +0000 | <bwe> | so, in a nutshell, for a non-user of an effect system: can I utilise the effect system to the extent to rewrite the error message? sorry, if I may ask the same thing again in different words… |
| 2024-10-17 19:24:08 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb921c1d480c698edc2c.dip0.t-ipconnect.de) acidjnk |
| 2024-10-17 19:27:09 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-17 19:31:34 +0000 | <tomsmeding> | bwe: I'm not sure what you mean with "for a non-user of an effect system" |
| 2024-10-17 19:31:42 +0000 | <tomsmeding> | it looks like you _are_ a user of the effect system :) |
| 2024-10-17 19:32:02 +0000 | <bwe> | tomsmeding: using only a library that uses an effect system, but haven't used one myself :) |
| 2024-10-17 19:32:12 +0000 | <tomsmeding> | I see :) |
| 2024-10-17 19:32:17 +0000 | <monochrom> | Haskell is not an effect language, so its error messages will not talk about effects. |
| 2024-10-17 19:32:25 +0000 | <tomsmeding> | ^ |
| 2024-10-17 19:32:30 +0000 | <tomsmeding> | (as I've said before) |
| 2024-10-17 19:32:35 +0000 | <tomsmeding> | so no, you can't rewrite that error message |
| 2024-10-17 19:33:04 +0000 | <tomsmeding> | if the effects come just from a library that you are using, though, you could try to encapsulate that within your library so that your users don't see the effect system at all |
| 2024-10-17 19:33:10 +0000 | <monochrom> | Haskell is only a lambda calculus with bells and whistles, so its error messages can only talk about "this argument has the wrong type" or "this function application looks wrong". |
| 2024-10-17 19:33:12 +0000 | <tomsmeding> | but that means ensuring that your types contain no (:>) etc |
| 2024-10-17 19:37:39 +0000 | alp | (~alp@2001:861:e3d6:8f80:c611:3442:c342:856d) |
| 2024-10-17 19:47:13 +0000 | rdcdr_ | (~rdcdr@75-172-14-224.tukw.qwest.net) |
| 2024-10-17 19:48:05 +0000 | rdcdr | (~rdcdr@user/rdcdr) (Ping timeout: 248 seconds) |
| 2024-10-17 19:48:53 +0000 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2024-10-17 19:57:45 +0000 | <bwe> | tomsmeding + monochrom: thanks |
| 2024-10-17 19:59:56 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-17 20:00:40 +0000 | <mauke> | > ' |
| 2024-10-17 20:00:42 +0000 | <lambdabot> | <hint>:1:2: error: |
| 2024-10-17 20:00:42 +0000 | <lambdabot> | lexical error in string/character literal at end of input |
| 2024-10-17 20:08:02 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-17 20:12:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 20:14:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-17 20:23:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-17 20:23:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 20:28:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 20:32:11 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-17 20:33:47 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-17 20:35:56 +0000 | Everything | (~Everythin@46.211.102.45) Everything |
| 2024-10-17 20:37:57 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-10-17 20:39:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 20:43:07 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 252 seconds) |
| 2024-10-17 20:43:47 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-10-17 20:44:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 20:46:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-17 20:51:20 +0000 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-10-17 20:57:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 20:59:19 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-17 21:01:01 +0000 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) (Read error: Connection reset by peer) |
| 2024-10-17 21:02:13 +0000 | synchromesh | (~john@2406:5a00:2497:300:e0d5:e11:3d9d:e9de) synchromesh |
| 2024-10-17 21:02:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-17 21:10:23 +0000 | Everything | (~Everythin@46.211.102.45) (Ping timeout: 245 seconds) |
| 2024-10-17 21:13:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 21:14:20 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-17 21:18:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-17 21:28:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 21:30:22 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-17 21:33:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-17 21:36:13 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-17 21:36:39 +0000 | Guest43 | (~Guest43@136.60.16.88) |
| 2024-10-17 21:37:48 +0000 | dcoutts__ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-10-17 21:38:37 +0000 | Guest43 | (~Guest43@136.60.16.88) (Client Quit) |
| 2024-10-17 21:44:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 21:49:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 21:50:45 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-17 21:56:22 +0000 | hgolden_ | (~hgolden@146.70.173.101) hgolden |
| 2024-10-17 21:58:40 +0000 | hgolden__ | (~hgolden@169.150.203.10) (Ping timeout: 252 seconds) |
| 2024-10-17 22:00:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 22:03:45 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-10-17 22:04:12 +0000 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 2024-10-17 22:05:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-17 22:06:28 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-17 22:14:42 +0000 | dcoutts_ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
| 2024-10-17 22:16:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 22:16:50 +0000 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Read error: Connection reset by peer) |
| 2024-10-17 22:23:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-17 22:34:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 22:38:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-17 22:38:18 +0000 | <dmj`> | tomsmeding: could catch type errors with a typechecker plugin, during unification |
| 2024-10-17 22:39:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 22:42:52 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-17 22:45:42 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb921c1d480c698edc2c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-17 22:48:15 +0000 | mantraofpie_ | mantraofpie |
| 2024-10-17 22:49:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 22:50:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-17 22:54:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 22:55:03 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8b57:d075:1efa:336f) (Ping timeout: 252 seconds) |
| 2024-10-17 22:56:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-17 22:57:54 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-17 23:05:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 23:06:37 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-17 23:07:32 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-17 23:10:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-17 23:11:36 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-10-17 23:14:18 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-10-17 23:15:43 +0000 | rmca | (~rob@188.120.84.50) (Ping timeout: 264 seconds) |
| 2024-10-17 23:15:48 +0000 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2024-10-17 23:16:44 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-17 23:24:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 23:28:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-17 23:31:18 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ecb9:4019:640d:fffc) |
| 2024-10-17 23:39:00 +0000 | TonyStone | (~TonyStone@user/TonyStone) TonyStone |
| 2024-10-17 23:39:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 23:40:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ecb9:4019:640d:fffc) (Ping timeout: 245 seconds) |
| 2024-10-17 23:43:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 23:53:04 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-17 23:54:29 +0000 | roconnor | (~quassel@coq/roconnor) () |
| 2024-10-17 23:54:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |