| 2025-08-29 00:00:35 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-08-29 00:00:35 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-29 00:00:50 +0200 | califax | (~califax@user/califx) califx |
| 2025-08-29 00:00:57 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-29 00:03:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 00:04:33 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 2025-08-29 00:08:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 00:09:43 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
| 2025-08-29 00:10:48 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 00:10:48 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 260 seconds) |
| 2025-08-29 00:19:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 00:23:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 00:24:17 +0200 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 248 seconds) |
| 2025-08-29 00:24:22 +0200 | mxs9 | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2025-08-29 00:25:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-29 00:28:41 +0200 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-29 00:34:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 00:37:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-29 00:39:50 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 00:39:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 00:41:47 +0200 | tbahne | (~tbahne@user/tbahne) tbahne |
| 2025-08-29 00:44:39 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 00:49:18 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b44c:4dd6:a7f0:d125) (Ping timeout: 260 seconds) |
| 2025-08-29 00:50:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 00:55:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 00:55:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 00:57:58 +0200 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Server closed connection) |
| 2025-08-29 00:58:23 +0200 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst |
| 2025-08-29 01:00:01 +0200 | tbahne | (~tbahne@user/tbahne) (Ping timeout: 248 seconds) |
| 2025-08-29 01:01:46 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b44c:4dd6:a7f0:d125) |
| 2025-08-29 01:06:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 01:06:40 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-08-29 01:07:37 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Server closed connection) |
| 2025-08-29 01:07:54 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) codedmart |
| 2025-08-29 01:11:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 01:13:46 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-08-29 01:13:49 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 01:15:59 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-08-29 01:18:17 +0200 | mange | (~mange@user/mange) mange |
| 2025-08-29 01:22:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 01:22:59 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-08-29 01:28:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 01:29:28 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-08-29 01:30:00 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2025-08-29 01:37:29 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-29 01:40:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 01:40:49 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-08-29 01:41:41 +0200 | qqe | (~qqq@185.54.20.59) (Quit: Lost terminal) |
| 2025-08-29 01:43:00 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 01:45:14 +0200 | sprotte24 | (~sprotte24@p200300d16f0bc80029e95c83e39d93ca.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-08-29 01:45:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 01:45:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-08-29 01:46:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-29 01:56:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 02:01:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 02:03:08 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-08-29 02:08:35 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-29 02:08:39 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2025-08-29 02:10:41 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-08-29 02:10:59 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu) |
| 2025-08-29 02:11:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 02:13:19 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 02:16:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 02:17:08 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-29 02:17:22 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-29 02:17:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-08-29 02:25:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-29 02:27:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 02:27:53 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) |
| 2025-08-29 02:27:53 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host) |
| 2025-08-29 02:27:53 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 02:32:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 02:38:24 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 260 seconds) |
| 2025-08-29 02:40:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2025-08-29 02:43:05 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-29 02:43:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 02:45:35 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 258 seconds) |
| 2025-08-29 02:48:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 02:53:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-08-29 02:54:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-29 02:58:44 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-08-29 02:59:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 03:02:46 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-29 03:06:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 03:06:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b44c:4dd6:a7f0:d125) (Ping timeout: 248 seconds) |
| 2025-08-29 03:07:22 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-08-29 03:08:20 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-08-29 03:08:20 +0200 | ChanServ | +v haskellbridge |
| 2025-08-29 03:10:15 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Server closed connection) |
| 2025-08-29 03:10:23 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2025-08-29 03:16:54 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-08-29 03:17:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 03:18:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-08-29 03:19:13 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-29 03:19:30 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Quit: WeeChat 4.7.1) |
| 2025-08-29 03:19:36 +0200 | trickard_ | trickard |
| 2025-08-29 03:20:42 +0200 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection) |
| 2025-08-29 03:20:55 +0200 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin |
| 2025-08-29 03:22:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 03:22:25 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 245 seconds) |
| 2025-08-29 03:23:18 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-08-29 03:30:46 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-08-29 03:33:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 03:37:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 03:40:01 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 2025-08-29 03:41:11 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-08-29 03:42:09 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-08-29 03:43:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 03:43:52 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-29 03:48:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 03:52:50 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-08-29 03:59:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 04:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 04:06:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 04:11:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 04:12:36 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-29 04:14:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 04:19:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 04:26:30 +0200 | iamsleepy | (~weechat@static.89.129.21.65.clients.your-server.de) iamsleepy |
| 2025-08-29 04:27:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 04:29:37 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-08-29 04:32:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 04:36:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-29 04:40:55 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 04:40:55 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 04:40:55 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 04:43:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 04:45:18 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-08-29 04:46:09 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-08-29 04:46:09 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 04:48:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 04:49:18 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-08-29 04:56:51 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 04:56:51 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 04:56:51 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 04:57:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 04:59:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 05:01:10 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-29 05:01:50 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-29 05:01:53 +0200 | iamsleepy | (~weechat@static.89.129.21.65.clients.your-server.de) (Changing host) |
| 2025-08-29 05:01:53 +0200 | iamsleepy | (~weechat@user/iamsleepy) iamsleepy |
| 2025-08-29 05:03:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 05:14:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 05:16:44 +0200 | scysta | (~tiara@152.173.218.186) Scysta |
| 2025-08-29 05:19:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 05:20:09 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-29 05:24:13 +0200 | SoF | (~skius@user/skius) (Ping timeout: 255 seconds) |
| 2025-08-29 05:28:12 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-08-29 05:30:25 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-08-29 05:30:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 05:31:56 +0200 | aforemny | (~aforemny@i59F4C7D6.versanet.de) aforemny |
| 2025-08-29 05:32:12 +0200 | SoF | (~skius@user/skius) skius |
| 2025-08-29 05:32:18 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce1:6300:21a5:3c39:3acb:d09f) (Ping timeout: 256 seconds) |
| 2025-08-29 05:35:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-08-29 05:36:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-08-29 05:37:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 05:43:33 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-08-29 05:44:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 05:47:49 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 05:47:49 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 05:47:49 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 05:49:07 +0200 | scysta | (~tiara@152.173.218.186) (Remote host closed the connection) |
| 2025-08-29 05:49:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 05:52:39 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 06:00:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 06:00:29 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-08-29 06:01:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 06:03:05 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 06:03:05 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 06:03:05 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 06:04:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 06:10:49 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-08-29 06:15:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 06:16:58 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 06:18:25 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-08-29 06:21:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 06:21:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 06:28:58 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 06:28:58 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 06:28:58 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 06:31:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 06:34:23 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 06:34:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-29 06:36:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 06:42:14 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 06:43:24 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-08-29 06:45:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 06:45:46 +0200 | constxd | (~constxd@user/constxd) (Server closed connection) |
| 2025-08-29 06:46:36 +0200 | constxd | (~constxd@user/constxd) constxd |
| 2025-08-29 06:47:21 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
| 2025-08-29 06:50:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 06:51:01 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-08-29 06:59:39 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 06:59:39 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 06:59:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 07:01:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 07:02:02 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-08-29 07:07:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 07:18:19 +0200 | michalz | (~michalz@185.246.207.197) |
| 2025-08-29 07:19:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 07:19:17 +0200 | biberu | (~biberu@user/biberu) biberu |
| 2025-08-29 07:24:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 07:27:13 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-08-29 07:29:03 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-29 07:33:15 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-08-29 07:34:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 07:36:48 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-08-29 07:36:49 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-29 07:36:56 +0200 | omnifunctor | (~omnifunct@user/semifunctor) (Leaving) |
| 2025-08-29 07:39:43 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-08-29 07:39:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 07:40:49 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-08-29 07:46:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 07:48:55 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 07:48:55 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 07:48:55 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 07:49:02 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-08-29 07:51:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 07:53:24 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 08:00:54 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 08:00:54 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 08:00:55 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 08:02:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 08:05:12 +0200 | chele | (~chele@user/chele) chele |
| 2025-08-29 08:06:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 08:07:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 08:11:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 08:17:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 08:19:30 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 08:20:57 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-08-29 08:22:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 08:26:34 +0200 | mm_x_ | (~mm@user/mm-x-:64963) mm_x_ |
| 2025-08-29 08:27:51 +0200 | mm_x_ | (~mm@user/mm-x-:64963) (Client Quit) |
| 2025-08-29 08:28:42 +0200 | sclv | (sid39734@haskell/developer/sclv) (Server closed connection) |
| 2025-08-29 08:28:57 +0200 | sclv | (sid39734@haskell/developer/sclv) sclv |
| 2025-08-29 08:33:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 08:34:25 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-29 08:38:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 08:38:21 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (Server closed connection) |
| 2025-08-29 08:38:32 +0200 | edwardk | (sid47016@haskell/developer/edwardk) edwardk |
| 2025-08-29 08:39:45 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-29 08:47:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 08:47:22 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.0) |
| 2025-08-29 08:47:45 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-29 08:48:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) |
| 2025-08-29 08:49:00 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-29 08:54:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 08:55:49 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 08:56:24 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-29 08:57:39 +0200 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Server closed connection) |
| 2025-08-29 08:58:08 +0200 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
| 2025-08-29 08:59:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-08-29 09:00:00 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-29 09:00:40 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-29 09:01:31 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-08-29 09:01:54 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-08-29 09:02:19 +0200 | pandeyan | (~pandeyan@23-93-125-220.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-29 09:05:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 09:05:44 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-08-29 09:08:12 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 09:10:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 09:21:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 09:21:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 09:26:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 09:29:55 +0200 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-08-29 09:36:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 09:41:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 09:48:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 09:50:34 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:263d:9954:d25c:a29b) internatetional |
| 2025-08-29 09:51:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-08-29 09:53:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 09:53:31 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 248 seconds) |
| 2025-08-29 09:55:28 +0200 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-08-29 09:56:01 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-29 10:03:20 +0200 | fp | (~Thunderbi@wireless-86-50-141-108.open.aalto.fi) fp |
| 2025-08-29 10:04:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 10:08:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 10:08:20 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) (Ping timeout: 258 seconds) |
| 2025-08-29 10:08:49 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:263d:9954:d25c:a29b) (Ping timeout: 248 seconds) |
| 2025-08-29 10:10:06 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) zarakshR |
| 2025-08-29 10:11:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 10:11:29 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-08-29 10:15:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 10:20:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 10:22:39 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 10:22:39 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 10:22:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 10:27:24 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 10:27:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-29 10:27:43 +0200 | Adran | (~adran@botters/adran) (Server closed connection) |
| 2025-08-29 10:29:02 +0200 | fp | (~Thunderbi@wireless-86-50-141-108.open.aalto.fi) (Ping timeout: 258 seconds) |
| 2025-08-29 10:31:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 10:33:49 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-08-29 10:36:57 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-29 10:37:28 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) (Ping timeout: 258 seconds) |
| 2025-08-29 10:37:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 10:39:05 +0200 | Adran | (~adran@botters/adran) Adran |
| 2025-08-29 10:39:45 +0200 | <Leary> | What would cause an otherwise flat heap profile to have big spikes attributed to `STACK` and `BLACKHOLE` in `-hT` and `SYSTEM` in `-hc`/`-hr`? |
| 2025-08-29 10:49:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 10:51:40 +0200 | fp | (~Thunderbi@wireless-86-50-141-108.open.aalto.fi) fp |
| 2025-08-29 10:52:15 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-08-29 10:54:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 10:55:35 +0200 | trickard_ | trickard |
| 2025-08-29 11:01:34 +0200 | <jreicher> | If you have lots of blackholes it's because you have lots of new thunk evaluations, and the creation of the new thunks alone would cause spikes on the heap profile |
| 2025-08-29 11:01:36 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-29 11:04:28 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 11:04:28 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 11:04:28 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 11:04:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 11:07:41 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) zarakshR |
| 2025-08-29 11:09:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 11:13:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 11:17:30 +0200 | tinjamin47 | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 2025-08-29 11:18:35 +0200 | tinjamin477 | (~tinjamin@banshee.h4x0r.space) |
| 2025-08-29 11:20:06 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) (Remote host closed the connection) |
| 2025-08-29 11:20:19 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 11:20:23 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) zarakshR |
| 2025-08-29 11:20:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 11:24:34 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 11:24:37 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) (Ping timeout: 258 seconds) |
| 2025-08-29 11:25:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 11:36:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 11:38:56 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 11:41:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 11:41:42 +0200 | apache2 | (apache2@anubis.0x90.dk) (Server closed connection) |
| 2025-08-29 11:41:51 +0200 | apache2 | (apache2@anubis.0x90.dk) apache2 |
| 2025-08-29 11:45:16 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-08-29 11:45:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-29 11:49:45 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-08-29 11:50:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 11:50:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) |
| 2025-08-29 11:54:19 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-08-29 11:55:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 11:55:30 +0200 | Square2 | (~Square@user/square) Square |
| 2025-08-29 11:55:31 +0200 | Square3 | (~Square4@user/square) Square |
| 2025-08-29 11:56:38 +0200 | <Leary> | jreicher: Thanks. A couple of `SPECIALISE` pragmata and some extra strictness shrank the spikes down pretty well. |
| 2025-08-29 12:05:37 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-08-29 12:05:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 12:10:28 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) zarakshR |
| 2025-08-29 12:11:11 +0200 | <sajenim> | what's a good into to haskell/functional programming book? |
| 2025-08-29 12:11:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 12:13:07 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-08-29 12:13:38 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-08-29 12:15:54 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-08-29 12:17:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-29 12:19:54 +0200 | trickard__ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-08-29 12:20:34 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-08-29 12:20:35 +0200 | trickard__ | trickard |
| 2025-08-29 12:23:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 12:24:10 +0200 | <haskellbridge> | <sm> what's your background, what style do you like sajenim ? |
| 2025-08-29 12:28:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 12:35:38 +0200 | <[exa]> | sajenim: the good choices usually vary a lot depending on what you already know (mostly, what programming languages you did before) |
| 2025-08-29 12:35:59 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Server closed connection) |
| 2025-08-29 12:36:17 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) nshepperd |
| 2025-08-29 12:36:39 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) (Quit: quit) |
| 2025-08-29 12:37:33 +0200 | <chromoblob> | sajenim: mine was "Learn you a Haskell for great good", it worked for me |
| 2025-08-29 12:37:42 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 12:37:42 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 12:37:43 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 12:39:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 12:42:44 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 12:42:53 +0200 | <haskellbridge> | <sm> https://www.extrema.is/articles/haskell-books > beginner has a list; there's no comprehensive review of all of them. https://joyful.com/Haskell+minimap has some other book-like things. |
| 2025-08-29 12:43:54 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) (Ping timeout: 260 seconds) |
| 2025-08-29 12:44:00 +0200 | Googulator | (~Googulato@81.183.235.203) |
| 2025-08-29 12:44:07 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-29 12:45:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 12:48:24 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 12:51:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 12:51:30 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-29 12:52:28 +0200 | ars23 | (~user@user/ars23) ars23 |
| 2025-08-29 12:52:33 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-08-29 12:53:36 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 12:55:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 12:57:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 12:58:08 +0200 | ars23 | (~user@user/ars23) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-08-29 12:58:32 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-08-29 12:58:33 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-08-29 12:58:33 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-08-29 13:06:35 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 2025-08-29 13:06:53 +0200 | hjj123 | (~hjj123@178.155.116.235) |
| 2025-08-29 13:06:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 13:07:16 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-29 13:07:24 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-08-29 13:07:32 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 13:07:32 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 13:07:32 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 13:07:55 +0200 | hjj123 | (~hjj123@178.155.116.235) (Client Quit) |
| 2025-08-29 13:08:04 +0200 | hjj123 | (~hjj123@178.155.116.235) |
| 2025-08-29 13:08:33 +0200 | Zowlyfon | (sid346067@user/Zowlyfon) (Server closed connection) |
| 2025-08-29 13:08:44 +0200 | Zowlyfon | (sid346067@user/Zowlyfon) Zowlyfon |
| 2025-08-29 13:11:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 13:13:32 +0200 | hjj123 | (~hjj123@178.155.116.235) (Quit: Client closed) |
| 2025-08-29 13:13:52 +0200 | hjj123 | (~hjj123@178.155.116.235) |
| 2025-08-29 13:14:33 +0200 | hjj123 | NaTuRal |
| 2025-08-29 13:18:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-29 13:21:00 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-08-29 13:22:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 13:25:42 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-29 13:26:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-08-29 13:27:03 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-08-29 13:27:51 +0200 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) (Server closed connection) |
| 2025-08-29 13:28:01 +0200 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) |
| 2025-08-29 13:29:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 13:29:35 +0200 | tredecime | (~textual@2a10:3781:4826:1:ddec:2626:afe1:ae36) |
| 2025-08-29 13:30:26 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
| 2025-08-29 13:31:06 +0200 | tredecime | (~textual@2a10:3781:4826:1:ddec:2626:afe1:ae36) (Client Quit) |
| 2025-08-29 13:36:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) |
| 2025-08-29 13:40:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 13:41:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-08-29 13:43:13 +0200 | Kiran | (~Kiran@183.83.155.215) |
| 2025-08-29 13:43:58 +0200 | Kiran | (~Kiran@183.83.155.215) (Client Quit) |
| 2025-08-29 13:44:29 +0200 | theluckiestsoul | (~theluckie@183.83.155.215) |
| 2025-08-29 13:44:33 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-29 13:45:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 13:52:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 13:52:42 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-29 13:52:49 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 248 seconds) |
| 2025-08-29 13:52:55 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-08-29 13:57:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 13:57:57 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 2025-08-29 14:07:43 +0200 | NaTuRal | (~hjj123@178.155.116.235) (Quit: Client closed) |
| 2025-08-29 14:07:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 14:08:58 +0200 | theluckiestsoul | (~theluckie@183.83.155.215) (Quit: Client closed) |
| 2025-08-29 14:09:04 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 14:12:24 +0200 | Guest43 | (~Guest43@147.161.138.83) |
| 2025-08-29 14:13:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 14:18:21 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-08-29 14:18:57 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-08-29 14:19:12 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-08-29 14:20:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cd2b:541b:f532:66b1) |
| 2025-08-29 14:23:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 14:24:17 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-29 14:26:48 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-29 14:28:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 14:29:34 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-08-29 14:35:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-29 14:37:02 +0200 | Googulator43 | (~Googulato@81.183.235.203) |
| 2025-08-29 14:38:42 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-08-29 14:39:23 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 14:39:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 14:40:23 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-08-29 14:44:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 14:46:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) |
| 2025-08-29 14:47:42 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 14:49:57 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 2025-08-29 14:51:54 +0200 | tbahne | (~tbahne@user/tbahne) tbahne |
| 2025-08-29 14:52:33 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-08-29 14:53:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 14:54:41 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-29 14:55:07 +0200 | Googulator43 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-08-29 14:57:31 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (Server closed connection) |
| 2025-08-29 14:57:45 +0200 | Franciman | (~Franciman@mx1.fracta.dev) Franciman |
| 2025-08-29 15:00:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 15:08:44 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-29 15:08:58 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-08-29 15:10:14 +0200 | trickard_ | trickard |
| 2025-08-29 15:11:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 15:14:59 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-08-29 15:16:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 15:19:07 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-08-29 15:21:17 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 15:21:18 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 15:21:18 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 15:26:04 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 15:26:35 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-08-29 15:26:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 15:31:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 15:32:24 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-29 15:35:23 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-08-29 15:37:47 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-08-29 15:39:06 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 15:41:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 15:42:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 15:44:17 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-08-29 15:44:22 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-08-29 15:47:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 15:54:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 15:57:25 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-08-29 15:59:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 16:06:35 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 16:07:02 +0200 | tbahne | (~tbahne@user/tbahne) (Remote host closed the connection) |
| 2025-08-29 16:08:04 +0200 | Googulator43 | (~Googulato@81.183.235.203) |
| 2025-08-29 16:09:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 16:10:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-29 16:12:17 +0200 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-08-29 16:12:36 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2025-08-29 16:14:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 16:20:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 16:23:00 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-08-29 16:23:47 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 16:25:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 16:28:32 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-29 16:28:47 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-08-29 16:29:35 +0200 | Googulator43 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
| 2025-08-29 16:34:43 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-08-29 16:36:03 +0200 | fp | (~Thunderbi@wireless-86-50-141-108.open.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-08-29 16:36:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 16:37:28 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 16:37:28 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 16:37:28 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 16:43:04 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 16:43:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 16:44:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 16:44:25 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-08-29 16:45:59 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-08-29 16:50:39 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) |
| 2025-08-29 16:50:39 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5c85:5ea1:d11b:5032) (Changing host) |
| 2025-08-29 16:50:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 16:53:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 16:57:19 +0200 | antti_ | (~antti@user/anttih-:66400) anttih_ |
| 2025-08-29 16:58:03 +0200 | bramh | (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
| 2025-08-29 16:58:18 +0200 | bramh | (~bramh@user/bramh) bramh |
| 2025-08-29 17:00:33 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 260 seconds) |
| 2025-08-29 17:00:46 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-29 17:03:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-08-29 17:03:22 +0200 | tomsmeding | (~tomsmedin@user/tomsmeding) (Server closed connection) |
| 2025-08-29 17:03:40 +0200 | tomsmeding | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2025-08-29 17:04:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 17:04:53 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-29 17:09:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 17:12:39 +0200 | Guest43 | (~Guest43@147.161.138.83) (Quit: Client closed) |
| 2025-08-29 17:12:51 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-08-29 17:15:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-29 17:20:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 17:25:07 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-29 17:25:19 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-08-29 17:26:08 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-29 17:26:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 17:29:05 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-29 17:31:21 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-08-29 17:34:27 +0200 | priime | (~priime@2a01:4ff:f0:7ccc::1) (Quit: The Lounge - https://thelounge.chat) |
| 2025-08-29 17:37:33 +0200 | priime | (~priime@2a01:4ff:f0:7ccc::1) priime |
| 2025-08-29 17:38:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 17:41:07 +0200 | trickard_ | trickard |
| 2025-08-29 17:43:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 17:50:51 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
| 2025-08-29 17:53:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 17:58:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 18:05:01 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-29 18:05:14 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-08-29 18:09:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 18:10:25 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 248 seconds) |
| 2025-08-29 18:14:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 18:15:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-29 18:16:02 +0200 | lightspell | (~lightspel@50.218.25.218) |
| 2025-08-29 18:24:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-29 18:25:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 18:30:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 18:33:40 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-08-29 18:34:05 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-08-29 18:41:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 18:41:35 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-29 18:42:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) |
| 2025-08-29 18:46:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 18:46:18 +0200 | yaroot | (~yaroot@p3747022-ipxg13101souka.saitama.ocn.ne.jp) (Server closed connection) |
| 2025-08-29 18:46:32 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) yaroot |
| 2025-08-29 18:48:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-08-29 18:50:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 18:54:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-29 19:05:23 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-08-29 19:05:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 19:09:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 19:12:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 19:23:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 19:23:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 19:28:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 19:28:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 19:31:03 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Ping timeout: 260 seconds) |
| 2025-08-29 19:32:22 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
| 2025-08-29 19:34:45 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-29 19:37:02 +0200 | hjj123 | (~hjj123@178.155.116.235) |
| 2025-08-29 19:38:39 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Ping timeout: 260 seconds) |
| 2025-08-29 19:39:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 19:44:46 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
| 2025-08-29 19:45:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 19:45:15 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-08-29 19:51:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 19:56:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 19:56:46 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-08-29 20:02:33 +0200 | hjj123 | (~hjj123@178.155.116.235) (Quit: Client closed) |
| 2025-08-29 20:03:37 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-08-29 20:05:41 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-29 20:05:41 +0200 | jmcantrell_ | jmcantrell |
| 2025-08-29 20:06:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 20:12:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 20:15:51 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-08-29 20:17:10 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-08-29 20:17:24 +0200 | <lightspell> | I was on here yesterday asking about getting a StateT wrapped around a StatefulGen working. I've fixed my connection issues and I've tried to understand the suggestion from @absence. I think I need to declare my GameState type something like this: `type GameState a = (StatefulGen g m) => StateT Game (m g) a`. However, that and a number of other variations I've tried all lead to different errors. |
| 2025-08-29 20:17:37 +0200 | <lightspell> | Here's the updated code: https://play.haskell.org/saved/bhdquoHn |
| 2025-08-29 20:19:33 +0200 | <lightspell> | `g` and `m` are not in scope, so I tried `type GameState g m a = (StatefulGen g m) => StateT Game (m g) a` and `type GameState g m a = (StatefulGen g m) => StateT Game m a` but neither of them worked either. I'd like to actually understand what I'm doing wrong, instead of just randomly trying different variations to see if it works. |
| 2025-08-29 20:22:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 20:23:03 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-08-29 20:25:59 +0200 | <lightspell> | I thought I could make it more concrete with `type GameState a = StateT Game (State StdGen) a`, but then I get "Couldn't match type ‘m’ with ‘State StdGen’" |
| 2025-08-29 20:27:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 20:31:32 +0200 | <lightspell> | Hm, this seems the closest to working: `type GameState g m a = (StatefulGen g m) => StateT Game (State g) a`. Here's what that looks like: https://play.haskell.org/saved/JPa8opVe |
| 2025-08-29 20:33:00 +0200 | <lightspell> | But that still doesn't work, and then every function has to have a type signature like `getPlayer :: (StatefulGen g m) => PlayerId -> GameState g m Player`, which seems like it's not right. |
| 2025-08-29 20:34:18 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) zarakshR |
| 2025-08-29 20:38:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 20:41:38 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Ping timeout: 260 seconds) |
| 2025-08-29 20:43:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 20:44:52 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-29 20:44:55 +0200 | ames | (~amelia@offtopia/offtopian/amelia) (Server closed connection) |
| 2025-08-29 20:45:05 +0200 | ames | (~amelia@offtopia/offtopian/amelia) {ames} |
| 2025-08-29 20:45:06 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-08-29 20:45:23 +0200 | sprotte24 | (~sprotte24@p200300d16f05a9000cb0d4b3f4edd851.dip0.t-ipconnect.de) |
| 2025-08-29 20:45:52 +0200 | vetkat | (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-08-29 20:46:12 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-08-29 20:50:51 +0200 | sw4n | (~sw4n@2605:59c0:413f:3110:e59f:e0ff:6b6e:883b) |
| 2025-08-29 20:52:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 20:54:31 +0200 | emperori | (~emperori@223.187.118.137) |
| 2025-08-29 20:58:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 21:00:03 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-29 21:00:43 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-29 21:02:00 +0200 | sw4n | (~sw4n@2605:59c0:413f:3110:e59f:e0ff:6b6e:883b) (Quit: sw4n) |
| 2025-08-29 21:02:16 +0200 | sw4n | (~sw4n@2605:59c0:413f:3110:e59f:e0ff:6b6e:883b) sw4n |
| 2025-08-29 21:03:04 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-29 21:03:44 +0200 | emperori | (~emperori@223.187.118.137) (Read error: Connection reset by peer) |
| 2025-08-29 21:07:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-08-29 21:10:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 21:14:44 +0200 | <tomsmeding> | lightspell: is there a reason you don't want the random state in your Game state? |
| 2025-08-29 21:15:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 21:17:30 +0200 | <tomsmeding> | lightspell: isn't your problem that neither StateT nor State is an instance of StatefulGen |
| 2025-08-29 21:17:44 +0200 | <tomsmeding> | then you can declare constraints as much as you like, but if the instance isn't there, it isn't there |
| 2025-08-29 21:20:42 +0200 | tjbc | (~tjbc@user/fliife) (Server closed connection) |
| 2025-08-29 21:21:00 +0200 | tjbc | (~tjbc@user/fliife) fliife |
| 2025-08-29 21:21:23 +0200 | <tomsmeding> | lightspell: do you need the monad to be polymorphic in the generator type? |
| 2025-08-29 21:24:55 +0200 | <EvanR> | explicitly including RNG state in the game state lets you replay a game without recording every step |
| 2025-08-29 21:25:13 +0200 | <EvanR> | the history of the game is generated from the game state and the user's inputs |
| 2025-08-29 21:25:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 21:26:31 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-29 21:28:19 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 21:30:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 21:33:41 +0200 | <tomsmeding> | lightspell: okay the StatefulGen API works like this: there is a monad (m) and a handle type (g); the functions for generating random values take a handle and run in the monad, and the monad (m) is responsible for storing the actual random generator data |
| 2025-08-29 21:34:07 +0200 | <tomsmeding> | if you want to make your game monad polymorphic over both g and m, you're making your life difficult |
| 2025-08-29 21:34:22 +0200 | <lightspell> | There's no particular reason not to include the random state in the game state. I just didn't know how to do that. I'm struggling to understand the System.Random docks. |
| 2025-08-29 21:34:43 +0200 | <lightspell> | *docs |
| 2025-08-29 21:34:45 +0200 | <tomsmeding> | are you fine with a non-polymorphic solution? |
| 2025-08-29 21:36:36 +0200 | <lightspell> | Yes, non-polymorphic would be fine. I'm just trying to figure out how all this fits together. I thought from reading the docs that I could use StatefulGen in such a way to make the random number generator update itself in a State monad as it's used, so I wouldn't have to do it manually. Everything else is just my failing to understand how to do that. |
| 2025-08-29 21:37:25 +0200 | <EvanR> | just using the stdlib RNG normally would be a good starting point |
| 2025-08-29 21:37:32 +0200 | <EvanR> | before using some weird library |
| 2025-08-29 21:37:37 +0200 | <tomsmeding> | EvanR: this _is_ the stdlib rng |
| 2025-08-29 21:37:42 +0200 | <tomsmeding> | it's System.Random.Stateful |
| 2025-08-29 21:37:43 +0200 | <EvanR> | StatefulGen ? |
| 2025-08-29 21:37:45 +0200 | <tomsmeding> | I've never liked the API |
| 2025-08-29 21:37:49 +0200 | <lightspell> | yeah, fair enough |
| 2025-08-29 21:37:54 +0200 | <EvanR> | never heard of it |
| 2025-08-29 21:37:58 +0200 | <tomsmeding> | https://hackage-content.haskell.org/package/random-1.3.1/docs/System-Random-Stateful.html#t:Statef… |
| 2025-08-29 21:38:45 +0200 | <tomsmeding> | the requirement for the MonadState constraint on the `StatefulGen (StateGenM g) m` instance is a bother |
| 2025-08-29 21:38:50 +0200 | <EvanR> | random :: RandomGen g => g -> (a, g) |
| 2025-08-29 21:39:01 +0200 | <EvanR> | I guess this is "non-stateful" xD |
| 2025-08-29 21:39:14 +0200 | <tomsmeding> | yes, the idea of the stateful API is that the random generator is stored in a state monad |
| 2025-08-29 21:39:14 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-08-29 21:39:17 +0200 | <tomsmeding> | and that handling is done for you |
| 2025-08-29 21:39:36 +0200 | <tomsmeding> | but the API is polymorphic over various kinds of state monads; it also allows an IORef in IO, for example |
| 2025-08-29 21:39:40 +0200 | <tomsmeding> | and that makes it cumbersome to work with |
| 2025-08-29 21:41:08 +0200 | <lightspell> | Yeah, that's exactly what I'm struggling with. I have no idea how to make it non-polymorphic, or how to store its state inside the Game type alongside the rest of the game state. Either approach would be fine. |
| 2025-08-29 21:41:12 +0200 | <tomsmeding> | damn and they don't even export all methods of StatefulGen from the public module so you can't make an optimally performing manual instance without importing Internal |
| 2025-08-29 21:41:15 +0200 | <tomsmeding> | that feels like a bug |
| 2025-08-29 21:41:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 21:42:07 +0200 | <EvanR> | smh |
| 2025-08-29 21:42:32 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-29 21:43:44 +0200 | <lightspell> | If I just cared about getting the game working I'd just store a regular rng in the game state and manage it manually. But I'd like to figure out how to do it with monads because the whole point is to teach myself how all this works. |
| 2025-08-29 21:43:54 +0200 | <lightspell> | Everything you guys have said is already really helpful, thank you. |
| 2025-08-29 21:44:02 +0200 | <tomsmeding> | this StatefulGen API is kind of crappy |
| 2025-08-29 21:44:06 +0200 | <tomsmeding> | not a good example to learn from :p |
| 2025-08-29 21:44:18 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-29 21:44:18 +0200 | <lightspell> | Yeah I've been bouncing off it pretty hard. |
| 2025-08-29 21:44:40 +0200 | <tomsmeding> | I'll hack up what feels to me like the neatest way to use this API |
| 2025-08-29 21:44:43 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
| 2025-08-29 21:46:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 21:48:14 +0200 | <lightspell> | That would be amazing, thank you. |
| 2025-08-29 21:49:10 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-29 21:50:50 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ec4b:ec92:8e15:b25a) |
| 2025-08-29 21:50:50 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ec4b:ec92:8e15:b25a) (Changing host) |
| 2025-08-29 21:50:50 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 21:53:05 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-08-29 21:53:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 21:53:21 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-08-29 21:53:48 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-08-29 21:55:44 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-29 21:58:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-29 21:58:52 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 256 seconds) |
| 2025-08-29 21:59:38 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-08-29 22:06:12 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-29 22:07:41 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Quit: WeeChat 4.7.1) |
| 2025-08-29 22:08:32 +0200 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-08-29 22:08:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 22:11:07 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Quit: No Ping reply in 180 seconds.) |
| 2025-08-29 22:12:16 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-08-29 22:12:35 +0200 | <tomsmeding> | lightspell: https://play.haskell.org/saved/grshBtBn |
| 2025-08-29 22:12:37 +0200 | <tomsmeding> | blegh |
| 2025-08-29 22:12:40 +0200 | <tomsmeding> | it works though |
| 2025-08-29 22:13:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-29 22:14:07 +0200 | <tomsmeding> | I removed the Read derive for Game because StdGen doesn't implement Read; in general, Read was a nice idea back in 1998 but it's slow and not recommended these days |
| 2025-08-29 22:15:16 +0200 | <tomsmeding> | if you want hacky show/read working, you'll either need to implement Read for StdGen yourself, or split the data type in two parts, one of which is Read, the other of which has the StdGen |
| 2025-08-29 22:15:49 +0200 | <tomsmeding> | lightspell: also I cargo-culted the lens code in the StatefulGen instance; I know ~zero about lens |
| 2025-08-29 22:15:57 +0200 | <tomsmeding> | there is probably a way to do this more nicely |
| 2025-08-29 22:16:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-08-29 22:17:45 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
| 2025-08-29 22:19:30 +0200 | <lightspell> | This is amazing, thank you so much. I wouldn't have thought to make our own custom StatefulGen. I thought the whole point of a general library was that you could avoid doing that. |
| 2025-08-29 22:20:47 +0200 | <lightspell> | As I learn more, if I figure out a way to do it more nicely, I'll share it on here. |
| 2025-08-29 22:21:00 +0200 | <monochrom> | But then meta-ly the point of FOSS is that the users help make that happen rather than just voting for "someone else should do it". |
| 2025-08-29 22:21:57 +0200 | <monochrom> | (I did my tiny share. https://github.com/haskell/random/pull/183/commits/090f457125d33d8b7b0be4870cf089f344e6360d ) |
| 2025-08-29 22:22:23 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Client Quit) |
| 2025-08-29 22:24:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 22:26:12 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ec4b:ec92:8e15:b25a) |
| 2025-08-29 22:26:12 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:ec4b:ec92:8e15:b25a) (Changing host) |
| 2025-08-29 22:26:12 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-29 22:26:43 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-08-29 22:27:09 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-08-29 22:27:57 +0200 | <monochrom> | The general bridge required is likely of the form: If StatefulGen g m, and type r has a lens to g, then StatefulGen r m. |
| 2025-08-29 22:28:18 +0200 | <monochrom> | But I would not be happy if random depended on lens. |
| 2025-08-29 22:29:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-29 22:30:13 +0200 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2025-08-29 22:30:19 +0200 | <monochrom> | No no no. |
| 2025-08-29 22:30:38 +0200 | <monochrom> | The proper solution is to have a proper effect language! >:) |
| 2025-08-29 22:32:31 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-29 22:35:29 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-08-29 22:36:01 +0200 | Googulator43 | (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) |
| 2025-08-29 22:36:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-08-29 22:36:01 +0200 | ljdarj1 | ljdarj |
| 2025-08-29 22:38:19 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-29 22:38:50 +0200 | <tomsmeding> | monochrom: even if you'd make random depend on lens, there's no way to write that instance |
| 2025-08-29 22:39:07 +0200 | <tomsmeding> | I guess you could introduce a special newtype for this and attach the instance to that |
| 2025-08-29 22:39:32 +0200 | <tomsmeding> | I guess that does work, yes |
| 2025-08-29 22:40:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-29 22:40:19 +0200 | <tomsmeding> | monochrom: no, that doesn't work, because the 'g' there is the _handle_ type, not the generator type that's being modified |
| 2025-08-29 22:41:09 +0200 | <tomsmeding> | to wit: if m ~ State StdGen, then g ~ StateGenM StdGen, and StateGenM is a data type with zero fields |
| 2025-08-29 22:41:19 +0200 | <tomsmeding> | because there is only one generator in 'State StdGen', so the handle is trivial |
| 2025-08-29 22:41:39 +0200 | <tomsmeding> | for m ~ IO, the handle is (a newtype over) an IORef |
| 2025-08-29 22:42:17 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-29 22:42:28 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-29 22:42:55 +0200 | <tomsmeding> | the haddocks make this even more confusing because they use "g" as a type variable name both for this handle (`StatefulGen g m`, where e.g. g ~ StateGenM StdGen) and for the underlying generator (`StateGenM g`, where e.g. g ~ StdGen) |
| 2025-08-29 22:42:56 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-29 22:43:37 +0200 | <tomsmeding> | the solution _is_, of course, to have a proper effect language indeed |