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 |
2025-06-20 13:22:50 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-20 13:23:03 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-20 13:44:02 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-06-20 13:47:12 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-20 13:47:25 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-20 13:58:22 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 272 seconds) |
2025-06-20 13:58:23 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 272 seconds) |
2025-06-20 13:59:56 +0200 | trickard_ | trickard |
2025-06-20 14:00:52 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-06-20 14:02:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-20 14:02:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-06-20 14:05:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-20 14:08:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-20 14:12:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-20 14:14:52 +0200 | jespada | (~jespada@r167-61-135-10.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-06-20 14:17:32 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-06-20 14:18:09 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-06-20 14:18:50 +0200 | jespada | (~jespada@r167-61-135-10.dialup.adsl.anteldata.net.uy) jespada |
2025-06-20 14:19:20 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
2025-06-20 14:21:34 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-20 14:21:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
2025-06-20 14:23:10 +0200 | iteratee_ | (~kyle@199.119.84.78) |
2025-06-20 14:23:10 +0200 | bgamari | (~bgamari@64.223.225.174) |
2025-06-20 14:23:29 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-20 14:23:47 +0200 | bgamari_ | (~bgamari@64.223.225.174) (Ping timeout: 244 seconds) |
2025-06-20 14:26:04 +0200 | iteratee | (~kyle@199.119.84.78) (Ping timeout: 244 seconds) |
2025-06-20 14:26:26 +0200 | end | (~end@user/end/x-0094621) end^ |
2025-06-20 14:26:54 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-06-20 14:26:54 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-06-20 14:26:54 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-06-20 14:28:54 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2025-06-20 14:31:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-06-20 14:41:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-06-20 14:43:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-20 14:44:24 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-06-20 14:44:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-20 14:45:35 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-20 14:48:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-20 14:50:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-20 14:50:52 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-06-20 14:54:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-06-20 14:55:04 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2025-06-20 14:55:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-20 14:56:38 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-20 15:04:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-06-20 15:16:36 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-20 15:32:19 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-06-20 15:33:27 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-06-20 15:38:06 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Remote host closed the connection) |
2025-06-20 15:39:54 +0200 | Everything | (~Everythin@77.120.244.38) Everything |
2025-06-20 15:46:38 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-06-20 15:47:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-06-20 15:49:15 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
2025-06-20 15:49:48 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-06-20 15:49:55 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-06-20 15:57:38 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:62fe:762f:270f:e642) internatetional |
2025-06-20 15:57:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-20 16:01:15 +0200 | Square | (~Square@user/square) Square |
2025-06-20 16:03:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-06-20 16:12:01 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
2025-06-20 16:20:47 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-06-20 16:20:49 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-06-20 16:23:23 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-20 16:25:57 +0200 | acidjnk | (~acidjnk@p200300d6e70b6624416fe602ae3a0480.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-06-20 16:26:44 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-20 16:27:43 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2025-06-20 16:27:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-06-20 16:28:00 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
2025-06-20 16:28:03 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-06-20 16:28:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-20 16:32:26 +0200 | acidjnk | (~acidjnk@p200300d6e70b66965c15a2f63f07173a.dip0.t-ipconnect.de) acidjnk |
2025-06-20 16:34:06 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-06-20 16:34:24 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-06-20 16:37:44 +0200 | <geekosaur> | on subsequent review, the disconnects seem to be me accidentally doing things that made the router reset/reconfigure (still figuring out what's safe), looking up. (last night's disconnect was me disabling wifi7 on 2.4 because it was interfering with bluetooth connections) |
2025-06-20 16:38:09 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
2025-06-20 16:40:06 +0200 | <[exa]> | geekosaur: how much RAM does it need? I can throw it at a VM or so |
2025-06-20 16:40:53 +0200 | <geekosaur> | right now it's untuned and the postgresql instance is using a fair amount |
2025-06-20 16:41:55 +0200 | <geekosaur> | what I really want is for HF to sponsor me (request is in but have heard nothing yet) which will allow me to move it to IPv6-capable hosting and switch to appservice_irc (puppeted connections on both sides) |
2025-06-20 16:42:51 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:62fe:762f:270f:e642) (Quit: CoreIRC for Android - www.coreirc.com) |
2025-06-20 16:43:55 +0200 | <tomsmeding> | geekosaur: do you have an idea of the specs of the machine you'd need? |
2025-06-20 16:44:13 +0200 | <tomsmeding> | (how expensive would this be) |
2025-06-20 16:44:54 +0200 | <geekosaur> | not really yet, since I don't know how much RAM the new appservice will use. (one advantage of the HF plan is I should be able to use someone else's postgres, which as I said is currently the biggest memory hog) |
2025-06-20 16:47:13 +0200 | <tomsmeding> | for databases, I tought that RAM is typically not a hard-required commodity |
2025-06-20 16:47:22 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-06-20 16:47:36 +0200 | <tomsmeding> | if you have more than a particular lower limit, then giving the DB less RAM just results in more disk IO and thus higher latency |
2025-06-20 16:48:04 +0200 | <[exa]> | postgres can be tuned down a lot, esp if you don't care about raw throughput |
2025-06-20 16:48:49 +0200 | <tomsmeding> | and if you run things on a stupid VM in the cloud, then wearing down disks is not your concern :p |
2025-06-20 16:49:02 +0200 | <tomsmeding> | *wearing out, I guess |
2025-06-20 16:49:48 +0200 | <[exa]> | btw not sure how it's nowadays but ~10 years ago the individual connections to postgres were quite resource-heavy, so if you threw some kind of pgbouncer in front of that and configured it to stream easy queries into say 2 connections, everything was suddenly very efficient |
2025-06-20 16:50:14 +0200 | <tomsmeding> | one would hope that synapse does connection pooling |
2025-06-20 16:50:29 +0200 | <[exa]> | I'd bet not |
2025-06-20 16:50:30 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-20 16:50:43 +0200 | <tomsmeding> | isn't connection pooling like the most basic feature of every PHP web framework |
2025-06-20 16:50:59 +0200 | <tomsmeding> | I can't believe a large-scale Python webserver doesn't do DB connection pooling |
2025-06-20 16:52:07 +0200 | <[exa]> | I'd like to optimistically agree |
2025-06-20 16:52:10 +0200 | <[exa]> | :D |
2025-06-20 16:53:37 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-20 16:53:51 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-20 17:00:18 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-20 17:03:53 +0200 | ubert1 | (~Thunderbi@2a02:8109:abb3:7000:4172:3244:f389:d486) ubert |
2025-06-20 17:04:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-20 17:04:49 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3) |
2025-06-20 17:04:51 +0200 | <tomsmeding> | [exa]: seems to do pooling just fine |
2025-06-20 17:04:58 +0200 | <tomsmeding> | https://github.com/element-hq/synapse/blob/74ca7ae720c9fdb09a2271ade28d909132bd9b7b/docs/postgres.… |
2025-06-20 17:05:04 +0200 | <tomsmeding> | https://docs.twisted.org/en/stable/api/twisted.enterprise.adbapi.ConnectionPool.html#__init__ |
2025-06-20 17:05:12 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
2025-06-20 17:05:42 +0200 | <tomsmeding> | or at least, the indicators are there, I didn't prove that all requests go through the pool |
2025-06-20 17:07:37 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:3fad:3f8c:983d:e01d) (Ping timeout: 265 seconds) |
2025-06-20 17:07:37 +0200 | ubert1 | ubert |
2025-06-20 17:07:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-20 17:17:05 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-06-20 17:17:22 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-20 17:19:49 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-06-20 17:20:20 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-20 17:20:34 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-20 17:24:23 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-06-20 17:24:28 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
2025-06-20 17:24:32 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-06-20 17:25:26 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-20 17:27:27 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-06-20 17:29:47 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
2025-06-20 17:31:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-20 17:32:19 +0200 | soverysour | (~soverysou@84.232.150.229) |
2025-06-20 17:32:20 +0200 | soverysour | (~soverysou@84.232.150.229) (Changing host) |
2025-06-20 17:32:20 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-20 17:34:22 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:4172:3244:f389:d486) (Remote host closed the connection) |
2025-06-20 17:36:45 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2025-06-20 17:41:37 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 248 seconds) |
2025-06-20 17:43:44 +0200 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
2025-06-20 17:49:10 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e2f0:8dab:7117:a113) |
2025-06-20 17:50:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
2025-06-20 17:51:16 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-20 17:51:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-06-20 17:59:49 +0200 | acidjnk | (~acidjnk@p200300d6e70b66965c15a2f63f07173a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-06-20 18:03:03 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-06-20 18:11:15 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-20 18:12:35 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-20 18:16:48 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
2025-06-20 18:17:46 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2025-06-20 18:22:28 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-20 18:24:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-20 18:27:08 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 244 seconds) |
2025-06-20 18:32:37 +0200 | ol0ck | (~quassel@user/ol0ck) (Ping timeout: 268 seconds) |
2025-06-20 18:35:33 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-06-20 18:38:33 +0200 | soverysour | (~soverysou@84.232.150.229) |
2025-06-20 18:38:33 +0200 | soverysour | (~soverysou@84.232.150.229) (Changing host) |
2025-06-20 18:38:33 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-20 18:41:46 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
2025-06-20 18:43:16 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-06-20 18:43:28 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-20 18:43:53 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 244 seconds) |
2025-06-20 18:45:34 +0200 | trickard_ | trickard |
2025-06-20 18:46:29 +0200 | dhil | (~dhil@5.151.29.137) (Ping timeout: 260 seconds) |
2025-06-20 18:48:45 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-20 18:53:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-06-20 18:56:02 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-20 19:00:28 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-20 19:00:55 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-20 19:01:08 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-20 19:01:17 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-20 19:03:17 +0200 | pounce | (~pounce@user/cute/pounce) (Remote host closed the connection) |
2025-06-20 19:04:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-20 19:05:18 +0200 | trickard_ | trickard |
2025-06-20 19:06:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-20 19:06:58 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-20 19:10:40 +0200 | Gravifer | (~Gravifer@user/Gravifer) Gravifer |
2025-06-20 19:11:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-20 19:11:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-20 19:12:20 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2025-06-20 19:15:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-06-20 19:16:10 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-06-20 19:18:57 +0200 | <[exa]> | tomsmeding: ah ok that might work. the other issue with these is that the pooling in python simply just becomes a resource hog instead of the database client-threads |
2025-06-20 19:19:09 +0200 | <[exa]> | well let's see |
2025-06-20 19:21:20 +0200 | pounce | (~pounce@user/cute/pounce) pounce |
2025-06-20 19:22:28 +0200 | <ski> | @remember JeremyGibbons Recursion is the assembly language of functional programming, and the tail-call is its goto. |
2025-06-20 19:22:28 +0200 | <lambdabot> | It is stored. |
2025-06-20 19:23:26 +0200 | soverysour | (~soverysou@84.232.150.229) |
2025-06-20 19:23:26 +0200 | soverysour | (~soverysou@84.232.150.229) (Changing host) |
2025-06-20 19:23:26 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-20 19:23:33 +0200 | Gravifer | (~Gravifer@user/Gravifer) (Quit: Client closed) |
2025-06-20 19:23:52 +0200 | Gravifer | (~Gravifer@user/Gravifer) Gravifer |
2025-06-20 19:27:13 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
2025-06-20 19:30:35 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-06-20 19:33:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-06-20 19:37:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-06-20 19:39:48 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
2025-06-20 19:40:13 +0200 | <tomsmeding> | hot take that lacks some nuance |
2025-06-20 19:40:58 +0200 | <c_wraith> | some, but it points in a valid direction for exploration |
2025-06-20 19:41:04 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-20 19:41:05 +0200 | <tomsmeding> | that's true |
2025-06-20 19:45:02 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
2025-06-20 19:46:29 +0200 | pounce | (~pounce@user/cute/pounce) (Ping timeout: 248 seconds) |
2025-06-20 19:48:14 +0200 | pounce | (~pounce@user/cute/pounce) pounce |
2025-06-20 19:50:51 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-06-20 19:56:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-20 19:58:55 +0200 | Gravifer | (~Gravifer@user/Gravifer) (Ping timeout: 272 seconds) |
2025-06-20 19:59:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-20 20:03:50 +0200 | glguy | (glguy@libera/staff/glguy) (Quit: Quit) |
2025-06-20 20:06:18 +0200 | trickard___ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
2025-06-20 20:07:13 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
2025-06-20 20:07:21 +0200 | glguy | (glguy@libera/staff/glguy) glguy |
2025-06-20 20:10:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-20 20:11:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-20 20:14:12 +0200 | trickard___ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-20 20:16:23 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
2025-06-20 20:19:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-06-20 20:20:08 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-20 20:22:18 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-20 20:23:07 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-20 20:24:42 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 272 seconds) |
2025-06-20 20:25:04 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2025-06-20 20:37:23 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
2025-06-20 20:38:24 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
2025-06-20 20:42:21 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-20 20:42:27 +0200 | mikess | (~sam@user/mikess) mikess |
2025-06-20 20:46:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-06-20 20:46:33 +0200 | rvalue- | rvalue |
2025-06-20 20:46:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-20 20:47:42 +0200 | meooow_ | (~meooow@165.232.184.169) (Quit: q) |
2025-06-20 20:48:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-20 20:52:40 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-06-20 20:53:04 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-20 20:57:05 +0200 | comerijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-20 20:57:22 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-06-20 20:58:56 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-06-20 20:59:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-20 21:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-20 21:00:08 +0200 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
2025-06-20 21:00:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-20 21:00:34 +0200 | mud | (~mud@user/kadoban) kadoban |
2025-06-20 21:00:43 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-20 21:01:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
2025-06-20 21:01:53 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
2025-06-20 21:02:50 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-06-20 21:03:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-20 21:05:52 +0200 | comerijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-20 21:05:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-20 21:06:21 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-06-20 21:06:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-20 21:14:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-20 21:18:36 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-20 21:23:59 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-06-20 21:27:02 +0200 | inline_ | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
2025-06-20 21:29:32 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-06-20 21:30:02 +0200 | inline | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
2025-06-20 21:32:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-20 21:32:55 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
2025-06-20 21:36:17 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 248 seconds) |
2025-06-20 21:43:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-06-20 21:43:59 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-20 21:44:13 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
2025-06-20 21:44:13 +0200 | mud | (~mud@user/kadoban) kadoban |
2025-06-20 21:44:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-06-20 21:45:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-20 21:45:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-20 21:46:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-20 21:46:44 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-06-20 21:47:09 +0200 | sprotte24 | (~sprotte24@p200300d16f4a8f00fd976e5d25b6627f.dip0.t-ipconnect.de) |
2025-06-20 22:00:20 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-20 22:02:00 +0200 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
2025-06-20 22:02:25 +0200 | mud | (~mud@user/kadoban) kadoban |
2025-06-20 22:03:04 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-20 22:03:44 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-20 22:04:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-06-20 22:05:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-06-20 22:05:29 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-20 22:05:42 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
2025-06-20 22:14:31 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Ping timeout: 276 seconds) |
2025-06-20 22:14:44 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 260 seconds) |
2025-06-20 22:14:57 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
2025-06-20 22:15:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-06-20 22:18:09 +0200 | mud | (~mud@user/kadoban) kadoban |
2025-06-20 22:21:06 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
2025-06-20 22:22:35 +0200 | kadobanana | (~mud@user/kadoban) kadoban |
2025-06-20 22:23:17 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 252 seconds) |
2025-06-20 22:25:37 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
2025-06-20 22:31:53 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 268 seconds) |
2025-06-20 22:39:14 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-06-20 22:39:29 +0200 | trickard_ | trickard |
2025-06-20 22:39:48 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-20 22:42:01 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
2025-06-20 22:53:52 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2025-06-20 22:54:12 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-06-20 22:54:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-06-20 22:57:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-20 23:00:13 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-20 23:07:51 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:e867:578f:3006:c3dc) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
2025-06-20 23:08:10 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:16d4:946f:867d:a00c) youngfrog |
2025-06-20 23:08:23 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-06-20 23:12:05 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
2025-06-20 23:18:11 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d57f:92e3:34b5:9fad) |
2025-06-20 23:22:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-20 23:22:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-20 23:25:01 +0200 | mud | (~mud@user/kadoban) kadoban |
2025-06-20 23:26:06 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 276 seconds) |
2025-06-20 23:27:06 +0200 | <monochrom> | I thought first-class continuations was the goto. :) |
2025-06-20 23:27:45 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-06-20 23:27:50 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-06-20 23:29:21 +0200 | jespada | (~jespada@r167-61-135-10.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-06-20 23:31:14 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-06-20 23:31:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-20 23:32:31 +0200 | jespada | (~jespada@r167-61-135-10.dialup.adsl.anteldata.net.uy) jespada |
2025-06-20 23:32:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-20 23:35:55 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-20 23:36:30 +0200 | <monochrom> | OK OK both goto and comeback >:) |
2025-06-20 23:40:18 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-20 23:41:18 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-20 23:41:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-20 23:42:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |