2025/06/26

2025-06-26 00:00:01 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-06-26 00:00:25 +0200califax(~califax@user/califx) califx
2025-06-26 00:02:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 00:07:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 00:08:58 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 00:12:13 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 00:13:49 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-06-26 00:18:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 00:19:43 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-06-26 00:20:59 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-26 00:22:16 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-06-26 00:22:41 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-06-26 00:23:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 00:23:42 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-06-26 00:26:25 +0200inline_(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline
2025-06-26 00:26:35 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 00:28:09 +0200anselmschueler(~Thunderbi@user/schuelermine) (Ping timeout: 265 seconds)
2025-06-26 00:29:34 +0200inline(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2025-06-26 00:29:41 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 00:35:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 00:37:44 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-06-26 00:40:39 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-06-26 00:40:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-26 00:42:43 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-06-26 00:46:10 +0200anselmschueler(~Thunderbi@user/schuelermine) schuelermine
2025-06-26 00:47:23 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 00:48:11 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 00:49:05 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 00:51:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 00:53:43 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 00:56:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-26 00:57:10 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-26 00:59:01 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-26 00:59:33 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-06-26 01:02:14 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-06-26 01:04:22 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-06-26 01:05:39 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 01:06:55 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 01:07:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 01:09:45 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 01:13:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-26 01:16:14 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-06-26 01:24:29 +0200Square(~Square@user/square) Square
2025-06-26 01:24:34 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-06-26 01:25:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 01:30:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-26 01:35:48 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 01:40:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 01:45:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-26 01:47:15 +0200yin(~z@user/zero) (Quit: quit)
2025-06-26 01:47:41 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 01:51:27 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 01:55:00 +0200yin(~z@user/zero) zero
2025-06-26 01:56:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 02:00:17 +0200yin(~z@user/zero) (Quit: quit)
2025-06-26 02:02:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 02:03:22 +0200acidjnk(~acidjnk@p200300d6e70b66774dc61cafa8d9b5a9.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-06-26 02:05:02 +0200yin(~z@user/zero) zero
2025-06-26 02:12:06 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 02:14:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 02:18:06 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 02:19:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-26 02:23:02 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 02:25:56 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 02:29:29 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 02:29:44 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 02:29:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 02:29:54 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 02:34:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-26 02:35:34 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 02:38:21 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 02:38:29 +0200anselmschueler(~Thunderbi@user/schuelermine) (Quit: anselmschueler)
2025-06-26 02:42:24 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-26 02:42:30 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 02:43:27 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-26 02:45:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 02:51:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 02:52:29 +0200xff0x(~xff0x@2405:6580:b080:900:e48a:913:45b8:8077) (Ping timeout: 260 seconds)
2025-06-26 02:53:56 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 02:54:43 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds)
2025-06-26 02:55:08 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-26 02:56:25 +0200trickard_trickard
2025-06-26 03:00:06 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 03:01:44 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 03:02:45 +0200k0zy(~user@user/k0zy) (Remote host closed the connection)
2025-06-26 03:02:58 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-06-26 03:03:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 03:04:37 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 03:07:14 +0200jcarpenter2(~lol@2603:3016:1e01:b960:4124:121a:2c49:df46)
2025-06-26 03:08:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-26 03:08:43 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-06-26 03:09:58 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-06-26 03:13:29 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-06-26 03:15:24 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 03:15:40 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-26 03:18:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 03:23:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-26 03:34:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 03:35:55 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 03:36:09 +0200poscat(~poscat@user/poscat) poscat
2025-06-26 03:38:41 +0200adamCS(~adamCS@70.19.85.77) (Ping timeout: 244 seconds)
2025-06-26 03:39:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 03:41:57 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 03:42:47 +0200adamCS(~adamCS@70.19.85.77) adamCS
2025-06-26 03:45:19 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: Leaving)
2025-06-26 03:46:55 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds)
2025-06-26 03:47:40 +0200Square(~Square@user/square) (Ping timeout: 252 seconds)
2025-06-26 03:47:54 +0200ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2025-06-26 03:48:29 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-26 03:48:38 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 03:50:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-26 03:50:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-26 03:50:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 03:51:25 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-06-26 03:51:58 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 03:57:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-06-26 04:00:07 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 04:03:07 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 04:08:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 04:10:29 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-26 04:10:54 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 04:13:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-06-26 04:14:03 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 04:14:23 +0200poscat(~poscat@user/poscat) poscat
2025-06-26 04:22:08 +0200tavare(~tavare@150.129.88.189)
2025-06-26 04:22:08 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-06-26 04:22:08 +0200tavare(~tavare@user/tavare) tavare
2025-06-26 04:23:20 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-06-26 04:24:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 04:26:30 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-06-26 04:27:30 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 04:28:41 +0200poscat(~poscat@user/poscat) poscat
2025-06-26 04:29:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 04:33:40 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 04:36:22 +0200poscat(~poscat@user/poscat) (Ping timeout: 252 seconds)
2025-06-26 04:39:49 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 04:40:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 04:40:20 +0200weary-traveler(~user@user/user363627) user363627
2025-06-26 04:42:37 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 276 seconds)
2025-06-26 04:42:57 +0200infinity0(~infinity0@pwned.gg) infinity0
2025-06-26 04:43:37 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 04:44:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 04:55:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 04:56:11 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 04:58:09 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 04:59:00 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 05:01:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-06-26 05:01:14 +0200cattiesCatty
2025-06-26 05:03:00 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 05:03:33 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 05:04:19 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds)
2025-06-26 05:05:08 +0200inline_inline
2025-06-26 05:11:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 05:12:21 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 05:13:34 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 05:14:29 +0200aforemny(~aforemny@i577B131D.versanet.de) (Ping timeout: 248 seconds)
2025-06-26 05:15:00 +0200aforemny(~aforemny@i577B13E4.versanet.de) aforemny
2025-06-26 05:16:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 05:21:15 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-06-26 05:21:36 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 05:22:59 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 05:23:13 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 05:23:25 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 05:25:38 +0200monochrom(trebla@216.138.220.146) (Ping timeout: 244 seconds)
2025-06-26 05:26:03 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 05:27:11 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 05:27:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 05:30:04 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 05:30:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-26 05:33:59 +0200monochrom(~trebla@216.138.220.146)
2025-06-26 05:34:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-26 05:34:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-26 05:35:11 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-06-26 05:36:10 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 05:36:59 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-06-26 05:38:12 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-06-26 05:41:00 +0200img(~img@user/img) img
2025-06-26 05:44:39 +0200inline(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-06-26 05:45:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 05:48:21 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 05:48:56 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 05:50:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 05:55:40 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 05:59:28 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 06:00:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 06:06:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 06:12:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 06:17:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-26 06:22:33 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 06:25:29 +0200caubert(~caubert@user/caubert) (Ping timeout: 272 seconds)
2025-06-26 06:25:57 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 06:27:36 +0200stilgart(~Christoph@2001:41d0:2:8673::42) stilgart
2025-06-26 06:28:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 06:29:07 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 06:30:16 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 06:30:35 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 06:31:32 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 06:32:11 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 06:33:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-06-26 06:35:14 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 06:35:48 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 06:39:38 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 06:43:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 06:44:10 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 06:46:20 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2025-06-26 06:48:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 06:50:11 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 06:50:24 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 06:50:44 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-06-26 06:51:15 +0200michalz(~michalz@185.246.207.205)
2025-06-26 06:54:14 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 06:56:29 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 06:59:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 07:01:26 +0200soverysour(~soverysou@84.232.150.142)
2025-06-26 07:01:26 +0200soverysour(~soverysou@84.232.150.142) (Changing host)
2025-06-26 07:01:26 +0200soverysour(~soverysou@user/soverysour) soverysour
2025-06-26 07:02:17 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 07:03:57 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 07:04:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-26 07:07:41 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 07:09:09 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-06-26 07:10:45 +0200olivial_(~benjaminl@c-76-144-39-121.hsd1.or.comcast.net)
2025-06-26 07:10:54 +0200olivial(~benjaminl@user/benjaminl) (Ping timeout: 260 seconds)
2025-06-26 07:15:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 07:22:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 07:35:31 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 07:35:44 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 07:35:59 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 260 seconds)
2025-06-26 07:38:15 +0200soverysour(~soverysou@user/soverysour) soverysour
2025-06-26 07:44:38 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 07:47:41 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 07:50:18 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 07:53:11 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 07:54:05 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 07:58:13 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 08:03:14 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-26 08:03:14 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 08:05:32 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 272 seconds)
2025-06-26 08:10:28 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-06-26 08:10:57 +0200dolio(~dolio@130.44.140.168) (Ping timeout: 248 seconds)
2025-06-26 08:11:56 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 08:13:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 08:13:39 +0200dolio(~dolio@130.44.140.168) dolio
2025-06-26 08:18:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 08:20:06 +0200caubert(~caubert@user/caubert) (Ping timeout: 272 seconds)
2025-06-26 08:20:22 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 08:22:03 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 08:27:34 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-26 08:28:11 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 08:29:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 08:31:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-26 08:33:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-26 08:44:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 08:48:20 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-06-26 08:49:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-26 08:51:14 +0200ft(~ft@p508db5d0.dip0.t-ipconnect.de) (Quit: leaving)
2025-06-26 08:56:10 +0200califax(~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
2025-06-26 08:56:31 +0200califax(~califax@user/califx) califx
2025-06-26 08:59:46 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 09:00:00 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 09:00:01 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-26 09:00:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 09:00:40 +0200caconym7(~caconym@user/caconym) caconym
2025-06-26 09:01:07 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 09:02:40 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 09:05:08 +0200gp88(~gp@net-188-217-43-7.cust.vodafonedsl.it)
2025-06-26 09:05:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-26 09:07:33 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-06-26 09:07:46 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 09:11:13 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 09:14:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-26 09:20:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-26 09:22:22 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-06-26 09:22:49 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 09:24:22 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-06-26 09:25:08 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-26 09:26:23 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 09:29:48 +0200acidjnk(~acidjnk@p200300d6e70b6677e5e5c38adebbce7d.dip0.t-ipconnect.de) acidjnk
2025-06-26 09:33:59 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-26 09:35:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-26 09:38:02 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 09:39:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-26 09:43:51 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 09:47:37 +0200inline(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline
2025-06-26 09:49:31 +0200shaeto(~Shaeto@94.25.234.13)
2025-06-26 09:53:08 +0200merijn(~merijn@77.242.116.146) merijn
2025-06-26 09:53:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-06-26 09:57:55 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-06-26 10:00:00 +0200inline(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-06-26 10:00:39 +0200inline(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline
2025-06-26 10:03:13 +0200trickard_trickard
2025-06-26 10:04:59 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-06-26 10:09:06 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 10:09:21 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 10:23:54 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 244 seconds)
2025-06-26 10:30:35 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 272 seconds)
2025-06-26 10:32:01 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) m1dnight
2025-06-26 10:33:50 +0200trickard_trickard
2025-06-26 10:39:44 +0200oleg(~oleg@178.57.115.165)
2025-06-26 10:40:07 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 276 seconds)
2025-06-26 10:44:57 +0200chele(~chele@user/chele) chele
2025-06-26 11:03:41 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) m1dnight
2025-06-26 11:09:41 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-06-26 11:10:22 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 11:11:28 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 11:14:26 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 11:17:34 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-06-26 11:19:45 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 11:30:19 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 265 seconds)
2025-06-26 11:31:21 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 11:31:43 +0200tabemann_(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2025-06-26 11:32:52 +0200Square(~Square@user/square) Square
2025-06-26 11:32:54 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 245 seconds)
2025-06-26 11:34:56 +0200soverysour(~soverysou@84.232.150.142)
2025-06-26 11:34:56 +0200soverysour(~soverysou@84.232.150.142) (Changing host)
2025-06-26 11:34:56 +0200soverysour(~soverysou@user/soverysour) soverysour
2025-06-26 11:35:30 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 11:38:22 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) m1dnight
2025-06-26 11:38:39 +0200inline(~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2025-06-26 11:38:39 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-06-26 11:42:17 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 244 seconds)
2025-06-26 11:43:03 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 11:44:49 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-06-26 11:45:55 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds)
2025-06-26 11:45:58 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 11:47:00 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 11:49:46 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-26 11:50:40 +0200inline(~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline
2025-06-26 11:51:59 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 11:55:22 +0200dhil(~dhil@5.151.29.137) dhil
2025-06-26 12:04:38 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-06-26 12:04:54 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-06-26 12:11:00 +0200caubert(~caubert@user/caubert) (Ping timeout: 268 seconds)
2025-06-26 12:12:13 +0200rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-06-26 12:12:44 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-06-26 12:13:41 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 12:13:55 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 12:15:25 +0200__monty__(~toonn@user/toonn) toonn
2025-06-26 12:17:51 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-06-26 12:20:37 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-06-26 12:20:40 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-06-26 12:24:37 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 12:25:10 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 12:26:51 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-26 12:29:09 +0200caubert(~caubert@user/caubert) (Ping timeout: 245 seconds)
2025-06-26 12:29:13 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 12:33:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2025-06-26 12:33:58 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-06-26 12:34:33 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 12:37:40 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 12:39:40 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-06-26 12:40:25 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 252 seconds)
2025-06-26 12:40:49 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 12:41:52 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-06-26 12:47:06 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 12:48:53 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 12:49:05 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 12:58:35 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 13:00:04 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-26 13:02:12 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 13:02:22 +0200caconym7(~caconym@user/caconym) caconym
2025-06-26 13:03:14 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-06-26 13:05:34 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-06-26 13:12:20 +0200ski. o O ( "What difference lists actually are" in 2025-04-12 at <https://www.hedonisticlearning.com/posts/functional-lists-are-not-difference-lists.html> )
2025-06-26 13:12:47 +0200poxhell32(~poxhell@31.171.101.168)
2025-06-26 13:13:19 +0200leah2(~leah@vuxu.org) (Remote host closed the connection)
2025-06-26 13:15:47 +0200leah2(~leah@vuxu.org) leah2
2025-06-26 13:18:35 +0200poxhell32(~poxhell@31.171.101.168) (Ping timeout: 272 seconds)
2025-06-26 13:18:47 +0200leah2(~leah@vuxu.org) (Client Quit)
2025-06-26 13:23:26 +0200xff0x(~xff0x@ai083248.d.east.v6connect.net)
2025-06-26 13:23:31 +0200leah2(~leah@vuxu.org) leah2
2025-06-26 13:25:54 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 13:26:17 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 13:28:08 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 13:29:01 +0200soverysour(~soverysou@user/soverysour) soverysour
2025-06-26 13:29:56 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 13:30:52 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 13:33:08 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 13:33:14 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-06-26 13:36:33 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 13:37:39 +0200 <sshine> I used Haskell for a live code for a job interview (for a non-Haskell job, though). I was a little nervous because if you're asked to do algorithms that rely on mutable arrays, it gets pointy-haired. but I was literally asked "implement a linked list" and "write permutations :: [a] -> [[a]]" :-D
2025-06-26 13:37:39 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 13:40:53 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 13:40:57 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 13:41:22 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 13:42:21 +0200gp88(~gp@net-188-217-43-7.cust.vodafonedsl.it) (Remote host closed the connection)
2025-06-26 13:42:41 +0200gp88(~gp@net-188-217-43-7.cust.vodafonedsl.it)
2025-06-26 13:44:12 +0200 <merijn> sshine: Even mutable arrays is pretty easy, you can just use ST or IO for that
2025-06-26 13:44:14 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-06-26 13:45:06 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 13:46:13 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 13:47:06 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 13:48:55 +0200 <sshine> merijn, eh, I wouldn't say it's pretty easy. if I search for how to, I get 1) a StackOverflow post that suggests I should use PrimMonad m => a -> m (MutableArray (PrimState m) a), 2) a Reddit post that links to a particular chapter of the Haskell wiki on arrays, which is the ST approach; listed 3rd in a list of 10 possible ways to do it. I would actually go for ST, because my memory tells me that's a good
2025-06-26 13:49:01 +0200 <sshine> way, but I'd reserve "easy" for something like "linked lists" :-D
2025-06-26 13:50:14 +0200 <sshine> and a ton of Reddit replies saying "do you really need mutable arrays?" :-D
2025-06-26 13:50:45 +0200 <sshine> probably a lot of DP will work with an immutable, lazy array, which is a lot easier.
2025-06-26 13:51:04 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-26 13:51:51 +0200 <sshine> I'd definitely want to practice a little with those data types before interviewing, so I'm not stuck resolving some weird constraint kind, leaving the interviewer puzzled as to why things need to be so hard.
2025-06-26 13:51:55 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 13:52:19 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 13:52:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-26 13:52:37 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2025-06-26 13:52:37 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 13:52:40 +0200 <sshine> vs. foo[i] = 42, and moving on.
2025-06-26 13:52:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-26 13:55:50 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 13:56:05 +0200merijn(~merijn@77.242.116.146) merijn
2025-06-26 13:56:35 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 13:57:27 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 13:59:16 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 14:01:36 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 265 seconds)
2025-06-26 14:03:07 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 14:07:04 +0200acidjnk_new(~acidjnk@p200300d6e70b6677c1dbc6461f2610c9.dip0.t-ipconnect.de) acidjnk
2025-06-26 14:08:54 +0200acidjnk(~acidjnk@p200300d6e70b6677e5e5c38adebbce7d.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-26 14:15:42 +0200 <yin> wait, using (xs ++) delegates the creation of xs until a final list is fed to it? so you can chain (xs ++) . (ys ++) . (zs ++) to make the construction of the whole list happen at once?
2025-06-26 14:16:25 +0200 <__monty__> And fusion may make the resulting list not be constructed ever.
2025-06-26 14:16:52 +0200 <__monty__> Or is that even fusion maybe that just rolls out of laziness really.
2025-06-26 14:19:43 +0200 <yin> in which situations would this approach be any different than plain old lazyness?
2025-06-26 14:20:32 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 252 seconds)
2025-06-26 14:21:41 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-06-26 14:21:59 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-06-26 14:26:11 +0200Vajb(~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi) (Ping timeout: 272 seconds)
2025-06-26 14:27:55 +0200tabemann_tabemann
2025-06-26 14:31:46 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 14:32:39 +0200trickard_trickard
2025-06-26 14:35:50 +0200 <__monty__> (as ++ (bs ++ cs)) is different from ((as ++ bs) ++ cs), that's more what returning these functional "difference" lists is about I think.
2025-06-26 14:37:23 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 14:37:45 +0200soverysour(~soverysou@84.232.150.142)
2025-06-26 14:37:45 +0200soverysour(~soverysou@84.232.150.142) (Changing host)
2025-06-26 14:37:45 +0200soverysour(~soverysou@user/soverysour) soverysour
2025-06-26 14:38:25 +0200Guest5(~Guest5@202.142.52.7)
2025-06-26 14:38:39 +0200jespada(~jespada@179.26.250.220) jespada
2025-06-26 14:39:09 +0200 <int-e> yin: https://wiki.haskell.org/Difference_list ...this is a common pattern to avoid a potential quadratic slowdown when concatenating many lists
2025-06-26 14:40:28 +0200 <yin> ah i see
2025-06-26 14:41:12 +0200 <yin> looks like something the compiler could optimize for. are there any cases where the optimization woulnd't be desireable?
2025-06-26 14:41:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-26 14:41:48 +0200 <yin> at first glance i can think of none
2025-06-26 14:41:57 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 14:41:59 +0200 <int-e> You can optimize ((as ++ bs) ++ cs) to (as ++ (bs ++ cs)) but what if the as ++ bs is a recursive call?
2025-06-26 14:42:39 +0200 <yin> int-e: what if it is? it will be recursive in both cases
2025-06-26 14:42:40 +0200 <int-e> I'd expect that GHC has a rule for doing the former transformation somewhere.
2025-06-26 14:43:34 +0200 <int-e> If it's a recursive call then there's nothing simple the compiler can do to "fix" the associativity.
2025-06-26 14:44:29 +0200 <int-e> Switching to difference lists will basically fix the associativity at runtime.
2025-06-26 14:44:32 +0200 <yin> hmm.. is the compiler able to check for recursiveness?
2025-06-26 14:45:11 +0200 <yin> i won't be able to check for termination i guess...
2025-06-26 14:45:21 +0200 <yin> *it
2025-06-26 14:45:25 +0200 <yin> ok i get it
2025-06-26 14:45:33 +0200 <int-e> Anyway. The answer is "a compiler could do that, but it's tricky and the benefit is unclear. In any case, GHC doesn't do that."
2025-06-26 14:46:37 +0200 <yin> great
2025-06-26 14:46:42 +0200 <int-e> In contrast, rewriting ((as ++ bs) ++ cs) to (as ++ (bs ++ cs)) is easy (GHC has rewrite rules that can express this) and unequivocally an improvement.
2025-06-26 14:47:17 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 14:47:47 +0200 <__monty__> But then we get to <>, is that still associative? I'm sure someone can come up with a non-associative implementation for it.
2025-06-26 14:48:49 +0200 <int-e> It's a Monoid (or Semigroup) law. Instances can violate it.
2025-06-26 14:49:18 +0200 <__monty__> (╯°□°)╯︵ ┻━┻ And this is why we can't have nice things without dependent types.
2025-06-26 14:50:17 +0200 <int-e> Perhaps the most natural violation is collecting data into a binary tree, with (<>) constructing a new node.
2025-06-26 14:50:38 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 14:50:49 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-06-26 14:51:15 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 14:54:50 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 14:57:37 +0200 <int-e> __monty__: But this is a reason for not having a rule rewriting (a <> (b <> c)) to ((a <> b) <> c). Another reason is that in the case of a monoid you don't know which associativity is best.
2025-06-26 14:58:39 +0200Guest5(~Guest5@202.142.52.7) (Quit: Client closed)
2025-06-26 14:59:02 +0200 <yin> <> is right associative
2025-06-26 14:59:27 +0200 <yin> i don't think i've ever noticed that
2025-06-26 14:59:39 +0200caubert(~caubert@user/caubert) (Ping timeout: 244 seconds)
2025-06-26 14:59:58 +0200 <int-e> that just means that you have to write (a <> b) <> c if you want to use it in a left-associative way
2025-06-26 15:00:22 +0200 <yin> yes, but because the default is left, i guess i assumed it would be left
2025-06-26 15:00:38 +0200 <int-e> the default no doubt comes from (++)
2025-06-26 15:01:21 +0200 <int-e> lists are kind of the canonical monoid ([a] is the free monoid generated by a)
2025-06-26 15:01:27 +0200 <yin> yes
2025-06-26 15:02:22 +0200 <int-e> > M.fromListWith (++) [((),"1"),((),"2")]
2025-06-26 15:02:23 +0200 <lambdabot> fromList [((),"21")]
2025-06-26 15:03:07 +0200 <int-e> I believe the reversal here is also due to lists being so prevalent.
2025-06-26 15:03:07 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 15:04:26 +0200 <int-e> (With 3 elements that would do "3" ++ ("2" ++ "1") which is right-associative, so asymptotically better than ("1" ++ "2") ++ "3".)
2025-06-26 15:07:37 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-26 15:08:01 +0200trickard_trickard
2025-06-26 15:08:31 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-26 15:09:58 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-26 15:13:48 +0200puke(~puke@user/puke) (Quit: puke)
2025-06-26 15:15:02 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 15:15:44 +0200puke(~puke@user/puke) puke
2025-06-26 15:19:03 +0200 <yin> computers were a mistake
2025-06-26 15:21:21 +0200caubert(~caubert@user/caubert) (Ping timeout: 244 seconds)
2025-06-26 15:23:00 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-26 15:27:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-26 15:27:54 +0200dhil(~dhil@5.151.29.137) (Ping timeout: 260 seconds)
2025-06-26 15:28:53 +0200 <int-e> Nah, computers are great. But like many things they can be used in problematic ways.
2025-06-26 15:30:50 +0200ystael(~ystael@user/ystael) ystael
2025-06-26 15:32:44 +0200Guest24(~Guest24@200.9.99.199)
2025-06-26 15:33:11 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-06-26 15:33:40 +0200tromp(~textual@2001:1c00:3487:1b00:6449:d86a:985:30f0)
2025-06-26 15:34:41 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-06-26 15:37:26 +0200Guest24(~Guest24@200.9.99.199) (Client Quit)
2025-06-26 15:37:41 +0200Guest24(~Guest24@200.9.99.199)
2025-06-26 15:38:55 +0200Kamuela(sid111576@tinside.irccloud.com) (Ping timeout: 244 seconds)
2025-06-26 15:40:07 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) Kamuela
2025-06-26 15:42:48 +0200prdak1(~Thunderbi@user/prdak) prdak
2025-06-26 15:43:27 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-26 15:47:14 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 272 seconds)
2025-06-26 15:47:15 +0200prdak1prdak
2025-06-26 15:57:11 +0200 <sshine> like knives.
2025-06-26 15:57:27 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-06-26 15:58:35 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 15:59:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-26 15:59:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-26 16:02:24 +0200Guest24(~Guest24@200.9.99.199) (Quit: Client closed)
2025-06-26 16:02:30 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-06-26 16:03:03 +0200Guest24(~Guest24@200.9.99.199)
2025-06-26 16:04:45 +0200caubert(~caubert@user/caubert) (Ping timeout: 244 seconds)
2025-06-26 16:14:34 +0200pointlessslippe1(~pointless@62.106.85.17) (Ping timeout: 260 seconds)
2025-06-26 16:14:52 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-06-26 16:16:33 +0200Guest24(~Guest24@200.9.99.199) (Ping timeout: 272 seconds)
2025-06-26 16:17:58 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-06-26 16:18:08 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 16:23:54 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-06-26 16:28:04 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 252 seconds)
2025-06-26 16:31:12 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 16:31:26 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 16:31:35 +0200Wygulmage(~Wygulmage@user/Wygulmage) Wygulmage
2025-06-26 16:33:37 +0200 <yin> i like knives
2025-06-26 16:33:45 +0200 <yin> i keep mine sharp
2025-06-26 16:33:50 +0200 <yin> i use them everyday
2025-06-26 16:34:25 +0200 <yin> you pick it up, you cut, you put it down
2025-06-26 16:34:46 +0200 <Wygulmage> I'm QuickChecking with an `Arbitrary` instance that generates arrays of tens of thousands of elements. `arbitrary` works great, but unless I define `shrink = shrinkNothing`, it generates gigabytes of smaller arrays until I exhaust memory. Is there a way to incrementally shrink?
2025-06-26 16:35:56 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 16:37:16 +0200 <Wygulmage> Or to limit the maximum number of shrinks? Or should I just define a shrink that shrinks faster (e.g. halving the arrays)?
2025-06-26 16:37:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-26 16:41:26 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 16:42:32 +0200soverysour(~soverysou@user/soverysour) soverysour
2025-06-26 16:46:48 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-06-26 16:47:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-26 16:48:35 +0200ski. o O ( (apropos mutable arrays) "QuickSort.hs" <https://paste.tomsmeding.com/dv49sfGH> )
2025-06-26 16:49:42 +0200 <Leary> Wygulmage: Perhaps you can import the `GHC.Arr` internals and shrink the maximum index instead? That should allow you to share the actual array data.
2025-06-26 16:50:44 +0200 <Leary> (if there's a `shrink` or `slice` function in the public interface somewhere, I couldn't find it)
2025-06-26 16:52:21 +0200 <Wygulmage> That's a good idea; thanks. I'd have to modify some tests. (They currently make sure that the size of the array is the size of the backing array, ironically to avoid memory leaks...)
2025-06-26 16:54:10 +0200pointlessslippe1(~pointless@62.106.85.17) (Ping timeout: 252 seconds)
2025-06-26 16:56:38 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2025-06-26 16:58:49 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-26 16:59:01 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-06-26 16:59:04 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 16:59:25 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-26 17:00:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-06-26 17:00:56 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 17:01:00 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) (Read error: Connection reset by peer)
2025-06-26 17:03:44 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-06-26 17:04:12 +0200 <EvanR> need a memory leak test for the memory leak test
2025-06-26 17:07:09 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-06-26 17:07:39 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-06-26 17:09:56 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-06-26 17:13:10 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-26 17:13:28 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-06-26 17:14:09 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2025-06-26 17:14:09 +0200ljdarj1ljdarj
2025-06-26 17:16:47 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-06-26 17:19:36 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 17:23:00 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 260 seconds)
2025-06-26 17:24:13 +0200oleg(~oleg@178.57.115.165) (Remote host closed the connection)
2025-06-26 17:24:29 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-06-26 17:26:45 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 268 seconds)
2025-06-26 17:27:54 +0200tremon(~tremon@83.80.159.219) tremon
2025-06-26 17:31:54 +0200califax(~califax@user/califx) califx
2025-06-26 17:32:00 +0200Guest24(~Guest24@200.89.69.135)
2025-06-26 17:32:37 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-26 17:33:54 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds)
2025-06-26 17:40:26 +0200Guest24(~Guest24@200.89.69.135) (Quit: Client closed)
2025-06-26 17:42:13 +0200Wygulmage(~Wygulmage@user/Wygulmage) (Quit: Client closed)
2025-06-26 17:43:54 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-06-26 17:44:01 +0200trickard_trickard
2025-06-26 17:47:30 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-06-26 17:52:25 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-06-26 17:59:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-26 18:02:09 +0200acidjnk_new(~acidjnk@p200300d6e70b6677c1dbc6461f2610c9.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-06-26 18:04:30 +0200acidjnk_new(~acidjnk@p200300d6e70b6686c029856d6c427a68.dip0.t-ipconnect.de) acidjnk
2025-06-26 18:05:56 +0200prdak1(~Thunderbi@user/prdak) prdak
2025-06-26 18:06:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-26 18:06:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-26 18:07:03 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2025-06-26 18:08:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-06-26 18:08:45 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-06-26 18:10:31 +0200prdak1(~Thunderbi@user/prdak) (Ping timeout: 265 seconds)
2025-06-26 18:12:53 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 244 seconds)
2025-06-26 18:13:23 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-26 18:14:26 +0200weary-traveler(~user@user/user363627) user363627
2025-06-26 18:15:02 +0200weary-traveler(~user@user/user363627) (Client Quit)
2025-06-26 18:15:21 +0200weary-traveler(~user@user/user363627) user363627
2025-06-26 18:15:57 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-26 18:18:22 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 276 seconds)
2025-06-26 18:20:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-06-26 18:20:56 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-26 18:22:21 +0200soverysour(~soverysou@user/soverysour) soverysour
2025-06-26 18:22:45 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-06-26 18:23:44 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-06-26 18:25:18 +0200califax(~califax@user/califx) califx
2025-06-26 18:26:28 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-06-26 18:26:37 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-06-26 18:27:28 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 276 seconds)
2025-06-26 18:27:43 +0200califax(~califax@user/califx) califx
2025-06-26 18:30:07 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-06-26 18:31:00 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-26 18:34:21 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 18:37:06 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-06-26 18:38:16 +0200califax(~califax@user/califx) califx
2025-06-26 18:39:31 +0200caubert(~caubert@user/caubert) (Ping timeout: 268 seconds)
2025-06-26 18:42:33 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-06-26 18:43:42 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-06-26 18:44:08 +0200califax(~califax@user/califx) califx
2025-06-26 18:52:49 +0200shaeto(~Shaeto@94.25.234.13) (Ping timeout: 276 seconds)
2025-06-26 18:54:02 +0200shaeto(~Shaeto@94.25.234.40)
2025-06-26 18:54:38 +0200califax_(~califax@user/califx) califx
2025-06-26 18:54:45 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-06-26 18:55:55 +0200 <sshine> sounds like memory re-use is advantageous for such large arrays
2025-06-26 18:55:56 +0200califax_califax
2025-06-26 18:59:31 +0200caubert(~caubert@user/caubert) caubert
2025-06-26 19:00:03 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-06-26 19:01:12 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-06-26 19:01:13 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-06-26 19:01:14 +0200gp88(~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 245 seconds)
2025-06-26 19:02:25 +0200califax(~califax@user/califx) califx
2025-06-26 19:15:58 +0200talismanick(~user@2601:644:937c:ed10::ae5) talismanick
2025-06-26 19:17:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn