2025-03-10 00:01:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-10 00:04:59 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-03-10 00:05:06 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-03-10 00:10:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 00:11:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 00:13:06 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 276 seconds) |
2025-03-10 00:14:27 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-10 00:16:44 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::3e4b) ensyde |
2025-03-10 00:18:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-10 00:23:18 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
2025-03-10 00:26:09 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-03-10 00:29:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 00:34:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-03-10 00:39:08 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
2025-03-10 00:41:36 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
2025-03-10 00:42:18 +0100 | mange | (~user@user/mange) mange |
2025-03-10 00:43:45 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-03-10 00:45:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 00:47:27 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) fp |
2025-03-10 00:50:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-10 00:50:59 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-03-10 00:51:40 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 244 seconds) |
2025-03-10 00:52:14 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
2025-03-10 00:55:27 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 |
2025-03-10 00:55:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 01:00:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-10 01:00:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 01:03:23 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
2025-03-10 01:03:54 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-10 01:04:04 +0100 | Inst | (~Inst@user/Inst) (Ping timeout: 244 seconds) |
2025-03-10 01:05:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-10 01:05:50 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) (Ping timeout: 260 seconds) |
2025-03-10 01:06:09 +0100 | alp | (~alp@2001:861:8ca0:4940:445a:f71:bdb6:b173) (Ping timeout: 248 seconds) |
2025-03-10 01:06:31 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-03-10 01:07:42 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2025-03-10 01:07:42 +0100 | ljdarj1 | ljdarj |
2025-03-10 01:15:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 01:17:38 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 252 seconds) |
2025-03-10 01:19:04 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-03-10 01:20:00 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
2025-03-10 01:20:49 +0100 | malte | (~malte@mal.tc) malte |
2025-03-10 01:20:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-10 01:21:51 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
2025-03-10 01:24:47 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
2025-03-10 01:25:38 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2025-03-10 01:31:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 01:35:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2025-03-10 01:35:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-10 01:37:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-03-10 01:39:06 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 268 seconds) |
2025-03-10 01:40:51 +0100 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 276 seconds) |
2025-03-10 01:41:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 01:42:28 +0100 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
2025-03-10 01:43:00 +0100 | monochrom | (trebla@216.138.220.146) |
2025-03-10 01:46:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
2025-03-10 01:47:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 01:48:11 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 |
2025-03-10 01:48:37 +0100 | sprotte24 | (~sprotte24@p200300d16f317300a85c86300bea5737.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-03-10 01:49:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-03-10 01:53:41 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3186:9050:3482:8829) (Ping timeout: 248 seconds) |
2025-03-10 01:54:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-10 01:58:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2025-03-10 02:03:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-10 02:04:11 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f122c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-03-10 02:05:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 02:06:46 +0100 | malte | (~malte@mal.tc) malte |
2025-03-10 02:10:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-10 02:14:06 +0100 | Everything | (~Everythin@94.153.31.251) Everything |
2025-03-10 02:14:40 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2025-03-10 02:15:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-10 02:16:06 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
2025-03-10 02:17:38 +0100 | malte | (~malte@mal.tc) malte |
2025-03-10 02:18:31 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-03-10 02:21:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 02:24:22 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
2025-03-10 02:26:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-10 02:26:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-03-10 02:26:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 02:29:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 02:30:54 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-10 02:31:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-10 02:34:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-10 02:41:50 +0100 | malte | (~malte@mal.tc) malte |
2025-03-10 02:43:22 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-10 02:44:25 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
2025-03-10 02:45:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 02:46:11 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:1556:f2dc:d221:a969) (Read error: Connection reset by peer) |
2025-03-10 02:49:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-10 02:50:52 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
2025-03-10 02:51:26 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
2025-03-10 03:00:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 03:05:02 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-03-10 03:05:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-10 03:07:14 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-03-10 03:11:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
2025-03-10 03:12:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 03:13:24 +0100 | yegorc | (~yegorc@user/yegorc) (Quit: Leaving) |
2025-03-10 03:15:37 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-03-10 03:15:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 03:16:50 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-10 03:17:49 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-10 03:20:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-10 03:22:25 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
2025-03-10 03:25:58 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
2025-03-10 03:31:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 03:32:56 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2025-03-10 03:36:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-10 03:46:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 03:51:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-10 03:57:06 +0100 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
2025-03-10 03:58:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 03:59:54 +0100 | Everything | (~Everythin@94.153.31.251) (Ping timeout: 272 seconds) |
2025-03-10 04:01:10 +0100 | Everything | (~Everythin@94.153.10.203) Everything |
2025-03-10 04:02:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 04:03:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
2025-03-10 04:06:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-10 04:17:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 04:18:17 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-03-10 04:22:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-10 04:24:00 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-10 04:24:40 +0100 | Inst | (~Inst@user/Inst) Inst |
2025-03-10 04:25:34 +0100 | <Inst> | RIP Macbook Air, brave martyr in the service of functional programming (with an excessively large list, the program ate up all my memory and apparently MacOS is not robust when too much memory is used) |
2025-03-10 04:32:07 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2025-03-10 04:32:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 04:35:02 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
2025-03-10 04:40:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-10 04:43:34 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 04:43:51 +0100 | Inst | (~Inst@user/Inst) Inst |
2025-03-10 04:44:32 +0100 | img | (~img@user/img) (Read error: Connection reset by peer) |
2025-03-10 04:44:37 +0100 | bilegeek | (~bilegeek@2600:1008:b0a6:50f7:bad9:4ab9:8e7a:9e79) bilegeek |
2025-03-10 04:44:56 +0100 | img | (~img@user/img) img |
2025-03-10 04:45:59 +0100 | <Inst> | fold itself calls to rewrite rules, which is why it's so efficient |
2025-03-10 04:46:05 +0100 | img | (~img@user/img) (Client Quit) |
2025-03-10 04:46:29 +0100 | <Inst> | time to learn builder i guess |
2025-03-10 04:46:58 +0100 | <Inst> | and simple fold two elements, then par the rest, might be the most efficient chunk generator |
2025-03-10 04:47:11 +0100 | <Inst> | *mappend |
2025-03-10 04:47:15 +0100 | chewybread | (~chewybrea@user/chewybread) (Remote host closed the connection) |
2025-03-10 04:47:16 +0100 | <Inst> | *spark generator |
2025-03-10 04:47:26 +0100 | img | (~img@user/img) img |
2025-03-10 04:47:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-10 04:49:27 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2025-03-10 04:50:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 04:52:44 +0100 | Inst | (~Inst@c-98-208-247-195.hsd1.fl.comcast.net) |
2025-03-10 04:52:44 +0100 | Inst | (~Inst@c-98-208-247-195.hsd1.fl.comcast.net) (Changing host) |
2025-03-10 04:52:44 +0100 | Inst | (~Inst@user/Inst) Inst |
2025-03-10 04:55:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-10 05:00:00 +0100 | Taneb0 | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
2025-03-10 05:01:11 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) Taneb |
2025-03-10 05:02:04 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
2025-03-10 05:06:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 05:09:58 +0100 | aforemny_ | (~aforemny@i59F4C5E2.versanet.de) aforemny |
2025-03-10 05:10:54 +0100 | aforemny | (~aforemny@i59F4C6DB.versanet.de) (Ping timeout: 246 seconds) |
2025-03-10 05:10:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-10 05:17:41 +0100 | bilegeek | (~bilegeek@2600:1008:b0a6:50f7:bad9:4ab9:8e7a:9e79) (Quit: Leaving) |
2025-03-10 05:19:03 +0100 | bilegeek | (~bilegeek@89.sub-174-228-96.myvzw.com) bilegeek |
2025-03-10 05:21:10 +0100 | bilegeek_ | (~bilegeek@2600:1008:b01d:20ff:b126:31e9:cad8:5401) bilegeek |
2025-03-10 05:21:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 05:22:27 +0100 | michalz | (~michalz@185.246.207.205) |
2025-03-10 05:24:11 +0100 | bilegeek | (~bilegeek@89.sub-174-228-96.myvzw.com) (Ping timeout: 268 seconds) |
2025-03-10 05:25:53 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2025-03-10 05:26:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-10 05:30:18 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 05:33:24 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds) |
2025-03-10 05:34:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-10 05:37:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 05:43:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-10 05:44:28 +0100 | bilegeek__ | (~bilegeek@2600:1008:b080:1b79:c6b6:c634:e9b7:9305) bilegeek |
2025-03-10 05:45:14 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-03-10 05:45:15 +0100 | bilegeek_ | (~bilegeek@2600:1008:b01d:20ff:b126:31e9:cad8:5401) (Ping timeout: 276 seconds) |
2025-03-10 05:53:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 05:55:26 +0100 | bilegeek__ | (~bilegeek@2600:1008:b080:1b79:c6b6:c634:e9b7:9305) (Remote host closed the connection) |
2025-03-10 05:57:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-03-10 05:58:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-10 06:05:59 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
2025-03-10 06:09:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 06:11:06 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
2025-03-10 06:15:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-03-10 06:15:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-10 06:16:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 06:21:05 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-03-10 06:21:32 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-10 06:27:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 06:29:30 +0100 | harveypwca | (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) HarveyPwca |
2025-03-10 06:30:47 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) synchromesh |
2025-03-10 06:31:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-10 06:44:01 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-10 06:44:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 06:49:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-10 06:50:43 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-03-10 07:00:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 07:02:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 07:04:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-10 07:06:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-10 07:07:40 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |
2025-03-10 07:09:45 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
2025-03-10 07:10:52 +0100 | ski | (~ski@remote11.chalmers.se) ski |
2025-03-10 07:15:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 07:19:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-10 07:22:57 +0100 | uam | (uid360535@id-360535.hampstead.irccloud.com) uam |
2025-03-10 07:30:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 07:35:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-10 07:36:02 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
2025-03-10 07:39:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 07:44:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-10 07:45:32 +0100 | Square | (~Square@user/square) Square |
2025-03-10 07:47:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 07:52:11 +0100 | tavare | (~tavare@user/tavare) tavare |
2025-03-10 07:52:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-10 07:53:34 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2025-03-10 07:55:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 07:57:51 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::3e4b) (Ping timeout: 246 seconds) |
2025-03-10 07:59:55 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-03-10 08:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-10 08:00:28 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-10 08:00:29 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::cf98) ensyde |
2025-03-10 08:01:39 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-03-10 08:02:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-10 08:03:39 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-10 08:05:24 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen |
2025-03-10 08:07:28 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-03-10 08:07:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-10 08:11:38 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-10 08:12:18 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-03-10 08:12:37 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo) |
2025-03-10 08:12:39 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2025-03-10 08:13:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 08:13:41 +0100 | Lord_of_Life_ | Lord_of_Life |
2025-03-10 08:14:23 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 268 seconds) |
2025-03-10 08:14:26 +0100 | Square2 | (~Square4@user/square) Square |
2025-03-10 08:16:04 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen |
2025-03-10 08:16:51 +0100 | Inst | (~Inst@user/Inst) Inst |
2025-03-10 08:17:20 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
2025-03-10 08:17:26 +0100 | <Inst> | huh, this is going to take a while, maybe unsafePerformIO, forkIO, and mvars might be a better way to do it |
2025-03-10 08:17:27 +0100 | <Inst> | oh well |
2025-03-10 08:17:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-10 08:17:47 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-10 08:18:34 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2025-03-10 08:28:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 08:33:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 08:33:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-03-10 08:38:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
2025-03-10 08:40:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 08:42:06 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
2025-03-10 08:45:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-10 08:48:38 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-03-10 08:49:23 +0100 | ft | (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
2025-03-10 08:56:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 08:57:03 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
2025-03-10 08:59:38 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-03-10 09:00:26 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-03-10 09:00:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-03-10 09:12:55 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-03-10 09:12:56 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-03-10 09:12:57 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3505-a309-641e-34a2-2fd3-1364.rev.sfr.net) alexherbo2 |
2025-03-10 09:13:55 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-03-10 09:16:16 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) acidjnk |
2025-03-10 09:17:48 +0100 | chele | (~chele@user/chele) chele |
2025-03-10 09:18:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 09:23:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-10 09:50:59 +0100 | harveypwca | (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving) |
2025-03-10 09:52:48 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-10 10:04:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 10:08:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-10 10:09:02 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-03-10 10:09:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-10 10:11:28 +0100 | <tomsmeding> | monochrom: Why does the linear structure of code need to follow the chronological development process? |
2025-03-10 10:11:53 +0100 | <tomsmeding> | As you say, that is useful for explanation, but we have literate programming tools for that if you want that so badly |
2025-03-10 10:12:26 +0100 | <tomsmeding> | Code is read more often than it is written, and if you have something larger than just a single tutorial, I'd rather see the equations of a particular function together than spread all over a file! |
2025-03-10 10:13:19 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 252 seconds) |
2025-03-10 10:13:42 +0100 | <tomsmeding> | You don't even need literate programming, you can just write in your document "now we first look at the definition of a different function, before we continue with the equations of foo" |
2025-03-10 10:13:58 +0100 | <tomsmeding> | literate programming is just a way to generate such a document in a way that the compiler still checks your code :) |
2025-03-10 10:13:59 +0100 | fp | (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) fp |
2025-03-10 10:16:18 +0100 | Everything | (~Everythin@94.153.10.203) (Ping timeout: 276 seconds) |
2025-03-10 10:18:27 +0100 | fp | (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) (Ping timeout: 244 seconds) |
2025-03-10 10:20:36 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
2025-03-10 10:25:40 +0100 | mange | (~user@user/mange) mange |
2025-03-10 10:25:47 +0100 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
2025-03-10 10:30:49 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3505-a309-641e-34a2-2fd3-1364.rev.sfr.net) (Remote host closed the connection) |
2025-03-10 10:34:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
2025-03-10 10:34:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-03-10 10:34:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-10 10:35:38 +0100 | __monty__ | (~toonn@user/toonn) toonn |
2025-03-10 10:39:55 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2025-03-10 10:40:16 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-03-10 10:43:58 +0100 | byte | (~mu@user/byte) (Read error: Connection reset by peer) |
2025-03-10 10:44:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-10 10:46:24 +0100 | byte | (~mu@user/byte) byte |
2025-03-10 10:46:54 +0100 | arahael | (~arahael@user/arahael) arahael |
2025-03-10 10:50:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 10:55:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
2025-03-10 10:57:57 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
2025-03-10 10:59:41 +0100 | nschoe- | (~nschoe@2a01:e0a:8e:a190:390c:4fc2:cea5:b72a) |
2025-03-10 11:02:25 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 248 seconds) |
2025-03-10 11:02:28 +0100 | uam | (uid360535@id-360535.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2025-03-10 11:15:37 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3505-a309-316c-408c-4c06-8723.rev.sfr.net) alexherbo2 |
2025-03-10 11:20:55 +0100 | greenOcean | (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) |
2025-03-10 11:23:00 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2025-03-10 11:36:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 11:37:42 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3505-a309-316c-408c-4c06-8723.rev.sfr.net) (Remote host closed the connection) |
2025-03-10 11:39:54 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 260 seconds) |
2025-03-10 11:40:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-10 11:43:56 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-03-10 11:53:58 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1) |
2025-03-10 11:55:12 +0100 | fiadl | (~user@p5b0f3bec.dip0.t-ipconnect.de) |
2025-03-10 11:55:22 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
2025-03-10 11:57:27 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-03-10 11:59:08 +0100 | <Square2> | I'm wondering about the Coyoneda lemma. Seems I can turn any type f into a Functor using Coyoneda lemma. Similarly I can turn that f in to Monad using : Free (Coyoneda f). Or am I missing something? |
2025-03-10 12:00:51 +0100 | <Square2> | any "f :: * -> *" that is |
2025-03-10 12:02:00 +0100 | fiadl | (~user@p5b0f3bec.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-03-10 12:02:38 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-03-10 12:07:47 +0100 | <jackdk> | Square2: You can, but you'll need to hoist your `f` into an actual `Functor`to be able to tear the value back down. You can see this trick put to good use in https://blog.ocharles.org.uk/posts/2017-08-23-extensible-effects-and-transformers.html |
2025-03-10 12:10:08 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-10 12:11:33 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
2025-03-10 12:17:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f933:3317:5967:9ba3) |
2025-03-10 12:18:08 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-03-10 12:19:09 +0100 | euandreh | (~Thunderbi@2804:d59:896c:b400:be5c:fe42:c5ff:26b3) (Remote host closed the connection) |
2025-03-10 12:19:15 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2025-03-10 12:21:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
2025-03-10 12:21:50 +0100 | <Square2> | jackdk, thanks. Sweet. I'm using foldFreeT, that seems to require the same function as hoistFreeT. |
2025-03-10 12:22:30 +0100 | <jackdk> | you may find yourself using `hoistCoyoneda` in your `foldFreeT` call |
2025-03-10 12:22:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 12:24:02 +0100 | <Square2> | Oh, hoist wants a to Functor transform and fold a Monad one. |
2025-03-10 12:26:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-10 12:34:19 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-10 12:38:54 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-03-10 12:38:55 +0100 | greenOcean | (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) (Read error: Connection reset by peer) |
2025-03-10 12:44:47 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3505-a309-3c71-7084-313c-e191.rev.sfr.net) alexherbo2 |
2025-03-10 12:46:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
2025-03-10 12:50:23 +0100 | fp | (~Thunderbi@130.233.70.204) fp |
2025-03-10 12:59:34 +0100 | manwithluck | (~manwithlu@2a00:7c80:0:3c5::14) manwithluck |
2025-03-10 13:00:39 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3505-a309-3c71-7084-313c-e191.rev.sfr.net) (Remote host closed the connection) |
2025-03-10 13:07:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 13:12:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
2025-03-10 13:27:33 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
2025-03-10 13:28:14 +0100 | jespada | (~jespada@2800:a4:2209:c300:e437:199c:a9b6:7fbe) jespada |
2025-03-10 13:30:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-10 13:31:30 +0100 | Guest12 | (~Guest12@2409:40d4:160:60db:f53a:440f:8d67:514e) |
2025-03-10 13:32:13 +0100 | Guest12 | (~Guest12@2409:40d4:160:60db:f53a:440f:8d67:514e) (Client Quit) |
2025-03-10 13:35:21 +0100 | CiaoSen | (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
2025-03-10 13:35:46 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-03-10 13:39:48 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
2025-03-10 13:41:36 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
2025-03-10 13:42:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-10 13:46:40 +0100 | comonad | (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (Quit: WeeChat 4.6.0-dev) |
2025-03-10 13:47:00 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
2025-03-10 13:53:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 13:53:49 +0100 | comonad | (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) |
2025-03-10 13:54:06 +0100 | comonad | (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (Client Quit) |
2025-03-10 13:54:23 +0100 | comonad | (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) |
2025-03-10 13:54:58 +0100 | comonad | (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (Client Quit) |
2025-03-10 13:55:24 +0100 | comonad | (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) |
2025-03-10 13:57:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-10 14:02:44 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-03-10 14:03:22 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-03-10 14:12:28 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:18ba:19eb:bf57:848b) |
2025-03-10 14:15:08 +0100 | hellwolf | (~user@458b-990e-ee80-fa8e-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 268 seconds) |
2025-03-10 14:15:14 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:18ba:19eb:bf57:848b) (Remote host closed the connection) |
2025-03-10 14:15:37 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:18ba:19eb:bf57:848b) |
2025-03-10 14:16:14 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-03-10 14:17:59 +0100 | hellwolf | (~user@7608-b384-c200-0dd1-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
2025-03-10 14:27:45 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
2025-03-10 14:29:00 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2025-03-10 14:31:05 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 252 seconds) |
2025-03-10 14:34:20 +0100 | rvalue- | rvalue |
2025-03-10 14:38:35 +0100 | greenOcean | (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) |
2025-03-10 14:40:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 14:44:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-10 14:46:24 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) (Read error: Connection reset by peer) |
2025-03-10 14:47:29 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) synchromesh |
2025-03-10 14:51:15 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-10 14:51:58 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen |
2025-03-10 14:55:41 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
2025-03-10 15:12:39 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::cf98) (Quit: WeeChat 4.5.2) |
2025-03-10 15:12:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-03-10 15:24:41 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-10 15:24:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-03-10 15:25:01 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-10 15:26:36 +0100 | harveypwca | (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) HarveyPwca |
2025-03-10 15:26:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 15:30:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-10 15:34:13 +0100 | hattckory | (~hattckory@184.145.138.167) |
2025-03-10 15:34:41 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2025-03-10 15:39:22 +0100 | user363627 | (~user@user/user363627) user363627 |
2025-03-10 15:40:07 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 244 seconds) |
2025-03-10 15:40:12 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
2025-03-10 15:50:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-10 15:53:11 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
2025-03-10 16:02:59 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-10 16:06:20 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
2025-03-10 16:06:20 +0100 | ljdarj1 | ljdarj |
2025-03-10 16:09:36 +0100 | eL_Bart0 | (eL_Bart0@185.37.146.20) |
2025-03-10 16:13:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 16:15:36 +0100 | greenOcean | (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) (Remote host closed the connection) |
2025-03-10 16:18:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
2025-03-10 16:20:23 +0100 | superlink | (~kontsikou@adsl-192.79.107.136.tellas.gr) |
2025-03-10 16:22:51 +0100 | fp | (~Thunderbi@130.233.70.204) (Ping timeout: 252 seconds) |
2025-03-10 16:23:01 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 248 seconds) |
2025-03-10 16:32:50 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-03-10 16:34:03 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-10 16:41:13 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 245 seconds) |
2025-03-10 16:42:19 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-03-10 16:44:55 +0100 | greenOcean | (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) |
2025-03-10 16:58:14 +0100 | euouae | (~euouae@user/euouae) euouae |
2025-03-10 16:58:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 16:59:25 +0100 | <euouae> | Hello I'm using megaparsec and I want to write a parser that applies another parser 10 times and collects the results in a Text |
2025-03-10 17:00:00 +0100 | <euouae> | what I currently have is `count 10 p`, which then requires to pack it. (p :: Parser Char) |
2025-03-10 17:00:48 +0100 | <euouae> | I'm trying instead to use takeWhileP, and I think I need to wrap the argument in a State monad, or the other way around, but I can't figure out which way I need to go |
2025-03-10 17:01:00 +0100 | <euouae> | do I need a ParsecT State or a StateT Parsec? |
2025-03-10 17:01:24 +0100 | <euouae> | by using takeWhileP with a state monad I can optimize away the pack |
2025-03-10 17:03:04 +0100 | zungi | (~tory@user/andrewchawk) (Remote host closed the connection) |
2025-03-10 17:03:31 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
2025-03-10 17:03:52 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
2025-03-10 17:18:38 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-10 17:21:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-03-10 17:21:36 +0100 | ljdarj1 | ljdarj |
2025-03-10 17:21:41 +0100 | <euouae> | Hm... this article I think explains the issues <https://www.williamyaoh.com/posts/2023-06-10-monad-transformers-101.html> and the choices between transformers and mtl |
2025-03-10 17:24:29 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2025-03-10 17:24:42 +0100 | polux5 | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
2025-03-10 17:26:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-03-10 17:27:12 +0100 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Ping timeout: 252 seconds) |
2025-03-10 17:27:13 +0100 | polux5 | polux |
2025-03-10 17:27:23 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-03-10 17:29:06 +0100 | greenOcean | (~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) (Remote host closed the connection) |
2025-03-10 17:32:22 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-03-10 17:32:52 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-03-10 17:36:30 +0100 | __monty__ | (~toonn@user/toonn) toonn |
2025-03-10 17:43:55 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-03-10 17:45:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 17:47:05 +0100 | iteratee | (~kyle@199.119.84.78) iteratee |
2025-03-10 17:49:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
2025-03-10 17:55:54 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-03-10 18:15:12 +0100 | euouae | (~euouae@user/euouae) () |
2025-03-10 18:17:20 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-03-10 18:19:04 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) |
2025-03-10 18:24:52 +0100 | pavonia | (~user@user/siracusa) siracusa |
2025-03-10 18:30:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 18:33:32 +0100 | sprotte24 | (~sprotte24@p200300d16f2be600dd41c2d10079e9f2.dip0.t-ipconnect.de) |
2025-03-10 18:34:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-10 18:37:53 +0100 | esph | (~weechat@user/esph) (Read error: Connection reset by peer) |
2025-03-10 18:39:51 +0100 | harveypwca | (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving) |
2025-03-10 18:40:19 +0100 | Square | (~Square@user/square) Square |
2025-03-10 18:43:24 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 272 seconds) |
2025-03-10 18:52:55 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-03-10 18:55:18 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) (Read error: Connection reset by peer) |
2025-03-10 18:55:18 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-03-10 18:56:09 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) synchromesh |
2025-03-10 19:01:04 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2025-03-10 19:15:29 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-03-10 19:15:51 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 19:16:25 +0100 | ft | (~ft@p508db291.dip0.t-ipconnect.de) ft |
2025-03-10 19:20:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-10 19:24:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-10 19:45:07 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-03-10 19:49:39 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
2025-03-10 19:52:48 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) acidjnk |
2025-03-10 19:54:20 +0100 | jespada | (~jespada@2800:a4:2209:c300:e437:199c:a9b6:7fbe) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-03-10 19:59:00 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
2025-03-10 20:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-10 20:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-03-10 20:02:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 20:06:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-10 20:15:20 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-03-10 20:22:59 +0100 | eL_Bart0 | (eL_Bart0@185.37.146.20) (Ping timeout: 260 seconds) |
2025-03-10 20:27:51 +0100 | AlexZenon | (~alzenon@178.34.151.157) (Ping timeout: 252 seconds) |
2025-03-10 20:31:13 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-03-10 20:33:08 +0100 | AlexZenon | (~alzenon@178.34.151.157) |
2025-03-10 20:35:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 20:36:13 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-03-10 20:39:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-10 20:48:39 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 20:50:18 +0100 | jespada | (~jespada@2800:a4:2209:c300:e437:199c:a9b6:7fbe) jespada |
2025-03-10 20:50:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 20:52:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-10 20:55:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-10 21:03:39 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-03-10 21:05:17 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
2025-03-10 21:06:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 21:10:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-10 21:11:26 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
2025-03-10 21:12:08 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-10 21:13:15 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-03-10 21:18:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 21:20:28 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) Maeda |
2025-03-10 21:22:57 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
2025-03-10 21:23:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-10 21:23:24 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-10 21:25:28 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-03-10 21:27:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-03-10 21:27:01 +0100 | ljdarj1 | ljdarj |
2025-03-10 21:27:34 +0100 | harveypwca | (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) HarveyPwca |
2025-03-10 21:33:00 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2025-03-10 21:33:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 21:34:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 21:35:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-03-10 21:37:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-03-10 21:38:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-10 21:48:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 21:51:55 +0100 | byte | (~mu@user/byte) (Quit: Leaving) |
2025-03-10 21:55:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-10 21:57:04 +0100 | jespada | (~jespada@2800:a4:2209:c300:e437:199c:a9b6:7fbe) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-03-10 22:06:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 22:11:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-03-10 22:19:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 22:21:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 22:21:16 +0100 | cawfee | (root@2001:19f0:4400:79a1::babe) (Ping timeout: 244 seconds) |
2025-03-10 22:22:09 +0100 | ski | (~ski@remote11.chalmers.se) (Ping timeout: 260 seconds) |
2025-03-10 22:23:24 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-03-10 22:24:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-10 22:25:19 +0100 | cawfee | (root@2001:19f0:4400:79a1::babe) qjqqyy |
2025-03-10 22:25:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-10 22:33:49 +0100 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
2025-03-10 22:34:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 22:39:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-10 22:45:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-03-10 22:49:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 22:50:34 +0100 | hattckory | (~hattckory@184.145.138.167) (Ping timeout: 260 seconds) |
2025-03-10 22:54:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-10 22:55:01 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 248 seconds) |
2025-03-10 23:04:21 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) (Read error: Connection reset by peer) |
2025-03-10 23:05:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 23:05:47 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) synchromesh |
2025-03-10 23:07:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-10 23:09:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-10 23:11:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-10 23:11:39 +0100 | mange | (~user@user/mange) mange |
2025-03-10 23:13:42 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-03-10 23:16:51 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-03-10 23:17:44 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-10 23:20:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-10 23:21:03 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
2025-03-10 23:22:02 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-10 23:23:49 +0100 | hattckory | (~hattckory@184.145.138.167) |
2025-03-10 23:27:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-10 23:28:24 +0100 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
2025-03-10 23:28:29 +0100 | hattckory | (~hattckory@184.145.138.167) (Ping timeout: 260 seconds) |
2025-03-10 23:30:25 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) |
2025-03-10 23:34:57 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-03-10 23:36:01 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-03-10 23:37:31 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |