| 2025-06-20 00:00:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 00:02:30 +0200 | dhil | (~dhil@5.151.29.140) (Ping timeout: 244 seconds) |
| 2025-06-20 00:03:25 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-20 00:03:25 +0200 | ChanServ | +v haskellbridge |
| 2025-06-20 00:05:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-20 00:16:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 00:18:09 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-06-20 00:18:38 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-20 00:22:11 +0200 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2025-06-20 00:22:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-20 00:22:37 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-20 00:23:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-20 00:24:46 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 276 seconds) |
| 2025-06-20 00:25:44 +0200 | soverysour | (~soverysou@84.232.150.235) |
| 2025-06-20 00:25:44 +0200 | soverysour | (~soverysou@84.232.150.235) (Changing host) |
| 2025-06-20 00:25:44 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-20 00:29:31 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-20 00:29:31 +0200 | ChanServ | +v haskellbridge |
| 2025-06-20 00:30:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-20 00:31:10 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2025-06-20 00:34:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 00:37:06 +0200 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-06-20 00:39:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-20 00:44:56 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-06-20 00:48:17 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-06-20 00:49:15 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-20 00:50:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 00:51:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-06-20 00:55:01 +0200 | tpb2 | (~tpb@user/frostspanner) frostspanner |
| 2025-06-20 00:56:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-20 00:59:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-20 01:00:04 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-06-20 01:01:15 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-20 01:02:04 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-06-20 01:05:04 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-06-20 01:06:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 01:07:41 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-06-20 01:10:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-20 01:11:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4857:4086:42cd:fdac) (Ping timeout: 276 seconds) |
| 2025-06-20 01:16:44 +0200 | <geekosaur> | taking everything down to set up another router |
| 2025-06-20 01:16:47 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-20 01:16:53 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-06-20 01:17:04 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Remote host closed the connection) |
| 2025-06-20 01:19:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 01:20:48 +0200 | eL_Bart0 | (eL_Bart02@dietunichtguten.org) |
| 2025-06-20 01:23:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4857:4086:42cd:fdac) |
| 2025-06-20 01:24:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-20 01:28:57 +0200 | ft | (~ft@p4fc2acfe.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-06-20 01:30:15 +0200 | ft | (~ft@p3e9bc32c.dip0.t-ipconnect.de) ft |
| 2025-06-20 01:35:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 01:37:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-20 01:38:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-20 01:38:45 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-20 01:39:34 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-20 01:40:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-20 01:40:58 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-06-20 01:41:54 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2025-06-20 01:42:21 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-06-20 01:42:45 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 2025-06-20 01:50:44 +0200 | trickard_ | trickard |
| 2025-06-20 01:51:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 01:54:17 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2025-06-20 01:57:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-20 01:58:09 +0200 | acidjnk | (~acidjnk@p200300d6e70b668704812f95fe3678e1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-06-20 02:03:02 +0200 | jespada | (~jespada@179.26.250.100) (Ping timeout: 252 seconds) |
| 2025-06-20 02:06:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 248 seconds) |
| 2025-06-20 02:07:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 02:09:45 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-20 02:10:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-20 02:10:09 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 276 seconds) |
| 2025-06-20 02:11:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-20 02:12:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-20 02:21:45 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-06-20 02:21:46 +0200 | ChanServ | +v haskellbridge |
| 2025-06-20 02:23:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 02:24:54 +0200 | <geekosaur> | okay, let's see how this works |
| 2025-06-20 02:28:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-20 02:38:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 02:42:01 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-06-20 02:43:41 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-20 02:43:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-20 02:44:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-06-20 02:50:28 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-20 02:50:35 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-06-20 02:54:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 02:56:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4857:4086:42cd:fdac) (Ping timeout: 248 seconds) |
| 2025-06-20 02:59:02 +0200 | tpb2 | (~tpb@user/frostspanner) (Quit: WeeChat 4.6.3) |
| 2025-06-20 03:00:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-20 03:02:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-20 03:06:52 +0200 | hsw | (~hsw@106.104.103.23) hsw |
| 2025-06-20 03:11:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-20 03:12:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 03:15:09 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-06-20 03:16:17 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-06-20 03:17:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-20 03:18:38 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-06-20 03:18:56 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-20 03:19:21 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-06-20 03:19:28 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-06-20 03:20:01 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-06-20 03:20:29 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-06-20 03:20:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-06-20 03:28:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 03:33:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-20 03:35:26 +0200 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-06-20 03:38:27 +0200 | ft | (~ft@p3e9bc32c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-06-20 03:44:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 03:47:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-06-20 03:47:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-20 03:49:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-20 03:50:10 +0200 | ft | (~ft@p3e9bc5d2.dip0.t-ipconnect.de) ft |
| 2025-06-20 03:53:39 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-06-20 03:56:19 +0200 | ft | (~ft@p3e9bc5d2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-06-20 03:57:06 +0200 | ft | (~ft@p4fc2ad17.dip0.t-ipconnect.de) ft |
| 2025-06-20 04:00:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 04:00:07 +0200 | Square | (~Square@user/square) Square |
| 2025-06-20 04:00:45 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-06-20 04:02:44 +0200 | ft | (~ft@p4fc2ad17.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-06-20 04:03:31 +0200 | ft | (~ft@p4fc2a29b.dip0.t-ipconnect.de) ft |
| 2025-06-20 04:05:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-20 04:12:39 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 260 seconds) |
| 2025-06-20 04:12:40 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-20 04:15:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 04:19:32 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-06-20 04:19:33 +0200 | ChanServ | +v haskellbridge |
| 2025-06-20 04:21:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-20 04:23:24 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-20 04:23:47 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-06-20 04:24:23 +0200 | hsw | (~hsw@106.104.103.23) (Quit: Leaving) |
| 2025-06-20 04:26:49 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2025-06-20 04:31:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 04:37:15 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-20 04:38:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-20 04:40:38 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-06-20 04:40:39 +0200 | ChanServ | +v haskellbridge |
| 2025-06-20 04:49:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 04:51:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-20 04:54:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-20 05:05:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 05:06:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-20 05:06:35 +0200 | pyooque | (~puke@user/puke) puke |
| 2025-06-20 05:06:35 +0200 | puke | Guest9091 |
| 2025-06-20 05:06:35 +0200 | Guest9091 | (~puke@user/puke) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2025-06-20 05:06:35 +0200 | pyooque | puke |
| 2025-06-20 05:06:45 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-06-20 05:10:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-20 05:16:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-06-20 05:17:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-20 05:18:43 +0200 | inline | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-06-20 05:20:55 +0200 | aforemny_ | (~aforemny@i59F4C7AE.versanet.de) aforemny |
| 2025-06-20 05:20:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 05:22:04 +0200 | aforemny | (~aforemny@2001:9e8:6ce2:ce00:a839:54d1:1188:f48b) (Ping timeout: 252 seconds) |
| 2025-06-20 05:22:39 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 268 seconds) |
| 2025-06-20 05:25:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-20 05:25:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-20 05:26:28 +0200 | <geekosaur> | dammit, still bouncing |
| 2025-06-20 05:27:24 +0200 | <geekosaur> | oddly, it isn't showing in the logs at all |
| 2025-06-20 05:27:35 +0200 | inline | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
| 2025-06-20 05:29:23 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-06-20 05:34:42 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-06-20 05:36:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 05:41:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-20 05:43:39 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 260 seconds) |
| 2025-06-20 05:52:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 05:56:18 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-20 05:56:31 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-20 05:57:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-20 06:00:49 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-06-20 06:04:15 +0200 | jathan | (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
| 2025-06-20 06:06:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-20 06:08:09 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 260 seconds) |
| 2025-06-20 06:08:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 06:15:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-20 06:26:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 06:31:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-20 06:38:45 +0200 | ft | (~ft@p4fc2a29b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-06-20 06:39:51 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-20 06:40:05 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-20 06:40:44 +0200 | ft | (~ft@p4fc2a37c.dip0.t-ipconnect.de) ft |
| 2025-06-20 06:41:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 06:46:50 +0200 | ft | (~ft@p4fc2a37c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-06-20 06:48:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-20 06:48:39 +0200 | ft | (~ft@p508dbee8.dip0.t-ipconnect.de) ft |
| 2025-06-20 06:50:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-20 06:56:48 +0200 | user0 | (~user0@user/plague) (Remote host closed the connection) |
| 2025-06-20 06:58:34 +0200 | ft | (~ft@p508dbee8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-06-20 07:00:12 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-06-20 07:00:37 +0200 | ft | (~ft@p3e9bc586.dip0.t-ipconnect.de) ft |
| 2025-06-20 07:00:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-06-20 07:01:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 07:07:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-20 07:10:39 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-20 07:11:04 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-20 07:14:05 +0200 | ft | (~ft@p3e9bc586.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-06-20 07:15:16 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-20 07:15:29 +0200 | ft | (~ft@p508db42c.dip0.t-ipconnect.de) ft |
| 2025-06-20 07:15:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-06-20 07:16:13 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-20 07:17:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 07:20:53 +0200 | ft | (~ft@p508db42c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-06-20 07:22:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-20 07:22:41 +0200 | ft | (~ft@p4fc2abcd.dip0.t-ipconnect.de) ft |
| 2025-06-20 07:24:36 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-20 07:24:49 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-06-20 07:28:53 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-06-20 07:30:37 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-06-20 07:33:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 07:34:52 +0200 | ft | (~ft@p4fc2abcd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-06-20 07:36:18 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-20 07:36:32 +0200 | ft | (~ft@p3e9bcef3.dip0.t-ipconnect.de) ft |
| 2025-06-20 07:36:42 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 252 seconds) |
| 2025-06-20 07:38:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-20 07:38:44 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-06-20 07:39:25 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-06-20 07:41:45 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-06-20 07:41:45 +0200 | ChanServ | +v haskellbridge |
| 2025-06-20 07:49:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 07:52:27 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 252 seconds) |
| 2025-06-20 07:55:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-20 08:07:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 08:11:21 +0200 | trickard___ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-20 08:12:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-20 08:12:33 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-06-20 08:13:00 +0200 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-06-20 08:18:21 +0200 | michalz | (~michalz@185.246.207.217) |
| 2025-06-20 08:18:46 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-20 08:20:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-20 08:20:45 +0200 | j0lol | (~j0lol@132.145.17.236) (Remote host closed the connection) |
| 2025-06-20 08:20:50 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-20 08:21:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-20 08:22:49 +0200 | j0lol | (~j0lol@132.145.17.236) j0lol |
| 2025-06-20 08:22:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 08:23:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-06-20 08:28:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-20 08:34:06 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-06-20 08:34:22 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-20 08:34:57 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 276 seconds) |
| 2025-06-20 08:38:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 08:40:12 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 244 seconds) |
| 2025-06-20 08:43:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-20 08:44:50 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-06-20 08:45:09 +0200 | trickard___ | trickard |
| 2025-06-20 08:46:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 08:52:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-20 08:53:40 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-20 08:57:46 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 244 seconds) |
| 2025-06-20 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-20 09:00:43 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-20 09:00:57 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-06-20 09:02:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 09:04:08 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-06-20 09:04:31 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-20 09:07:18 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-20 09:08:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-20 09:10:50 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2025-06-20 09:18:45 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-06-20 09:20:07 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-20 09:20:22 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-20 09:23:19 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-06-20 09:27:37 +0200 | kuribas` | (~user@2a02:1808:6b:8b15:c29d:c410:46ec:a8d9) kuribas |
| 2025-06-20 09:30:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 09:33:22 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-20 09:36:38 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-06-20 09:40:08 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-06-20 09:40:28 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-20 09:42:51 +0200 | hsw | (~hsw@106.104.103.23) hsw |
| 2025-06-20 09:44:41 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-20 09:45:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-20 09:45:57 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-06-20 09:46:13 +0200 | soverysour | (~soverysou@84.232.150.235) |
| 2025-06-20 09:46:13 +0200 | soverysour | (~soverysou@84.232.150.235) (Changing host) |
| 2025-06-20 09:46:13 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-20 09:47:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-20 09:47:32 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-20 09:48:15 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-20 09:50:41 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 244 seconds) |
| 2025-06-20 09:53:54 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-20 09:54:07 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-20 10:01:04 +0200 | dhil | (~dhil@5.151.29.141) dhil |
| 2025-06-20 10:02:39 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-06-20 10:03:36 +0200 | kuribas` | (~user@2a02:1808:6b:8b15:c29d:c410:46ec:a8d9) (Ping timeout: 244 seconds) |
| 2025-06-20 10:05:01 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-06-20 10:05:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-06-20 10:07:18 +0200 | kuribas` | (~user@2a02:1808:6b:8b15:fa27:216a:9ea4:9532) kuribas |
| 2025-06-20 10:10:30 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-20 10:11:07 +0200 | trickard_ | trickard |
| 2025-06-20 10:12:17 +0200 | kuribas` | (~user@2a02:1808:6b:8b15:fa27:216a:9ea4:9532) (Ping timeout: 272 seconds) |
| 2025-06-20 10:12:20 +0200 | kuribas`` | (~user@2a02:1808:6b:8b15:10c:78fa:f2c5:12d6) kuribas |
| 2025-06-20 10:14:45 +0200 | kuribas`` | (~user@2a02:1808:6b:8b15:10c:78fa:f2c5:12d6) (Remote host closed the connection) |
| 2025-06-20 10:14:59 +0200 | kuribas`` | (~user@2a02:1808:6b:8b15:90b1:c35:d4ac:4294) kuribas |
| 2025-06-20 10:15:08 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-20 10:15:41 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-20 10:17:40 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-06-20 10:18:09 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-20 10:24:40 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-06-20 10:25:49 +0200 | dhil | (~dhil@5.151.29.141) (Ping timeout: 245 seconds) |
| 2025-06-20 10:35:03 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-06-20 10:38:56 +0200 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-06-20 10:40:02 +0200 | acidjnk | (~acidjnk@p200300d6e70b6624416fe602ae3a0480.dip0.t-ipconnect.de) acidjnk |
| 2025-06-20 10:41:55 +0200 | kuribas`` | (~user@2a02:1808:6b:8b15:90b1:c35:d4ac:4294) (Ping timeout: 265 seconds) |
| 2025-06-20 10:42:43 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-06-20 10:45:30 +0200 | trickard_ | trickard |
| 2025-06-20 10:47:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-06-20 11:04:21 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:3fad:3f8c:983d:e01d) ubert |
| 2025-06-20 11:06:40 +0200 | hsw | (~hsw@106.104.103.23) (Remote host closed the connection) |
| 2025-06-20 11:07:01 +0200 | hsw | (~hsw@106.104.103.23) hsw |
| 2025-06-20 11:08:50 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-20 11:09:04 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-20 11:14:27 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-06-20 11:21:33 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 2025-06-20 11:28:30 +0200 | AlexZenon | (~alzenon@178.34.163.228) (Quit: ;-) |
| 2025-06-20 11:28:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-20 11:30:11 +0200 | AlexZenon | (~alzenon@178.34.163.228) |
| 2025-06-20 11:30:47 +0200 | AlexZenon | (~alzenon@178.34.163.228) (Client Quit) |
| 2025-06-20 11:33:17 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-06-20 11:34:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 11:34:44 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-06-20 11:38:13 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-20 11:38:25 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 248 seconds) |
| 2025-06-20 11:40:10 +0200 | AlexZenon | (~alzenon@178.34.163.228) |
| 2025-06-20 11:42:19 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-20 11:42:33 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-20 11:49:45 +0200 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-06-20 11:50:41 +0200 | <haskellbridge> | <Profpatsch> I need some input from somebody with type-fool knowledge |
| 2025-06-20 11:50:43 +0200 | <haskellbridge> | <Profpatsch> https://play.haskell.org/saved/vc4ycTs6 |
| 2025-06-20 11:50:55 +0200 | <haskellbridge> | <Profpatsch> In particular, the definitions of bar and baz |
| 2025-06-20 11:51:17 +0200 | <haskellbridge> | <Profpatsch> I’d like GHC to infer the HasField instances via divide2 automatically, but it is stumped |
| 2025-06-20 11:51:27 +0200 | <haskellbridge> | <Profpatsch> I tried the r1 ~ r2 trick, but that does not seem to work |
| 2025-06-20 11:51:39 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2025-06-20 11:53:15 +0200 | <haskellbridge> | <Profpatsch> I feel like it should be possible in principle |
| 2025-06-20 11:53:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-20 11:56:21 +0200 | <ames> | this is just a monomorphism restriction thing |
| 2025-06-20 11:57:14 +0200 | <haskellbridge> | <Profpatsch> ames: Oh you mean cause GHC needs to infer monomorphic types for toplevel |
| 2025-06-20 11:57:54 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-20 11:58:03 +0200 | <haskellbridge> | <Profpatsch> I want to make use of Divisible contravariants ergonomic, but without too much overloading going on; I guess if I just use it somewhere in code it should be fine |
| 2025-06-20 11:58:41 +0200 | <haskellbridge> | <Profpatsch> ames: But then again, ideally HLS could infer the function signature nonetheless |
| 2025-06-20 11:58:58 +0200 | <haskellbridge> | <Profpatsch> cause it should follow directly from the definition of divide2 |
| 2025-06-20 11:59:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 11:59:47 +0200 | <ames> | well the problem is exactly that it's not a function and ghc does not want to make it one by quantifying over your HasField(s) |
| 2025-06-20 12:00:00 +0200 | <haskellbridge> | <Profpatsch> what’s not a function? |
| 2025-06-20 12:00:16 +0200 | <ames> | baz |
| 2025-06-20 12:01:40 +0200 | <haskellbridge> | <Profpatsch> ames: ohh! if I reformulate as baz bar = divide2 #foo stringT #bar bar |
| 2025-06-20 12:01:47 +0200 | <haskellbridge> | <Profpatsch> It does work |
| 2025-06-20 12:02:39 +0200 | <ames> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/monomorphism.html |
| 2025-06-20 12:05:12 +0200 | <haskellbridge> | <Profpatsch> ames: Can I specify a type defaulting rule for this function? |
| 2025-06-20 12:05:59 +0200 | <haskellbridge> | <Profpatsch> No I guess that’s only if I control the type class |
| 2025-06-20 12:09:09 +0200 | <ames> | i don't know really how defaulting works and i don't want to find out either i consider it a misfeature |
| 2025-06-20 12:12:46 +0200 | <ames> | but like is there an actual problem here? if you turn off the monomorphism restriction or just add a dummy argument to baz ghc infers exactly the type you want (± the dummy argument, i guess) |
| 2025-06-20 12:13:28 +0200 | <haskellbridge> | <Profpatsch> field :: forall f l a b. (Contravariant f, HasField l a b) => LabelPrx l -> f b -> f a |
| 2025-06-20 12:13:28 +0200 | <haskellbridge> | <Profpatsch> field LabelPrx a = getField @l >$< a |
| 2025-06-20 12:13:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-20 12:13:47 +0200 | <haskellbridge> | <Profpatsch> bar _ = field #foo textT <> "foo" <> (field #bar naturalDecimalT) |
| 2025-06-20 12:13:47 +0200 | <haskellbridge> | <Profpatsch> bar :: (HasField "foo" a Text, HasField "bar" a Natural) => p -> TextBuilder a |
| 2025-06-20 12:14:17 +0200 | <haskellbridge> | <Profpatsch> Things are looking bright for contravariant syntax |
| 2025-06-20 12:14:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 12:14:42 +0200 | <tomsmeding> | defaulting is for guessing an instantiation for an ambiguous type variable based on the type class constraints on that variable |
| 2025-06-20 12:14:53 +0200 | <tomsmeding> | doesn't sound relevant here |
| 2025-06-20 12:16:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-20 12:16:53 +0200 | <tomsmeding> | Profpatch: "because it follows directly from the definition of divide2" -- no, how the type inference algorithm works is it first instantiates all forall quantifiers with unknown type variables ("unification variables"), collects all constraints arising from your program and instantiates type variables in order to satisfy the constraints, and then looks at the result |
| 2025-06-20 12:17:35 +0200 | <tomsmeding> | then, if a function definition without a type signature still has unknown unification variables, they are implicitly "generalised" by introducing a forall quantifier for them |
| 2025-06-20 12:17:43 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-06-20 12:17:52 +0200 | <tomsmeding> | any constraints that existed on them become constraints on the function |
| 2025-06-20 12:18:10 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-20 12:18:24 +0200 | <tomsmeding> | if the monomorphism restriction is enabled, GHC will only do this final generalisation process for things that are already functions, i.e. have >=1 argument |
| 2025-06-20 12:18:53 +0200 | <tomsmeding> | because those constraints become actual arguments at runtime (dictionary translation), and hence for a non-function, that generalisation process would _make it a function_ |
| 2025-06-20 12:19:33 +0200 | <tomsmeding> | a non-function has the interesting property that once evaluated, it will not be evaluated again; when it's a (polymorphic) function, every use will implicitly apply it to its type class dictionaries, and hence it will be recomputed at every use site |
| 2025-06-20 12:19:59 +0200 | <tomsmeding> | because this can be a very unexpected and undesirable introduction of recomputation (and hence slowness), GHC refuses to do this by default |
| 2025-06-20 12:21:22 +0200 | <tomsmeding> | Profpatsch: here is an alternative: write `baz :: _ => Build r` and enable -XPartialTypeSignatures, and perhaps set -Wno-partial-type-signatures |
| 2025-06-20 12:21:39 +0200 | <tomsmeding> | that will cause GHC to infer the polymorphic type, without you having to write out the constraints |
| 2025-06-20 12:22:01 +0200 | <tomsmeding> | and without having to disable the monomorphism restriction, which is a rather big hammer that you'd like to leave sowed away if possible |
| 2025-06-20 12:22:09 +0200 | <tomsmeding> | *stowed |
| 2025-06-20 12:23:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-20 12:24:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-20 12:24:34 +0200 | <haskellbridge> | <Profpatsch> tomsmeding: takk for explanation |
| 2025-06-20 12:24:52 +0200 | <haskellbridge> | <Profpatsch> I added an _ to coerce it to a function and now it works |
| 2025-06-20 12:25:14 +0200 | <tomsmeding> | if that works for you, then that's a solution too, indeed |
| 2025-06-20 12:25:34 +0200 | <haskellbridge> | <Profpatsch> I think I’m also, like, the first person to find a dual to "do" notation for Divide? |
| 2025-06-20 12:25:40 +0200 | <haskellbridge> | <Profpatsch> I haven’t seen it before |
| 2025-06-20 12:26:08 +0200 | <haskellbridge> | <Profpatsch> It’s like a holy grail that was just lying on the floor in the corner somewhere |
| 2025-06-20 12:28:23 +0200 | <tomsmeding> | side-note: I highly doubt that 'INLINE divide2' pragma is necessary |
| 2025-06-20 12:29:58 +0200 | <tomsmeding> | Profpatsch: first time looking at contravariant, but isn't 'adapt >$< a `divided` b' the same as 'divide adapt a b' |
| 2025-06-20 12:31:49 +0200 | <haskellbridge> | <Profpatsch> probably |
| 2025-06-20 12:32:30 +0200 | <haskellbridge> | <Profpatsch> I don’t much care for games of find the prettier definition |
| 2025-06-20 12:35:37 +0200 | trickard_ | trickard |
| 2025-06-20 12:38:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-20 12:40:44 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2025-06-20 12:42:45 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-20 12:43:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-20 12:46:17 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-20 12:55:14 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-20 12:55:28 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-20 13:01:27 +0200 | jespada | (~jespada@r167-61-135-10.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-20 13:10:29 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-06-20 13:17:08 +0200 | prdak | (~Thunderbi@user/prdak) prdak |