2025/06/20

2025-06-20 00:00:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 00:02:30 +0200dhil(~dhil@5.151.29.140) (Ping timeout: 244 seconds)
2025-06-20 00:03:25 +0200haskellbridge(~hackager@syn-096-028-224-227.res.spectrum.com) hackager
2025-06-20 00:03:25 +0200ChanServ+v haskellbridge
2025-06-20 00:05:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-20 00:16:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 00:18:09 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-06-20 00:18:38 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-06-20 00:22:11 +0200raym(~ray@user/raym) (Ping timeout: 252 seconds)
2025-06-20 00:22:36 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-20 00:22:37 +0200haskellbridge(~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer)
2025-06-20 00:23:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-20 00:24:46 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 276 seconds)
2025-06-20 00:25:44 +0200soverysour(~soverysou@84.232.150.235)
2025-06-20 00:25:44 +0200soverysour(~soverysou@84.232.150.235) (Changing host)
2025-06-20 00:25:44 +0200soverysour(~soverysou@user/soverysour) soverysour
2025-06-20 00:29:31 +0200haskellbridge(~hackager@syn-096-028-224-227.res.spectrum.com) hackager
2025-06-20 00:29:31 +0200ChanServ+v haskellbridge
2025-06-20 00:30:04 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-20 00:31:10 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 260 seconds)
2025-06-20 00:34:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 00:37:06 +0200user363627(~user@user/user363627) (Quit: Konversation terminated!)
2025-06-20 00:39:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-20 00:44:56 +0200infinity0(~infinity0@pwned.gg) infinity0
2025-06-20 00:48:17 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds)
2025-06-20 00:49:15 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-20 00:50:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 00:51:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-06-20 00:55:01 +0200tpb2(~tpb@user/frostspanner) frostspanner
2025-06-20 00:56:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-06-20 00:59:58 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-20 01:00:04 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-06-20 01:01:15 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-06-20 01:02:04 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-06-20 01:05:04 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-06-20 01:06:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 01:07:41 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-06-20 01:10:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-20 01:11:00 +0200xff0x(~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 +0200caubert(~caubert@user/caubert) caubert
2025-06-20 01:16:53 +0200notzmv(~umar@user/notzmv) notzmv
2025-06-20 01:17:04 +0200haskellbridge(~hackager@syn-096-028-224-227.res.spectrum.com) (Remote host closed the connection)
2025-06-20 01:19:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 01:20:48 +0200eL_Bart0(eL_Bart02@dietunichtguten.org)
2025-06-20 01:23:08 +0200xff0x(~xff0x@2405:6580:b080:900:4857:4086:42cd:fdac)
2025-06-20 01:24:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-20 01:28:57 +0200ft(~ft@p4fc2acfe.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-06-20 01:30:15 +0200ft(~ft@p3e9bc32c.dip0.t-ipconnect.de) ft
2025-06-20 01:35:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 01:37:43 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-20 01:38:40 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-20 01:38:45 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-20 01:39:34 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-20 01:40:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-20 01:40:58 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-06-20 01:41:54 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2025-06-20 01:42:21 +0200Lord_of_Life_Lord_of_Life
2025-06-20 01:42:45 +0200notzmv(~umar@user/notzmv) (Ping timeout: 248 seconds)
2025-06-20 01:50:44 +0200trickard_trickard
2025-06-20 01:51:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 01:54:17 +0200user363627(~user@user/user363627) user363627
2025-06-20 01:57:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-06-20 01:58:09 +0200acidjnk(~acidjnk@p200300d6e70b668704812f95fe3678e1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-20 02:03:02 +0200jespada(~jespada@179.26.250.100) (Ping timeout: 252 seconds)
2025-06-20 02:06:09 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 248 seconds)
2025-06-20 02:07:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 02:09:45 +0200poscat0x04(~poscat@user/poscat) poscat
2025-06-20 02:10:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-20 02:10:09 +0200poscat(~poscat@user/poscat) (Ping timeout: 276 seconds)
2025-06-20 02:11:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-20 02:12:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-20 02:21:45 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-06-20 02:21:46 +0200ChanServ+v haskellbridge
2025-06-20 02:23:05 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-20 02:38:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 02:42:01 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-06-20 02:43:41 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-06-20 02:43:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-20 02:44:34 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-06-20 02:50:28 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-20 02:50:35 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-06-20 02:54:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 02:56:21 +0200xff0x(~xff0x@2405:6580:b080:900:4857:4086:42cd:fdac) (Ping timeout: 248 seconds)
2025-06-20 02:59:02 +0200tpb2(~tpb@user/frostspanner) (Quit: WeeChat 4.6.3)
2025-06-20 03:00:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-20 03:02:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-20 03:06:52 +0200hsw(~hsw@106.104.103.23) hsw
2025-06-20 03:11:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-20 03:12:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 03:15:09 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-06-20 03:16:17 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-06-20 03:17:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-20 03:18:38 +0200arahael(~arahael@user/arahael) arahael
2025-06-20 03:18:56 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-20 03:19:21 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-06-20 03:19:28 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-06-20 03:20:01 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-06-20 03:20:29 +0200user363627(~user@user/user363627) (Remote host closed the connection)
2025-06-20 03:20:33 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-06-20 03:28:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 03:33:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-06-20 03:35:26 +0200OftenFaded(~OftenFade@user/tisktisk) (Quit: Client closed)
2025-06-20 03:38:27 +0200ft(~ft@p3e9bc32c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-06-20 03:44:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 03:47:00 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-06-20 03:47:19 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-20 03:49:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-20 03:50:10 +0200ft(~ft@p3e9bc5d2.dip0.t-ipconnect.de) ft
2025-06-20 03:53:39 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-06-20 03:56:19 +0200ft(~ft@p3e9bc5d2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-06-20 03:57:06 +0200ft(~ft@p4fc2ad17.dip0.t-ipconnect.de) ft
2025-06-20 04:00:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 04:00:07 +0200Square(~Square@user/square) Square
2025-06-20 04:00:45 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-06-20 04:02:44 +0200ft(~ft@p4fc2ad17.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-06-20 04:03:31 +0200ft(~ft@p4fc2a29b.dip0.t-ipconnect.de) ft
2025-06-20 04:05:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-20 04:12:39 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 260 seconds)
2025-06-20 04:12:40 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Read error: Connection reset by peer)
2025-06-20 04:15:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 04:19:32 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-06-20 04:19:33 +0200ChanServ+v haskellbridge
2025-06-20 04:21:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-06-20 04:23:24 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-06-20 04:23:47 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-06-20 04:24:23 +0200hsw(~hsw@106.104.103.23) (Quit: Leaving)
2025-06-20 04:26:49 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
2025-06-20 04:31:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 04:37:15 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Read error: Connection reset by peer)
2025-06-20 04:38:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-06-20 04:40:38 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-06-20 04:40:39 +0200ChanServ+v haskellbridge
2025-06-20 04:49:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 04:51:24 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-20 04:54:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-20 05:05:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 05:06:07 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-20 05:06:35 +0200pyooque(~puke@user/puke) puke
2025-06-20 05:06:35 +0200pukeGuest9091
2025-06-20 05:06:35 +0200Guest9091(~puke@user/puke) (Killed (zinc.libera.chat (Nickname regained by services)))
2025-06-20 05:06:35 +0200pyooquepuke
2025-06-20 05:06:45 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-06-20 05:10:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-20 05:16:39 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 245 seconds)
2025-06-20 05:17:32 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-20 05:18:43 +0200inline(~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-06-20 05:20:55 +0200aforemny_(~aforemny@i59F4C7AE.versanet.de) aforemny
2025-06-20 05:20:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 05:22:04 +0200aforemny(~aforemny@2001:9e8:6ce2:ce00:a839:54d1:1188:f48b) (Ping timeout: 252 seconds)
2025-06-20 05:22:39 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 268 seconds)
2025-06-20 05:25:26 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-20 05:25:56 +0200merijn(~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 +0200inline(~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline
2025-06-20 05:29:23 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-06-20 05:34:42 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-06-20 05:36:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 05:41:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-20 05:43:39 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 260 seconds)
2025-06-20 05:52:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 05:56:18 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-20 05:56:31 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-06-20 05:57:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-06-20 06:00:49 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-06-20 06:04:15 +0200jathan(~jathan@69.61.93.38) (Quit: WeeChat 2.3)
2025-06-20 06:06:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-20 06:08:09 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 260 seconds)
2025-06-20 06:08:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 06:15:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-06-20 06:26:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 06:31:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-20 06:38:45 +0200ft(~ft@p4fc2a29b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-20 06:39:51 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-20 06:40:05 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-06-20 06:40:44 +0200ft(~ft@p4fc2a37c.dip0.t-ipconnect.de) ft
2025-06-20 06:41:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 06:46:50 +0200ft(~ft@p4fc2a37c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-20 06:48:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-06-20 06:48:39 +0200ft(~ft@p508dbee8.dip0.t-ipconnect.de) ft
2025-06-20 06:50:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-20 06:56:48 +0200user0(~user0@user/plague) (Remote host closed the connection)
2025-06-20 06:58:34 +0200ft(~ft@p508dbee8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-20 07:00:12 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-06-20 07:00:37 +0200ft(~ft@p3e9bc586.dip0.t-ipconnect.de) ft
2025-06-20 07:00:42 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-06-20 07:01:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 07:07:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-20 07:10:39 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-20 07:11:04 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-06-20 07:14:05 +0200ft(~ft@p3e9bc586.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-06-20 07:15:16 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-06-20 07:15:29 +0200ft(~ft@p508db42c.dip0.t-ipconnect.de) ft
2025-06-20 07:15:39 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-06-20 07:16:13 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-20 07:17:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 07:20:53 +0200ft(~ft@p508db42c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-20 07:22:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-20 07:22:41 +0200ft(~ft@p4fc2abcd.dip0.t-ipconnect.de) ft
2025-06-20 07:24:36 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-20 07:24:49 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-06-20 07:28:53 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-06-20 07:30:37 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-06-20 07:33:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 07:34:52 +0200ft(~ft@p4fc2abcd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-20 07:36:18 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Read error: Connection reset by peer)
2025-06-20 07:36:32 +0200ft(~ft@p3e9bcef3.dip0.t-ipconnect.de) ft
2025-06-20 07:36:42 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 252 seconds)
2025-06-20 07:38:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-06-20 07:38:44 +0200nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-06-20 07:39:25 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-06-20 07:41:45 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-06-20 07:41:45 +0200ChanServ+v haskellbridge
2025-06-20 07:49:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 07:52:27 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 252 seconds)
2025-06-20 07:55:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-20 08:07:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 08:11:21 +0200trickard___(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-20 08:12:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-20 08:12:33 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-06-20 08:13:00 +0200nek0(~nek0@user/nek0) nek0
2025-06-20 08:18:21 +0200michalz(~michalz@185.246.207.217)
2025-06-20 08:18:46 +0200poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-06-20 08:20:43 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-20 08:20:45 +0200j0lol(~j0lol@132.145.17.236) (Remote host closed the connection)
2025-06-20 08:20:50 +0200poscat(~poscat@user/poscat) poscat
2025-06-20 08:21:19 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-20 08:22:49 +0200j0lol(~j0lol@132.145.17.236) j0lol
2025-06-20 08:22:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 08:23:29 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-06-20 08:28:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-20 08:34:06 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-06-20 08:34:22 +0200caubert(~caubert@user/caubert) caubert
2025-06-20 08:34:57 +0200olivial(~benjaminl@user/benjaminl) (Ping timeout: 276 seconds)
2025-06-20 08:38:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 08:40:12 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 244 seconds)
2025-06-20 08:43:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-20 08:44:50 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-06-20 08:45:09 +0200trickard___trickard
2025-06-20 08:46:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 08:52:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-06-20 08:53:40 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-06-20 08:57:46 +0200nitrix(~nitrix@user/meow/nitrix) (Ping timeout: 244 seconds)
2025-06-20 09:00:01 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-20 09:00:43 +0200caconym7(~caconym@user/caconym) caconym
2025-06-20 09:00:57 +0200nitrix(~nitrix@user/meow/nitrix) nitrix
2025-06-20 09:02:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 09:04:08 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-06-20 09:04:31 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-20 09:07:18 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-20 09:08:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-20 09:10:50 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
2025-06-20 09:18:45 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-06-20 09:20:07 +0200prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-06-20 09:20:22 +0200caubert(~caubert@user/caubert) caubert
2025-06-20 09:23:19 +0200__monty__(~toonn@user/toonn) toonn
2025-06-20 09:27:37 +0200kuribas`(~user@2a02:1808:6b:8b15:c29d:c410:46ec:a8d9) kuribas
2025-06-20 09:30:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 09:33:22 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-20 09:36:38 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-06-20 09:40:08 +0200prdak(~Thunderbi@user/prdak) (Quit: prdak)
2025-06-20 09:40:28 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-20 09:42:51 +0200hsw(~hsw@106.104.103.23) hsw
2025-06-20 09:44:41 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-20 09:45:27 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-06-20 09:45:57 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-06-20 09:46:13 +0200soverysour(~soverysou@84.232.150.235)
2025-06-20 09:46:13 +0200soverysour(~soverysou@84.232.150.235) (Changing host)
2025-06-20 09:46:13 +0200soverysour(~soverysou@user/soverysour) soverysour
2025-06-20 09:47:25 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-06-20 09:47:32 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-06-20 09:48:15 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-20 09:50:41 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 244 seconds)
2025-06-20 09:53:54 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-20 09:54:07 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-20 10:01:04 +0200dhil(~dhil@5.151.29.141) dhil
2025-06-20 10:02:39 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-06-20 10:03:36 +0200kuribas`(~user@2a02:1808:6b:8b15:c29d:c410:46ec:a8d9) (Ping timeout: 244 seconds)
2025-06-20 10:05:01 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-06-20 10:05:56 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-06-20 10:07:18 +0200kuribas`(~user@2a02:1808:6b:8b15:fa27:216a:9ea4:9532) kuribas
2025-06-20 10:10:30 +0200prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-06-20 10:11:07 +0200trickard_trickard
2025-06-20 10:12:17 +0200kuribas`(~user@2a02:1808:6b:8b15:fa27:216a:9ea4:9532) (Ping timeout: 272 seconds)
2025-06-20 10:12:20 +0200kuribas``(~user@2a02:1808:6b:8b15:10c:78fa:f2c5:12d6) kuribas
2025-06-20 10:14:45 +0200kuribas``(~user@2a02:1808:6b:8b15:10c:78fa:f2c5:12d6) (Remote host closed the connection)
2025-06-20 10:14:59 +0200kuribas``(~user@2a02:1808:6b:8b15:90b1:c35:d4ac:4294) kuribas
2025-06-20 10:15:08 +0200caubert(~caubert@user/caubert) caubert
2025-06-20 10:15:41 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-20 10:17:40 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-06-20 10:18:09 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-20 10:24:40 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-06-20 10:25:49 +0200dhil(~dhil@5.151.29.141) (Ping timeout: 245 seconds)
2025-06-20 10:35:03 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-06-20 10:38:56 +0200dhil(~dhil@5.151.29.137) dhil
2025-06-20 10:40:02 +0200acidjnk(~acidjnk@p200300d6e70b6624416fe602ae3a0480.dip0.t-ipconnect.de) acidjnk
2025-06-20 10:41:55 +0200kuribas``(~user@2a02:1808:6b:8b15:90b1:c35:d4ac:4294) (Ping timeout: 265 seconds)
2025-06-20 10:42:43 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-06-20 10:45:30 +0200trickard_trickard
2025-06-20 10:47:58 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-06-20 11:04:21 +0200ubert(~Thunderbi@2a02:8109:abb3:7000:3fad:3f8c:983d:e01d) ubert
2025-06-20 11:06:40 +0200hsw(~hsw@106.104.103.23) (Remote host closed the connection)
2025-06-20 11:07:01 +0200hsw(~hsw@106.104.103.23) hsw
2025-06-20 11:08:50 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-20 11:09:04 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-20 11:14:27 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-06-20 11:21:33 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 244 seconds)
2025-06-20 11:28:30 +0200AlexZenon(~alzenon@178.34.163.228) (Quit: ;-)
2025-06-20 11:28:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-20 11:30:11 +0200AlexZenon(~alzenon@178.34.163.228)
2025-06-20 11:30:47 +0200AlexZenon(~alzenon@178.34.163.228) (Client Quit)
2025-06-20 11:33:17 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 244 seconds)
2025-06-20 11:34:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-20 11:34:44 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-06-20 11:38:13 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-06-20 11:38:25 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 248 seconds)
2025-06-20 11:40:10 +0200AlexZenon(~alzenon@178.34.163.228)
2025-06-20 11:42:19 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-20 11:42:33 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-20 11:49:45 +0200m5zs7k(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 +0200xff0x(~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 +0200merijn(~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 +0200econo_(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 +0200merijn(~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