2025/08/26

2025-08-26 00:03:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-26 00:04:07 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 00:05:56 +0200hakutaku(~textual@chen.yukari.eu.org) (Remote host closed the connection)
2025-08-26 00:06:21 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-26 00:09:27 +0200zarakshR(~Thunderbi@0542a05a.skybroadband.com) zarakshR
2025-08-26 00:09:28 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
2025-08-26 00:10:57 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 00:14:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 00:19:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 00:22:55 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-26 00:23:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 00:26:11 +0200rustisafungus(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-08-26 00:27:01 +0200divlamir(~divlamir@user/divlamir) (Ping timeout: 258 seconds)
2025-08-26 00:27:24 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-26 00:27:31 +0200kadobanana(~mud@user/kadoban) kadoban
2025-08-26 00:27:47 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 258 seconds)
2025-08-26 00:27:48 +0200tremon(~tremon@83.80.159.219) (Ping timeout: 258 seconds)
2025-08-26 00:27:48 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2025-08-26 00:27:48 +0200fgarcia(~lei@user/fgarcia) (Ping timeout: 258 seconds)
2025-08-26 00:28:11 +0200mud(~mud@user/kadoban) (Ping timeout: 258 seconds)
2025-08-26 00:28:11 +0200ent-(entgod@kapsi.fi) (Ping timeout: 258 seconds)
2025-08-26 00:28:24 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-08-26 00:28:28 +0200mniip_(mniip@libera/staff/mniip) mniip
2025-08-26 00:28:49 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-26 00:29:32 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) ft
2025-08-26 00:29:46 +0200ent-(entgod@kapsi.fi) ent
2025-08-26 00:29:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 00:30:03 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-26 00:31:23 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-08-26 00:32:54 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-26 00:33:32 +0200mniip(mniip@libera/staff/mniip) (Ping timeout: 622 seconds)
2025-08-26 00:34:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 00:38:08 +0200jackdk(uid373013@cssa/life/jackdk) jackdk
2025-08-26 00:39:02 +0200hakutaku(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-08-26 00:39:35 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-26 00:40:05 +0200tremon(~tremon@83.80.159.219) tremon
2025-08-26 00:40:44 +0200trickard_trickard
2025-08-26 00:41:04 +0200weary-traveler(~user@user/user363627) user363627
2025-08-26 00:45:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 00:48:38 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-26 00:49:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-26 00:57:46 +0200pavonia(~user@user/siracusa) siracusa
2025-08-26 01:00:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 01:05:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 01:11:44 +0200geekosaur(sid609282@xmonad/geekosaur) (Server closed connection)
2025-08-26 01:11:55 +0200geekosaur(sid609282@xmonad/geekosaur) geekosaur
2025-08-26 01:14:35 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-26 01:15:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 01:22:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 01:26:12 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-26 01:28:29 +0200Techcable(sid534393@user/Techcable) (Server closed connection)
2025-08-26 01:29:03 +0200Techcable(sid534393@user/Techcable) Techcable
2025-08-26 01:29:17 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-26 01:32:25 +0200acidjnk(~acidjnk@p200300d6e71719081443facf871fb4de.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-08-26 01:33:02 +0200sprotte24(~sprotte24@p200300d16f22e400a41ef76cad8884a0.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-08-26 01:33:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 01:38:00 +0200rustisafungus(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
2025-08-26 01:38:08 +0200bjs(sid190364@user/bjs) (Server closed connection)
2025-08-26 01:38:22 +0200bjs(sid190364@user/bjs) bjs
2025-08-26 01:38:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 01:43:16 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-26 01:49:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 01:50:52 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-08-26 01:54:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 01:56:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-26 02:04:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 02:04:46 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-26 02:05:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-26 02:09:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 02:14:44 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-26 02:17:50 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 245 seconds)
2025-08-26 02:19:06 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 02:20:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 02:25:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-26 02:26:14 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-26 02:27:02 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com) (Server closed connection)
2025-08-26 02:27:14 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com) hamishmack
2025-08-26 02:28:54 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-08-26 02:29:15 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-08-26 02:29:55 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-26 02:30:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 02:33:12 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds)
2025-08-26 02:33:19 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-08-26 02:35:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 02:37:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-26 02:45:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 02:49:58 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-08-26 02:50:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 02:55:40 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-08-26 03:01:10 +0200xff0x(~xff0x@2405:6580:b080:900:b9f9:93d3:5baf:528b) (Ping timeout: 245 seconds)
2025-08-26 03:01:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 03:03:44 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 03:04:59 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com) (Server closed connection)
2025-08-26 03:05:48 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com) SrPx
2025-08-26 03:06:09 +0200bilegeek(~bilegeek@243.sub-174-209-34.myvzw.com) bilegeek
2025-08-26 03:07:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 03:07:51 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-26 03:08:39 +0200bilegeek(~bilegeek@243.sub-174-209-34.myvzw.com) (Client Quit)
2025-08-26 03:17:23 +0200yegor(~yegor@user/yegorc) (Excess Flood)
2025-08-26 03:18:16 +0200yegor(~yegor@user/yegorc) yegorc
2025-08-26 03:19:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 03:20:24 +0200cbarrett(sid192934@id-192934.helmsley.irccloud.com) (Server closed connection)
2025-08-26 03:20:28 +0200yegor(~yegor@user/yegorc) (Max SendQ exceeded)
2025-08-26 03:20:35 +0200cbarrett(sid192934@id-192934.helmsley.irccloud.com) cbarrett
2025-08-26 03:21:35 +0200yegor(~yegor@user/yegorc) yegorc
2025-08-26 03:24:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-26 03:42:33 +0200ell(~ellie@user/ellie) ellie
2025-08-26 03:44:49 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 258 seconds)
2025-08-26 03:45:27 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-08-26 03:50:11 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-26 03:51:36 +0200yegor(~yegor@user/yegorc) (Excess Flood)
2025-08-26 03:53:46 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-26 03:53:57 +0200yegor(~yegor@user/yegorc) yegorc
2025-08-26 03:55:26 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-08-26 03:59:30 +0200yegorc(~yegor@user/yegorc) yegorc
2025-08-26 03:59:37 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 04:00:24 +0200yegor(~yegor@user/yegorc) (Ping timeout: 248 seconds)
2025-08-26 04:02:53 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com) (Server closed connection)
2025-08-26 04:03:32 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com) NiKaN
2025-08-26 04:12:39 +0200yegorcyegor
2025-08-26 04:26:21 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-08-26 04:29:33 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 04:35:19 +0200fgarcia(~lei@user/fgarcia) (Read error: Connection reset by peer)
2025-08-26 04:36:57 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-26 04:41:36 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-26 04:45:21 +0200n3t(~n3t@user/n3t) (Server closed connection)
2025-08-26 04:45:46 +0200n3t(~n3t@user/n3t) n3t
2025-08-26 04:47:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 04:49:50 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 04:52:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 05:03:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 05:05:40 +0200trickard__(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 05:06:32 +0200trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-08-26 05:07:50 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds)
2025-08-26 05:07:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 05:12:45 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-08-26 05:18:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 05:20:16 +0200trickard__(~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 258 seconds)
2025-08-26 05:20:31 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 05:23:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 05:30:42 +0200aforemny_(~aforemny@2001:9e8:6ce0:b400:b37:e7d1:7c56:28e9) aforemny
2025-08-26 05:31:38 +0200aforemny(~aforemny@2001:9e8:6cc1:4500:e2a2:a3a1:5209:ec30) (Ping timeout: 248 seconds)
2025-08-26 05:32:08 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-08-26 05:33:49 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-26 05:34:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 05:39:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 05:48:40 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
2025-08-26 05:49:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 05:50:39 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-08-26 05:52:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 05:54:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-26 06:00:26 +0200ystael(~ystael@user/ystael) (Ping timeout: 248 seconds)
2025-08-26 06:05:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 06:07:00 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-08-26 06:11:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 06:16:50 +0200hakutaku(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-08-26 06:23:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 06:24:29 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 06:24:42 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-26 06:24:42 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 06:24:47 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-26 06:24:54 +0200hakutaku(~textual@chen.yukari.eu.org) (Client Quit)
2025-08-26 06:25:13 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 06:28:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 06:38:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 06:43:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 06:52:42 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) (Server closed connection)
2025-08-26 06:53:07 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) PotatoGim
2025-08-26 06:53:44 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-26 06:54:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 06:57:39 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-26 06:58:49 +0200hakutaku(~textual@chen.yukari.eu.org) (Client Quit)
2025-08-26 06:59:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 06:59:41 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-08-26 07:05:35 +0200trickard_trickard
2025-08-26 07:10:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 07:14:12 +0200michalz(~michalz@185.246.207.221)
2025-08-26 07:14:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 07:17:45 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 07:22:33 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-26 07:26:23 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-26 07:27:43 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-08-26 07:28:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 07:32:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 07:34:49 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-08-26 07:38:03 +0200 <probie> What is a good name for a class `class NameHere f where { empty :: f a }`? Does it have a canonical name?
2025-08-26 07:39:55 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 07:41:43 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 258 seconds)
2025-08-26 07:43:10 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-08-26 07:43:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 07:47:04 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
2025-08-26 07:50:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 07:55:49 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-26 07:56:57 +0200mari-estel(~mari-este@user/mari-estel) (Ping timeout: 260 seconds)
2025-08-26 08:01:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 08:06:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 08:08:56 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 258 seconds)
2025-08-26 08:17:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 08:17:33 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-26 08:17:34 +0200 <Axman6> what are the properties of f?
2025-08-26 08:17:56 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-26 08:18:54 +0200 <Axman6> Looks a lot like either Alternative's empty of MonadPlus' mzero
2025-08-26 08:21:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 08:26:05 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-26 08:30:07 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-08-26 08:32:01 +0200 <haskellbridge> <maerwald> geekosaur: Yeah, I'm super conservative with bumping the recommended version of cabal, since I don't have high confidence about release quality and regression testing. But that also means that sometimes people have to challenge the recommendations. That's good.
2025-08-26 08:32:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 08:32:50 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-08-26 08:33:05 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-26 08:34:37 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-26 08:36:26 +0200tromp(~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49)
2025-08-26 08:37:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-26 08:43:48 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-26 08:46:09 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-08-26 08:47:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 08:52:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 08:56:34 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-08-26 08:59:08 +0200zarakshR(~Thunderbi@0542a05a.skybroadband.com) (Ping timeout: 256 seconds)
2025-08-26 08:59:20 +0200 <Axman6> This feels like an obvious question, but is there a better way to compute the cube root of a number than n**(1/3)?
2025-08-26 09:00:00 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-26 09:00:42 +0200caconym747(~caconym@user/caconym) caconym
2025-08-26 09:02:05 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 09:03:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 09:06:32 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
2025-08-26 09:07:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-26 09:08:46 +0200trickard(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 09:08:58 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 09:10:18 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-26 09:11:48 +0200acidjnk(~acidjnk@p200300d6e7171935d5e5673b6843e553.dip0.t-ipconnect.de) acidjnk
2025-08-26 09:15:13 +0200 <jreicher> Axman6: what do you mean by "better"?
2025-08-26 09:15:55 +0200 <Axman6> we have sqrt, wondering if there's anything more direct like that
2025-08-26 09:18:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 09:20:07 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 09:20:20 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 09:22:19 +0200 <jreicher> Axman6: https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.Float.html#sqrt
2025-08-26 09:22:57 +0200 <lortabac> numeric-prelude has a class with a 'root' method
2025-08-26 09:23:34 +0200 <lortabac> but under the hood it probably still does n ** (1 / m)
2025-08-26 09:24:40 +0200chele(~chele@user/chele) chele
2025-08-26 09:24:47 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-26 09:25:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 09:25:45 +0200 <jreicher> lortabac: I'm not familiar with that but looking at the code I think it carries around the number as a surd?
2025-08-26 09:27:29 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-08-26 09:28:49 +0200 <lortabac> jreicher: I'm not brave enough to read the code of a library where all the classes are named 'C'
2025-08-26 09:29:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 09:30:22 +0200tromp(~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-26 09:31:44 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-26 09:34:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 09:37:52 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds)
2025-08-26 09:44:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 09:47:54 +0200Square3(~Square4@user/square) Square
2025-08-26 09:48:40 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-08-26 09:49:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 09:54:47 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2025-08-26 09:55:38 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-26 09:56:04 +0200paul(~paul@p200300d0c724c972c1124819265dadf7.dip0.t-ipconnect.de)
2025-08-26 09:56:08 +0200paulGuest6666
2025-08-26 09:56:48 +0200trickard_trickard
2025-08-26 10:00:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 10:03:36 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving)
2025-08-26 10:04:02 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-08-26 10:04:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 10:06:22 +0200drdo(~drdo@2a01:4f8:1c1c:4976::1) (Server closed connection)
2025-08-26 10:06:33 +0200drdo(~drdo@2a01:4f8:1c1c:4976::1) drdo
2025-08-26 10:09:32 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-08-26 10:09:41 +0200tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds)
2025-08-26 10:15:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 10:19:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 10:23:43 +0200sprotte24(~sprotte24@p200300d16f0e5a00a48daab63f7a3f4a.dip0.t-ipconnect.de)
2025-08-26 10:30:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 10:34:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 10:43:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 10:47:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 10:58:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 11:02:49 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-08-26 11:03:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-26 11:05:11 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-08-26 11:06:04 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-26 11:07:05 +0200mari-estel(~mari-este@user/mari-estel) (Client Quit)
2025-08-26 11:07:22 +0200inline_(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline
2025-08-26 11:10:16 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2025-08-26 11:12:50 +0200trickard(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 11:12:56 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-26 11:13:03 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 11:13:55 +0200pikajude(~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Server closed connection)
2025-08-26 11:14:15 +0200pikajude(~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) pikajude
2025-08-26 11:14:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 11:14:42 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-08-26 11:15:18 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-08-26 11:17:11 +0200Gravifer(~Gravifer@user/Gravifer) Gravifer
2025-08-26 11:20:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 11:31:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 11:31:26 +0200tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2025-08-26 11:32:26 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 11:32:39 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 11:35:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 11:37:11 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-08-26 11:42:29 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-26 11:42:57 +0200Gravifer(~Gravifer@user/Gravifer) (Quit: Client closed)
2025-08-26 11:46:29 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 11:46:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 11:49:53 +0200kaskal(~kaskal@2a02:8388:15bf:c200:56a6:d3c4:244b:bb14) (Quit: ZNC - https://znc.in)
2025-08-26 11:50:10 +0200kaskal(~kaskal@2a02:8388:15bf:c200:4ad7:7046:d36e:df72) kaskal
2025-08-26 11:51:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-26 11:55:19 +0200ubert1(~Thunderbi@178.115.39.91.wireless.dyn.drei.com) ubert
2025-08-26 12:01:21 +0200trickard_trickard
2025-08-26 12:02:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 12:07:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 12:07:37 +0200 <Athas> Are Text literals (using OverloadedStrings) efficiently represented?
2025-08-26 12:09:02 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-26 12:17:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 12:21:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 12:23:08 +0200 <sshine> how would they be more efficiently represented than non-literals; by static inlining?
2025-08-26 12:25:34 +0200 <Athas> Semantically, a Haskell string literal "foo" will be (fromList ('f' : 'o' : 'o' " [])).
2025-08-26 12:25:42 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds)
2025-08-26 12:25:56 +0200 <Athas> That's eight constructors and a lazy application. I hope that is not the code that is generated from the appropriate fromList type is monomorphic.
2025-08-26 12:26:58 +0200 <Leary> Without `OverloadedStrings`, a `String` literal "foo" compiles to `unpackCString "foo"#`. I don't see why the extension should change anything in this regard.
2025-08-26 12:27:28 +0200 <Athas> Oh, so GHC already has an optimisation for that case. I'd be surprised if it didn't, but it's nice to make sure.
2025-08-26 12:27:36 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2025-08-26 12:28:28 +0200 <Leary> Presumably you can also write RULES for `yourFromString (unpackCString s)` if you want to do better.
2025-08-26 12:29:51 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-08-26 12:32:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 12:37:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 12:38:32 +0200trickard(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 12:38:44 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 12:38:50 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 12:40:20 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-26 12:40:42 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-26 12:46:05 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-26 12:47:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 12:50:18 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-26 12:51:49 +0200sprotte24(~sprotte24@p200300d16f0e5a00a48daab63f7a3f4a.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-08-26 12:52:50 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-08-26 12:54:03 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-26 12:54:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-26 13:00:04 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-26 13:02:17 +0200caconym747(~caconym@user/caconym) caconym
2025-08-26 13:02:21 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 13:05:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 13:05:50 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Server closed connection)
2025-08-26 13:06:04 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2025-08-26 13:07:36 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 248 seconds)
2025-08-26 13:10:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 13:16:32 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-26 13:21:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 13:25:44 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-08-26 13:26:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 13:29:59 +0200xff0x(~xff0x@2405:6580:b080:900:bd9c:270d:261:4d07)
2025-08-26 13:31:22 +0200tremon(~tremon@83.80.159.219) tremon
2025-08-26 13:32:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 13:34:31 +0200__monty__(~toonn@user/toonn) toonn
2025-08-26 13:37:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 13:38:29 +0200kuribas(~user@2a02-1810-2825-6000-1140-f7e9-a719-3107.ip6.access.telenet.be) kuribas
2025-08-26 13:39:30 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2025-08-26 13:40:03 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-26 13:42:53 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 13:44:58 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-26 13:46:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-26 13:47:10 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-08-26 13:47:47 +0200Lycurgus(~juan@user/Lycurgus) (Client Quit)
2025-08-26 13:48:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 13:50:27 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Client Quit)
2025-08-26 13:51:32 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-26 13:52:07 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-26 13:52:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-26 13:57:58 +0200bradparker(sid262931@id-262931.uxbridge.irccloud.com) (Server closed connection)
2025-08-26 13:58:11 +0200bradparker(sid262931@id-262931.uxbridge.irccloud.com) bradparker
2025-08-26 14:02:10 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-26 14:03:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 14:06:48 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-26 14:08:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 14:11:40 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
2025-08-26 14:14:42 +0200preflex(~preflex@user/mauke/bot/preflex) (Server closed connection)
2025-08-26 14:14:56 +0200preflex(~preflex@user/mauke/bot/preflex) preflex
2025-08-26 14:18:45 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 14:19:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 14:20:43 +0200tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2025-08-26 14:20:49 +0200tomboy65(~tomboy64@user/tomboy64) tomboy64
2025-08-26 14:23:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 14:24:41 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-08-26 14:28:20 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 14:28:37 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 14:30:51 +0200Franciman(~Franciman@mx1.fracta.dev) Franciman
2025-08-26 14:33:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 14:38:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 14:42:25 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds)
2025-08-26 14:43:25 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-26 14:46:07 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Quit: fp)
2025-08-26 14:46:14 +0200fp1(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-26 14:46:16 +0200tomboy65(~tomboy64@user/tomboy64) (Ping timeout: 248 seconds)
2025-08-26 14:48:32 +0200fp1fp
2025-08-26 14:49:16 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-08-26 14:49:16 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-08-26 14:49:16 +0200haritz(~hrtz@user/haritz) haritz
2025-08-26 14:49:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 14:50:04 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 14:50:17 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 14:50:29 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Remote host closed the connection)
2025-08-26 14:51:37 +0200fp(~Thunderbi@2001:708:150:10::72df) fp
2025-08-26 14:51:38 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-26 14:52:39 +0200int-e(~noone@int-e.eu) (Server closed connection)
2025-08-26 14:52:48 +0200int-e(~noone@int-e.eu) int-e
2025-08-26 14:53:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 14:54:45 +0200oxapentane(~oxapentan@user/oxapentane) (Remote host closed the connection)
2025-08-26 14:55:18 +0200oxapentane(~oxapentan@user/oxapentane) oxapentane
2025-08-26 14:56:12 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-26 15:00:22 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-08-26 15:04:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 15:05:41 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-08-26 15:07:25 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-26 15:09:10 +0200fp(~Thunderbi@2001:708:150:10::72df) (Ping timeout: 256 seconds)
2025-08-26 15:09:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-26 15:14:06 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-26 15:20:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 15:24:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 15:30:11 +0200 <tomsmeding> Athas: the unpackCString# expansion is a desugaring, so you can already see it in Core https://play.haskell.org/saved/IaWMOGrc
2025-08-26 15:30:34 +0200 <tomsmeding> so if you're paranoid, you can look at Core of code you're interested in and see what's happening
2025-08-26 15:31:08 +0200ystael(~ystael@user/ystael) ystael
2025-08-26 15:31:21 +0200hakutaku(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-08-26 15:31:43 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 15:32:15 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-26 15:34:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 15:38:36 +0200trickard_trickard
2025-08-26 15:39:04 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-26 15:39:41 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-08-26 15:40:08 +0200 <bwe> how do I parMap with https://hackage.haskell.org/package/streaming ?
2025-08-26 15:41:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 15:42:20 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-08-26 15:42:38 +0200 <bwe> there is https://github.com/haskell-streaming/streaming-concurrency but it's pretty out of date
2025-08-26 15:43:27 +0200APic(apic@chiptune.apic.name) (Server closed connection)
2025-08-26 15:43:39 +0200APic(apic@apic.name) APic
2025-08-26 15:52:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 15:57:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-26 16:02:07 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-26 16:02:29 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 16:03:48 +0200trickard(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 16:04:01 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 16:06:13 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-26 16:07:17 +0200earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Server closed connection)
2025-08-26 16:07:37 +0200earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy
2025-08-26 16:08:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 16:12:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 16:14:37 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-26 16:22:46 +0200tbahne(~tbahne@user/tbahne) tbahne
2025-08-26 16:23:34 +0200nicole(ilbelkyr@libera/staff/ilbelkyr) (Quit: Reconnecting)
2025-08-26 16:23:39 +0200nicole(ilbelkyr@libera/staff/ilbelkyr) ilbelkyr
2025-08-26 16:23:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 16:24:21 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-26 16:24:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 16:25:19 +0200tbahne(~tbahne@user/tbahne) (Remote host closed the connection)
2025-08-26 16:26:32 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 256 seconds)
2025-08-26 16:26:35 +0200nschoe(~nschoe@82-65-202-30.subs.proxad.net) (Server closed connection)
2025-08-26 16:26:53 +0200nschoe(~nschoe@2a01:e0a:8e:a190:8400:bfb7:7968:3470) nschoe
2025-08-26 16:28:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 16:33:51 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-08-26 16:34:51 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-08-26 16:35:06 +0200Guest6666(~paul@p200300d0c724c972c1124819265dadf7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-08-26 16:35:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 16:36:02 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 16:37:48 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-08-26 16:40:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 16:40:41 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-26 16:47:20 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
2025-08-26 16:50:39 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-26 16:51:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 16:52:11 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-26 16:53:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 16:55:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 17:02:12 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-26 17:02:34 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 17:05:19 +0200acidjnk(~acidjnk@p200300d6e7171935d5e5673b6843e553.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2025-08-26 17:06:28 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-08-26 17:06:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 17:09:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-26 17:11:15 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 17:11:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 17:22:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 17:29:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 17:30:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-26 17:30:41 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 17:32:35 +0200acidjnk(~acidjnk@p200300d6e7171900c8d1e26a04eb2053.dip0.t-ipconnect.de) acidjnk
2025-08-26 17:33:08 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-26 17:36:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 17:41:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-26 17:42:39 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-08-26 17:51:43 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 17:51:55 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 17:52:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 17:56:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 18:01:11 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-26 18:04:44 +0200shapr(~user@130.44.148.32) shapr
2025-08-26 18:07:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 18:12:14 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 18:12:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 18:23:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 18:27:30 +0200edmundnoble_(sid229620@id-229620.helmsley.irccloud.com) (Server closed connection)
2025-08-26 18:27:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 18:27:41 +0200edmundnoble_(sid229620@id-229620.helmsley.irccloud.com) edmundnoble_
2025-08-26 18:27:42 +0200tromp(~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49)
2025-08-26 18:29:46 +0200ystael(~ystael@user/ystael) (Ping timeout: 256 seconds)
2025-08-26 18:33:44 +0200divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-08-26 18:33:56 +0200tapas(sid467876@id-467876.ilkley.irccloud.com) (Server closed connection)
2025-08-26 18:34:05 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-08-26 18:34:07 +0200tapas(sid467876@id-467876.ilkley.irccloud.com) tapas
2025-08-26 18:35:15 +0200coldmountain(sid484352@id-484352.helmsley.irccloud.com) (Server closed connection)
2025-08-26 18:35:27 +0200coldmountain(sid484352@id-484352.helmsley.irccloud.com) coldmountain
2025-08-26 18:37:09 +0200[_________](~oos95GWG@user/oos95GWG) (Server closed connection)
2025-08-26 18:37:27 +0200[_________](~oos95GWG@user/oos95GWG) oos95GWG
2025-08-26 18:37:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 18:37:59 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 18:40:20 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-08-26 18:42:09 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 18:42:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 18:43:35 +0200absence(torgeihe@hildring.pvv.ntnu.no) (Server closed connection)
2025-08-26 18:43:48 +0200absence(torgeihe@hildring.pvv.ntnu.no)
2025-08-26 18:45:42 +0200tromp(~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-26 18:45:57 +0200anselmschueler(~Thunderbi@user/schuelermine) schuelermine
2025-08-26 18:47:19 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-26 18:50:24 +0200anselmschueler(~Thunderbi@user/schuelermine) (Client Quit)
2025-08-26 18:51:32 +0200ystael(~ystael@user/ystael) ystael
2025-08-26 18:53:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 18:55:52 +0200tromp(~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49)
2025-08-26 18:58:18 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 258 seconds)
2025-08-26 18:58:45 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 18:59:46 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-08-26 19:00:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 19:00:27 +0200Square2(~Square@user/square) Square
2025-08-26 19:03:15 +0200Square3(~Square4@user/square) (Ping timeout: 245 seconds)
2025-08-26 19:04:39 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-26 19:05:12 +0200zarakshR(~Thunderbi@0542a05a.skybroadband.com) zarakshR