| 2025-09-10 00:06:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 00:09:19 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-09-10 00:10:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-10 00:11:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-10 00:12:49 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4ff2:f904:88e:6936) |
| 2025-09-10 00:22:24 +0000 | otto_s | (~user@p4ff27081.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-09-10 00:22:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 00:24:45 +0000 | user0 | (~user0@67.161.181.189) |
| 2025-09-10 00:25:33 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 00:28:33 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 00:28:38 +0000 | jreicher | (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-09-10 00:29:02 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 00:29:21 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-10 00:29:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 00:32:19 +0000 | otto_s | (~user@p5b0442fa.dip0.t-ipconnect.de) |
| 2025-09-10 00:35:27 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4ff2:f904:88e:6936) (Ping timeout: 265 seconds) |
| 2025-09-10 00:36:54 +0000 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-10 00:37:41 +0000 | xff0x | (~xff0x@ai080027.d.east.v6connect.net) |
| 2025-09-10 00:38:16 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
| 2025-09-10 00:40:29 +0000 | Square2 | (~Square@user/square) Square |
| 2025-09-10 00:40:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 00:41:11 +0000 | sayola | (~sayola@ipservice-092-208-226-093.092.208.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-09-10 00:41:16 +0000 | a_fantom | (~fantom@90.244.128.25) (Ping timeout: 258 seconds) |
| 2025-09-10 00:42:25 +0000 | xff0x | (~xff0x@ai080027.d.east.v6connect.net) (Ping timeout: 258 seconds) |
| 2025-09-10 00:44:28 +0000 | rvalue- | rvalue |
| 2025-09-10 00:45:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 00:48:23 +0000 | user0 | (~user0@67.161.181.189) (Ping timeout: 260 seconds) |
| 2025-09-10 00:56:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 00:56:24 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 248 seconds) |
| 2025-09-10 00:57:41 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 00:57:51 +0000 | trickard___ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-10 00:58:04 +0000 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-10 01:01:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 01:01:44 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-10 01:02:27 +0000 | FANTOM | (~fantom@90.244.165.186) |
| 2025-09-10 01:04:05 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: leaving) |
| 2025-09-10 01:04:28 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-09-10 01:11:30 +0000 | user0 | (~user0@67.161.181.189) |
| 2025-09-10 01:12:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 01:15:35 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 01:15:36 +0000 | Googulator62 | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 01:16:14 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-10 01:16:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 01:20:12 +0000 | user0 | (~user0@67.161.181.189) (Ping timeout: 256 seconds) |
| 2025-09-10 01:24:38 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 01:25:25 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-09-10 01:25:55 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-09-10 01:27:48 +0000 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-09-10 01:27:50 +0000 | davidlbowman | (~dlb@user/davidlbowman) (Client Quit) |
| 2025-09-10 01:27:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 01:29:29 +0000 | Googulator62 | Googulator |
| 2025-09-10 01:31:41 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-10 01:32:08 +0000 | jreicher | (~user@user/jreicher) (Ping timeout: 260 seconds) |
| 2025-09-10 01:32:53 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-10 01:33:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 01:33:19 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-09-10 01:38:47 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-10 01:41:53 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-10 01:41:56 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-10 01:43:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 01:48:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 01:49:53 +0000 | jespada | (~jespada@r179-25-156-56.dialup.adsl.anteldata.net.uy) (Ping timeout: 258 seconds) |
| 2025-09-10 01:50:23 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-10 01:51:48 +0000 | jespada | (~jespada@r179-25-67-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-09-10 01:55:40 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 01:55:54 +0000 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-09-10 01:58:10 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 256 seconds) |
| 2025-09-10 01:59:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 02:06:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 02:06:57 +0000 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-09-10 02:12:15 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-09-10 02:17:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 02:22:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 02:33:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 02:37:55 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2025-09-10 02:38:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 02:49:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 02:53:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 03:04:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 03:09:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 03:13:04 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-09-10 03:17:15 +0000 | aforemny | (~aforemny@i59F4C7D6.versanet.de) aforemny |
| 2025-09-10 03:17:33 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-10 03:18:49 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc2:7500:64be:24c3:6006:d7a3) (Ping timeout: 265 seconds) |
| 2025-09-10 03:20:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 03:22:57 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-10 03:26:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 03:35:38 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-09-10 03:36:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 03:43:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 03:50:47 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-10 03:53:33 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 03:54:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 03:57:55 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 03:59:21 +0000 | koz | (~koz@121.99.240.58) |
| 2025-09-10 03:59:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 04:08:39 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 258 seconds) |
| 2025-09-10 04:09:31 +0000 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-10 04:10:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 04:11:06 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-09-10 04:12:03 +0000 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-10 04:15:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 04:17:12 +0000 | michalz | (~michalz@185.246.207.200) |
| 2025-09-10 04:26:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 04:31:06 +0000 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 244 seconds) |
| 2025-09-10 04:31:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 04:32:03 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2025-09-10 04:32:29 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) b20n |
| 2025-09-10 04:32:39 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 04:32:39 +0000 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 04:32:51 +0000 | potato44 | (uid421314@id-421314.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2025-09-10 04:32:51 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 250 seconds) |
| 2025-09-10 04:33:10 +0000 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 04:33:10 +0000 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 04:33:21 +0000 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-09-10 04:33:30 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2025-09-10 04:33:41 +0000 | bw | (sid2730@user/betawaffle) (Ping timeout: 244 seconds) |
| 2025-09-10 04:33:41 +0000 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 04:33:41 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-09-10 04:34:02 +0000 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2025-09-10 04:34:19 +0000 | potato44 | (uid421314@id-421314.lymington.irccloud.com) potato44 |
| 2025-09-10 04:34:43 +0000 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) S11001001 |
| 2025-09-10 04:34:58 +0000 | bw | (sid2730@user/betawaffle) betawaffle |
| 2025-09-10 04:35:03 +0000 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) coldmountain |
| 2025-09-10 04:35:20 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) NiKaN |
| 2025-09-10 04:35:29 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 2025-09-10 04:35:42 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 04:36:07 +0000 | tapas | (sid467876@id-467876.ilkley.irccloud.com) tapas |
| 2025-09-10 04:36:21 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2025-09-10 04:41:27 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 04:41:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 04:45:49 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-09-10 04:46:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-10 04:49:06 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-10 04:57:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 04:58:33 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-10 05:02:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 05:21:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 05:22:25 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-09-10 05:28:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 05:30:28 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-10 05:32:46 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-10 05:35:51 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 05:40:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 05:41:30 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-09-10 05:45:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 05:48:08 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-10 05:48:31 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 05:55:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 05:57:28 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 05:57:39 +0000 | trickard_ | trickard |
| 2025-09-10 06:00:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 06:04:02 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 06:11:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 06:16:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-10 06:17:24 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 06:26:50 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 244 seconds) |
| 2025-09-10 06:32:20 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 06:34:05 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Client Quit) |
| 2025-09-10 06:34:13 +0000 | fp1 | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 06:36:34 +0000 | fp1 | fp |
| 2025-09-10 06:52:15 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-10 06:52:43 +0000 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-10 07:00:00 +0000 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-10 07:00:40 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-09-10 07:03:52 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 248 seconds) |
| 2025-09-10 07:05:05 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-10 07:06:21 +0000 | img | (~img@user/img) img |
| 2025-09-10 07:06:41 +0000 | img | (~img@user/img) (Remote host closed the connection) |
| 2025-09-10 07:07:49 +0000 | acidjnk | (~acidjnk@p200300d6e7171978f1deda3d99afd1a1.dip0.t-ipconnect.de) acidjnk |
| 2025-09-10 07:08:04 +0000 | img | (~img@user/img) img |
| 2025-09-10 07:09:37 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-10 07:10:37 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2025-09-10 07:19:15 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-10 07:24:09 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 07:26:45 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-10 07:35:26 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 07:42:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-10 07:46:52 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-09-10 07:48:20 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-10 07:50:44 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 07:52:34 +0000 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-10 07:53:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-10 08:04:05 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Quit: fp) |
| 2025-09-10 08:04:18 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 08:12:29 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-10 08:13:30 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-10 08:21:23 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 265 seconds) |
| 2025-09-10 08:24:29 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-09-10 08:25:21 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-10 08:26:05 +0000 | Square3 | (~Square4@user/square) Square |
| 2025-09-10 08:31:36 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-10 08:31:37 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-10 08:31:37 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-09-10 08:40:39 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 08:59:05 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-10 09:00:45 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-10 09:02:14 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-10 09:03:00 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-09-10 09:03:37 +0000 | <kqr> | If anyone still is curious about the problem I had with cabal build --enable-profiling complaining about parallel not being installed with profiling: seems like that library was installed as a system package. On Fedora i could `dnf install ghc-parallel-prof` to solve the problem. Fortunately that was the only library with this problem! |
| 2025-09-10 09:06:30 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-10 09:06:35 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 248 seconds) |
| 2025-09-10 09:07:03 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-10 09:13:39 +0000 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-09-10 09:14:02 +0000 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-10 09:16:01 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) fp |
| 2025-09-10 09:16:58 +0000 | AlexZenon | (~alzenon@178.34.162.29) (Ping timeout: 265 seconds) |
| 2025-09-10 09:18:27 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-10 09:19:22 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-10 09:21:03 +0000 | <Leary> | kqr: I suspect you really want `package-dbs: clear` in `cabal.project.local` instead, so that unrelated global installs don't interfere with your build in the first place. |
| 2025-09-10 09:24:59 +0000 | AlexZenon | (~alzenon@178.34.162.29) |
| 2025-09-10 09:32:59 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-10 09:42:09 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-09-10 09:49:32 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-10 09:50:02 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-10 09:56:10 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 09:59:48 +0000 | <kqr> | That sounds much better, yes. |
| 2025-09-10 10:18:13 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 250 seconds) |
| 2025-09-10 10:20:11 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-09-10 10:21:09 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-10 10:33:35 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-10 10:37:15 +0000 | <dminuoso> | kaol: Can you make a fully self contained minimal example program that I can just `cabal run`? |
| 2025-09-10 10:37:54 +0000 | <dminuoso> | I'm fully convinced that any latin 1 decoding cannot happen on JSON with servant-client alone. |
| 2025-09-10 10:38:06 +0000 | <dminuoso> | Maybe its your FromJSON instance that is borked? |
| 2025-09-10 10:39:30 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-10 10:44:39 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-10 10:50:00 +0000 | inline | (~inline@ip-005-146-196-246.um05.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
| 2025-09-10 10:51:25 +0000 | Axma39609 | (~Axman6@user/axman6) Axman6 |
| 2025-09-10 10:52:56 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-10 10:53:21 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-10 10:54:21 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 252 seconds) |
| 2025-09-10 10:55:49 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 10:58:31 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-10 11:00:27 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-09-10 11:01:03 +0000 | sttau | (~sttau@user/sttau) sttau |
| 2025-09-10 11:02:51 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 11:04:52 +0000 | <kqr> | I must be missing something dumb here. Why does the MonadRandom typeclass not have a function `liftRandom :: g -> (a, g)`? Seems like something that'd be supported by anything that can do the other things MonadRandom does. |
| 2025-09-10 11:05:23 +0000 | <kqr> | (I know the RandT transformer has that function, but I'd like the implementor to choose whether to draw random numbers from RandT or IO.) |
| 2025-09-10 11:06:34 +0000 | <kqr> | Uh, that would be `liftRandom :: (g -> (a, g)) -> MonadRandom a` or something, I suppose. Maybe that's the problem – we don't know what g is. But then why does not MonadSplit have that function? |
| 2025-09-10 11:08:26 +0000 | <kqr> | Backing up a little, I want to use List.Shuffle.shuffle because it looks well written, but I don't want to tie it to RandT or the like. |
| 2025-09-10 11:08:53 +0000 | <dminuoso> | kqr: Hold on, liftRandT is a thing. |
| 2025-09-10 11:09:03 +0000 | <kaol> | dminuoso: Unlikely, I don't think I can do it without running it on a browser. |
| 2025-09-10 11:09:45 +0000 | <kqr> | dminuoso, Yeah, but it lifts it into a RandT specifically, and I would like the option to use it in an IO context also. |
| 2025-09-10 11:11:33 +0000 | <dminuoso> | kqr: A `MonadRandom IO` instance exists, what do you nneed? |
| 2025-09-10 11:12:03 +0000 | <kaol> | Though I think the AJAX call can be dropped if I take the offending JSString just by grabbing it from the DOM tree or something like that. |
| 2025-09-10 11:12:09 +0000 | <dminuoso> | Hold on Im confusing things |
| 2025-09-10 11:12:52 +0000 | <dminuoso> | kqr: Lets untwine this: You can use `runRand` in IO just fine |
| 2025-09-10 11:13:16 +0000 | <dminuoso> | Similarly, `instance MonadRandom IO` is also a thing |
| 2025-09-10 11:13:27 +0000 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-10 11:14:13 +0000 | <dminuoso> | kqr: `Rand` is basically a pure monad for you to get random effects with. RandT exists so you can layer it into other monads if you like. |
| 2025-09-10 11:14:27 +0000 | <dminuoso> | But for convenience you can also just use IO directly. |
| 2025-09-10 11:14:38 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 11:15:42 +0000 | <dminuoso> | And for convenience in arbitrary transformer stacks you can use `randomIO :: (Random a, MonadIO m) => m a` |
| 2025-09-10 11:15:58 +0000 | <dminuoso> | What are you missing exactly? |
| 2025-09-10 11:17:08 +0000 | <kqr> | Backing up further, I want to compare the performance of using the RandT transformer layered on top of IO to drawing numbers in IO directly. |
| 2025-09-10 11:18:45 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 2025-09-10 11:19:48 +0000 | <kqr> | Thus I'd like to create a `shuffle :: MonadRandom m => [a] -> m [a]` to be used both from within a RandT stack and directly from IO. However, with the given tools I can only create `shuffle :: RandomGen g => [a] -> Rand g [a]` which can only be used in IO by running it with evalRandIO which goes through StateT in the end. |
| 2025-09-10 11:19:56 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c68c:683e:9c65:6f0a) |
| 2025-09-10 11:23:16 +0000 | <dminuoso> | kqr: Like I said, `MonadRandom IO` exists |
| 2025-09-10 11:23:47 +0000 | <dminuoso> | So you can use `shuffle` in IO just the same as you would with RandT. |
| 2025-09-10 11:25:45 +0000 | <kqr> | Well, I certainly am missing something dumb here. The function I import is `List.Shuffle.shuffle :: RandomGen g => [a] -> g -> ([a], g)`. How would I turn that into `shuffle' :: MonadRandom m => [a] -> m [a]`? |
| 2025-09-10 11:26:12 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-09-10 11:27:24 +0000 | <dminuoso> | kqr: These are different interfaces. |
| 2025-09-10 11:28:41 +0000 | <kqr> | Yes, and I wished to convert one into the other, but I'm starting to sense that it might not be possible, and the solution would have be `shuffle' :: (RandomGen g, MonadSplit g m) => [a] -> m [a]` |
| 2025-09-10 11:28:59 +0000 | <dminuoso> | Well Im not entirely sure what you mean by converting RandomGen into MonadRandom. |
| 2025-09-10 11:29:17 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2025-09-10 11:29:28 +0000 | <dminuoso> | RandomGen is for sequential pseudorandom number generators. |
| 2025-09-10 11:29:45 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-09-10 11:32:23 +0000 | <kqr> | I feel like anything that is an instance of MonadRandom ought to be able to take a function of the shape `RandomGen g => g -> (a, g)` and produce an a, i.e. there ought to be a function in `MonadRandom m` that is `liftRandom :: RandomGen g => (g -> (a, g)) -> m a`. |
| 2025-09-10 11:34:05 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 11:39:20 +0000 | <kqr> | But I think my misunderstanding is in believing instances of MonadRandom have to be able to expose their generator. Turns out they do not. And there's no typeclass for those instances that do, beyond MonadSplit which is even more restricted. |
| 2025-09-10 11:43:29 +0000 | <dminuoso> | kqr: They are kind of orthotonal interfaces. |
| 2025-09-10 11:46:46 +0000 | <dminuoso> | kqr: And more to the point, MonadRandom IO is not even implemented using RandomGen. |
| 2025-09-10 11:47:02 +0000 | <dminuoso> | It uses `randomIO` from the `random` package (I dont even know why) |
| 2025-09-10 11:47:25 +0000 | <dminuoso> | Which ultimately uses `https://hackage-content.haskell.org/package/random-1.3.1/docs/src/System.Random.Internal.html#theS…` |
| 2025-09-10 11:48:34 +0000 | <dminuoso> | And since theStdGen is exported in that module, you can - if you want - access that for purpose of testing. |
| 2025-09-10 11:49:25 +0000 | <dminuoso> | Oh wait, I missed a key detail. That is a plain RandomGEn |
| 2025-09-10 11:50:02 +0000 | <dminuoso> | kqr: So you could think of `MonadRandom` as a kind of `State StdGen` maybe. |
| 2025-09-10 11:51:04 +0000 | merijn | (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2025-09-10 11:51:47 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-09-10 11:52:26 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-10 11:57:44 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-09-10 11:59:36 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-10 12:02:08 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-10 12:02:27 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 12:02:47 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-10 12:03:54 +0000 | <kqr> | That's my intuition too, but since MonadRandom does not expose any way to get the StdGen, a function like shuffle cannot be lifted into a MonadRandom operation. |
| 2025-09-10 12:04:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-10 12:07:03 +0000 | tv | (~tv@user/tv) tv |
| 2025-09-10 12:07:15 +0000 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-10 12:09:02 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-10 12:09:41 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Quit: fp) |
| 2025-09-10 12:09:45 +0000 | fp1 | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 12:10:02 +0000 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-10 12:10:19 +0000 | raym | (~ray@user/raym) (Ping timeout: 260 seconds) |
| 2025-09-10 12:11:36 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-09-10 12:12:03 +0000 | fp1 | fp |
| 2025-09-10 12:14:54 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-10 12:15:52 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 12:24:46 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 12:32:07 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 250 seconds) |
| 2025-09-10 12:33:56 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Quit: fp) |
| 2025-09-10 12:34:04 +0000 | fp1 | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 12:36:22 +0000 | fp1 | fp |
| 2025-09-10 12:49:07 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 13:06:41 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-09-10 13:14:57 +0000 | <kqr> | Unrelated to the above: I have a list of things where I want to occasionally perform the query listWithout :: Eq a => [a] -> a -> Maybe [a] which is Nothing if the element does not exist in the list, or Just xs-wihtout-element if the element did exist. This is obviously a Set, except the list can and is allowed to contain duplicates (and in that case only one of the element should be removed). |
| 2025-09-10 13:15:00 +0000 | <kqr> | What would be the most efficient way to store this list? Asking because profiling indicates that "list-except-element" query is where my program spends nearly 20 % of its time. I have already optimised it to be tail-recursive and perform a single iteration through the list, but it's still slow. |
| 2025-09-10 13:15:15 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-09-10 13:16:23 +0000 | <kqr> | I imagine a Map element Int would do it, where the Int records the number of instances of the element, but I'm also worried that might be a lot of overhead compared to a list. (In this case, the list is usually fairly short (< 10 items) and probably rarely contains more than three duplicates.) |
| 2025-09-10 13:17:02 +0000 | dfg | (~dfg@user/dfg) (Ping timeout: 260 seconds) |
| 2025-09-10 13:17:34 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-10 13:18:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-10 13:23:20 +0000 | dfg | (~dfg@dfg.rocks) |
| 2025-09-10 13:23:20 +0000 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2025-09-10 13:23:20 +0000 | dfg | (~dfg@user/dfg) dfg |
| 2025-09-10 13:23:48 +0000 | califax_ | (~califax@user/califx) califx |
| 2025-09-10 13:24:12 +0000 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-09-10 13:25:05 +0000 | califax_ | califax |
| 2025-09-10 13:26:25 +0000 | <haskellbridge> | <sm> kqr I thought of a Map also. I think it's worth a try, often Map has been used in optimisations |
| 2025-09-10 13:26:44 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-09-10 13:27:00 +0000 | <haskellbridge> | <sm> some kind of map |
| 2025-09-10 13:27:47 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 2025-09-10 13:31:50 +0000 | <kqr> | I'll give it a shot. Going to take some refactoring but I'd probably need to do that at some point anyway. |
| 2025-09-10 13:37:35 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-10 13:41:04 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-09-10 13:41:18 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Client Quit) |
| 2025-09-10 13:42:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 13:48:20 +0000 | BLade_X123 | (~manju@user/BLade-X123:75192) BLade_X123 |
| 2025-09-10 13:48:38 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 13:49:37 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 248 seconds) |
| 2025-09-10 13:50:21 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) fp |
| 2025-09-10 13:51:20 +0000 | BLade_X123 | (~manju@user/BLade-X123:75192) (Quit: Leaving) |
| 2025-09-10 13:51:57 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-09-10 13:55:28 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 13:58:03 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-10 13:58:20 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 13:58:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-10 13:58:41 +0000 | jespada | (~jespada@r179-25-67-56.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-09-10 14:01:47 +0000 | jespada | (~jespada@r190-135-93-147.dialup.adsl.anteldata.net.uy) jespada |
| 2025-09-10 14:02:07 +0000 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-10 14:20:37 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-09-10 14:23:40 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-09-10 14:24:17 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-10 14:29:09 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 260 seconds) |
| 2025-09-10 14:31:00 +0000 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-09-10 14:42:55 +0000 | <merijn> | kqr: How static are these lists? |
| 2025-09-10 14:43:49 +0000 | <EvanR> | how large are these lists |
| 2025-09-10 14:44:12 +0000 | <EvanR> | 10 items at most, yeah Map representing the histogram will have overhead |
| 2025-09-10 14:44:26 +0000 | <merijn> | I was more thinking: If you |
| 2025-09-10 14:44:42 +0000 | <merijn> | If you're spending so much time on them, do you not wanna switch to Vector or something |
| 2025-09-10 14:44:58 +0000 | <merijn> | You're gonna waste a lot of time pointer changing with a list |
| 2025-09-10 14:45:04 +0000 | <merijn> | *chasing |
| 2025-09-10 14:45:37 +0000 | <EvanR> | what's the distribution of importance placed on all the tasks the data structure does, assuming it does something else but track the population |
| 2025-09-10 14:45:47 +0000 | ruvam | (~ruvam@user/ruvam) (Ping timeout: 248 seconds) |
| 2025-09-10 14:46:22 +0000 | <EvanR> | would be a serious question if performance is important |
| 2025-09-10 14:47:51 +0000 | <EvanR> | a vector of the populations of fixed categories could be a big impovement |
| 2025-09-10 14:48:29 +0000 | ruvam | (~ruvam@user/ruvam) ruvam |
| 2025-09-10 14:48:40 +0000 | <merijn> | Vector won't help if you have to convert when querying "list without". But iff it makes sense to swap to Vector globally in the program that might help substantially |
| 2025-09-10 14:48:57 +0000 | <EvanR> | "list without" would be, zero out that category |
| 2025-09-10 14:49:09 +0000 | <EvanR> | "list" without |
| 2025-09-10 14:49:23 +0000 | <merijn> | Or just Vector.filter or something |
| 2025-09-10 14:49:37 +0000 | <merijn> | For vectors of size 10 the traversal costs are pretty small |
| 2025-09-10 14:49:49 +0000 | <EvanR> | I'm just fantasizing that population count is all that matters |
| 2025-09-10 14:50:37 +0000 | <EvanR> | real world use case, your characters inventory is always sorted |
| 2025-09-10 14:50:43 +0000 | <__monty__> | EvanR: Rather than zeroing out it'd be decrementing the count according to their spec. |
| 2025-09-10 14:50:44 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-09-10 14:50:46 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 14:51:05 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 14:51:14 +0000 | <EvanR> | you think listWithout x would return a "list" that still has x, just fewer? |
| 2025-09-10 14:51:23 +0000 | user0 | (~user0@67.161.181.189) |
| 2025-09-10 14:51:42 +0000 | qqe | (~qqq@185.54.23.136) (Read error: Connection reset by peer) |
| 2025-09-10 14:52:05 +0000 | <__monty__> | That's what they said re duplicates. |
| 2025-09-10 14:52:27 +0000 | <EvanR> | I see that. Confusing naming then |
| 2025-09-10 14:56:24 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-10 15:12:18 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-09-10 15:14:03 +0000 | qqe | (~qqq@185.54.23.136) |
| 2025-09-10 15:14:20 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-09-10 15:17:32 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-10 15:22:50 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-10 15:23:04 +0000 | fp | (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 248 seconds) |
| 2025-09-10 15:31:59 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-10 15:42:09 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-09-10 15:42:23 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 15:46:12 +0000 | Everything | (~Everythin@178.137.93.79) Everything |
| 2025-09-10 15:46:25 +0000 | <kaotica> | /close |
| 2025-09-10 15:46:37 +0000 | kaotica | (~user@user/d4q) (leaving) |
| 2025-09-10 15:46:42 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 15:49:36 +0000 | inline | (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) Inline |
| 2025-09-10 15:50:03 +0000 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-09-10 15:57:06 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-10 16:02:43 +0000 | <dminuoso> | kqr: Well I mean if you want to hack around, nothing stops you from touching theStdGen manually. :-) |
| 2025-09-10 16:03:54 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-10 16:04:12 +0000 | <dminuoso> | kqr: Also regarding the list problem, what merijn said. Never underestimate the power of linear memory access in the presence of strided prefetchers. :-) |
| 2025-09-10 16:04:36 +0000 | ubert | (~Thunderbi@77.119.163.183.wireless.dyn.drei.com) ubert |
| 2025-09-10 16:04:53 +0000 | user0 | (~user0@67.161.181.189) (Ping timeout: 250 seconds) |
| 2025-09-10 16:05:16 +0000 | <dminuoso> | Even if you go into a hundred elements, chances are its still faster than indirection in the average case. |
| 2025-09-10 16:05:52 +0000 | ubert1 | (~Thunderbi@178.165.161.196.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2025-09-10 16:06:10 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 16:06:24 +0000 | <dminuoso> | Linear memory access is just stupid fast. |
| 2025-09-10 16:07:27 +0000 | ubert1 | (~Thunderbi@178.165.191.145.wireless.dyn.drei.com) ubert |
| 2025-09-10 16:08:56 +0000 | ubert | (~Thunderbi@77.119.163.183.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2025-09-10 16:08:56 +0000 | ubert1 | ubert |
| 2025-09-10 16:09:04 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-10 16:10:31 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-10 16:13:35 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 16:15:23 +0000 | ubert | (~Thunderbi@178.165.191.145.wireless.dyn.drei.com) (Quit: ubert) |
| 2025-09-10 16:21:12 +0000 | jreicher | (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-09-10 16:21:30 +0000 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-10 16:27:20 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-09-10 16:42:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 16:45:09 +0000 | qqe | (~qqq@185.54.23.136) (Remote host closed the connection) |
| 2025-09-10 16:46:47 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 16:47:02 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 16:47:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 16:49:34 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 258 seconds) |
| 2025-09-10 16:50:45 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2025-09-10 16:51:44 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-09-10 16:53:54 +0000 | <EvanR> | just wait until they invent isolinear memory |
| 2025-09-10 16:58:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 16:58:36 +0000 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 256 seconds) |
| 2025-09-10 17:00:11 +0000 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-09-10 17:03:30 +0000 | Alleria_ | (~Alleria@user/alleria) Alleria |
| 2025-09-10 17:04:01 +0000 | user0 | (~user0@67.161.181.189) |
| 2025-09-10 17:05:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-10 17:06:32 +0000 | Alleria | (~Alleria@user/alleria) (Ping timeout: 256 seconds) |
| 2025-09-10 17:07:30 +0000 | biberao | (~m@user/biberao) biberao |
| 2025-09-10 17:12:03 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Ping timeout: 250 seconds) |
| 2025-09-10 17:16:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 17:18:28 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Quit: Quit) |
| 2025-09-10 17:18:50 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 17:22:50 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-10 17:23:23 +0000 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
| 2025-09-10 17:24:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 17:33:01 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-09-10 17:35:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 17:39:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 17:44:30 +0000 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-10 17:49:13 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-09-10 17:50:44 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-09-10 17:50:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 17:51:11 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 17:55:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 17:55:50 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 2025-09-10 17:58:05 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-09-10 17:59:43 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-09-10 18:04:30 +0000 | <dminuoso> | EvanR: Oh that already exists. It's called a blackhole! |
| 2025-09-10 18:06:13 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) |
| 2025-09-10 18:06:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 18:10:33 +0000 | <kqr> | I have converted to MultiSet (which is effectively a strict Map a Int) now, which didn't turn out that great in terms of performance. Slightly slower than lists. (Understandable – the sets have to be rebuilt relatively often and they are very small.) Vectors are the next step! Then if that doesn't work, I'm tempted to encode the element types as integers instead of records of sum type fields. |
| 2025-09-10 18:11:10 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-09-10 18:11:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 18:11:46 +0000 | Everything | (~Everythin@178.137.93.79) (Read error: Connection reset by peer) |
| 2025-09-10 18:14:42 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-10 18:17:14 +0000 | Everything | (~Everythin@217.147.163.184) Everything |
| 2025-09-10 18:18:13 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-09-10 18:20:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 18:21:02 +0000 | <monochrom> | I would expect lists to be slower when they get very long. |
| 2025-09-10 18:24:30 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-10 18:24:37 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-10 18:24:40 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-10 18:25:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 18:25:41 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-09-10 18:33:45 +0000 | <kqr> | The thing this is storing are hands in a card game, and the players' rarely have more than 15 or so cards – and more commonly around 6 or so. (The query of "get the list except one element" is used when playing a card from the hand.) |
| 2025-09-10 18:35:16 +0000 | <monochrom> | I am also known to simply code up [ (x,y,z) | (x,y) <- list1, (x',z) <- list2, x == x' ] when the lists are merely 200 elements long. :) |
| 2025-09-10 18:35:54 +0000 | <monochrom> | (And the code is only run 10 times per year.) |
| 2025-09-10 18:36:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 18:36:58 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-10 18:41:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 18:48:27 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-10 18:49:28 +0000 | jespada | (~jespada@r190-135-93-147.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-09-10 18:51:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 18:52:30 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-10 18:52:30 +0000 | ljdarj1 | ljdarj |
| 2025-09-10 18:53:37 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-09-10 18:55:22 +0000 | plitter | (~plitter@user/plitter) (Quit: WeeChat 4.4.2) |
| 2025-09-10 18:56:38 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-09-10 18:58:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 19:00:07 +0000 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-10 19:00:48 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-09-10 19:02:01 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2025-09-10 19:02:26 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-09-10 19:05:34 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-10 19:06:01 +0000 | Everything | (~Everythin@217.147.163.184) (Quit: leaving) |
| 2025-09-10 19:07:40 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-10 19:07:47 +0000 | jespada | (~jespada@2800:a4:220c:dc00:fc3d:6c91:7dca:2577) jespada |
| 2025-09-10 19:10:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 19:10:22 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-10 19:14:05 +0000 | <EvanR> | kqr, vector of unboxed int |
| 2025-09-10 19:14:14 +0000 | <EvanR> | with space for every kind of card, if it's normal cards |
| 2025-09-10 19:14:26 +0000 | <EvanR> | might not work for magic the gathering |
| 2025-09-10 19:14:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 19:17:29 +0000 | <__monty__> | Not many card games with regular playing cards where you can have more than one of any given card. |
| 2025-09-10 19:17:41 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-09-10 19:18:08 +0000 | <__monty__> | I wonder more about the case where you can try playing a card you don't have. Why does the UI even allow that? |
| 2025-09-10 19:21:26 +0000 | <monochrom> | Dependently typed UIs are prophesized to solve that problem. >:) |
| 2025-09-10 19:21:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 19:21:59 +0000 | <int-e> | monochrom: dependent types solve problems in production by making it impossible to write code ;-) |
| 2025-09-10 19:26:29 +0000 | remedan | (~remedan@193-179-60-135.customers.tmcz.cz) (Ping timeout: 244 seconds) |
| 2025-09-10 19:26:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 19:28:19 +0000 | remedan | (~remedan@78-80-80-28.customers.tmcz.cz) remedan |
| 2025-09-10 19:36:18 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-10 19:37:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 19:40:55 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 258 seconds) |
| 2025-09-10 19:41:14 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-10 19:44:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 19:46:10 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-10 19:46:29 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 19:50:09 +0000 | <tomsmeding> | kqr: it's a pity you have duplicates, otherwise (there being only 52 distinct cards in a normal deck) you could store a hand as a bitset in a single Int64. :) |
| 2025-09-10 19:51:08 +0000 | <tomsmeding> | single CPU instruction for membership test, discarding and hand size! |
| 2025-09-10 19:51:14 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-09-10 19:51:49 +0000 | <tomsmeding> | okay maybe 3 instructions or so |
| 2025-09-10 19:55:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 19:58:33 +0000 | Beowulf | (florian@gabilgathol.bandrate.org) (Quit: = "") |
| 2025-09-10 19:59:08 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-10 20:00:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 20:00:27 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-09-10 20:00:58 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 20:07:49 +0000 | jespada | (~jespada@2800:a4:220c:dc00:fc3d:6c91:7dca:2577) (Ping timeout: 244 seconds) |
| 2025-09-10 20:08:05 +0000 | Beowulf | (florian@gabilgathol.bandrate.org) |
| 2025-09-10 20:11:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 20:16:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 20:17:43 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 20:22:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 20:27:07 +0000 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-10 20:27:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 20:31:09 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-09-10 20:38:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 20:40:37 +0000 | sprotte24 | (~sprotte24@p5b039f5e.dip0.t-ipconnect.de) |
| 2025-09-10 20:40:40 +0000 | <probie> | tomsmeding: it can be a single instruction if you're the one designing the CPU :p |
| 2025-09-10 20:43:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 20:47:09 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2025-09-10 20:53:00 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-10 20:53:08 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-10 20:54:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 20:59:05 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-10 20:59:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 21:02:51 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-09-10 21:06:03 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-09-10 21:07:14 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-09-10 21:10:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 21:12:28 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-09-10 21:14:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 21:25:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 21:27:48 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-10 21:31:51 +0000 | <biberao> | i went to try and install wsl2 do i just install whatever distro diretly |
| 2025-09-10 21:32:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 21:36:34 +0000 | <biberao> | i think i understood sorry windows newb :D |
| 2025-09-10 21:36:43 +0000 | <biberao> | on wsl btw debian or ubuntu? |
| 2025-09-10 21:37:14 +0000 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2025-09-10 21:37:25 +0000 | <haskellbridge> | <sm> you don't need wsl to do haskell |
| 2025-09-10 21:37:50 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) |
| 2025-09-10 21:38:00 +0000 | <haskellbridge> | <sm> but, either of those should work fine |
| 2025-09-10 21:39:01 +0000 | hjj123 | (~hjj123@178.155.115.231) |
| 2025-09-10 21:41:59 +0000 | user0 | (~user0@67.161.181.189) (Quit: leaving) |
| 2025-09-10 21:43:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 21:45:43 +0000 | califax_ | (~califax@user/califx) califx |
| 2025-09-10 21:46:26 +0000 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-09-10 21:46:57 +0000 | califax_ | califax |
| 2025-09-10 21:48:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 21:49:04 +0000 | hjj123 | (~hjj123@178.155.115.231) (Quit: Client closed) |
| 2025-09-10 21:52:50 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-10 21:54:02 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-10 21:54:16 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-09-10 21:55:56 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-10 21:59:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 22:00:09 +0000 | <biberao> | sm i dont? |
| 2025-09-10 22:00:13 +0000 | <biberao> | to install ghcup» |
| 2025-09-10 22:00:15 +0000 | <biberao> | ? |
| 2025-09-10 22:00:20 +0000 | <biberao> | i was advise to do that |
| 2025-09-10 22:00:30 +0000 | <biberao> | how do i now use ghcup with vscode? |
| 2025-09-10 22:00:43 +0000 | <biberao> | do i need to install vscode on wsl? |
| 2025-09-10 22:02:57 +0000 | <haskellbridge> | <sm> ah yes, it looks like you maybe do need wsl to make ghcup run on windows. I would just use stack personally. |
| 2025-09-10 22:03:29 +0000 | <haskellbridge> | <sm> I'm pretty sure vscode does not require wsl. ghcup is the only tool that needs it. |
| 2025-09-10 22:03:57 +0000 | <geekosaur> | uh? ghcup was fixed for windows some time back, including `ghcup tui`. it even has a PowerShell invocation to download and run it initially |
| 2025-09-10 22:04:18 +0000 | <haskellbridge> | <sm> that's what I thought too. I'm just looking at the options at https://www.haskell.org/ghcup/# |
| 2025-09-10 22:04:38 +0000 | <geekosaur> | Click "show all platforms" |
| 2025-09-10 22:04:39 +0000 | <biberao> | oh so i dont need wsl then? |
| 2025-09-10 22:04:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-10 22:04:50 +0000 | <haskellbridge> | <sm> ah, you have to click Show all platforms. page needs an update maybe, maerwald |
| 2025-09-10 22:05:17 +0000 | <biberao> | so ill remove wsl |
| 2025-09-10 22:05:43 +0000 | <biberao> | i dont see that |
| 2025-09-10 22:05:48 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-09-10 22:05:48 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-10 22:05:49 +0000 | <biberao> | show all platforms |
| 2025-09-10 22:06:21 +0000 | <biberao> | can you link please? |
| 2025-09-10 22:07:09 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-10 22:07:36 +0000 | <biberao> | do i need to install msys2? |
| 2025-09-10 22:07:43 +0000 | <haskellbridge> | <sm> https://kf8nh.com/_heisenbridge/media/matrix.org/iLBLcdfMQQpypjSGmPcQVjqa/tTWuaB_EmLU/Screenshot%2… |
| 2025-09-10 22:08:06 +0000 | <geekosaur> | it's in small text (and hard to see against the background) right under the Linux/POSIX/WSL2 instruction box |
| 2025-09-10 22:08:40 +0000 | <haskellbridge> | <sm> biberao maybe.. what makes you ask that ? |
| 2025-09-10 22:09:07 +0000 | <biberao> | i was asking the place |
| 2025-09-10 22:09:28 +0000 | <geekosaur> | ghc installs msys2 itself since it needs a specific non-default msys2 toolchain |
| 2025-09-10 22:10:06 +0000 | <biberao> | s i do the curl and then do that command? |
| 2025-09-10 22:10:36 +0000 | <geekosaur> | if you're using the windows instructions there should be a PowerShell invocation |
| 2025-09-10 22:10:40 +0000 | <biberao> | ok |
| 2025-09-10 22:10:42 +0000 | <biberao> | thanks |
| 2025-09-10 22:10:46 +0000 | <geekosaur> | you won't have curl unless you are using wsl2 |
| 2025-09-10 22:10:54 +0000 | <biberao> | oh i didnt see the url embedded sorry |
| 2025-09-10 22:11:03 +0000 | <biberao> | thank you |
| 2025-09-10 22:11:05 +0000 | <biberao> | ! |
| 2025-09-10 22:11:10 +0000 | <biberao> | ill remove wsl2 i dont need ikt |
| 2025-09-10 22:12:03 +0000 | <biberao> | thank you very much |
| 2025-09-10 22:12:17 +0000 | <haskellbridge> | <sm> no problem |
| 2025-09-10 22:15:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 22:16:02 +0000 | Taneb | (~Taneb@ip87-106-35-210.pbiaas.com) (Ping timeout: 260 seconds) |
| 2025-09-10 22:20:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-10 22:26:40 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-10 22:31:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 22:36:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 22:37:44 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2025-09-10 22:45:17 +0000 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-09-10 22:45:41 +0000 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-10 22:47:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 22:49:24 +0000 | trickard_ | trickard |
| 2025-09-10 22:50:40 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 22:52:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 22:53:44 +0000 | <monochrom> | Belated: I will design a CPU such that every program is "one" instruction. >:) (Related: a library, called Tweeter, that contains every function implementable in 150 bytes or less.) |
| 2025-09-10 22:54:11 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 22:54:26 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 22:58:41 +0000 | <arahael> | Big library! |
| 2025-09-10 23:03:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 23:03:52 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-10 23:04:23 +0000 | davidlbowman | (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 2025-09-10 23:05:14 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 2025-09-10 23:05:27 +0000 | biberao | (~m@user/biberao) (Quit: WeeChat 3.8) |
| 2025-09-10 23:05:51 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 23:06:06 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 23:06:37 +0000 | <monochrom> | It answers the kind of questions like "I'm defining foo f g h x y = f (g x) (h x y), why isn't it in Prelude already!" |
| 2025-09-10 23:09:27 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 2025-09-10 23:10:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 23:11:14 +0000 | acidjnk | (~acidjnk@p200300d6e7171978f1deda3d99afd1a1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-09-10 23:13:35 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-09-10 23:14:55 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-09-10 23:17:52 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-10 23:21:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 23:22:10 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-10 23:22:14 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 256 seconds) |
| 2025-09-10 23:23:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-10 23:26:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 23:27:03 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-10 23:28:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-09-10 23:28:16 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-09-10 23:28:17 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-10 23:32:10 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-09-10 23:33:08 +0000 | sprotte24 | (~sprotte24@p5b039f5e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-10 23:37:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 23:40:38 +0000 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 23:40:39 +0000 | Googulator61 | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 23:42:00 +0000 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-09-10 23:42:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-10 23:43:18 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-09-10 23:46:15 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 2025-09-10 23:47:20 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-10 23:47:23 +0000 | acidjnk | (~acidjnk@p200300d6e717192649d3cadc2eaa05e5.dip0.t-ipconnect.de) acidjnk |
| 2025-09-10 23:53:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-10 23:58:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
