2025-06-26 00:00:01 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-26 00:00:25 +0200 | califax | (~califax@user/califx) califx |
2025-06-26 00:02:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 00:07:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 00:08:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 00:12:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 00:13:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-06-26 00:18:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 00:19:43 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-06-26 00:20:59 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-06-26 00:22:16 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-06-26 00:22:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-06-26 00:23:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 00:23:42 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-26 00:26:25 +0200 | inline_ | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-26 00:26:35 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 00:28:09 +0200 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 265 seconds) |
2025-06-26 00:29:34 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
2025-06-26 00:29:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 00:35:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 00:37:44 +0200 | weary-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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-26 00:42:43 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-06-26 00:46:10 +0200 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
2025-06-26 00:47:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 00:48:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 00:49:05 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 00:51:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 00:53:43 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 00:56:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-26 00:57:10 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-26 00:59:01 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-26 00:59:33 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
2025-06-26 01:02:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-06-26 01:04:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-06-26 01:05:39 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 01:06:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 01:07:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 01:09:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 01:13:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-26 01:16:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-06-26 01:24:29 +0200 | Square | (~Square@user/square) Square |
2025-06-26 01:24:34 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-06-26 01:25:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 01:30:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-26 01:35:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 01:40:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 01:45:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-26 01:47:15 +0200 | yin | (~z@user/zero) (Quit: quit) |
2025-06-26 01:47:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 01:51:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 01:55:00 +0200 | yin | (~z@user/zero) zero |
2025-06-26 01:56:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 02:00:17 +0200 | yin | (~z@user/zero) (Quit: quit) |
2025-06-26 02:02:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 02:03:22 +0200 | acidjnk | (~acidjnk@p200300d6e70b66774dc61cafa8d9b5a9.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-06-26 02:05:02 +0200 | yin | (~z@user/zero) zero |
2025-06-26 02:12:06 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 02:14:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 02:18:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 02:19:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-26 02:23:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 02:25:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 02:29:29 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 02:29:44 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 02:29:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 02:29:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 02:34:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-26 02:35:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 02:38:21 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 02:38:29 +0200 | anselmschueler | (~Thunderbi@user/schuelermine) (Quit: anselmschueler) |
2025-06-26 02:42:24 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-26 02:42:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 02:43:27 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-26 02:45:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 02:51:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 02:52:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e48a:913:45b8:8077) (Ping timeout: 260 seconds) |
2025-06-26 02:53:56 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 02:54:43 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-06-26 02:55:08 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-26 02:56:25 +0200 | trickard_ | trickard |
2025-06-26 03:00:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 03:01:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 03:02:45 +0200 | k0zy | (~user@user/k0zy) (Remote host closed the connection) |
2025-06-26 03:02:58 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-06-26 03:03:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 03:04:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 03:07:14 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:4124:121a:2c49:df46) |
2025-06-26 03:08:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-26 03:08:43 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-06-26 03:09:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-06-26 03:13:29 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-06-26 03:15:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 03:15:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-26 03:18:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 03:23:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-26 03:34:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 03:35:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 03:36:09 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-26 03:38:41 +0200 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 244 seconds) |
2025-06-26 03:39:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 03:41:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 03:42:47 +0200 | adamCS | (~adamCS@70.19.85.77) adamCS |
2025-06-26 03:45:19 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
2025-06-26 03:46:55 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-06-26 03:47:40 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2025-06-26 03:47:54 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
2025-06-26 03:48:29 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-26 03:48:38 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 03:50:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-26 03:50:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-26 03:50:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 03:51:25 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-06-26 03:51:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 03:57:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-26 04:00:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 04:03:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 04:08:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 04:10:29 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-26 04:10:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 04:13:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-06-26 04:14:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 04:14:23 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-26 04:22:08 +0200 | tavare | (~tavare@150.129.88.189) |
2025-06-26 04:22:08 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
2025-06-26 04:22:08 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-06-26 04:23:20 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-06-26 04:24:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 04:26:30 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-26 04:27:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 04:28:41 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-26 04:29:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 04:33:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 04:36:22 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
2025-06-26 04:39:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 04:40:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 04:40:20 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-06-26 04:42:37 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 276 seconds) |
2025-06-26 04:42:57 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2025-06-26 04:43:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 04:44:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 04:55:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 04:56:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 04:58:09 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 04:59:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 05:01:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-06-26 05:01:14 +0200 | catties | Catty |
2025-06-26 05:03:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 05:03:33 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 05:04:19 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-06-26 05:05:08 +0200 | inline_ | inline |
2025-06-26 05:11:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 05:12:21 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 05:13:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 05:14:29 +0200 | aforemny | (~aforemny@i577B131D.versanet.de) (Ping timeout: 248 seconds) |
2025-06-26 05:15:00 +0200 | aforemny | (~aforemny@i577B13E4.versanet.de) aforemny |
2025-06-26 05:16:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 05:21:15 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-06-26 05:21:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 05:22:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 05:23:13 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 05:23:25 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 05:25:38 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 244 seconds) |
2025-06-26 05:26:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 05:27:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 05:27:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 05:30:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 05:30:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-26 05:33:59 +0200 | monochrom | (~trebla@216.138.220.146) |
2025-06-26 05:34:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-26 05:34:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-26 05:35:11 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-06-26 05:36:10 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 05:36:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-06-26 05:38:12 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-06-26 05:41:00 +0200 | img | (~img@user/img) img |
2025-06-26 05:44:39 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
2025-06-26 05:45:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 05:48:21 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 05:48:56 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 05:50:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 05:55:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 05:59:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 06:00:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 06:06:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 06:12:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 06:17:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-26 06:22:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 06:25:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
2025-06-26 06:25:57 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 06:27:36 +0200 | stilgart | (~Christoph@2001:41d0:2:8673::42) stilgart |
2025-06-26 06:28:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 06:29:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 06:30:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 06:30:35 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 06:31:32 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 06:32:11 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 06:33:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-06-26 06:35:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 06:35:48 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 06:39:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 06:43:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 06:44:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 06:46:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
2025-06-26 06:48:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 06:50:11 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 06:50:24 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 06:50:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-06-26 06:51:15 +0200 | michalz | (~michalz@185.246.207.205) |
2025-06-26 06:54:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 06:56:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 06:59:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 07:01:26 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-26 07:01:26 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-26 07:01:26 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-26 07:02:17 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 07:03:57 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 07:04:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-26 07:07:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 07:09:09 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
2025-06-26 07:10:45 +0200 | olivial_ | (~benjaminl@c-76-144-39-121.hsd1.or.comcast.net) |
2025-06-26 07:10:54 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
2025-06-26 07:15:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 07:22:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 07:35:31 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 07:35:44 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 07:35:59 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2025-06-26 07:38:15 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-26 07:44:38 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 07:47:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 07:50:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 07:53:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 07:54:05 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 07:58:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 08:03:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-26 08:03:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 08:05:32 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
2025-06-26 08:10:28 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-06-26 08:10:57 +0200 | dolio | (~dolio@130.44.140.168) (Ping timeout: 248 seconds) |
2025-06-26 08:11:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 08:13:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 08:13:39 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2025-06-26 08:18:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 08:20:06 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
2025-06-26 08:20:22 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 08:22:03 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 08:27:34 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-26 08:28:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 08:29:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 08:31:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-26 08:33:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-26 08:44:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 08:48:20 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-06-26 08:49:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-26 08:51:14 +0200 | ft | (~ft@p508db5d0.dip0.t-ipconnect.de) (Quit: leaving) |
2025-06-26 08:56:10 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-06-26 08:56:31 +0200 | califax | (~califax@user/califx) califx |
2025-06-26 08:59:46 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 09:00:00 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-26 09:00:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 09:00:40 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-26 09:01:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 09:02:40 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 09:05:08 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
2025-06-26 09:05:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-26 09:07:33 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
2025-06-26 09:07:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 09:11:13 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 09:14:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-26 09:20:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-26 09:22:22 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2025-06-26 09:22:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 09:24:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-06-26 09:25:08 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-26 09:26:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 09:29:48 +0200 | acidjnk | (~acidjnk@p200300d6e70b6677e5e5c38adebbce7d.dip0.t-ipconnect.de) acidjnk |
2025-06-26 09:33:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-26 09:35:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-26 09:38:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 09:39:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-26 09:43:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 09:47:37 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-26 09:49:31 +0200 | shaeto | (~Shaeto@94.25.234.13) |
2025-06-26 09:53:08 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-06-26 09:53:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-06-26 09:57:55 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-06-26 10:00:00 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
2025-06-26 10:00:39 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-26 10:03:13 +0200 | trickard_ | trickard |
2025-06-26 10:04:59 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-06-26 10:09:06 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 10:09:21 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 10:23:54 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
2025-06-26 10:30:35 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 272 seconds) |
2025-06-26 10:32:01 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
2025-06-26 10:33:50 +0200 | trickard_ | trickard |
2025-06-26 10:39:44 +0200 | oleg | (~oleg@178.57.115.165) |
2025-06-26 10:40:07 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 276 seconds) |
2025-06-26 10:44:57 +0200 | chele | (~chele@user/chele) chele |
2025-06-26 11:03:41 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
2025-06-26 11:09:41 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
2025-06-26 11:10:22 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 11:11:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 11:14:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 11:17:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-06-26 11:19:45 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 11:30:19 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 265 seconds) |
2025-06-26 11:31:21 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 11:31:43 +0200 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
2025-06-26 11:32:52 +0200 | Square | (~Square@user/square) Square |
2025-06-26 11:32:54 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 245 seconds) |
2025-06-26 11:34:56 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-26 11:34:56 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-26 11:34:56 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-26 11:35:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 11:38:22 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
2025-06-26 11:38:39 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
2025-06-26 11:38:39 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
2025-06-26 11:42:17 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 244 seconds) |
2025-06-26 11:43:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 11:44:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-06-26 11:45:55 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
2025-06-26 11:45:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 11:47:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 11:49:46 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-26 11:50:40 +0200 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline |
2025-06-26 11:51:59 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 11:55:22 +0200 | dhil | (~dhil@5.151.29.137) dhil |
2025-06-26 12:04:38 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-26 12:04:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-06-26 12:11:00 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 268 seconds) |
2025-06-26 12:12:13 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
2025-06-26 12:12:44 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-06-26 12:13:41 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 12:13:55 +0200 | trickard | (~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 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-06-26 12:20:37 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2025-06-26 12:20:40 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-06-26 12:24:37 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 12:25:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 12:26:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-26 12:29:09 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
2025-06-26 12:29:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 12:33:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2025-06-26 12:33:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-06-26 12:34:33 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 12:37:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 12:39:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-06-26 12:40:25 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
2025-06-26 12:40:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 12:41:52 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-06-26 12:47:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 12:48:53 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 12:49:05 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 12:58:35 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 13:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-26 13:02:12 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 13:02:22 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-26 13:03:14 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-06-26 13:05:34 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-06-26 13:12:20 +0200 | ski | . 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 +0200 | poxhell32 | (~poxhell@31.171.101.168) |
2025-06-26 13:13:19 +0200 | leah2 | (~leah@vuxu.org) (Remote host closed the connection) |
2025-06-26 13:15:47 +0200 | leah2 | (~leah@vuxu.org) leah2 |
2025-06-26 13:18:35 +0200 | poxhell32 | (~poxhell@31.171.101.168) (Ping timeout: 272 seconds) |
2025-06-26 13:18:47 +0200 | leah2 | (~leah@vuxu.org) (Client Quit) |
2025-06-26 13:23:26 +0200 | xff0x | (~xff0x@ai083248.d.east.v6connect.net) |
2025-06-26 13:23:31 +0200 | leah2 | (~leah@vuxu.org) leah2 |
2025-06-26 13:25:54 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 13:26:17 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 13:28:08 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 13:29:01 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-26 13:29:56 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 13:30:52 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 13:33:08 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 13:33:14 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-06-26 13:36:33 +0200 | trickard_ | (~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 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 13:40:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 13:40:57 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 13:41:22 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 13:42:21 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Remote host closed the connection) |
2025-06-26 13:42:41 +0200 | gp88 | (~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 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-06-26 13:45:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 13:46:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 13:47:06 +0200 | trickard_ | (~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 +0200 | tmciver | (~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 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 13:52:19 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 13:52:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-26 13:52:37 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
2025-06-26 13:52:37 +0200 | j1n37 | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-26 13:55:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 13:56:05 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-06-26 13:56:35 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 13:57:27 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 13:59:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 14:01:36 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 265 seconds) |
2025-06-26 14:03:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 14:07:04 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b6677c1dbc6461f2610c9.dip0.t-ipconnect.de) acidjnk |
2025-06-26 14:08:54 +0200 | acidjnk | (~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 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2025-06-26 14:21:41 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-06-26 14:21:59 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-06-26 14:26:11 +0200 | Vajb | (~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi) (Ping timeout: 272 seconds) |
2025-06-26 14:27:55 +0200 | tabemann_ | tabemann |
2025-06-26 14:31:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 14:32:39 +0200 | trickard_ | 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 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 14:37:45 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-26 14:37:45 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-26 14:37:45 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-26 14:38:25 +0200 | Guest5 | (~Guest5@202.142.52.7) |
2025-06-26 14:38:39 +0200 | jespada | (~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 +0200 | Frostillicus | (~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 +0200 | j1n37 | (~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 +0200 | j1n37 | (~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 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 14:50:49 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-06-26 14:51:15 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 14:54:50 +0200 | j1n37 | (~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 +0200 | Guest5 | (~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 +0200 | caubert | (~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 +0200 | j1n37 | (~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 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-26 15:08:01 +0200 | trickard_ | trickard |
2025-06-26 15:08:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-26 15:09:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-26 15:13:48 +0200 | puke | (~puke@user/puke) (Quit: puke) |
2025-06-26 15:15:02 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 15:15:44 +0200 | puke | (~puke@user/puke) puke |
2025-06-26 15:19:03 +0200 | <yin> | computers were a mistake |
2025-06-26 15:21:21 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
2025-06-26 15:23:00 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-26 15:27:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-26 15:27:54 +0200 | dhil | (~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 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-06-26 15:32:44 +0200 | Guest24 | (~Guest24@200.9.99.199) |
2025-06-26 15:33:11 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-06-26 15:33:40 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6449:d86a:985:30f0) |
2025-06-26 15:34:41 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-06-26 15:37:26 +0200 | Guest24 | (~Guest24@200.9.99.199) (Client Quit) |
2025-06-26 15:37:41 +0200 | Guest24 | (~Guest24@200.9.99.199) |
2025-06-26 15:38:55 +0200 | Kamuela | (sid111576@tinside.irccloud.com) (Ping timeout: 244 seconds) |
2025-06-26 15:40:07 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) Kamuela |
2025-06-26 15:42:48 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
2025-06-26 15:43:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-26 15:47:14 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 272 seconds) |
2025-06-26 15:47:15 +0200 | prdak1 | prdak |
2025-06-26 15:57:11 +0200 | <sshine> | like knives. |
2025-06-26 15:57:27 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-06-26 15:58:35 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 15:59:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-26 15:59:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-26 16:02:24 +0200 | Guest24 | (~Guest24@200.9.99.199) (Quit: Client closed) |
2025-06-26 16:02:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-06-26 16:03:03 +0200 | Guest24 | (~Guest24@200.9.99.199) |
2025-06-26 16:04:45 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
2025-06-26 16:14:34 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 260 seconds) |
2025-06-26 16:14:52 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-26 16:16:33 +0200 | Guest24 | (~Guest24@200.9.99.199) (Ping timeout: 272 seconds) |
2025-06-26 16:17:58 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-06-26 16:18:08 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 16:23:54 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
2025-06-26 16:28:04 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2025-06-26 16:31:12 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 16:31:26 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 16:31:35 +0200 | Wygulmage | (~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 +0200 | trickard_ | (~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 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-26 16:41:26 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 16:42:32 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-26 16:46:48 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-06-26 16:47:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-26 16:48:35 +0200 | ski | . 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 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 252 seconds) |
2025-06-26 16:56:38 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
2025-06-26 16:58:49 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-26 16:59:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-06-26 16:59:04 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 16:59:25 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-26 17:00:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-06-26 17:00:56 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-26 17:01:00 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Read error: Connection reset by peer) |
2025-06-26 17:03:44 +0200 | trickard_ | (~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 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-06-26 17:07:39 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-06-26 17:09:56 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-26 17:13:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-26 17:13:28 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-26 17:14:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
2025-06-26 17:14:09 +0200 | ljdarj1 | ljdarj |
2025-06-26 17:16:47 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-06-26 17:19:36 +0200 | caubert | (~caubert@user/caubert) caubert |