Logs on 2025-09-10 (liberachat/#haskell)
| 00:06:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:09:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 00:10:09 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:11:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 00:12:49 | → | xff0x joins (~xff0x@2405:6580:b080:900:4ff2:f904:88e:6936) |
| 00:22:24 | × | otto_s quits (~user@p4ff27081.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 00:22:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:24:45 | → | user0 joins (~user0@67.161.181.189) |
| 00:25:33 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 00:28:33 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 00:28:38 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 00:29:02 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 00:29:21 | → | jreicher joins (~user@user/jreicher) |
| 00:29:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 00:32:19 | → | otto_s joins (~user@p5b0442fa.dip0.t-ipconnect.de) |
| 00:35:27 | × | xff0x quits (~xff0x@2405:6580:b080:900:4ff2:f904:88e:6936) (Ping timeout: 265 seconds) |
| 00:36:54 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 00:37:41 | → | xff0x joins (~xff0x@ai080027.d.east.v6connect.net) |
| 00:38:16 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
| 00:40:29 | → | Square2 joins (~Square@user/square) |
| 00:40:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:41:11 | × | sayola quits (~sayola@ipservice-092-208-226-093.092.208.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 00:41:16 | × | a_fantom quits (~fantom@90.244.128.25) (Ping timeout: 258 seconds) |
| 00:42:25 | × | xff0x quits (~xff0x@ai080027.d.east.v6connect.net) (Ping timeout: 258 seconds) |
| 00:44:28 | rvalue- | is now known as rvalue |
| 00:45:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 00:48:23 | × | user0 quits (~user0@67.161.181.189) (Ping timeout: 260 seconds) |
| 00:56:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:56:24 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 248 seconds) |
| 00:57:41 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 00:57:51 | × | trickard___ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:58:04 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 01:01:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:01:44 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 01:02:27 | → | FANTOM joins (~fantom@90.244.165.186) |
| 01:04:05 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: leaving) |
| 01:04:28 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 01:11:30 | → | user0 joins (~user0@67.161.181.189) |
| 01:12:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:15:35 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 01:15:36 | → | Googulator62 joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 01:16:14 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 01:16:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:20:12 | × | user0 quits (~user0@67.161.181.189) (Ping timeout: 256 seconds) |
| 01:24:38 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 01:25:25 | → | sajenim joins (~sajenim@user/sajenim) |
| 01:25:55 | → | ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com) |
| 01:27:48 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 01:27:50 | × | davidlbowman quits (~dlb@user/davidlbowman) (Client Quit) |
| 01:27:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:29:29 | Googulator62 | is now known as Googulator |
| 01:31:41 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 01:32:08 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 260 seconds) |
| 01:32:53 | → | jreicher joins (~user@user/jreicher) |
| 01:33:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 01:33:19 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 01:38:47 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 01:41:53 | → | poscat joins (~poscat@user/poscat) |
| 01:41:56 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:43:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:48:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:49:53 | × | jespada quits (~jespada@r179-25-156-56.dialup.adsl.anteldata.net.uy) (Ping timeout: 258 seconds) |
| 01:50:23 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 01:51:48 | → | jespada joins (~jespada@r179-25-67-56.dialup.adsl.anteldata.net.uy) |
| 01:55:40 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 01:55:54 | × | Square2 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 01:58:10 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 256 seconds) |
| 01:59:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:06:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:06:57 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 02:12:15 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 02:17:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:22:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:33:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:37:55 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 02:38:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 02:49:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:53:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:04:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:09:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:13:04 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 03:17:15 | → | aforemny joins (~aforemny@i59F4C7D6.versanet.de) |
| 03:17:33 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 03:18:49 | × | aforemny_ quits (~aforemny@2001:9e8:6cc2:7500:64be:24c3:6006:d7a3) (Ping timeout: 265 seconds) |
| 03:20:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:22:57 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 03:26:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:35:38 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:36:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:43:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:50:47 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 03:53:33 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 03:54:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:57:55 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 03:59:21 | → | koz joins (~koz@121.99.240.58) |
| 03:59:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:08:39 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 258 seconds) |
| 04:09:31 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:10:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:11:06 | → | pabs3 joins (~pabs3@user/pabs3) |
| 04:12:03 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 04:15:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 04:17:12 | → | michalz joins (~michalz@185.246.207.200) |
| 04:26:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:31:06 | × | hook54321 quits (sid149355@user/hook54321) (Ping timeout: 244 seconds) |
| 04:31:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:32:03 | × | b20n quits (sid115913@id-115913.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 04:32:29 | → | b20n joins (sid115913@id-115913.uxbridge.irccloud.com) |
| 04:32:39 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 04:32:39 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 04:32:51 | × | potato44 quits (uid421314@id-421314.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 04:32:51 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 250 seconds) |
| 04:33:10 | × | tapas quits (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
| 04:33:10 | × | coldmountain quits (sid484352@id-484352.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 04:33:21 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 04:33:30 | → | jonrh joins (sid5185@id-5185.ilkley.irccloud.com) |
| 04:33:41 | × | bw quits (sid2730@user/betawaffle) (Ping timeout: 244 seconds) |
| 04:33:41 | × | S11001001 quits (sid42510@id-42510.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
| 04:33:41 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 04:34:02 | → | hook54321 joins (sid149355@user/hook54321) |
| 04:34:19 | → | potato44 joins (uid421314@id-421314.lymington.irccloud.com) |
| 04:34:43 | → | S11001001 joins (sid42510@id-42510.ilkley.irccloud.com) |
| 04:34:58 | → | bw joins (sid2730@user/betawaffle) |
| 04:35:03 | → | coldmountain joins (sid484352@id-484352.helmsley.irccloud.com) |
| 04:35:20 | → | NiKaN joins (sid385034@id-385034.helmsley.irccloud.com) |
| 04:35:29 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 04:35:42 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 04:36:07 | → | tapas joins (sid467876@id-467876.ilkley.irccloud.com) |
| 04:36:21 | → | degraafk joins (sid71464@id-71464.lymington.irccloud.com) |
| 04:41:27 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 04:41:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:45:49 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 04:46:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:49:06 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 04:57:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:58:33 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 05:02:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 05:21:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:22:25 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 05:28:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:30:28 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 05:32:46 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:35:51 | → | fp joins (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) |
| 05:40:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:41:30 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 05:45:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:48:08 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 05:48:31 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 05:55:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:57:28 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 05:57:39 | trickard_ | is now known as trickard |
| 06:00:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:04:02 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 06:11:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:16:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:17:24 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 06:26:50 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 244 seconds) |
| 06:32:20 | → | fp joins (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) |
| 06:34:05 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Client Quit) |
| 06:34:13 | → | fp1 joins (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) |
| 06:36:34 | fp1 | is now known as fp |
| 06:52:15 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 06:52:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 07:00:00 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:40 | → | caconym747 joins (~caconym@user/caconym) |
| 07:03:52 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 248 seconds) |
| 07:05:05 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:06:21 | → | img joins (~img@user/img) |
| 07:06:41 | × | img quits (~img@user/img) (Remote host closed the connection) |
| 07:07:49 | → | acidjnk joins (~acidjnk@p200300d6e7171978f1deda3d99afd1a1.dip0.t-ipconnect.de) |
| 07:08:04 | → | img joins (~img@user/img) |
| 07:09:37 | → | merijn joins (~merijn@77.242.116.146) |
| 07:10:37 | → | opqdonut joins (opqdonut@pseudo.fixme.fi) |
| 07:19:15 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 07:24:09 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 07:26:45 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:35:26 | → | fp joins (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) |
| 07:42:07 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 07:46:52 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 260 seconds) |
| 07:48:20 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 07:50:44 | → | fp joins (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) |
| 07:52:34 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:53:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 08:04:05 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Quit: fp) |
| 08:04:18 | → | fp joins (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) |
| 08:12:29 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:13:30 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 08:21:23 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 265 seconds) |
| 08:24:29 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:25:21 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 08:26:05 | → | Square3 joins (~Square4@user/square) |
| 08:31:36 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 08:31:37 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 08:31:37 | → | haritz joins (~hrtz@user/haritz) |
| 08:40:39 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 08:59:05 | → | __monty__ joins (~toonn@user/toonn) |
| 09:00:45 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 09:02:14 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 09:03:00 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 09:03:37 | <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! |
| 09:06:30 | → | gmg joins (~user@user/gehmehgeh) |
| 09:06:35 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 248 seconds) |
| 09:07:03 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 09:13:39 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 09:14:02 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 09:16:01 | → | fp joins (~Thunderbi@2001:708:150:10::72df) |
| 09:16:58 | × | AlexZenon quits (~alzenon@178.34.162.29) (Ping timeout: 265 seconds) |
| 09:18:27 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 09:19:22 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 09:21:03 | <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. |
| 09:24:59 | → | AlexZenon joins (~alzenon@178.34.162.29) |
| 09:32:59 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 09:42:09 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 09:49:32 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 09:50:02 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 09:56:10 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 09:59:48 | <kqr> | That sounds much better, yes. |
| 10:18:13 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 250 seconds) |
| 10:20:11 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 10:21:09 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 10:33:35 | → | merijn joins (~merijn@77.242.116.146) |
| 10:37:15 | <dminuoso> | kaol: Can you make a fully self contained minimal example program that I can just `cabal run`? |
| 10:37:54 | <dminuoso> | I'm fully convinced that any latin 1 decoding cannot happen on JSON with servant-client alone. |
| 10:38:06 | <dminuoso> | Maybe its your FromJSON instance that is borked? |
| 10:39:30 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 10:44:39 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:50:00 | × | inline quits (~inline@ip-005-146-196-246.um05.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
| 10:51:25 | → | Axma39609 joins (~Axman6@user/axman6) |
| 10:52:56 | → | merijn joins (~merijn@77.242.116.146) |
| 10:53:21 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 10:54:21 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 252 seconds) |
| 10:55:49 | → | fp joins (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) |
| 10:58:31 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 11:00:27 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 256 seconds) |
| 11:01:03 | → | sttau joins (~sttau@user/sttau) |
| 11:02:51 | → | fp joins (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) |
| 11:04:52 | <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. |
| 11:05:23 | <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.) |
| 11:06:34 | <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? |
| 11:08:26 | <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. |
| 11:08:53 | <dminuoso> | kqr: Hold on, liftRandT is a thing. |
| 11:09:03 | <kaol> | dminuoso: Unlikely, I don't think I can do it without running it on a browser. |
| 11:09:45 | <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. |
| 11:11:33 | <dminuoso> | kqr: A `MonadRandom IO` instance exists, what do you nneed? |
| 11:12:03 | <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. |
| 11:12:09 | <dminuoso> | Hold on Im confusing things |
| 11:12:52 | <dminuoso> | kqr: Lets untwine this: You can use `runRand` in IO just fine |
| 11:13:16 | <dminuoso> | Similarly, `instance MonadRandom IO` is also a thing |
| 11:13:27 | × | mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 11:14:13 | <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. |
| 11:14:27 | <dminuoso> | But for convenience you can also just use IO directly. |
| 11:14:38 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 11:15:42 | <dminuoso> | And for convenience in arbitrary transformer stacks you can use `randomIO :: (Random a, MonadIO m) => m a` |
| 11:15:58 | <dminuoso> | What are you missing exactly? |
| 11:17:08 | <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. |
| 11:18:45 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
| 11:19:48 | <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. |
| 11:19:56 | → | xff0x joins (~xff0x@2405:6580:b080:900:c68c:683e:9c65:6f0a) |
| 11:23:16 | <dminuoso> | kqr: Like I said, `MonadRandom IO` exists |
| 11:23:47 | <dminuoso> | So you can use `shuffle` in IO just the same as you would with RandT. |
| 11:25:45 | <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]`? |
| 11:26:12 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 11:27:24 | <dminuoso> | kqr: These are different interfaces. |
| 11:28:41 | <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]` |
| 11:28:59 | <dminuoso> | Well Im not entirely sure what you mean by converting RandomGen into MonadRandom. |
| 11:29:17 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 11:29:28 | <dminuoso> | RandomGen is for sequential pseudorandom number generators. |
| 11:29:45 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 11:32:23 | <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`. |
| 11:34:05 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:39:20 | <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. |
| 11:43:29 | <dminuoso> | kqr: They are kind of orthotonal interfaces. |
| 11:46:46 | <dminuoso> | kqr: And more to the point, MonadRandom IO is not even implemented using RandomGen. |
| 11:47:02 | <dminuoso> | It uses `randomIO` from the `random` package (I dont even know why) |
| 11:47:25 | <dminuoso> | Which ultimately uses `https://hackage-content.haskell.org/package/random-1.3.1/docs/src/System.Random.Internal.html#theStdGen` |
| 11:48:34 | <dminuoso> | And since theStdGen is exported in that module, you can - if you want - access that for purpose of testing. |
| 11:49:25 | <dminuoso> | Oh wait, I missed a key detail. That is a plain RandomGEn |
| 11:50:02 | <dminuoso> | kqr: So you could think of `MonadRandom` as a kind of `State StdGen` maybe. |
| 11:51:04 | × | merijn quits (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 11:51:47 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 11:52:26 | → | merijn joins (~merijn@77.242.116.146) |
| 11:57:44 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 11:59:36 | → | merijn joins (~merijn@77.242.116.146) |
| 12:02:08 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 12:02:27 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 12:02:47 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 12:03:54 | <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. |
| 12:04:18 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 12:07:03 | → | tv joins (~tv@user/tv) |
| 12:07:15 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:09:02 | → | gmg joins (~user@user/gehmehgeh) |
| 12:09:41 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Quit: fp) |
| 12:09:45 | → | fp1 joins (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) |
| 12:10:02 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 12:10:19 | × | raym quits (~ray@user/raym) (Ping timeout: 260 seconds) |
| 12:11:36 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 12:12:03 | fp1 | is now known as fp |
| 12:14:54 | → | merijn joins (~merijn@77.242.116.146) |
| 12:15:52 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 12:24:46 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 12:32:07 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 250 seconds) |
| 12:33:56 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Quit: fp) |
| 12:34:04 | → | fp1 joins (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) |
| 12:36:22 | fp1 | is now known as fp |
| 12:49:07 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 13:06:41 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:14:57 | <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). |
| 13:15:00 | <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. |
| 13:15:15 | → | itaipu joins (~itaipu@168.121.97.28) |
| 13:16:23 | <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.) |
| 13:17:02 | × | dfg quits (~dfg@user/dfg) (Ping timeout: 260 seconds) |
| 13:17:34 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 13:18:34 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 13:23:20 | → | dfg joins (~dfg@dfg.rocks) |
| 13:23:20 | × | dfg quits (~dfg@dfg.rocks) (Changing host) |
| 13:23:20 | → | dfg joins (~dfg@user/dfg) |
| 13:23:48 | → | califax_ joins (~califax@user/califx) |
| 13:24:12 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 13:25:05 | califax_ | is now known as califax |
| 13:26:25 | <haskellbridge> | <sm> kqr I thought of a Map also. I think it's worth a try, often Map has been used in optimisations |
| 13:26:44 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 13:27:00 | <haskellbridge> | <sm> some kind of map |
| 13:27:47 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 13:31:50 | <kqr> | I'll give it a shot. Going to take some refactoring but I'd probably need to do that at some point anyway. |
| 13:37:35 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 13:41:04 | → | itaipu joins (~itaipu@168.121.97.28) |
| 13:41:18 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Client Quit) |
| 13:42:08 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 13:48:20 | → | BLade_X123 joins (~manju@user/BLade-X123:75192) |
| 13:48:38 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 13:49:37 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 248 seconds) |
| 13:50:21 | → | fp joins (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) |
| 13:51:20 | × | BLade_X123 quits (~manju@user/BLade-X123:75192) (Quit: Leaving) |
| 13:51:57 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 13:55:28 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 13:58:03 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 13:58:20 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 13:58:37 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 13:58:41 | × | jespada quits (~jespada@r179-25-67-56.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 14:01:47 | → | jespada joins (~jespada@r190-135-93-147.dialup.adsl.anteldata.net.uy) |
| 14:02:07 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 14:20:37 | → | gorignak joins (~gorignak@user/gorignak) |
| 14:23:40 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 14:24:17 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:29:09 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 260 seconds) |
| 14:31:00 | → | TMA joins (tma@twin.jikos.cz) |
| 14:42:55 | <merijn> | kqr: How static are these lists? |
| 14:43:49 | <EvanR> | how large are these lists |
| 14:44:12 | <EvanR> | 10 items at most, yeah Map representing the histogram will have overhead |
| 14:44:26 | <merijn> | I was more thinking: If you |
| 14:44:42 | <merijn> | If you're spending so much time on them, do you not wanna switch to Vector or something |
| 14:44:58 | <merijn> | You're gonna waste a lot of time pointer changing with a list |
| 14:45:04 | <merijn> | *chasing |
| 14:45:37 | <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 |
| 14:45:47 | × | ruvam quits (~ruvam@user/ruvam) (Ping timeout: 248 seconds) |
| 14:46:22 | <EvanR> | would be a serious question if performance is important |
| 14:47:51 | <EvanR> | a vector of the populations of fixed categories could be a big impovement |
| 14:48:29 | → | ruvam joins (~ruvam@user/ruvam) |
| 14:48:40 | <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 |
| 14:48:57 | <EvanR> | "list without" would be, zero out that category |
| 14:49:09 | <EvanR> | "list" without |
| 14:49:23 | <merijn> | Or just Vector.filter or something |
| 14:49:37 | <merijn> | For vectors of size 10 the traversal costs are pretty small |
| 14:49:49 | <EvanR> | I'm just fantasizing that population count is all that matters |
| 14:50:37 | <EvanR> | real world use case, your characters inventory is always sorted |
| 14:50:43 | <__monty__> | EvanR: Rather than zeroing out it'd be decrementing the count according to their spec. |
| 14:50:44 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 14:50:46 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 14:51:05 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 14:51:14 | <EvanR> | you think listWithout x would return a "list" that still has x, just fewer? |
| 14:51:23 | → | user0 joins (~user0@67.161.181.189) |
| 14:51:42 | × | qqe quits (~qqq@185.54.23.136) (Read error: Connection reset by peer) |
| 14:52:05 | <__monty__> | That's what they said re duplicates. |
| 14:52:27 | <EvanR> | I see that. Confusing naming then |
| 14:56:24 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 15:12:18 | → | poscat0x04 joins (~poscat@user/poscat) |
| 15:14:03 | → | qqe joins (~qqq@185.54.23.136) |
| 15:14:20 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 15:17:32 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 15:22:50 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 15:23:04 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 248 seconds) |
| 15:31:59 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 15:42:09 | → | karenw joins (~karenw@user/karenw) |
| 15:42:23 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 15:46:12 | → | Everything joins (~Everythin@178.137.93.79) |
| 15:46:25 | <kaotica> | /close |
| 15:46:37 | ← | kaotica parts (~user@user/d4q) (leaving) |
| 15:46:42 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 15:49:36 | → | inline joins (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) |
| 15:50:03 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 15:57:06 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:02:43 | <dminuoso> | kqr: Well I mean if you want to hack around, nothing stops you from touching theStdGen manually. :-) |
| 16:03:54 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 16:04:12 | <dminuoso> | kqr: Also regarding the list problem, what merijn said. Never underestimate the power of linear memory access in the presence of strided prefetchers. :-) |
| 16:04:36 | → | ubert joins (~Thunderbi@77.119.163.183.wireless.dyn.drei.com) |
| 16:04:53 | × | user0 quits (~user0@67.161.181.189) (Ping timeout: 250 seconds) |
| 16:05:16 | <dminuoso> | Even if you go into a hundred elements, chances are its still faster than indirection in the average case. |
| 16:05:52 | × | ubert1 quits (~Thunderbi@178.165.161.196.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 16:06:10 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 16:06:24 | <dminuoso> | Linear memory access is just stupid fast. |
| 16:07:27 | → | ubert1 joins (~Thunderbi@178.165.191.145.wireless.dyn.drei.com) |
| 16:08:56 | × | ubert quits (~Thunderbi@77.119.163.183.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 16:08:56 | ubert1 | is now known as ubert |
| 16:09:04 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 16:10:31 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 16:13:35 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 16:15:23 | × | ubert quits (~Thunderbi@178.165.191.145.wireless.dyn.drei.com) (Quit: ubert) |
| 16:21:12 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 16:21:30 | × | petrichor quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 16:27:20 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 16:42:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:45:09 | × | qqe quits (~qqq@185.54.23.136) (Remote host closed the connection) |
| 16:46:47 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 16:47:02 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 16:47:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 16:49:34 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 258 seconds) |
| 16:50:45 | × | Square3 quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 16:51:44 | → | karenw joins (~karenw@user/karenw) |
| 16:53:54 | <EvanR> | just wait until they invent isolinear memory |
| 16:58:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:58:36 | × | ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 256 seconds) |
| 17:00:11 | → | ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 17:03:30 | → | Alleria_ joins (~Alleria@user/alleria) |
| 17:04:01 | → | user0 joins (~user0@67.161.181.189) |
| 17:05:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 17:06:32 | × | Alleria quits (~Alleria@user/alleria) (Ping timeout: 256 seconds) |
| 17:07:30 | → | biberao joins (~m@user/biberao) |
| 17:12:03 | × | MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Ping timeout: 250 seconds) |
| 17:16:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:18:28 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Quit: Quit) |
| 17:18:50 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 17:22:50 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 17:23:23 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 17:24:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 17:33:01 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:35:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:39:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 17:44:30 | × | tromp quits (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:49:13 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 17:50:44 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 17:50:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:51:11 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 17:55:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 17:55:50 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 17:58:05 | → | EvanR joins (~EvanR@user/evanr) |
| 17:59:43 | → | itaipu joins (~itaipu@168.121.97.28) |
| 18:04:30 | <dminuoso> | EvanR: Oh that already exists. It's called a blackhole! |
| 18:06:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) |
| 18:06:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:10:33 | <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. |
| 18:11:10 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 18:11:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:11:46 | × | Everything quits (~Everythin@178.137.93.79) (Read error: Connection reset by peer) |
| 18:14:42 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 18:17:14 | → | Everything joins (~Everythin@217.147.163.184) |
| 18:18:13 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 18:20:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:21:02 | <monochrom> | I would expect lists to be slower when they get very long. |
| 18:24:30 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 18:24:37 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 18:24:40 | → | divlamir joins (~divlamir@user/divlamir) |
| 18:25:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 18:25:41 | → | dolio joins (~dolio@130.44.140.168) |
| 18:33:45 | <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.) |
| 18:35:16 | <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. :) |
| 18:35:54 | <monochrom> | (And the code is only run 10 times per year.) |
| 18:36:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:36:58 | → | weary-traveler joins (~user@user/user363627) |
| 18:41:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:48:27 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 18:49:28 | × | jespada quits (~jespada@r190-135-93-147.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 18:51:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:52:30 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 18:52:30 | ljdarj1 | is now known as ljdarj |
| 18:53:37 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 18:55:22 | × | plitter quits (~plitter@user/plitter) (Quit: WeeChat 4.4.2) |
| 18:56:38 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 18:58:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:00:07 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:48 | → | caconym747 joins (~caconym@user/caconym) |
| 19:02:01 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 19:02:26 | × | MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 19:05:34 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 19:06:01 | × | Everything quits (~Everythin@217.147.163.184) (Quit: leaving) |
| 19:07:40 | → | gmg joins (~user@user/gehmehgeh) |
| 19:07:47 | → | jespada joins (~jespada@2800:a4:220c:dc00:fc3d:6c91:7dca:2577) |
| 19:10:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:10:22 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:14:05 | <EvanR> | kqr, vector of unboxed int |
| 19:14:14 | <EvanR> | with space for every kind of card, if it's normal cards |
| 19:14:26 | <EvanR> | might not work for magic the gathering |
| 19:14:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 19:17:29 | <__monty__> | Not many card games with regular playing cards where you can have more than one of any given card. |
| 19:17:41 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 19:18:08 | <__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? |
| 19:21:26 | <monochrom> | Dependently typed UIs are prophesized to solve that problem. >:) |
| 19:21:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:21:59 | <int-e> | monochrom: dependent types solve problems in production by making it impossible to write code ;-) |
| 19:26:29 | × | remedan quits (~remedan@193-179-60-135.customers.tmcz.cz) (Ping timeout: 244 seconds) |
| 19:26:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:28:19 | → | remedan joins (~remedan@78-80-80-28.customers.tmcz.cz) |
| 19:36:18 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 19:37:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:40:55 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 258 seconds) |
| 19:41:14 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 19:44:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 19:46:10 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 19:46:29 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 19:50:09 | <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. :) |
| 19:51:08 | <tomsmeding> | single CPU instruction for membership test, discarding and hand size! |
| 19:51:14 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:51:49 | <tomsmeding> | okay maybe 3 instructions or so |
| 19:55:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:58:33 | × | Beowulf quits (florian@gabilgathol.bandrate.org) (Quit: = "") |
| 19:59:08 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 20:00:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:00:27 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 20:00:58 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 20:07:49 | × | jespada quits (~jespada@2800:a4:220c:dc00:fc3d:6c91:7dca:2577) (Ping timeout: 244 seconds) |
| 20:08:05 | → | Beowulf joins (florian@gabilgathol.bandrate.org) |
| 20:11:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:16:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 20:17:43 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 20:22:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:27:07 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 20:27:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 20:31:09 | → | pavonia joins (~user@user/siracusa) |
| 20:38:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:40:37 | → | sprotte24 joins (~sprotte24@p5b039f5e.dip0.t-ipconnect.de) |
| 20:40:40 | <probie> | tomsmeding: it can be a single instruction if you're the one designing the CPU :p |
| 20:43:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:47:09 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
| 20:53:00 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 20:53:08 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 20:54:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:59:05 | → | fp1 joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 20:59:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 21:02:51 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 21:06:03 | × | fp1 quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 21:07:14 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 21:10:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:12:28 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:14:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 21:25:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:27:48 | × | tromp quits (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:31:51 | <biberao> | i went to try and install wsl2 do i just install whatever distro diretly |
| 21:32:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:36:34 | <biberao> | i think i understood sorry windows newb :D |
| 21:36:43 | <biberao> | on wsl btw debian or ubuntu? |
| 21:37:14 | × | michalz quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 21:37:25 | <haskellbridge> | <sm> you don't need wsl to do haskell |
| 21:37:50 | → | tromp joins (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) |
| 21:38:00 | <haskellbridge> | <sm> but, either of those should work fine |
| 21:39:01 | → | hjj123 joins (~hjj123@178.155.115.231) |
| 21:41:59 | × | user0 quits (~user0@67.161.181.189) (Quit: leaving) |
| 21:43:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:45:43 | → | califax_ joins (~califax@user/califx) |
| 21:46:26 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 21:46:57 | califax_ | is now known as califax |
| 21:48:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:49:04 | × | hjj123 quits (~hjj123@178.155.115.231) (Quit: Client closed) |
| 21:52:50 | × | tromp quits (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:54:02 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 21:54:16 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 21:55:56 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 21:59:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:00:09 | <biberao> | sm i dont? |
| 22:00:13 | <biberao> | to install ghcup» |
| 22:00:15 | <biberao> | ? |
| 22:00:20 | <biberao> | i was advise to do that |
| 22:00:30 | <biberao> | how do i now use ghcup with vscode? |
| 22:00:43 | <biberao> | do i need to install vscode on wsl? |
| 22:02:57 | <haskellbridge> | <sm> ah yes, it looks like you maybe do need wsl to make ghcup run on windows. I would just use stack personally. |
| 22:03:29 | <haskellbridge> | <sm> I'm pretty sure vscode does not require wsl. ghcup is the only tool that needs it. |
| 22:03:57 | <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 |
| 22:04:18 | <haskellbridge> | <sm> that's what I thought too. I'm just looking at the options at https://www.haskell.org/ghcup/# |
| 22:04:38 | <geekosaur> | Click "show all platforms" |
| 22:04:39 | <biberao> | oh so i dont need wsl then? |
| 22:04:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:04:50 | <haskellbridge> | <sm> ah, you have to click Show all platforms. page needs an update maybe, maerwald |
| 22:05:17 | <biberao> | so ill remove wsl |
| 22:05:43 | <biberao> | i dont see that |
| 22:05:48 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 22:05:48 | → | jreicher joins (~user@user/jreicher) |
| 22:05:49 | <biberao> | show all platforms |
| 22:06:21 | <biberao> | can you link please? |
| 22:07:09 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 22:07:36 | <biberao> | do i need to install msys2? |
| 22:07:43 | <haskellbridge> | <sm> https://kf8nh.com/_heisenbridge/media/matrix.org/iLBLcdfMQQpypjSGmPcQVjqa/tTWuaB_EmLU/Screenshot%202025-09-10%20at%2023.07.34.png |
| 22:08:06 | <geekosaur> | it's in small text (and hard to see against the background) right under the Linux/POSIX/WSL2 instruction box |
| 22:08:40 | <haskellbridge> | <sm> biberao maybe.. what makes you ask that ? |
| 22:09:07 | <biberao> | i was asking the place |
| 22:09:28 | <geekosaur> | ghc installs msys2 itself since it needs a specific non-default msys2 toolchain |
| 22:10:06 | <biberao> | s i do the curl and then do that command? |
| 22:10:36 | <geekosaur> | if you're using the windows instructions there should be a PowerShell invocation |
| 22:10:40 | <biberao> | ok |
| 22:10:42 | <biberao> | thanks |
| 22:10:46 | <geekosaur> | you won't have curl unless you are using wsl2 |
| 22:10:54 | <biberao> | oh i didnt see the url embedded sorry |
| 22:11:03 | <biberao> | thank you |
| 22:11:05 | <biberao> | ! |
| 22:11:10 | <biberao> | ill remove wsl2 i dont need ikt |
| 22:12:03 | <biberao> | thank you very much |
| 22:12:17 | <haskellbridge> | <sm> no problem |
| 22:15:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:16:02 | × | Taneb quits (~Taneb@ip87-106-35-210.pbiaas.com) (Ping timeout: 260 seconds) |
| 22:20:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 22:26:40 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 22:31:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:36:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 22:37:44 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 22:45:17 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 22:45:41 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 22:47:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:49:24 | trickard_ | is now known as trickard |
| 22:50:40 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 22:52:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:53:44 | <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.) |
| 22:54:11 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 22:54:26 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 22:58:41 | <arahael> | Big library! |
| 23:03:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:03:52 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 23:04:23 | × | davidlbowman quits (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 23:05:14 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 23:05:27 | × | biberao quits (~m@user/biberao) (Quit: WeeChat 3.8) |
| 23:05:51 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 23:06:06 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 23:06:37 | <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!" |
| 23:09:27 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 23:10:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:11:14 | × | acidjnk quits (~acidjnk@p200300d6e7171978f1deda3d99afd1a1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 23:13:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 23:14:55 | → | itaipu joins (~itaipu@168.121.97.28) |
| 23:17:52 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:21:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:22:10 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 23:22:14 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 256 seconds) |
| 23:23:09 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 23:26:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:27:03 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 23:28:07 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 23:28:16 | × | Lord_of_Life_ quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 23:28:17 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:32:10 | → | karenw joins (~karenw@user/karenw) |
| 23:33:08 | × | sprotte24 quits (~sprotte24@p5b039f5e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:37:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:40:38 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 23:40:39 | → | Googulator61 joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 23:42:00 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 23:42:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:43:18 | → | pabs3 joins (~pabs3@user/pabs3) |
| 23:46:15 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 23:47:20 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:47:23 | → | acidjnk joins (~acidjnk@p200300d6e717192649d3cadc2eaa05e5.dip0.t-ipconnect.de) |
| 23:53:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:58:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
All times are in UTC on 2025-09-10.