2025/03/10

2025-03-10 00:01:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-10 00:04:59 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds)
2025-03-10 00:05:06 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-10 00:10:12 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 00:11:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 00:13:06 +0100tabaqui1(~root@87.200.129.102) (Ping timeout: 276 seconds)
2025-03-10 00:14:27 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-10 00:16:44 +0100ensyde(~ensyde@2601:5c6:c200:6dc0::3e4b) ensyde
2025-03-10 00:18:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-10 00:23:18 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 272 seconds)
2025-03-10 00:26:09 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-03-10 00:29:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 00:34:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-10 00:39:08 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-10 00:41:36 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-03-10 00:42:18 +0100mange(~user@user/mange) mange
2025-03-10 00:43:45 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-10 00:45:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 00:47:27 +0100fp(~Thunderbi@89-27-29-68.bb.dnainternet.fi) fp
2025-03-10 00:50:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-10 00:50:59 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-10 00:51:40 +0100down200(~down200@shell.lug.mtu.edu) (Ping timeout: 244 seconds)
2025-03-10 00:52:14 +0100yegorc(~yegorc@user/yegorc) yegorc
2025-03-10 00:55:27 +0100down200(~down200@shell.lug.mtu.edu) down200
2025-03-10 00:55:56 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 01:00:21 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-10 01:00:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 01:03:23 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-10 01:03:54 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-03-10 01:04:04 +0100Inst(~Inst@user/Inst) (Ping timeout: 244 seconds)
2025-03-10 01:05:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-10 01:05:50 +0100fp(~Thunderbi@89-27-29-68.bb.dnainternet.fi) (Ping timeout: 260 seconds)
2025-03-10 01:06:09 +0100alp(~alp@2001:861:8ca0:4940:445a:f71:bdb6:b173) (Ping timeout: 248 seconds)
2025-03-10 01:06:31 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-03-10 01:07:42 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-03-10 01:07:42 +0100ljdarj1ljdarj
2025-03-10 01:15:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 01:17:38 +0100down200(~down200@shell.lug.mtu.edu) (Ping timeout: 252 seconds)
2025-03-10 01:19:04 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds)
2025-03-10 01:20:00 +0100zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)
2025-03-10 01:20:49 +0100malte(~malte@mal.tc) malte
2025-03-10 01:20:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-10 01:21:51 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-03-10 01:24:47 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-10 01:25:38 +0100malte(~malte@mal.tc) (Remote host closed the connection)
2025-03-10 01:31:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 01:35:04 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-03-10 01:35:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-10 01:37:01 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-10 01:39:06 +0100monochrom(trebla@216.138.220.146) (Ping timeout: 268 seconds)
2025-03-10 01:40:51 +0100m1dnight(~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 276 seconds)
2025-03-10 01:41:20 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 01:42:28 +0100m1dnight(~m1dnight@d8D861908.access.telenet.be) m1dnight
2025-03-10 01:43:00 +0100monochrom(trebla@216.138.220.146)
2025-03-10 01:46:09 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 265 seconds)
2025-03-10 01:47:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 01:48:11 +0100down200(~down200@shell.lug.mtu.edu) down200
2025-03-10 01:48:37 +0100sprotte24(~sprotte24@p200300d16f317300a85c86300bea5737.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-03-10 01:49:01 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-03-10 01:53:41 +0100xff0x(~xff0x@2405:6580:b080:900:3186:9050:3482:8829) (Ping timeout: 248 seconds)
2025-03-10 01:54:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-10 01:58:44 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-03-10 02:03:16 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-10 02:04:11 +0100acidjnk_new(~acidjnk@p200300d6e7283f122c9d6c56f23204e7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-03-10 02:05:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 02:06:46 +0100malte(~malte@mal.tc) malte
2025-03-10 02:10:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-10 02:14:06 +0100Everything(~Everythin@94.153.31.251) Everything
2025-03-10 02:14:40 +0100malte(~malte@mal.tc) (Remote host closed the connection)
2025-03-10 02:15:35 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-10 02:16:06 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds)
2025-03-10 02:17:38 +0100malte(~malte@mal.tc) malte
2025-03-10 02:18:31 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-03-10 02:21:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 02:24:22 +0100malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2025-03-10 02:26:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-10 02:26:34 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-03-10 02:26:43 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 02:29:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 02:30:54 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-10 02:31:01 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-10 02:34:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-10 02:41:50 +0100malte(~malte@mal.tc) malte
2025-03-10 02:43:22 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-03-10 02:44:25 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-03-10 02:45:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 02:46:11 +0100notdabs(~Owner@2600:1700:69cf:9000:1556:f2dc:d221:a969) (Read error: Connection reset by peer)
2025-03-10 02:49:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-10 02:50:52 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-10 02:51:26 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-03-10 03:00:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 03:05:02 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-03-10 03:05:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-10 03:07:14 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-10 03:11:38 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2025-03-10 03:12:27 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 03:13:24 +0100yegorc(~yegorc@user/yegorc) (Quit: Leaving)
2025-03-10 03:15:37 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-10 03:15:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 03:16:50 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-10 03:17:49 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-10 03:20:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-10 03:22:25 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-10 03:25:58 +0100euphores(~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
2025-03-10 03:31:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 03:32:56 +0100euphores(~SASL_euph@user/euphores) euphores
2025-03-10 03:36:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-10 03:46:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 03:51:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-10 03:57:06 +0100ski(~ski@remote11.chalmers.se) (Remote host closed the connection)
2025-03-10 03:58:10 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 03:59:54 +0100Everything(~Everythin@94.153.31.251) (Ping timeout: 272 seconds)
2025-03-10 04:01:10 +0100Everything(~Everythin@94.153.10.203) Everything
2025-03-10 04:02:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 04:03:12 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-03-10 04:06:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-10 04:17:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 04:18:17 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-03-10 04:22:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-10 04:24:00 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-10 04:24:40 +0100Inst(~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 +0100Inst(~Inst@user/Inst) (Remote host closed the connection)
2025-03-10 04:32:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 04:35:02 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-10 04:40:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-10 04:43:34 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 04:43:51 +0100Inst(~Inst@user/Inst) Inst
2025-03-10 04:44:32 +0100img(~img@user/img) (Read error: Connection reset by peer)
2025-03-10 04:44:37 +0100bilegeek(~bilegeek@2600:1008:b0a6:50f7:bad9:4ab9:8e7a:9e79) bilegeek
2025-03-10 04:44:56 +0100img(~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 +0100img(~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 +0100chewybread(~chewybrea@user/chewybread) (Remote host closed the connection)
2025-03-10 04:47:16 +0100 <Inst> *spark generator
2025-03-10 04:47:26 +0100img(~img@user/img) img
2025-03-10 04:47:44 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-10 04:49:27 +0100Inst(~Inst@user/Inst) (Remote host closed the connection)
2025-03-10 04:50:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 04:52:44 +0100Inst(~Inst@c-98-208-247-195.hsd1.fl.comcast.net)
2025-03-10 04:52:44 +0100Inst(~Inst@c-98-208-247-195.hsd1.fl.comcast.net) (Changing host)
2025-03-10 04:52:44 +0100Inst(~Inst@user/Inst) Inst
2025-03-10 04:55:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-10 05:00:00 +0100Taneb0(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.)
2025-03-10 05:01:11 +0100Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) Taneb
2025-03-10 05:02:04 +0100mange(~user@user/mange) (Remote host closed the connection)
2025-03-10 05:06:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 05:09:58 +0100aforemny_(~aforemny@i59F4C5E2.versanet.de) aforemny
2025-03-10 05:10:54 +0100aforemny(~aforemny@i59F4C6DB.versanet.de) (Ping timeout: 246 seconds)
2025-03-10 05:10:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-10 05:17:41 +0100bilegeek(~bilegeek@2600:1008:b0a6:50f7:bad9:4ab9:8e7a:9e79) (Quit: Leaving)
2025-03-10 05:19:03 +0100bilegeek(~bilegeek@89.sub-174-228-96.myvzw.com) bilegeek
2025-03-10 05:21:10 +0100bilegeek_(~bilegeek@2600:1008:b01d:20ff:b126:31e9:cad8:5401) bilegeek
2025-03-10 05:21:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 05:22:27 +0100michalz(~michalz@185.246.207.205)
2025-03-10 05:24:11 +0100bilegeek(~bilegeek@89.sub-174-228-96.myvzw.com) (Ping timeout: 268 seconds)
2025-03-10 05:25:53 +0100Inst(~Inst@user/Inst) (Remote host closed the connection)
2025-03-10 05:26:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-10 05:30:18 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 05:33:24 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds)
2025-03-10 05:34:40 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-10 05:37:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 05:43:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-10 05:44:28 +0100bilegeek__(~bilegeek@2600:1008:b080:1b79:c6b6:c634:e9b7:9305) bilegeek
2025-03-10 05:45:14 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-03-10 05:45:15 +0100bilegeek_(~bilegeek@2600:1008:b01d:20ff:b126:31e9:cad8:5401) (Ping timeout: 276 seconds)
2025-03-10 05:53:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 05:55:26 +0100bilegeek__(~bilegeek@2600:1008:b080:1b79:c6b6:c634:e9b7:9305) (Remote host closed the connection)
2025-03-10 05:57:04 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-03-10 05:58:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-10 06:05:59 +0100jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2)
2025-03-10 06:09:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 06:11:06 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-10 06:15:17 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-10 06:15:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-10 06:16:42 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 06:21:05 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-10 06:21:32 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-10 06:27:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 06:29:30 +0100harveypwca(~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) HarveyPwca
2025-03-10 06:30:47 +0100synchromesh(~john@2406:5a00:24cf:bb00:fc22:2081:7d26:926a) synchromesh
2025-03-10 06:31:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-10 06:44:01 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-10 06:44:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 06:49:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-10 06:50:43 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-03-10 07:00:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 07:02:25 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 07:04:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-10 07:06:54 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-10 07:07:40 +0100hughjfchen(~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3)
2025-03-10 07:09:45 +0100hughjfchen(~hughjfche@vmi2417424.contaboserver.net) hughjfchen
2025-03-10 07:10:52 +0100ski(~ski@remote11.chalmers.se) ski
2025-03-10 07:15:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 07:19:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-10 07:22:57 +0100uam(uid360535@id-360535.hampstead.irccloud.com) uam
2025-03-10 07:30:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 07:35:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-10 07:36:02 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
2025-03-10 07:39:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 07:44:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-10 07:45:32 +0100Square(~Square@user/square) Square
2025-03-10 07:47:49 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 07:52:11 +0100tavare(~tavare@user/tavare) tavare
2025-03-10 07:52:14 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-10 07:53:34 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-03-10 07:55:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 07:57:51 +0100ensyde(~ensyde@2601:5c6:c200:6dc0::3e4b) (Ping timeout: 246 seconds)
2025-03-10 07:59:55 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-03-10 08:00:01 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-10 08:00:28 +0100j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-10 08:00:29 +0100ensyde(~ensyde@2601:5c6:c200:6dc0::cf98) ensyde
2025-03-10 08:01:39 +0100caconym(~caconym@user/caconym) caconym
2025-03-10 08:02:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-10 08:03:39 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-10 08:05:24 +0100CiaoSen(~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen
2025-03-10 08:07:28 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-03-10 08:07:28 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-10 08:11:38 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-10 08:12:18 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-03-10 08:12:37 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo)
2025-03-10 08:12:39 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2025-03-10 08:13:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 08:13:41 +0100Lord_of_Life_Lord_of_Life
2025-03-10 08:14:23 +0100CiaoSen(~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 268 seconds)
2025-03-10 08:14:26 +0100Square2(~Square4@user/square) Square
2025-03-10 08:16:04 +0100CiaoSen(~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen
2025-03-10 08:16:51 +0100Inst(~Inst@user/Inst) Inst
2025-03-10 08:17:20 +0100Square(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-10 08:17:47 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-10 08:18:34 +0100Inst(~Inst@user/Inst) (Remote host closed the connection)
2025-03-10 08:28:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 08:33:12 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 08:33:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-10 08:38:09 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-03-10 08:40:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 08:42:06 +0100Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru
2025-03-10 08:45:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-10 08:48:38 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-03-10 08:49:23 +0100ft(~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving)
2025-03-10 08:56:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-10 08:57:03 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke
2025-03-10 08:59:38 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-03-10 09:00:26 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-03-10 09:00:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-03-10 09:12:55 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-03-10 09:12:56 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-03-10 09:12:57 +0100alexherbo2(~alexherbo@2a02-8440-3505-a309-641e-34a2-2fd3-1364.rev.sfr.net) alexherbo2
2025-03-10 09:13:55 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-03-10 09:16:16 +0100acidjnk_new(~acidjnk@p200300d6e7283f752c9d6c56f23204e7.dip0.t-ipconnect.de) acidjnk
2025-03-10 09:17:48 +0100chele(~chele@user/chele) chele
2025-03-10 09:18:57 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 09:23:12 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-10 09:50:59 +0100harveypwca(~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving)
2025-03-10 09:52:48 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-10 10:04:41 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 10:08:45 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-10 10:09:02 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-03-10 10:09:07 +0100ljdarj(~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 +0100tt12310978324354(~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 +0100fp(~Thunderbi@wireless-86-50-140-47.open.aalto.fi) fp
2025-03-10 10:16:18 +0100Everything(~Everythin@94.153.10.203) (Ping timeout: 276 seconds)
2025-03-10 10:18:27 +0100fp(~Thunderbi@wireless-86-50-140-47.open.aalto.fi) (Ping timeout: 244 seconds)
2025-03-10 10:20:36 +0100fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-03-10 10:25:40 +0100mange(~user@user/mange) mange
2025-03-10 10:25:47 +0100arahael(~arahael@user/arahael) (Remote host closed the connection)
2025-03-10 10:30:49 +0100alexherbo2(~alexherbo@2a02-8440-3505-a309-641e-34a2-2fd3-1364.rev.sfr.net) (Remote host closed the connection)
2025-03-10 10:34:18 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2025-03-10 10:34:39 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-03-10 10:34:57 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-10 10:35:38 +0100__monty__(~toonn@user/toonn) toonn
2025-03-10 10:39:55 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-03-10 10:40:16 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-03-10 10:43:58 +0100byte(~mu@user/byte) (Read error: Connection reset by peer)
2025-03-10 10:44:29 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-10 10:46:24 +0100byte(~mu@user/byte) byte
2025-03-10 10:46:54 +0100arahael(~arahael@user/arahael) arahael
2025-03-10 10:50:45 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 10:55:18 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-03-10 10:57:57 +0100tabaqui1(~root@87.200.129.102) tabaqui
2025-03-10 10:59:41 +0100nschoe-(~nschoe@2a01:e0a:8e:a190:390c:4fc2:cea5:b72a)
2025-03-10 11:02:25 +0100nschoe(~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 248 seconds)
2025-03-10 11:02:28 +0100uam(uid360535@id-360535.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-10 11:15:37 +0100alexherbo2(~alexherbo@2a02-8440-3505-a309-316c-408c-4c06-8723.rev.sfr.net) alexherbo2
2025-03-10 11:20:55 +0100greenOcean(~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734)
2025-03-10 11:23:00 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-03-10 11:36:29 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 11:37:42 +0100alexherbo2(~alexherbo@2a02-8440-3505-a309-316c-408c-4c06-8723.rev.sfr.net) (Remote host closed the connection)
2025-03-10 11:39:54 +0100fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 260 seconds)
2025-03-10 11:40:36 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-10 11:43:56 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-10 11:53:58 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1)
2025-03-10 11:55:12 +0100fiadl(~user@p5b0f3bec.dip0.t-ipconnect.de)
2025-03-10 11:55:22 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur
2025-03-10 11:57:27 +0100merijn(~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 +0100fiadl(~user@p5b0f3bec.dip0.t-ipconnect.de) (Remote host closed the connection)
2025-03-10 12:02:38 +0100gmg(~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 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-10 12:11:33 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-03-10 12:17:06 +0100xff0x(~xff0x@2405:6580:b080:900:f933:3317:5967:9ba3)
2025-03-10 12:18:08 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-03-10 12:19:09 +0100euandreh(~Thunderbi@2804:d59:896c:b400:be5c:fe42:c5ff:26b3) (Remote host closed the connection)
2025-03-10 12:19:15 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-03-10 12:21:15 +0100merijn(~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 +0100alfiee(~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 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-10 12:34:19 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-10 12:38:54 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-03-10 12:38:55 +0100greenOcean(~greenOcea@2405:3800:854:8593:b4d0:2dff:fe2a:5734) (Read error: Connection reset by peer)
2025-03-10 12:44:47 +0100alexherbo2(~alexherbo@2a02-8440-3505-a309-3c71-7084-313c-e191.rev.sfr.net) alexherbo2
2025-03-10 12:46:12 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2025-03-10 12:50:23 +0100fp(~Thunderbi@130.233.70.204) fp
2025-03-10 12:59:34 +0100manwithluck(~manwithlu@2a00:7c80:0:3c5::14) manwithluck
2025-03-10 13:00:39 +0100alexherbo2(~alexherbo@2a02-8440-3505-a309-3c71-7084-313c-e191.rev.sfr.net) (Remote host closed the connection)
2025-03-10 13:07:57 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 13:12:48 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-03-10 13:27:33 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-03-10 13:28:14 +0100jespada(~jespada@2800:a4:2209:c300:e437:199c:a9b6:7fbe) jespada
2025-03-10 13:30:38 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-10 13:31:30 +0100Guest12(~Guest12@2409:40d4:160:60db:f53a:440f:8d67:514e)
2025-03-10 13:32:13 +0100Guest12(~Guest12@2409:40d4:160:60db:f53a:440f:8d67:514e) (Client Quit)
2025-03-10 13:35:21 +0100CiaoSen(~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2025-03-10 13:35:46 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-03-10 13:39:48 +0100mange(~user@user/mange) (Quit: Zzz...)
2025-03-10 13:41:36 +0100zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)
2025-03-10 13:42:53 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-10 13:46:40 +0100comonad(~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (Quit: WeeChat 4.6.0-dev)
2025-03-10 13:47:00 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-03-10 13:53:20 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-10 13:53:49 +0100comonad(~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de)
2025-03-10 13:54:06 +0100comonad(~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (Client Quit)
2025-03-10 13:54:23 +0100comonad(~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de)
2025-03-10 13:54:58 +0100comonad(~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (Client Quit)
2025-03-10 13:55:24 +0100comonad(~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de)
2025-03-10 13:57:44 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-10 14:02:44 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-03-10 14:03:22 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-03-10 14:12:28 +0100notdabs(~Owner@2600:1700:69cf:9000:18ba:19eb:bf57:848b)
2025-03-10 14:15:08 +0100hellwolf(~user@458b-990e-ee80-fa8e-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 268 seconds)
2025-03-10 14:15:14 +0100notdabs(~Owner@2600:1700:69cf:9000:18ba:19eb:bf57:848b) (Remote host closed the connection)
2025-03-10 14:15:37 +0100notdabs(~Owner@2600:1700:69cf:9000:18ba:19eb:bf57:848b)
2025-03-10 14:16:14 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles