| 2021-05-21 10:00:58 +0200 | ircbrowse_tom | (~ircbrowse@64.225.78.177) |
| 2021-05-21 10:00:58 +0200 | Server | +nt |
| 2021-05-21 10:01:41 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 258 seconds) |
| 2021-05-21 10:01:42 +0200 | nitrix | (~nitrix@ns569831.ip-51-79-81.net) |
| 2021-05-21 10:02:05 +0200 | nitrix | Guest7426 |
| 2021-05-21 10:04:30 +0200 | killsushi_ | (~killsushi@2607:fea8:3d40:767:707b:b3b8:c407:1243) |
| 2021-05-21 10:04:30 +0200 | killsushi_ | (~killsushi@2607:fea8:3d40:767:707b:b3b8:c407:1243) (Changing host) |
| 2021-05-21 10:04:30 +0200 | killsushi_ | (~killsushi@user/killsushi/x-5912268) |
| 2021-05-21 10:05:11 +0200 | GZJ0X_ | (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-21 10:06:26 +0200 | pe200012 | (~pe200012@218.107.17.245) |
| 2021-05-21 10:06:48 +0200 | tose | (~tose@ip-85-160-9-220.eurotel.cz) (Ping timeout: 245 seconds) |
| 2021-05-21 10:08:15 +0200 | nitrix | (~nitrix@ns569831.ip-51-79-81.net) |
| 2021-05-21 10:08:33 +0200 | obfusk_ | (~quassel@a82-161-150-56.adsl.xs4all.nl) |
| 2021-05-21 10:08:38 +0200 | nitrix | Guest3497 |
| 2021-05-21 10:08:40 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-21 10:08:48 +0200 | jco_ | (~jco@c83-248-173-38.bredband.tele2.se) |
| 2021-05-21 10:09:45 +0200 | lortabac_ | (~lortabac@2a01:e0a:541:b8f0:9c88:d7f4:4abf:ede1) |
| 2021-05-21 10:10:58 +0200 | sszark1 | (~sszark@h-85-24-213-180.A392.priv.bahnhof.se) |
| 2021-05-21 10:11:09 +0200 | pe200012 | (~pe200012@218.107.17.245) (Quit: Konversation terminated!) |
| 2021-05-21 10:11:34 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-05-21 10:11:59 +0200 | pe200012 | (~pe200012@119.131.208.84) |
| 2021-05-21 10:12:36 +0200 | russruss1 | (~russruss@my.russellmcc.com) |
| 2021-05-21 10:13:07 +0200 | flounders | (~flounders@173.246.200.33) (Remote host closed the connection) |
| 2021-05-21 10:13:30 +0200 | flounders | (~flounders@173.246.200.33) |
| 2021-05-21 10:13:53 +0200 | jonn | (~sweater@206.81.18.26) (Ping timeout: 264 seconds) |
| 2021-05-21 10:13:59 +0200 | Guest7426 | (~nitrix@ns569831.ip-51-79-81.net) (*.net *.split) |
| 2021-05-21 10:13:59 +0200 | gzj | (~GZJ0X@185.212.59.97.16clouds.com) (*.net *.split) |
| 2021-05-21 10:13:59 +0200 | pe200012_ | (~pe200012@120.236.162.14) (*.net *.split) |
| 2021-05-21 10:13:59 +0200 | notzmv | (~zmv@user/notzmv) (*.net *.split) |
| 2021-05-21 10:13:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9c88:d7f4:4abf:ede1) (*.net *.split) |
| 2021-05-21 10:13:59 +0200 | killsushi | (~killsushi@user/killsushi) (*.net *.split) |
| 2021-05-21 10:13:59 +0200 | jco | (~jco@c83-248-173-38.bredband.tele2.se) (*.net *.split) |
| 2021-05-21 10:13:59 +0200 | Square | (~Squarism4@90-231-27-135-no51.tbcn.telia.com) (*.net *.split) |
| 2021-05-21 10:13:59 +0200 | russruss | (~russruss@my.russellmcc.com) (*.net *.split) |
| 2021-05-21 10:13:59 +0200 | obfusk | (~quassel@a82-161-150-56.adsl.xs4all.nl) (*.net *.split) |
| 2021-05-21 10:13:59 +0200 | sszark | (~sszark@h-85-24-213-180.A392.priv.bahnhof.se) (*.net *.split) |
| 2021-05-21 10:13:59 +0200 | russruss1 | russruss |
| 2021-05-21 10:15:05 +0200 | SethTisue | (sid14912@charlton.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-21 10:15:05 +0200 | Ekho | (~Ekho@user/ekho) (Ping timeout: 264 seconds) |
| 2021-05-21 10:15:08 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 10:15:29 +0200 | jonn | (~sweater@206.81.18.26) |
| 2021-05-21 10:16:17 +0200 | SethTisue | (sid14912@id-14912.charlton.irccloud.com) |
| 2021-05-21 10:16:27 +0200 | Ekho | (~Ekho@user/ekho) |
| 2021-05-21 10:16:58 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 264 seconds) |
| 2021-05-21 10:17:51 +0200 | jhill | (sid1055@tinside.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-21 10:17:51 +0200 | Xe | (~cadey@user/xe) (Ping timeout: 264 seconds) |
| 2021-05-21 10:17:52 +0200 | stefan-_ | (~cri@42dots.de) |
| 2021-05-21 10:17:54 +0200 | Cadey | (~cadey@user/xe) |
| 2021-05-21 10:18:05 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-21 10:18:07 +0200 | jhill_ | (sid1055@id-1055.tinside.irccloud.com) |
| 2021-05-21 10:18:51 +0200 | ddellacosta | (~ddellacos@89.46.62.33) |
| 2021-05-21 10:19:09 +0200 | jakzale | (uid499518@id-499518.charlton.irccloud.com) |
| 2021-05-21 10:19:43 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 245 seconds) |
| 2021-05-21 10:20:00 +0200 | amk | (~amk@176.61.106.150) |
| 2021-05-21 10:20:26 +0200 | Square | (~Squarism4@90-231-27-135-no51.tbcn.telia.com) |
| 2021-05-21 10:20:29 +0200 | nsilv | (~nsilv@212.103.198.210) (Ping timeout: 248 seconds) |
| 2021-05-21 10:20:42 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2021-05-21 10:21:06 +0200 | GZJ0X_ | (~GZJ0X@185.212.59.97.16clouds.com) (Remote host closed the connection) |
| 2021-05-21 10:23:03 +0200 | ddellacosta | (~ddellacos@89.46.62.33) (Ping timeout: 245 seconds) |
| 2021-05-21 10:24:15 +0200 | gzj | (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-21 10:24:17 +0200 | stefan-_ | (~cri@42dots.de) (Quit: ZNC 1.6.3+deb1ubuntu0.2 - http://znc.in) |
| 2021-05-21 10:24:30 +0200 | stefan-_ | (~cri@42dots.de) |
| 2021-05-21 10:25:19 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 10:26:20 +0200 | nsilv | (~nsilv@212.103.198.210) |
| 2021-05-21 10:28:23 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 10:31:35 +0200 | Morrow | (~Morrow@147.161.13.14) (Ping timeout: 265 seconds) |
| 2021-05-21 10:31:35 +0200 | jco_ | (~jco@c83-248-173-38.bredband.tele2.se) (Read error: Connection reset by peer) |
| 2021-05-21 10:33:28 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 245 seconds) |
| 2021-05-21 10:36:35 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 10:38:29 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:5506:236:73f0:6f7a) (Remote host closed the connection) |
| 2021-05-21 10:38:57 +0200 | xwx | (~george@user/george) |
| 2021-05-21 10:39:03 +0200 | exzeta | (~exzeta@client-8-84.eduroam.oxuni.org.uk) |
| 2021-05-21 10:40:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-21 10:41:14 +0200 | peterd | (~petrus@catv-86-101-33-147.catv.broadband.hu) |
| 2021-05-21 10:42:59 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:5506:236:73f0:6f7a) |
| 2021-05-21 10:43:53 +0200 | irc_user | (uid423822@id-423822.tooting.irccloud.com) |
| 2021-05-21 10:43:53 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 260 seconds) |
| 2021-05-21 10:43:55 +0200 | xaotuk | (~xaotuk@89.110.231.41) |
| 2021-05-21 10:45:08 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-05-21 10:45:20 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 10:45:21 +0200 | xaotuk | (~xaotuk@89.110.231.41) (Quit: WeeChat 3.1) |
| 2021-05-21 10:48:55 +0200 | scav | (sid309693@id-309693.brockwell.irccloud.com) |
| 2021-05-21 10:49:39 +0200 | amahl | (~amahl@dxv5skyhvr3g5s4my3mky-3.rev.dnainternet.fi) |
| 2021-05-21 10:49:49 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 248 seconds) |
| 2021-05-21 10:51:28 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 10:51:49 +0200 | xaotuk | (~xaotuk@89.110.231.41) |
| 2021-05-21 10:53:44 +0200 | scav | (sid309693@id-309693.brockwell.irccloud.com) () |
| 2021-05-21 10:53:56 +0200 | scav | (sid309693@id-309693.brockwell.irccloud.com) |
| 2021-05-21 10:54:41 +0200 | fendor_ | (~fendor@178.115.59.240.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-21 10:56:08 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 260 seconds) |
| 2021-05-21 10:56:25 +0200 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) |
| 2021-05-21 10:56:59 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:5506:236:73f0:6f7a) (Remote host closed the connection) |
| 2021-05-21 10:57:17 +0200 | <pe200012> | > print |
| 2021-05-21 10:57:19 +0200 | <lambdabot> | <() -> IO ()> |
| 2021-05-21 10:57:38 +0200 | <pe200012> | > print 1 |
| 2021-05-21 10:57:40 +0200 | <lambdabot> | <IO ()> |
| 2021-05-21 10:57:54 +0200 | <pe200012> | > (+1) <$> [1.10 ^ 10] |
| 2021-05-21 10:57:56 +0200 | <lambdabot> | [3.593742460100002] |
| 2021-05-21 10:57:56 +0200 | dminuoso | prepares his MMR answer card for pe200012 |
| 2021-05-21 10:59:16 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 11:01:23 +0200 | madjestic | (~madjestic@88.159.247.120) (Ping timeout: 245 seconds) |
| 2021-05-21 11:03:01 +0200 | Aran | (~Aran@port-92-194-80-170.dynamic.as20676.net) |
| 2021-05-21 11:03:08 +0200 | pe200012 | (~pe200012@119.131.208.84) (Quit: Konversation terminated!) |
| 2021-05-21 11:03:26 +0200 | pe200012 | (~pe200012@119.131.208.84) |
| 2021-05-21 11:04:13 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 248 seconds) |
| 2021-05-21 11:04:13 +0200 | amahl | (~amahl@dxv5skyhvr3g5s4my3mky-3.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2021-05-21 11:06:06 +0200 | wonko | (~wjc@62.115.229.50) |
| 2021-05-21 11:08:00 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 11:11:13 +0200 | juhp | (~juhp@128.106.188.199) (Read error: Connection reset by peer) |
| 2021-05-21 11:11:25 +0200 | juhp | (~juhp@128.106.188.199) |
| 2021-05-21 11:12:38 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 245 seconds) |
| 2021-05-21 11:12:46 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:4074:661e:32e7:5683) |
| 2021-05-21 11:13:39 +0200 | madjestic | (~madjestic@88.159.247.120) |
| 2021-05-21 11:14:05 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2021-05-21 11:15:44 +0200 | Cadey | Xe |
| 2021-05-21 11:19:00 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 11:20:38 +0200 | km` | (~user@220.240.84.227) (Ping timeout: 260 seconds) |
| 2021-05-21 11:22:11 +0200 | prop | (hugh@107.161.19.109) |
| 2021-05-21 11:23:02 +0200 | geekosaur | (~allbery_b@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2021-05-21 11:23:41 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 245 seconds) |
| 2021-05-21 11:25:08 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 11:28:28 +0200 | taktoa[c] | (sid282096@tinside.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-05-21 11:28:54 +0200 | chele | (~chele@user/chele) |
| 2021-05-21 11:29:14 +0200 | dogu | (~dogu@84.51.63.109) |
| 2021-05-21 11:29:39 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2021-05-21 11:29:58 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 260 seconds) |
| 2021-05-21 11:30:21 +0200 | chele_ | (~chele@user/chele) (Ping timeout: 248 seconds) |
| 2021-05-21 11:31:33 +0200 | dogu | (~dogu@84.51.63.109) (Client Quit) |
| 2021-05-21 11:32:10 +0200 | geekosaur | (~allbery_b@069-135-003-034.biz.spectrum.com) |
| 2021-05-21 11:32:53 +0200 | jmct | (sid160793@tinside.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-05-21 11:33:14 +0200 | Sigi | (Sigi@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 11:33:32 +0200 | hongminhee | (sid295@tinside.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-05-21 11:34:10 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2021-05-21 11:34:10 +0200 | jackdk | (sid373013@tinside.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-05-21 11:34:50 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2021-05-21 11:34:53 +0200 | python476 | (~user@88.160.31.174) |
| 2021-05-21 11:34:55 +0200 | <python476> | o/ |
| 2021-05-21 11:34:59 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) |
| 2021-05-21 11:35:29 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 11:35:38 +0200 | jackdk | (sid373013@id-373013.tinside.irccloud.com) |
| 2021-05-21 11:37:37 +0200 | tose | (~tose@ip-85-160-9-220.eurotel.cz) |
| 2021-05-21 11:37:39 +0200 | <bjs> | Wonder how many left on the other network are just perpetual AFK |
| 2021-05-21 11:37:40 +0200 | <bjs> | I spy a jmct |
| 2021-05-21 11:39:57 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 248 seconds) |
| 2021-05-21 11:40:40 +0200 | peterd | (~petrus@catv-86-101-33-147.catv.broadband.hu) (WeeChat 3.1) |
| 2021-05-21 11:41:04 +0200 | boxscape | (boxscape@107.161.19.109) |
| 2021-05-21 11:41:05 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) |
| 2021-05-21 11:41:06 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 11:42:07 +0200 | Gurkenglas | (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) |
| 2021-05-21 11:42:19 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-21 11:42:38 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds) |
| 2021-05-21 11:42:41 +0200 | john2gb | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-05-21 11:44:44 +0200 | madjestic | (~madjestic@88.159.247.120) (Ping timeout: 252 seconds) |
| 2021-05-21 11:45:46 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 245 seconds) |
| 2021-05-21 11:45:47 +0200 | spoonm | (~spoonm@tokyo.spoonm.org) |
| 2021-05-21 11:46:53 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-05-21 11:47:57 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 11:49:14 +0200 | holy_ | (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-21 11:52:26 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 245 seconds) |
| 2021-05-21 11:53:43 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-05-21 11:56:14 +0200 | davve | (davve@bsd.douchedata.com) |
| 2021-05-21 11:56:20 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 11:56:23 +0200 | nsilv | (~nsilv@212.103.198.210) (Ping timeout: 245 seconds) |
| 2021-05-21 11:56:52 +0200 | jonathanclarke | (~jonathanc@110.44.115.201) |
| 2021-05-21 12:00:14 +0200 | __monty__ | (~toonn@d51A54E75.access.telenet.be) |
| 2021-05-21 12:01:14 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 252 seconds) |
| 2021-05-21 12:02:05 +0200 | nsilv | (~nsilv@212.103.198.210) |
| 2021-05-21 12:02:20 +0200 | <[exa]> | bjs: a lot |
| 2021-05-21 12:05:51 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-21 12:05:52 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 12:06:31 +0200 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-21 12:06:45 +0200 | juhp | (~juhp@128.106.188.199) |
| 2021-05-21 12:07:39 +0200 | notzmv | (~zmv@user/notzmv) |
| 2021-05-21 12:09:15 +0200 | gzj | (~GZJ0X@185.212.59.97.16clouds.com) (Remote host closed the connection) |
| 2021-05-21 12:10:21 +0200 | tose | (~tose@ip-85-160-9-220.eurotel.cz) (Ping timeout: 245 seconds) |
| 2021-05-21 12:12:01 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 245 seconds) |
| 2021-05-21 12:12:12 +0200 | protoYoyo | (~protoYoyo@2a03:1b20:a:f011::a01d) (Leaving) |
| 2021-05-21 12:14:33 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 12:15:26 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 12:15:33 +0200 | titusg | (~user@193.62.188.148) |
| 2021-05-21 12:16:58 +0200 | doublex | (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (Ping timeout: 264 seconds) |
| 2021-05-21 12:18:23 +0200 | titusg | (~user@193.62.188.148) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-05-21 12:18:58 +0200 | titusg | (~user@193.62.188.148) |
| 2021-05-21 12:19:00 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Quit: ran away) |
| 2021-05-21 12:20:08 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 245 seconds) |
| 2021-05-21 12:21:06 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 12:21:51 +0200 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-21 12:22:04 +0200 | juhp | (~juhp@128.106.188.199) |
| 2021-05-21 12:22:58 +0200 | wonko | (~wjc@62.115.229.50) (Changing host) |
| 2021-05-21 12:22:58 +0200 | wonko | (~wjc@user/wonko) |
| 2021-05-21 12:24:29 +0200 | dyeplexer | (~terpin@183.87.245.219) |
| 2021-05-21 12:24:52 +0200 | <boxscape> | yay just got my first ghc commit merged |
| 2021-05-21 12:25:33 +0200 | xwx | (~george@user/george) (Ping timeout: 245 seconds) |
| 2021-05-21 12:25:36 +0200 | dyeplexer | (~terpin@183.87.245.219) (Changing host) |
| 2021-05-21 12:25:36 +0200 | dyeplexer | (~terpin@user/dyeplexer) |
| 2021-05-21 12:25:46 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 245 seconds) |
| 2021-05-21 12:26:15 +0200 | dyeplexer | (~terpin@user/dyeplexer) (Client Quit) |
| 2021-05-21 12:28:34 +0200 | MidAutumnMoon | (~MidAutumn@47.57.12.162) |
| 2021-05-21 12:28:45 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-05-21 12:29:03 +0200 | satai | (~satai@ip-37-188-228-35.eurotel.cz) (Quit: satai) |
| 2021-05-21 12:31:03 +0200 | samhh | (~samhh@90.252.103.244) |
| 2021-05-21 12:31:46 +0200 | nsilv | (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1) |
| 2021-05-21 12:34:37 +0200 | <cjay> | nice |
| 2021-05-21 12:34:43 +0200 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) (Ping timeout: 260 seconds) |
| 2021-05-21 12:35:04 +0200 | juhp | petersen |
| 2021-05-21 12:38:04 +0200 | wonko | (~wjc@user/wonko) (Quit: See You Space Cowboy..) |
| 2021-05-21 12:50:25 +0200 | wonko | (~wjc@62.115.229.50) |
| 2021-05-21 12:51:00 +0200 | pcapriotti | (pcapriotti@107.161.19.109) |
| 2021-05-21 12:51:14 +0200 | azeem74 | (azeem@107.161.19.109) |
| 2021-05-21 12:51:21 +0200 | lambdadog | (~user@136.55.166.148) |
| 2021-05-21 12:53:02 +0200 | <tomsmeding> | 🎉 |
| 2021-05-21 12:53:21 +0200 | azeem74 | (azeem@107.161.19.109) (Client Quit) |
| 2021-05-21 12:54:30 +0200 | <Hecate> | hurray boxscape |
| 2021-05-21 12:54:37 +0200 | <boxscape> | :) |
| 2021-05-21 12:55:33 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-21 12:56:31 +0200 | pcapriotti | (pcapriotti@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 12:57:00 +0200 | lambdadog | (~user@136.55.166.148) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-05-21 12:57:26 +0200 | <prop> | i was surprised at how quickly certain names were taken |
| 2021-05-21 12:57:30 +0200 | <prop> | i wanted to take my forename |
| 2021-05-21 12:57:32 +0200 | <prop> | but no chance |
| 2021-05-21 12:57:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 12:57:35 +0200 | <prop> | or middle name, no chance |
| 2021-05-21 12:57:43 +0200 | <Hecate> | I have a question that may sound like cargo culting, but would it be preferable to chain functions, or to call the next one inside the previous one? |
| 2021-05-21 12:57:44 +0200 | lambdadog | (~user@136.55.166.148) |
| 2021-05-21 12:57:57 +0200 | <prop> | what do you mean hecate? |
| 2021-05-21 12:58:03 +0200 | <Hecate> | so, chaining functions |
| 2021-05-21 12:58:10 +0200 | <Hecate> | foo >== bar >== baz |
| 2021-05-21 12:58:35 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2021-05-21 12:58:41 +0200 | <boxscape> | as in (flip .)? |
| 2021-05-21 12:58:42 +0200 | <Hecate> | or foo x = bar x ; bar y = baz y |
| 2021-05-21 12:58:47 +0200 | <boxscape> | as in (flip (.))?* |
| 2021-05-21 12:58:51 +0200 | <Taneb> | Hecate: I'd say chaining functions here |
| 2021-05-21 12:59:00 +0200 | <Hecate> | (with a meaningful transformation of the argument inside each function, I'm not just inlining) |
| 2021-05-21 12:59:14 +0200 | <Hecate> | Taneb: ok :) That's what I thought |
| 2021-05-21 12:59:21 +0200 | <Taneb> | It means you can re-use them or test them individually easier |
| 2021-05-21 12:59:24 +0200 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) |
| 2021-05-21 12:59:26 +0200 | <Hecate> | yup |
| 2021-05-21 12:59:39 +0200 | <Hecate> | yeah I guess continuations have some legit usage at a lower-level |
| 2021-05-21 12:59:46 +0200 | <prop> | ooooh you mean to compose or write the call inside the function |
| 2021-05-21 13:00:12 +0200 | pcapriotti | (pcapriotti@107.161.19.109) |
| 2021-05-21 13:00:21 +0200 | <Hecate> | yep |
| 2021-05-21 13:00:52 +0200 | pcapriotti | (pcapriotti@107.161.19.109) (Client Quit) |
| 2021-05-21 13:01:05 +0200 | <prop> | i think sometimes for recursive functions at least, it is better to leave it with its fixed point argument |
| 2021-05-21 13:01:18 +0200 | <prop> | the reason being is that there are caching libraries that can use the fixed point argument if i remember correctly |
| 2021-05-21 13:01:31 +0200 | <prop> | but this depends on the situation ofc as to whether it matters |
| 2021-05-21 13:01:34 +0200 | wonko | (~wjc@62.115.229.50) (Changing host) |
| 2021-05-21 13:01:34 +0200 | wonko | (~wjc@user/wonko) |
| 2021-05-21 13:01:49 +0200 | <Hecate> | oki doki! |
| 2021-05-21 13:02:10 +0200 | <dminuoso> | Hecate: Personally Im quite fond of binding things in where clauses |
| 2021-05-21 13:02:26 +0200 | infinisil | (~infinisil@mail.infinisil.com) |
| 2021-05-21 13:02:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-21 13:03:05 +0200 | <dminuoso> | Function composition is more useful when the composition itself has interesting structure, properties or reuse value |
| 2021-05-21 13:03:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 13:04:07 +0200 | <Hecate> | I'm not sure what you suggest applies in the question I was asking (composition/piping vs continuations) although I am indeed fond of where clauses myself |
| 2021-05-21 13:04:14 +0200 | <maerwald> | yeah, I also use $ more than ., unless . somehow feels right |
| 2021-05-21 13:04:29 +0200 | fendor | (~fendor@178.115.59.240.wireless.dyn.drei.com) |
| 2021-05-21 13:04:43 +0200 | <boxscape> | don't tell ski |
| 2021-05-21 13:04:57 +0200 | <dminuoso> | Hecate: well, its a sort of in between. rather than writing `foo (bar (quux x))` I might write `f = foo special where special = bar (quux x)` |
| 2021-05-21 13:05:07 +0200 | fendor_ | (~fendor@178.115.59.240.wireless.dyn.drei.com) |
| 2021-05-21 13:05:21 +0200 | <dminuoso> | Its hard to put into words, it largely depends on whether I want to put the focus and naming of things on the value itself, or the function. |
| 2021-05-21 13:05:31 +0200 | <Hecate> | dminuoso: yeah that's still composition :3 at a lower-leve/codegen I doubt it changes much |
| 2021-05-21 13:05:39 +0200 | knyppeldynan | (~kristina@h-178-174-136-151.NA.cust.bahnhof.se) (Quit: Lost terminal) |
| 2021-05-21 13:05:52 +0200 | <boxscape> | Oh is that what the question was about? I had assumed it was about readability |
| 2021-05-21 13:06:04 +0200 | <dminuoso> | XY territory now. :) |
| 2021-05-21 13:06:26 +0200 | <prop> | ? am confused too ? |
| 2021-05-21 13:06:40 +0200 | <Hecate> | Taneb had a great point about testability in favour of chaining functions |
| 2021-05-21 13:07:02 +0200 | <Hecate> | so I'll stick with chaining |
| 2021-05-21 13:07:09 +0200 | <Hecate> | and will leave continuations to the compiler |
| 2021-05-21 13:07:14 +0200 | <dminuoso> | Im quite confused now. |
| 2021-05-21 13:07:25 +0200 | infinisil | (~infinisil@mail.infinisil.com) (Quit: Configuring ZNC, sorry for the joins/quits!) |
| 2021-05-21 13:07:51 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-21 13:08:03 +0200 | infinisil | (~infinisil@mail.infinisil.com) |
| 2021-05-21 13:08:25 +0200 | <dminuoso> | Hecate: What, to you, is the difference between "chaining functions" and "calling the next one inside the previous one"? |
| 2021-05-21 13:08:35 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 13:08:38 +0200 | <dminuoso> | Your pseudo code examples don't parse in my head |
| 2021-05-21 13:09:16 +0200 | knyppeldynan | (~kristina@h-178-174-136-151.NA.cust.bahnhof.se) |
| 2021-05-21 13:10:02 +0200 | <Hecate> | at the code level, function composition is flat |
| 2021-05-21 13:10:13 +0200 | <prop> | personally i try to leave everything as point free as i can, but i think it is just a matter of taste really |
| 2021-05-21 13:10:25 +0200 | <prop> | it is what you like? |
| 2021-05-21 13:10:44 +0200 | <dminuoso> | "flat"? |
| 2021-05-21 13:10:45 +0200 | <Hecate> | whereas with calling the next one inside the previous one, you call one function in your call-site, and this function will call the rest of the functions for you |
| 2021-05-21 13:10:51 +0200 | <__monty__> | dminuoso: `f . g` vs `f x = something (g x)` |
| 2021-05-21 13:11:09 +0200 | <__monty__> | Where the first f would be `f = something`. |
| 2021-05-21 13:11:13 +0200 | <dminuoso> | __monty__: Yeah Im not sure, they sound.. confused.. |
| 2021-05-21 13:11:21 +0200 | <Hecate> | let me write a pastebin |
| 2021-05-21 13:13:03 +0200 | <Hecate> | https://paste.tomsmeding.com/S7s8xhmO dminuoso |
| 2021-05-21 13:13:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-21 13:13:37 +0200 | <dminuoso> | So first, those are not continuations. |
| 2021-05-21 13:13:41 +0200 | <Hecate> | ah, great |
| 2021-05-21 13:13:44 +0200 | <prop> | when should i use haskell.nix or cabal2nix? i'm annoyed at not having the right system dependencies like C libraries on different machines. also if i use nix can i run haskell binaries on other computers? |
| 2021-05-21 13:13:51 +0200 | <dminuoso> | Secondly, you seem to be mixing monad bind and function call here. |
| 2021-05-21 13:14:01 +0200 | <dminuoso> | So Im still not sure what you are asking about, exactly |
| 2021-05-21 13:14:02 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 13:14:11 +0200 | <dminuoso> | Function composition is (.), not (>>=) |
| 2021-05-21 13:14:21 +0200 | <dminuoso> | The monadic equivalent of function composition is (>=>/<=<) |
| 2021-05-21 13:14:24 +0200 | <Hecate> | prop: cabal2nix and haskell.nix are when you want nix to handle your haskell dependencies |
| 2021-05-21 13:14:42 +0200 | <Hecate> | prop: for system deps like C libraries, just write a shell.nix |
| 2021-05-21 13:14:54 +0200 | <Hecate> | prop: or use stack with nix support in the stack.yaml |
| 2021-05-21 13:15:03 +0200 | <dminuoso> | prop: Broadly, callCabal2Nix is closer to stack where you have curated versions, and haskell.nix gives you wider freedom in picking versions. |
| 2021-05-21 13:15:11 +0200 | <dminuoso> | (though haskell.nix has a lot of other tooling around it) |
| 2021-05-21 13:15:35 +0200 | <prop> | i often run out of memory compiling dependencies on other machines, does this mean i don't have to recompile dependencies? |
| 2021-05-21 13:15:40 +0200 | <prop> | i'm confused sorry |
| 2021-05-21 13:15:41 +0200 | <dminuoso> | and in fact, nixpkgs is closely aligned with stack resolvers, so depending on your needs that might be too tight. |
| 2021-05-21 13:15:44 +0200 | <prop> | like text and stuff |
| 2021-05-21 13:16:12 +0200 | <Hecate> | dminuoso: https://paste.tomsmeding.com/hV3B01OO |
| 2021-05-21 13:16:19 +0200 | fendor_ | (~fendor@178.115.59.240.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-05-21 13:16:19 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2021-05-21 13:16:27 +0200 | <Hecate> | See the difference? :-P |
| 2021-05-21 13:16:36 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) () |
| 2021-05-21 13:17:03 +0200 | <__monty__> | prop: Fwiw, I don't think haskell.nix has good (any?) UI around providing external deps yet. The question has come up a bunch recently. |
| 2021-05-21 13:18:09 +0200 | <Hecate> | dminuoso: I realise I must have been confused by https://en.wikipedia.org/wiki/Continuation-passing_style#CPS_in_Haskell |
| 2021-05-21 13:18:22 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2021-05-21 13:18:24 +0200 | <dminuoso> | prop: and regarding cross compilation, this is one of the reasons haskell.nix exists in the first place. its an extreme PITA to do cross compilation with (call)cabal2nix |
| 2021-05-21 13:18:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-21 13:18:43 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) (Client Quit) |
| 2021-05-21 13:19:01 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2021-05-21 13:19:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 13:19:58 +0200 | <dminuoso> | prop: If you just want to cross compile for a single target, its not an issue though. |
| 2021-05-21 13:20:12 +0200 | <dminuoso> | but if you want to have a matrix of targets, then you will want to start with haskell.nix right off the bat |
| 2021-05-21 13:20:42 +0200 | <prop> | what do you mean by cross compile for a single target? i'd like it to run on mac os because my friend has that and also fedora because that's my laptop and ubuntu because that's my server |
| 2021-05-21 13:21:09 +0200 | <dminuoso> | say you want to ship a binary for various combiations of os/arch/flags |
| 2021-05-21 13:21:30 +0200 | <dminuoso> | See https://input-output-hk.github.io/haskell.nix/motivation/ |
| 2021-05-21 13:21:41 +0200 | <__monty__> | Tbh, I'd say go with haskell.nix from the start regardless. You do have to expect some learning curve though. |
| 2021-05-21 13:21:56 +0200 | <dminuoso> | personally Im quite happy with callCabal2nix so far. |
| 2021-05-21 13:22:19 +0200 | <dminuoso> | but my packages happen to compile with stackage resolver versions.. |
| 2021-05-21 13:22:32 +0200 | <dminuoso> | And I dont mind the other issues that spawned haskell.nix, so.. |
| 2021-05-21 13:24:48 +0200 | <prop> | what exactly is in the binary cache? is it just GHC or do i get the packages i rely upon built for free? |
| 2021-05-21 13:24:54 +0200 | <prop> | sorry if it is a bad question |
| 2021-05-21 13:25:07 +0200 | <__monty__> | With Nixpkgs infra packages are built. |
| 2021-05-21 13:25:22 +0200 | <__monty__> | With haskell.nix you get less caching. |
| 2021-05-21 13:27:27 +0200 | samhh | (~samhh@90.252.103.244) (Quit: samhh) |
| 2021-05-21 13:27:34 +0200 | mike999999x | (~mike99999@85.132.254.158) (Remote host closed the connection) |
| 2021-05-21 13:27:40 +0200 | samhh | (~samhh@90.252.103.244) |
| 2021-05-21 13:27:41 +0200 | petersen | juhp |
| 2021-05-21 13:27:42 +0200 | samhh | (~samhh@90.252.103.244) (Client Quit) |
| 2021-05-21 13:27:54 +0200 | <prop> | ahh so haskell.nix is to make sure that you can actually build it across multiple platforms. then cabal2nix is for building the same package on the same linux distro, possibly speeding it up? |
| 2021-05-21 13:28:03 +0200 | juhp | petersen |
| 2021-05-21 13:28:33 +0200 | <__monty__> | No. |
| 2021-05-21 13:28:36 +0200 | samhh | (~samhh@90.252.103.244) |
| 2021-05-21 13:29:16 +0200 | petersen | juhp |
| 2021-05-21 13:29:32 +0200 | <__monty__> | Nixpkgs builds a mix of stackage and hackage. Haskell.nix provides a lot more flexibility. Consequence of that is that it's easy to deviate from what's in the cache, which means you can end up building more stuff. |
| 2021-05-21 13:29:52 +0200 | exzeta | (~exzeta@client-8-84.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-05-21 13:30:08 +0200 | exzeta | (~exzeta@client-8-84.eduroam.oxuni.org.uk) |
| 2021-05-21 13:30:27 +0200 | <dminuoso> | prop: Roughly, cabal2nix turns a single cabal file straight into a nix derivation |
| 2021-05-21 13:30:31 +0200 | samhh | (~samhh@90.252.103.244) (Client Quit) |
| 2021-05-21 13:30:41 +0200 | <dminuoso> | prop: haskell.nix however, rather turns a cabal build plan into a nix derivation, amongst other things. |
| 2021-05-21 13:31:43 +0200 | <dminuoso> | The reason cabal2nix works at all this way, is because in nixpkgs you have - like in stackage resolvers - only one version for each package available in nixpkgs |
| 2021-05-21 13:32:06 +0200 | <__monty__> | Reason I switched to haskell.nix is I got tired of manually overriding package versions and the like. |
| 2021-05-21 13:32:19 +0200 | <dminuoso> | so if you want to fiddle with constraints, that means you start overlaying for each darn package, and that becomes a lot of work. |
| 2021-05-21 13:32:28 +0200 | <__monty__> | Exactly. |
| 2021-05-21 13:33:00 +0200 | <__monty__> | If you use a significant number of packages that aren't in stackage you run into that sooner rather than later. |
| 2021-05-21 13:33:16 +0200 | malvo | (~malvo@malvo.org) |
| 2021-05-21 13:34:15 +0200 | <prop> | hmm, it sounds pretty complex thanks. i think i'll go with haskell.nix so i can fiddle |
| 2021-05-21 13:34:43 +0200 | Pseudonym | (~Pseudonym@118.211.96.219) |
| 2021-05-21 13:35:06 +0200 | <dminuoso> | __monty__: Here's my favourite issue: https://github.com/NixOS/nixpkgs/issues/26561 |
| 2021-05-21 13:35:08 +0200 | <dminuoso> | :P |
| 2021-05-21 13:37:51 +0200 | <maerwald> | that sums up nix overall |
| 2021-05-21 13:38:04 +0200 | <maerwald> | rabbit holes of complexity |
| 2021-05-21 13:38:29 +0200 | <dminuoso> | Yeah, it is quite representative for nix. |
| 2021-05-21 13:38:46 +0200 | samhh | (~samhh@90.252.103.244) |
| 2021-05-21 13:41:23 +0200 | samhh | (~samhh@90.252.103.244) (Client Quit) |
| 2021-05-21 13:42:26 +0200 | python476 | (~user@88.160.31.174) (Ping timeout: 245 seconds) |
| 2021-05-21 13:44:39 +0200 | Guest78 | (Guest78@107.161.19.109) |
| 2021-05-21 13:47:03 +0200 | <prop> | could the compiler serialise modules and cache that? say you don't have to type check or anything, just do codegen and stuff |
| 2021-05-21 13:47:11 +0200 | <prop> | it seems like a lot of effort though :| |
| 2021-05-21 13:48:47 +0200 | geekosaur | (~allbery_b@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2021-05-21 13:48:53 +0200 | irc_user | (uid423822@id-423822.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-21 13:49:08 +0200 | geekosaur | (~allbery_b@069-135-003-034.biz.spectrum.com) |
| 2021-05-21 13:52:11 +0200 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-21 13:52:24 +0200 | juhp | (~juhp@128.106.188.199) |
| 2021-05-21 13:53:09 +0200 | Raito_Bezarius | (~Raito@2a01:e0a:5f9:9681:a0a0:bb76:611f:9da7) |
| 2021-05-21 13:57:06 +0200 | <merijn> | prop: Metadata is serialised already |
| 2021-05-21 13:57:20 +0200 | <merijn> | prop: Or you meant *inside* Nix? |
| 2021-05-21 13:57:41 +0200 | alexander | (~alexander@user/alexander) |
| 2021-05-21 13:58:33 +0200 | Raito_Bezarius | (~Raito@2a01:e0a:5f9:9681:a0a0:bb76:611f:9da7) (Changing host) |
| 2021-05-21 13:58:33 +0200 | Raito_Bezarius | (~Raito@user/raito-bezarius/x-8759638) |
| 2021-05-21 13:59:07 +0200 | <prop> | it probably already does. i was wondering if you actually need to parse a package like text's source code and type check, desugar, or if you just get core with some metadata |
| 2021-05-21 13:59:22 +0200 | <prop> | don't worry i'll look it up |
| 2021-05-21 13:59:26 +0200 | <prop> | i'm sure the internet has answers |
| 2021-05-21 14:00:06 +0200 | <merijn> | prop: GHC builds regular libraries (same you'd get from C/C++/etc.), but the package database also has metadata (module names, types of exported symbols, etc.) |
| 2021-05-21 14:00:29 +0200 | <prop> | thank you :))) |
| 2021-05-21 14:00:32 +0200 | prop | (hugh@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 14:00:33 +0200 | <merijn> | prop: For inlinable functions it also has preprocessed source to implement inlining while compiling other packages |
| 2021-05-21 14:01:46 +0200 | shiraeeshi | (~shiraeesh@46.34.207.108) |
| 2021-05-21 14:03:53 +0200 | malvo | (~malvo@malvo.org) (Ping timeout: 252 seconds) |
| 2021-05-21 14:04:36 +0200 | malvo | (~malvo@malvo.org) |
| 2021-05-21 14:06:58 +0200 | xwx | (~george@user/george) |
| 2021-05-21 14:09:16 +0200 | nsilv | (~nsilv@212.103.198.210) |
| 2021-05-21 14:10:50 +0200 | nsilv | (~nsilv@212.103.198.210) (Client Quit) |
| 2021-05-21 14:11:04 +0200 | nsilv | (~nsilv@212.103.198.210) |
| 2021-05-21 14:11:08 +0200 | Guest78 | (Guest78@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 14:12:59 +0200 | azeem34 | (azeem@107.161.19.109) |
| 2021-05-21 14:17:23 +0200 | python476 | (~user@88.160.31.174) |
| 2021-05-21 14:18:50 +0200 | alloca | (~suppi@141.226.14.43) (Quit: WeeChat 2.8) |
| 2021-05-21 14:19:05 +0200 | alloca | (~suppi@141.226.14.43) |
| 2021-05-21 14:19:45 +0200 | azeem34 | azeem |
| 2021-05-21 14:20:14 +0200 | alloca | (~suppi@141.226.14.43) (Client Quit) |
| 2021-05-21 14:20:58 +0200 | ddellacosta | (~ddellacos@86.106.121.32) |
| 2021-05-21 14:22:00 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 14:22:57 +0200 | lbseale | (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-21 14:24:48 +0200 | azeem | (azeem@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 14:25:17 +0200 | michalz | (~user@185.246.204.47) (Ping timeout: 248 seconds) |
| 2021-05-21 14:25:21 +0200 | ddellacosta | (~ddellacos@86.106.121.32) (Ping timeout: 245 seconds) |
| 2021-05-21 14:25:21 +0200 | nsilv | (~nsilv@212.103.198.210) (Ping timeout: 245 seconds) |
| 2021-05-21 14:25:50 +0200 | haskman | (~haskman@106.215.53.61) |
| 2021-05-21 14:26:43 +0200 | heath | (~heath@68.68.64.38) (Ping timeout: 260 seconds) |
| 2021-05-21 14:27:28 +0200 | <haskman> | Do we have a good frictionless online haskell environment? |
| 2021-05-21 14:27:57 +0200 | <Taneb> | haskman: what do you mean by online haskell environment here? |
| 2021-05-21 14:28:03 +0200 | <dminuoso> | And what do you mean by frictionless? |
| 2021-05-21 14:28:30 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:d04b:5fe1:dfa9:d5ee) |
| 2021-05-21 14:28:35 +0200 | <haskman> | Purescript has something like this - https://try.purescript.org |
| 2021-05-21 14:28:58 +0200 | <haskman> | Something that allows me to write code in a module and run it without registrations etc |
| 2021-05-21 14:29:07 +0200 | <haskman> | Try Haskell is ofcourse pretty basic |
| 2021-05-21 14:29:14 +0200 | <Taneb> | Hmm, I'm not aware of something like that |
| 2021-05-21 14:29:37 +0200 | <maerwald> | I'm starting to like viewpatterns as way to avoid a few let bindings |
| 2021-05-21 14:29:42 +0200 | <haskman> | Typescript has a fantastic environment -https://www.typescriptlang.org/play |
| 2021-05-21 14:30:11 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:d04b:5fe1:dfa9:d5ee) (Remote host closed the connection) |
| 2021-05-21 14:30:16 +0200 | <python476> | purescript is very tempting |
| 2021-05-21 14:30:17 +0200 | <haskman> | So does ReasonML - https://reasonml.github.io/en/try |
| 2021-05-21 14:30:26 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:d04b:5fe1:dfa9:d5ee) |
| 2021-05-21 14:30:29 +0200 | <python476> | the tutorials are very appealing |
| 2021-05-21 14:30:45 +0200 | <haskman> | Purescript is great! |
| 2021-05-21 14:30:47 +0200 | <Taneb> | haskman: I note that Purescript and Typescript (I'm not sure about ReasonML) are both designed to compile to JavaScript, and Haskell is not (although it can be) |
| 2021-05-21 14:30:57 +0200 | <python476> | you made apps in it haskman ? |
| 2021-05-21 14:31:16 +0200 | <aweinstock> | tryhaskell.org looks like it uses hint instead of ghci, and seems to support evaluating expressions, but not commands like :type or :browse |
| 2021-05-21 14:31:19 +0200 | <haskman> | Yea I've used both Haskell and PS in production several times now |
| 2021-05-21 14:31:22 +0200 | siers | zn-dev |
| 2021-05-21 14:31:27 +0200 | zn-dev | siers |
| 2021-05-21 14:32:20 +0200 | michalz | (~user@185.246.204.48) |
| 2021-05-21 14:32:21 +0200 | <haskman> | Taneb: the JS backend definitely helps, but I feel the community should have something similar working for Haskell as well |
| 2021-05-21 14:33:22 +0200 | <haskman> | aweinstock: Yeah while an online repl is nice, having the ability to create a complete module is invaluable |
| 2021-05-21 14:33:34 +0200 | bm0 | (~bmo@45.83.220.203) |
| 2021-05-21 14:35:20 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:d04b:5fe1:dfa9:d5ee) (Remote host closed the connection) |
| 2021-05-21 14:35:45 +0200 | nsilv | (~nsilv@212.103.198.210) |
| 2021-05-21 14:35:47 +0200 | bm0 | (~bmo@45.83.220.203) (Client Quit) |
| 2021-05-21 14:37:21 +0200 | bmo | (~bmo@45.83.220.203) |
| 2021-05-21 14:37:23 +0200 | samhh | (~samhh@90.252.103.244) |
| 2021-05-21 14:37:31 +0200 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-21 14:37:35 +0200 | bunny | (~bunny@user/bunny) () |
| 2021-05-21 14:37:45 +0200 | juhp | (~juhp@128.106.188.199) |
| 2021-05-21 14:38:23 +0200 | samhh | (~samhh@90.252.103.244) (Client Quit) |
| 2021-05-21 14:40:00 +0200 | <boxscape> | is there an indexed monad package designed to work with QualifiedDo? |
| 2021-05-21 14:40:08 +0200 | python476 | (~user@88.160.31.174) (Ping timeout: 245 seconds) |
| 2021-05-21 14:42:12 +0200 | <boxscape> | realistically I probably won't use it because I'm trying to write a script that works with vanilla ghc but I'm curious |
| 2021-05-21 14:43:02 +0200 | sirodoht | (uid499766@brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-21 14:44:05 +0200 | __monty__ | (~toonn@d51A54E75.access.telenet.be) (Changing host) |
| 2021-05-21 14:44:05 +0200 | __monty__ | (~toonn@user/toonn) |
| 2021-05-21 14:45:12 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-05-21 14:45:21 +0200 | bmo | (~bmo@45.83.220.203) (Ping timeout: 245 seconds) |
| 2021-05-21 14:47:50 +0200 | <arahael> | How does one parse a hamlet file (Ie, Yesod Hamlet), into HTML? |
| 2021-05-21 14:54:33 +0200 | zfnmxt | (~zfnmxt@206.28.68.51.lunanode-rdns.com) (Changing host) |
| 2021-05-21 14:54:33 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) |
| 2021-05-21 14:55:16 +0200 | <arahael> | The trouble I have is that I can get a `Q Exp`, and then I have no idea what to do with it. |
| 2021-05-21 14:56:56 +0200 | <xerox> | arahael: along the lines of renderHtmlBuilder $(shamletFile "../foo.hamlet") |
| 2021-05-21 14:58:03 +0200 | <arahael> | xerox: How did you find that? |
| 2021-05-21 14:58:30 +0200 | <xerox> | https://github.com/search?q=shamletFile&type=code (: |
| 2021-05-21 14:59:26 +0200 | <arahael> | Hmm, ok, so I'm now wondering how that works... Is the '$(...)' bit a quasi-quoter or something? |
| 2021-05-21 14:59:40 +0200 | <xerox> | yeah |
| 2021-05-21 14:59:41 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-21 15:00:18 +0200 | <xerox> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/template_haskell.html |
| 2021-05-21 15:00:24 +0200 | <xerox> | called a "splice" apparently |
| 2021-05-21 15:00:33 +0200 | <nsilv> | it's a splice, it basically expands the (Q a) into an a at compile time |
| 2021-05-21 15:00:48 +0200 | erickgnavar | (~user@189.216.64.154) |
| 2021-05-21 15:01:17 +0200 | <arahael> | Interesting. And I can't do it at runtime? |
| 2021-05-21 15:01:48 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds) |
| 2021-05-21 15:02:15 +0200 | <nsilv> | in this case, you're rendering the html at runtime, but constructing the builder (based on the hamlet file) at compile time (cause you're effectively including it at compile time inside your code, and then you're expanding it into generated haskell code) |
| 2021-05-21 15:02:38 +0200 | xwx | (~george@user/george) (Ping timeout: 245 seconds) |
| 2021-05-21 15:03:02 +0200 | <arahael> | nsilv: Yeah. I was hoping to read the hamlet at runtime. |
| 2021-05-21 15:03:22 +0200 | <nsilv> | arahael: and I don't think you can do it exclusively at runtime because iirc hamlet can embed haskell code inside and it gets typeh checked |
| 2021-05-21 15:03:40 +0200 | <arahael> | Hmm. So I probalby don't want hamlet, then. I should use a different templating system. |
| 2021-05-21 15:03:50 +0200 | vid0cq | (vid0cq@107.161.19.109) |
| 2021-05-21 15:04:32 +0200 | moistoreos | (~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net) |
| 2021-05-21 15:04:41 +0200 | <nsilv> | arahael: maybe something like https://hackage.haskell.org/package/ginger ? |
| 2021-05-21 15:04:44 +0200 | Raito_Bezarius | RaitoBezarius |
| 2021-05-21 15:05:11 +0200 | RaitoBezarius | Raito_Bezarius |
| 2021-05-21 15:05:27 +0200 | Raito_Bezarius | RaitoBezarius |
| 2021-05-21 15:05:30 +0200 | RaitoBezarius | Raito_Bezarius |
| 2021-05-21 15:05:48 +0200 | Raito_Bezarius | RaitoBezarius |
| 2021-05-21 15:06:05 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 15:07:07 +0200 | Mark_ | (uid14803@user/mark/x-9597255) |
| 2021-05-21 15:07:11 +0200 | RaitoBezarius | (~Raito@user/raito-bezarius/x-8759638) (Quit: WeeChat 3.0) |
| 2021-05-21 15:07:17 +0200 | <arahael> | nsilv: Ginger looks ideal :) And familiar, as well, although I note it doesn't say it's "feature complete". |
| 2021-05-21 15:07:27 +0200 | Raito_Bezarius | (~Raito@2a01:e0a:5f9:9681:a0a0:bb76:611f:9da7) |
| 2021-05-21 15:07:31 +0200 | Raito_Bezarius | (~Raito@2a01:e0a:5f9:9681:a0a0:bb76:611f:9da7) (Changing host) |
| 2021-05-21 15:07:31 +0200 | Raito_Bezarius | (~Raito@user/raito-bezarius/x-8759638) |
| 2021-05-21 15:07:43 +0200 | Raito_Bezarius | RaitoBezarius |
| 2021-05-21 15:07:52 +0200 | RaitoBezarius | Raito__Bezarius |
| 2021-05-21 15:08:06 +0200 | Raito__Bezarius | RedComet |
| 2021-05-21 15:08:49 +0200 | <arahael> | nsilv: And it's written by our very own tdammers, too. :) |
| 2021-05-21 15:09:02 +0200 | RedComet | Raito |
| 2021-05-21 15:09:12 +0200 | <arahael> | I'll have to give it a play soon. For now, though, bed time. 11pm and all. |
| 2021-05-21 15:09:34 +0200 | Raito | Raito_Bezarius |
| 2021-05-21 15:10:09 +0200 | <xerox> | arahael: looks like you can, the shakespeare module does provide runtime facilities https://hackage.haskell.org/package/shakespeare-2.0.25/docs/Text-Hamlet-Runtime.html |
| 2021-05-21 15:10:21 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds) |
| 2021-05-21 15:10:46 +0200 | alloca | (~gilmi@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) |
| 2021-05-21 15:11:28 +0200 | jrm | (~jrm@156.34.187.65) |
| 2021-05-21 15:12:16 +0200 | y04nn | (~y04nn@193.27.14.138) |
| 2021-05-21 15:12:46 +0200 | <nsilv> | ah i guess it does have some limitations tho. which makes sense |
| 2021-05-21 15:13:32 +0200 | <arahael> | xerox: That might be useful and what I want. |
| 2021-05-21 15:14:05 +0200 | <xerox> | just don't get fooled by the word limitations, you can't do those things without compile time parsing no matter which package |
| 2021-05-21 15:14:11 +0200 | <arahael> | xerox: I'll probably try that one first, then again, ginger would let me define filters and stuff... |
| 2021-05-21 15:14:36 +0200 | <arahael> | But filters probably dont' belong in a template anyway. |
| 2021-05-21 15:14:41 +0200 | alloca | (~gilmi@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) (Changing host) |
| 2021-05-21 15:14:41 +0200 | alloca | (~gilmi@user/suppi) |
| 2021-05-21 15:14:54 +0200 | <xerox> | what are you making? |
| 2021-05-21 15:14:59 +0200 | <arahael> | Just generating a static site. |
| 2021-05-21 15:15:23 +0200 | <xerox> | I was looking at options for building web services in haskell myself so I got interested in the question |
| 2021-05-21 15:15:50 +0200 | <arahael> | So I want to make an exe, which just parses a bunch of templates and spits out something that it shoves into an S3 bucket or something to serve the site from that. |
| 2021-05-21 15:16:01 +0200 | vid0cq | (vid0cq@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 15:16:31 +0200 | <arahael> | I _could_ just use the splices, but I'd rather be able to regenerate the site *quickly* every time I make a small change. |
| 2021-05-21 15:17:21 +0200 | <shiraeeshi> | arahael: you fit into free quota for s3? |
| 2021-05-21 15:18:13 +0200 | <arahael> | shiraeeshi: No, but s3 is cheap. |
| 2021-05-21 15:18:27 +0200 | <arahael> | shiraeeshi: The free quota is only for the first year. |
| 2021-05-21 15:19:40 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 15:20:58 +0200 | nan` | (~nan`@68.235.43.133) (Ping timeout: 260 seconds) |
| 2021-05-21 15:21:44 +0200 | <arahael> | xerox: There are loads of static website generators, but it turns out it's fairly easy to just make one yourself. And I hate how most of them are either badly documented, or a fragile npm mess. |
| 2021-05-21 15:21:55 +0200 | nan` | (~nan`@68.235.43.93) |
| 2021-05-21 15:22:21 +0200 | <xerox> | arahael: go for it! |
| 2021-05-21 15:23:02 +0200 | <xerox> | shouldn't be infinitely hard to swap the markup language and/or allow multiple ones anyway |
| 2021-05-21 15:24:06 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds) |
| 2021-05-21 15:24:14 +0200 | <arahael> | xerox: Yeah, I'm basically implementing something jekyll inspired. So, using restructured text with yaml frontmatter (I wanted to use dhall, but yaml turns out to be simpler), and now just need to get the "site" up so that I have something to include these restructured texts in. |
| 2021-05-21 15:24:27 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2021-05-21 15:24:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-05-21 15:25:04 +0200 | <arahael> | Entire haskell implemetnation is currently less than 70 lines. I can't imagine it getting to be more than say, 200, once I've implemented all the rules I want in it. |
| 2021-05-21 15:25:34 +0200 | <arahael> | Though I imagine that if it works out, it'll only grow. :( |
| 2021-05-21 15:26:59 +0200 | xkapastel | (uid17782@id-17782.tinside.irccloud.com) |
| 2021-05-21 15:27:00 +0200 | <arahael> | G'night! And thanks for the help, both of you! |
| 2021-05-21 15:28:16 +0200 | lambdadog | (~user@136.55.166.148) (Ping timeout: 245 seconds) |
| 2021-05-21 15:28:21 +0200 | <xerox> | nighto |
| 2021-05-21 15:29:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-21 15:29:51 +0200 | ddellacosta | (~ddellacos@89.46.62.49) |
| 2021-05-21 15:32:06 +0200 | alx741 | (~alx741@186.178.109.76) |
| 2021-05-21 15:33:15 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 15:34:05 +0200 | ddellacosta | (~ddellacos@89.46.62.49) (Ping timeout: 248 seconds) |
| 2021-05-21 15:36:14 +0200 | cherryblossom000 | (uid500853@id-500853.stonehaven.irccloud.com) |
| 2021-05-21 15:36:23 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 15:36:30 +0200 | fizbin | (~fizbin@c-71-226-194-211.hsd1.nj.comcast.net) |
| 2021-05-21 15:37:49 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 248 seconds) |
| 2021-05-21 15:38:17 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 15:38:59 +0200 | nan`_ | (~nan`@68.235.43.101) |
| 2021-05-21 15:39:08 +0200 | <carbolymer> | why am I getting "record update is ambiguous, and requires a type signature" error? can record update change record type? |
| 2021-05-21 15:39:25 +0200 | <carbolymer> | in my case record isn't parameterized |
| 2021-05-21 15:39:34 +0200 | <carter> | If field is polymorphic? |
| 2021-05-21 15:39:47 +0200 | Pseudonym | (~Pseudonym@118.211.96.219) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2021-05-21 15:39:50 +0200 | <carter> | Or maybe record isn’t typed enough? |
| 2021-05-21 15:40:24 +0200 | brisbin | (~patrick@pool-173-49-145-161.phlapa.fios.verizon.net) |
| 2021-05-21 15:40:55 +0200 | brisbin | pbrisbin |
| 2021-05-21 15:41:15 +0200 | nan`__ | (~nan`@68.235.43.141) |
| 2021-05-21 15:41:25 +0200 | <carbolymer> | no, field isn't polymorphic; also record is a regular data type i.e. data Foo = Foo{ ... } |
| 2021-05-21 15:41:43 +0200 | <carbolymer> | so I don't see any degrees of freedom there |
| 2021-05-21 15:41:59 +0200 | <merijn> | Code + error :) |
| 2021-05-21 15:42:05 +0200 | nan` | (~nan`@68.235.43.93) (Ping timeout: 248 seconds) |
| 2021-05-21 15:43:34 +0200 | <pe200012> | maybe you accidently enable ext DuplicateRecordFields? |
| 2021-05-21 15:43:50 +0200 | Raito_Bezarius | (~Raito@user/raito-bezarius/x-8759638) (Quit: free()) |
| 2021-05-21 15:44:09 +0200 | Raito_Bezarius | (~Raito@user/raito-bezarius/x-8759638) |
| 2021-05-21 15:44:09 +0200 | carbolymer | checks cabal |
| 2021-05-21 15:44:12 +0200 | <carbolymer> | yep I have that |
| 2021-05-21 15:44:30 +0200 | <merijn> | "So don't do that, then" ;) |
| 2021-05-21 15:44:34 +0200 | nan`_ | (~nan`@68.235.43.101) (Ping timeout: 264 seconds) |
| 2021-05-21 15:44:49 +0200 | <carbolymer> | TOTALLY MAKES SENSE NOW, EVERYTHING HAS BECOME CLEAR NOW |
| 2021-05-21 15:44:52 +0200 | <carbolymer> | :) |
| 2021-05-21 15:45:09 +0200 | arahael | likes that extension. |
| 2021-05-21 15:45:19 +0200 | <carbolymer> | yeah, it's useful |
| 2021-05-21 15:45:21 +0200 | <merijn> | arahael: Every person has flaws ;) |
| 2021-05-21 15:45:34 +0200 | <arahael> | merijn: I'm deeply flawed. :) |
| 2021-05-21 15:45:45 +0200 | Chobbes | (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Changing host) |
| 2021-05-21 15:45:45 +0200 | Chobbes | (~Chobbes@user/chobbes) |
| 2021-05-21 15:45:54 +0200 | <carbolymer> | like a semiconductor, flaws make perfection |
| 2021-05-21 15:46:05 +0200 | <arahael> | Heh. Now, I must try getting to bed for teh second time! |
| 2021-05-21 15:48:54 +0200 | xwx | (~george@user/george) |
| 2021-05-21 15:52:35 +0200 | ddellacosta | (~ddellacos@89.46.62.131) |
| 2021-05-21 15:53:10 +0200 | yumaikas | (~yumaikas@2601:281:c700:4240:b14b:e0e:d243:de95) |
| 2021-05-21 15:59:58 +0200 | killsushi_ | (~killsushi@user/killsushi/x-5912268) (Quit: Leaving) |
| 2021-05-21 16:01:57 +0200 | pe200012 | become sleepy |
| 2021-05-21 16:04:07 +0200 | bens | (~bens@www.typius.com) |
| 2021-05-21 16:04:39 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-21 16:06:02 +0200 | nan` | (~nan`@68.235.43.173) |
| 2021-05-21 16:06:32 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-21 16:06:38 +0200 | ace | caleb |
| 2021-05-21 16:09:07 +0200 | <dmwit> | dminuoso: Thanks! |
| 2021-05-21 16:09:46 +0200 | nan`__ | (~nan`@68.235.43.141) (Ping timeout: 264 seconds) |
| 2021-05-21 16:11:37 +0200 | titusg | (~user@193.62.188.148) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-05-21 16:12:40 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:4074:661e:32e7:5683) (Quit: Leaving) |
| 2021-05-21 16:14:15 +0200 | amir | (sid22336@stonehaven.irccloud.com) (Changing host) |
| 2021-05-21 16:14:15 +0200 | amir | (sid22336@user/amir) |
| 2021-05-21 16:16:17 +0200 | haskman | (~haskman@106.215.53.61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-21 16:16:31 +0200 | exzeta | (~exzeta@client-8-84.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-05-21 16:17:33 +0200 | pbrisbin | restyled-bot |
| 2021-05-21 16:17:50 +0200 | restyled-bot | pbrisbin |
| 2021-05-21 16:18:58 +0200 | pavonia | (~user@user/siracusa) |
| 2021-05-21 16:20:17 +0200 | Morrow | (~MorrowM_@147.161.8.96) |
| 2021-05-21 16:22:07 +0200 | fizbin | (~fizbin@c-71-226-194-211.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-21 16:22:44 +0200 | bezik | (~bezik@static.172.45.47.78.clients.your-server.de) |
| 2021-05-21 16:25:12 +0200 | slowButPresent | (~slowButPr@98.43.173.221) |
| 2021-05-21 16:25:28 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-05-21 16:25:31 +0200 | Lord_of_Life | (~Lord@46.217.219.213) (Changing host) |
| 2021-05-21 16:25:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2021-05-21 16:28:18 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:c44a:7891:1ab2:950d) |
| 2021-05-21 16:32:45 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:c44a:7891:1ab2:950d) (Ping timeout: 248 seconds) |
| 2021-05-21 16:37:01 +0200 | y04nn | (~y04nn@193.27.14.138) (Ping timeout: 245 seconds) |
| 2021-05-21 16:37:16 +0200 | acro | (~acro@user/acro) |
| 2021-05-21 16:38:21 +0200 | acro | acro_ |
| 2021-05-21 16:39:14 +0200 | acro_ | acro |
| 2021-05-21 16:39:20 +0200 | acro | acro_ |
| 2021-05-21 16:40:04 +0200 | autofrog | (autofrog@107.161.19.109) |
| 2021-05-21 16:40:34 +0200 | acro_ | acro |
| 2021-05-21 16:43:02 +0200 | martin | (~martin@88.215.103.12) |
| 2021-05-21 16:43:45 +0200 | doublex | (~doublex@2601:542:c480:6ee0:f1cb:c223:cba1:111f) |
| 2021-05-21 16:45:17 +0200 | martin | (~martin@88.215.103.12) (Client Quit) |
| 2021-05-21 16:45:35 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-21 16:46:27 +0200 | nsilv | (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1) |
| 2021-05-21 16:46:41 +0200 | nsilv | (~nsilv@212.103.198.210) |
| 2021-05-21 16:48:28 +0200 | jmtd | (~jon@2a00:23c7:e48a:4a01:ac66:201c:57c9:af4e) |
| 2021-05-21 16:52:07 +0200 | Guest18 | (Guest18@107.161.19.109) |
| 2021-05-21 16:52:45 +0200 | doublex | (~doublex@2601:542:c480:6ee0:f1cb:c223:cba1:111f) (Quit: Leaving) |
| 2021-05-21 16:53:00 +0200 | doublex | (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) |
| 2021-05-21 16:54:17 +0200 | ouroboros | (~acro@user/ouroboros) |
| 2021-05-21 16:54:32 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) |
| 2021-05-21 16:56:08 +0200 | zrpz | (~textual@2a00:1370:8133:101e:5c4a:34d1:da93:2a97) |
| 2021-05-21 16:56:20 +0200 | lukeseale | (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-21 16:56:59 +0200 | nello | (~nello@103.16.26.129) |
| 2021-05-21 16:57:39 +0200 | acro | (~acro@user/acro) (Quit: Bye.) |
| 2021-05-21 16:57:39 +0200 | ouroboros | (~acro@user/ouroboros) (Quit: Bye.) |
| 2021-05-21 16:57:48 +0200 | lbseale | (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 260 seconds) |
| 2021-05-21 16:58:05 +0200 | Guest18 | (Guest18@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 16:58:21 +0200 | acro | (~acro@user/acro) |
| 2021-05-21 16:58:36 +0200 | TheRAt | (~TheRAt@user/therat) |
| 2021-05-21 16:58:52 +0200 | ouroboros | (~ouroboros@user/ouroboros) |
| 2021-05-21 16:59:07 +0200 | Sal23 | (~textual@cpe-67-243-23-143.hvc.res.rr.com) |
| 2021-05-21 16:59:36 +0200 | Sal23 | (~textual@cpe-67-243-23-143.hvc.res.rr.com) (Client Quit) |
| 2021-05-21 17:00:41 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Quit: Bye!) |
| 2021-05-21 17:01:41 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) |
| 2021-05-21 17:02:54 +0200 | TheRAt | (~TheRAt@user/therat) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-21 17:02:54 +0200 | pe200012 | (~pe200012@119.131.208.84) (Quit: Konversation terminated!) |
| 2021-05-21 17:03:16 +0200 | TheRAt | (~TheRAt@user/therat) |
| 2021-05-21 17:03:20 +0200 | WorldSEnder | (~martin@88.215.103.12) |
| 2021-05-21 17:04:32 +0200 | doublex | (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (Ping timeout: 265 seconds) |
| 2021-05-21 17:05:53 +0200 | nello | (~nello@103.16.26.129) (Quit: nello) |
| 2021-05-21 17:06:07 +0200 | nello | (~nello@103.16.26.129) |
| 2021-05-21 17:06:16 +0200 | pe200012 | (~pe200012@45.87.95.45) |
| 2021-05-21 17:07:03 +0200 | ddellacosta | (~ddellacos@89.46.62.131) (Remote host closed the connection) |
| 2021-05-21 17:07:29 +0200 | ddellacosta | (~ddellacos@89.46.62.131) |
| 2021-05-21 17:07:32 +0200 | samoit | (~samoit@153.red-79-153-5.dynamicip.rima-tde.net) |
| 2021-05-21 17:08:18 +0200 | zrpz | (~textual@2a00:1370:8133:101e:5c4a:34d1:da93:2a97) (Ping timeout: 260 seconds) |
| 2021-05-21 17:09:20 +0200 | samoit | (~samoit@153.red-79-153-5.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-05-21 17:11:16 +0200 | mrosenbe | (~mrosenbe@104.225.243.2) |
| 2021-05-21 17:11:22 +0200 | pe200012 | (~pe200012@45.87.95.45) (Remote host closed the connection) |
| 2021-05-21 17:12:01 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds) |
| 2021-05-21 17:12:23 +0200 | ddellacosta | (~ddellacos@89.46.62.131) (Ping timeout: 260 seconds) |
| 2021-05-21 17:12:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 17:13:34 +0200 | <teddyc> | simplest way to get this function? True -> 1, False -> 0 |
| 2021-05-21 17:13:49 +0200 | <teddyc> | if bool then 1 else 0 |
| 2021-05-21 17:13:55 +0200 | <teddyc> | is what im thinking now |
| 2021-05-21 17:14:08 +0200 | lortabac_ | (~lortabac@2a01:e0a:541:b8f0:9c88:d7f4:4abf:ede1) (Ping timeout: 260 seconds) |
| 2021-05-21 17:14:24 +0200 | <c_wraith> | > fromEnum True |
| 2021-05-21 17:14:25 +0200 | <lambdabot> | 1 |
| 2021-05-21 17:14:32 +0200 | <c_wraith> | yeah, that should work |
| 2021-05-21 17:14:47 +0200 | <teddyc> | ah, nice. thanks! |
| 2021-05-21 17:14:53 +0200 | ddellacosta | (~ddellacos@89.46.62.49) |
| 2021-05-21 17:15:31 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 17:15:45 +0200 | Morrow | (~MorrowM_@147.161.8.96) (Remote host closed the connection) |
| 2021-05-21 17:16:03 +0200 | Morrow | (~MorrowM_@147.161.8.96) |
| 2021-05-21 17:16:57 +0200 | azeem | (azeem@107.161.19.109) |
| 2021-05-21 17:17:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-21 17:18:04 +0200 | littlefinger | (~00000000@selfhost1.threedot14.com) |
| 2021-05-21 17:18:28 +0200 | Aran | (~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 245 seconds) |
| 2021-05-21 17:19:12 +0200 | ddellacosta | (~ddellacos@89.46.62.49) (Remote host closed the connection) |
| 2021-05-21 17:19:42 +0200 | ddellacosta | (~ddellacos@89.46.62.49) |
| 2021-05-21 17:21:40 +0200 | madjestic | (~madjestic@88.159.247.120) |
| 2021-05-21 17:22:54 +0200 | nello | (~nello@103.16.26.129) (Quit: nello) |
| 2021-05-21 17:23:18 +0200 | ddellaco_ | (~ddellacos@89.46.62.86) |
| 2021-05-21 17:23:26 +0200 | nello | (~nello@101.88.251.149) |
| 2021-05-21 17:23:34 +0200 | samoit | (~samoit@user/samoit/x-0249261) |
| 2021-05-21 17:23:53 +0200 | ddellacosta | (~ddellacos@89.46.62.49) (Ping timeout: 245 seconds) |
| 2021-05-21 17:26:59 +0200 | ddellaco_ | (~ddellacos@89.46.62.86) (Remote host closed the connection) |
| 2021-05-21 17:27:12 +0200 | ddellacosta | (~ddellacos@89.46.62.86) |
| 2021-05-21 17:28:02 +0200 | alexander | (~alexander@user/alexander) () |
| 2021-05-21 17:28:12 +0200 | PeterD | (~petrus@catv-86-101-33-147.catv.broadband.hu) |
| 2021-05-21 17:30:08 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds) |
| 2021-05-21 17:30:57 +0200 | y04nn | (~y04nn@193.27.14.138) |
| 2021-05-21 17:31:50 +0200 | littlefinger | (~00000000@selfhost1.threedot14.com) (Quit: Client closed) |
| 2021-05-21 17:34:44 +0200 | <ski> | Hecate : i'd say the answer to your question is "it depends". (and yes, what you showed in the pastes wasn't Continuation-Passing Style. your "Continuation" alternative, i might perhaps call (not syntactically, in this case) "(internally) nested", as opposed to "(externally) composed") |
| 2021-05-21 17:35:22 +0200 | <Hecate> | ski: great, thanks for the vocabulary :) |
| 2021-05-21 17:35:43 +0200 | autofrog | (autofrog@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 17:36:27 +0200 | mikolaj_ | (~mikon@duch.mimuw.edu.pl) (Quit: leaving) |
| 2021-05-21 17:36:38 +0200 | mikolaj | (~mikon@duch.mimuw.edu.pl) |
| 2021-05-21 17:36:53 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 17:37:10 +0200 | <ski> | (one might relate your examples to CPS in some ways, but neither of them directly expresses CPS, from what i can see) |
| 2021-05-21 17:37:12 +0200 | <boxscape> | is there a better way to do `parseNotes line = evalStateT parseHeader line <|> evalStateT parseRefs line`? |
| 2021-05-21 17:37:13 +0200 | <boxscape> | IIUC if I write `parseNotes = evalStateT (parseHeader <|> parseRefs)`, the state isn't restored if `parseHeader` fails. |
| 2021-05-21 17:37:29 +0200 | mikolaj_ | (~mikolaj@purple.well-typed.com) |
| 2021-05-21 17:38:04 +0200 | MorrowM | (~MorrowM_@147.161.12.40) |
| 2021-05-21 17:38:07 +0200 | <ski> | re "depends" .. it depends on what seems to be a more natural way to analyze the problem into subproblems (set up responsibilities, interfaces, separation of concerncs, &c.) |
| 2021-05-21 17:38:44 +0200 | <boxscape> | s/better/more idiomatic |
| 2021-05-21 17:38:50 +0200 | ikex | (~ash@user/ikex) |
| 2021-05-21 17:39:14 +0200 | cnr | (~cnr@user/cnr) |
| 2021-05-21 17:39:49 +0200 | <ski> | if each of the composands would seem to have a separate relevancy of its own, it would seem better to write it in the "composed" style (or at least to define each of the composands separately, even if also defining the nested compositions and things-on-their-own) |
| 2021-05-21 17:40:21 +0200 | Morrow | (~MorrowM_@147.161.8.96) (Ping timeout: 245 seconds) |
| 2021-05-21 17:40:50 +0200 | <ski> | sometimes, one can directly, or later, find other places in which to use such a composand (or find code which can be refactored to use it) |
| 2021-05-21 17:41:00 +0200 | <boxscape> | looking at the Alternative instance I actually don't understand why that's the case, it looks to me like it ought to restore the state |
| 2021-05-21 17:41:01 +0200 | <boxscape> | StateT m <|> StateT n = StateT $ \ s -> m s `mplus` n s |
| 2021-05-21 17:41:33 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 260 seconds) |
| 2021-05-21 17:41:38 +0200 | <ski> | but sometimes, one such composand doesn't really make much sense, in isolation from another part, and so it may make more sense to only define its composition with that other part (separately named or not) |
| 2021-05-21 17:42:07 +0200 | brandonh | (~brandonh@2a04:3542:1000:910:905f:f9ff:fe67:4d32) |
| 2021-05-21 17:43:13 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-21 17:44:12 +0200 | littlefinger | (~00000000@selfhost1.threedot14.com) |
| 2021-05-21 17:44:24 +0200 | <ski> | Hecate : .. not sure how much the above helps. would probably need to see more specific code (and perhaps also get an idea of the problem domain), to attempt to give more concrete suggestion |
| 2021-05-21 17:44:45 +0200 | slice | (~slice@user/slice) |
| 2021-05-21 17:44:50 +0200 | <ski> | boxscape : hm, can you confirm `mplus = (<|>)' for whatever parser you're using ? |
| 2021-05-21 17:45:33 +0200 | <boxscape> | ski it's just Either |
| 2021-05-21 17:45:37 +0200 | Deidde | (~Deide@217.155.19.23) |
| 2021-05-21 17:45:59 +0200 | <boxscape> | % f :: (Alternative m, MonadError () m, MonadState String m) => m String; f = (put "errorState" >> throwError ()) <|> get |
| 2021-05-21 17:45:59 +0200 | <yahb> | boxscape: |
| 2021-05-21 17:46:00 +0200 | <boxscape> | % flip evalState "origState" . runExceptT $ f |
| 2021-05-21 17:46:00 +0200 | <yahb> | boxscape: Right "errorState" |
| 2021-05-21 17:46:02 +0200 | dolio | (~dolio@130.44.130.54) |
| 2021-05-21 17:46:15 +0200 | <boxscape> | it looks to me here like `get` should have received "origState" |
| 2021-05-21 17:46:17 +0200 | <Hecate> | ski: it does, thanks :) |
| 2021-05-21 17:46:22 +0200 | <boxscape> | I must be misunderstanding something |
| 2021-05-21 17:47:00 +0200 | <boxscape> | ski err wait I suppose it's ExceptT not Either, could be a different instance |
| 2021-05-21 17:47:20 +0200 | azeem | (azeem@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 17:47:59 +0200 | <ski> | Hecate : CPS is about passing a function (a callback, called a "continuation") to your functions, and instead of giving back the result, your function will (as the last thing it does, in each branch) call this continuation callback with the result (so, technically, will return whatever the continuation returns, when passed what would otherwise be thought of as the result) |
| 2021-05-21 17:48:27 +0200 | jhill_ | jhill |
| 2021-05-21 17:48:53 +0200 | <Hecate> | ski: ok :) It's not just about nested calls but also passing the next call to the function |
| 2021-05-21 17:49:06 +0200 | <Hecate> | like, foo 1 baz |
| 2021-05-21 17:49:54 +0200 | haskman | (~haskman@106.215.53.61) |
| 2021-05-21 17:50:03 +0200 | ddellacosta | (~ddellacos@89.46.62.86) (Remote host closed the connection) |
| 2021-05-21 17:50:30 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 17:51:13 +0200 | ddellacosta | (~ddellacos@89.46.62.125) |
| 2021-05-21 17:52:29 +0200 | <ski> | Hecate : one reason to do CPS can be efficiency. another reason is that one can do "funny" things, like deviate from "calling the continuation argument last", in certain circumstances. it's a very powerful (and also a bit hard to reason about, understand) tool for doing "control effects". CPS is also related to "monadic style", by which we mean using `foo >>= \x -> bar x >>= \y -> baz x y' |
| 2021-05-21 17:52:34 +0200 | df | (~ben@51.15.198.140) |
| 2021-05-21 17:53:36 +0200 | samoit_ | (~samoit@153.red-79-153-5.dynamicip.rima-tde.net) |
| 2021-05-21 17:53:42 +0200 | <boxscape> | I actually don't really understand how Except has an Alternative instance, it looks like Identity would need one but it doesn't seem to have one |
| 2021-05-21 17:53:59 +0200 | <ski> | (e.g., in a language with continuation side-effects (not exactly the same as, but related to, CPS), (also you need state), given any implementation of a monad, you can "reflect" it into a corresponding side-effect. e.g. in SML/NJ, or Scheme, if you implement a parser monad, you can then reflect that into "parsing side-effects", as if the language had built-in support for keeping track of parsing under the |
| 2021-05-21 17:54:05 +0200 | <ski> | covers, similarly to how many languages have native support for exceptions) |
| 2021-05-21 17:54:13 +0200 | <boxscape> | oh wait, I might have misread the operator |
| 2021-05-21 17:54:46 +0200 | <boxscape> | yeah ExceptT's Alternative instance uses <*> instead of <|>, so it is different from it's MonadPlus instance |
| 2021-05-21 17:54:50 +0200 | <ski> | Hecate : here's an example of a `map' function, written in CPS : |
| 2021-05-21 17:55:13 +0200 | <ski> | mapCPS :: (a -> (b -> o) -> o) -> ([a] -> ([b] -> o) -> o) |
| 2021-05-21 17:55:19 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 272 seconds) |
| 2021-05-21 17:55:31 +0200 | <ski> | mapCPS f [ ] k = k [] |
| 2021-05-21 17:56:06 +0200 | <ski> | mapCPS f (x:xs) k = f x $ \y -> |
| 2021-05-21 17:56:12 +0200 | samoit | (~samoit@user/samoit/x-0249261) (Quit: Leaving) |
| 2021-05-21 17:56:15 +0200 | <boxscape> | (no sorry, that was wrong, I just got confused in where in the source code I was :) |
| 2021-05-21 17:56:22 +0200 | <ski> | map f xs $ \ys -> |
| 2021-05-21 17:56:26 +0200 | samoit_ | (~samoit@153.red-79-153-5.dynamicip.rima-tde.net) (Changing host) |
| 2021-05-21 17:56:26 +0200 | samoit_ | (~samoit@user/samoit/x-0249261) |
| 2021-05-21 17:56:32 +0200 | <ski> | k (y:ys) |
| 2021-05-21 17:57:10 +0200 | <ski> | here's a function that works the same, but is written using the `Cont o' monad instead |
| 2021-05-21 17:57:31 +0200 | <ski> | mapCont :: (a -> Cont o b) -> ([a] -> Cont o [b]) |
| 2021-05-21 17:57:42 +0200 | <ski> | mapCont f [ ] = return [] |
| 2021-05-21 17:58:11 +0200 | <ski> | mapCont f (x:xs) = f x >>= \y -> |
| 2021-05-21 17:58:30 +0200 | <ski> | mapCont f xs >>= \ys -> |
| 2021-05-21 17:58:40 +0200 | <ski> | return (y:ys) |
| 2021-05-21 17:59:10 +0200 | <ski> | boxscape : links ? |
| 2021-05-21 17:59:26 +0200 | <boxscape> | https://hackage.haskell.org/package/transformers-0.5.6.2/docs/src/Control.Monad.Trans.Except.html#… |
| 2021-05-21 17:59:31 +0200 | <boxscape> | ctrl-f for MonadPlus to get the other one |
| 2021-05-21 17:59:37 +0200 | <ski> | (sorry, `map' in `mapCont' was of course meant to be `mapCont'. it should call itself recursively) |
| 2021-05-21 17:59:59 +0200 | <boxscape> | I completely misread the code for some reason, it just requires a Monoid instance for the errors, nothing for Identity |
| 2021-05-21 18:00:02 +0200 | nsilv | (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1) |
| 2021-05-21 18:01:15 +0200 | <Hecate> | ski: terrifying, but thanks! :D |
| 2021-05-21 18:02:16 +0200 | <ski> | boxscape : those look the same, to me |
| 2021-05-21 18:02:31 +0200 | <boxscape> | ski yeah they are |
| 2021-05-21 18:02:53 +0200 | Aran | (~Aran@port-92-194-80-170.dynamic.as20676.net) |
| 2021-05-21 18:03:21 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 18:03:26 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-21 18:04:55 +0200 | saikiran | (~Thunderbi@171.49.232.50) |
| 2021-05-21 18:07:34 +0200 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-05-21 18:07:38 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds) |
| 2021-05-21 18:08:59 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-05-21 18:09:10 +0200 | sirodoht | (uid499766@id-499766.brockwell.irccloud.com) |
| 2021-05-21 18:09:46 +0200 | amk | (~amk@176.61.106.150) (Ping timeout: 264 seconds) |
| 2021-05-21 18:09:47 +0200 | heath | (~heath@68.68.64.38) (Quit: Lost terminal) |
| 2021-05-21 18:10:04 +0200 | amk | (~amk@176.61.106.150) |
| 2021-05-21 18:10:20 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:79b6:6869:fb6c:f113) |
| 2021-05-21 18:11:49 +0200 | pretty_dumm_guy | (~trottel@92.223.89.149) |
| 2021-05-21 18:12:23 +0200 | heath | (~heath@68.68.64.38) |
| 2021-05-21 18:12:25 +0200 | <boxscape> | tbh it looks like I should probably just be using catchError instead of <|>, my Error type doesn't have a sensible Monoid instance |
| 2021-05-21 18:12:41 +0200 | jmtd | Jon |
| 2021-05-21 18:12:51 +0200 | <boxscape> | could use <|> if ExceptT didn't try to collect errors together with <|>/mplus |
| 2021-05-21 18:13:11 +0200 | Jon | Guest3126 |
| 2021-05-21 18:13:27 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 18:13:43 +0200 | samoit_ | (~samoit@user/samoit/x-0249261) (Quit: samoit_) |
| 2021-05-21 18:14:09 +0200 | ikex | (~ash@user/ikex) (Quit: WeeChat 3.2-dev) |
| 2021-05-21 18:14:25 +0200 | <ski> | Hecate : as you can see, `mapCont' is "nested" (in terms of a call to itself), similar to one of your examples (which i why i said it could be related to CPS in some way). also, sometimes one thinks of the right operand of `>>=' as a "continuation" (what to do after executing the action to the left). however, with "true CPS", one would never nest like `(foo >>= \x -> bar x) >>= \y -> baz y' (and so, wouldn't |
| 2021-05-21 18:14:31 +0200 | <ski> | write `fooBar >>= \y -> baz y', given the definition `fooBar = foo >>= \x -> bar x'), but always in the form `foo >>= \x -> (bar x >>= \y -> baz z)' (possibly naming `bar x >>= \y -> baz z', putting it in a definition of its own) |
| 2021-05-21 18:14:46 +0200 | Guest3126 | Jon |
| 2021-05-21 18:14:57 +0200 | littlefinger | (~00000000@selfhost1.threedot14.com) (Ping timeout: 272 seconds) |
| 2021-05-21 18:15:49 +0200 | <Hecate> | I see |
| 2021-05-21 18:15:56 +0200 | Jon | (~jon@2a00:23c7:e48a:4a01:ac66:201c:57c9:af4e) (Quit: Leaving) |
| 2021-05-21 18:15:59 +0200 | <ski> | Hecate : anyway, if you're interested, i could try to give some more explanation of what CPS is about .. but above, i merely wanted to give some rough idea of what it is (and is not) |
| 2021-05-21 18:16:03 +0200 | <ski> | @hackage managed |
| 2021-05-21 18:16:04 +0200 | <lambdabot> | https://hackage.haskell.org/package/managed |
| 2021-05-21 18:16:37 +0200 | Jon | (jon@dow.land) |
| 2021-05-21 18:16:37 +0200 | <ski> | is a simple example of an (internal) use of CPS, so you can see one thing it's good for |
| 2021-05-21 18:16:55 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 18:17:08 +0200 | mrkajetanp | (~kajetan@2a01:4b00:ea36:6c00:56e9:4ef3:28ef:7ef6) |
| 2021-05-21 18:18:50 +0200 | <ski> | boxscape : hm, yea |
| 2021-05-21 18:19:07 +0200 | <ski> | (i'm still not clear on what difference you observed between your two alternative forms) |
| 2021-05-21 18:19:25 +0200 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-21 18:20:16 +0200 | saikiran | (~Thunderbi@171.49.232.50) (Quit: saikiran) |
| 2021-05-21 18:20:19 +0200 | sleym | (~textual@185.124.240.146) |
| 2021-05-21 18:21:33 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 248 seconds) |
| 2021-05-21 18:21:36 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:79b6:6869:fb6c:f113) (Remote host closed the connection) |
| 2021-05-21 18:22:46 +0200 | biberu | (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2021-05-21 18:22:47 +0200 | <ski> | continuations can be used to do "inversion of control". (one classic example is to do web forms where your program will be automagically resumed at the right place, when the user submits the form on the web page). can be used to implement cooperative concurrency. (in SML/NJ, with timer interrupts, are also used to implement preemptive concurrency.) can be used to implement backtracking (e.g. for parsers) |
| 2021-05-21 18:22:51 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 245 seconds) |
| 2021-05-21 18:23:18 +0200 | Valerian | (~vclerc@142.157.140.230) |
| 2021-05-21 18:24:16 +0200 | bbear | (~znc@21212.s.t4vps.eu) |
| 2021-05-21 18:24:24 +0200 | <bbear> | hello |
| 2021-05-21 18:24:40 +0200 | Valerian | (~vclerc@142.157.140.230) (Client Quit) |
| 2021-05-21 18:24:54 +0200 | alanz | (sid110616@highgate.irccloud.com) |
| 2021-05-21 18:25:05 +0200 | <boxscape> | ski: I think the thing that actually confused me is that StateT and ExceptT are not commutative |
| 2021-05-21 18:25:07 +0200 | <boxscape> | % let f = (put "errorState" >> throwError ()) <|> get in runExceptT (evalStateT f "origState") |
| 2021-05-21 18:25:07 +0200 | <yahb> | boxscape: Right "origState" |
| 2021-05-21 18:25:12 +0200 | Valerian | (~vclerc@142.157.140.230) |
| 2021-05-21 18:25:17 +0200 | <boxscape> | % let f = (put "errorState" >> throwError ()) <|> get in evalStateT (runExceptT f) "origState" |
| 2021-05-21 18:25:17 +0200 | <yahb> | boxscape: Right "errorState" |
| 2021-05-21 18:25:25 +0200 | <boxscape> | ski I thought I was using one of these but was using the other |
| 2021-05-21 18:25:50 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-21 18:26:00 +0200 | <ski> | ah, makes sense |
| 2021-05-21 18:26:41 +0200 | <ski> | @unmtl StateT s (ExceptT e m) a |
| 2021-05-21 18:26:41 +0200 | <lambdabot> | s -> m (Either e (a, s)) |
| 2021-05-21 18:26:42 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-87.cust.tzulo.com) |
| 2021-05-21 18:26:43 +0200 | <ski> | @unmtl ExceptT e (StateT s m) a |
| 2021-05-21 18:26:43 +0200 | <lambdabot> | s -> m (Either e a, s) |
| 2021-05-21 18:26:52 +0200 | <ski> | the difference is clearly visible there ^ |
| 2021-05-21 18:27:18 +0200 | biberu | (~biberu@user/biberu) |
| 2021-05-21 18:27:19 +0200 | <boxscape> | yeah, I even thought about that but didn't realize it would make a difference for this |
| 2021-05-21 18:28:00 +0200 | biberu | (~biberu@user/biberu) (Remote host closed the connection) |
| 2021-05-21 18:28:23 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:2d4f:5234:a998:fa61) |
| 2021-05-21 18:28:35 +0200 | <boxscape> | hello bbear |
| 2021-05-21 18:28:37 +0200 | sleym | (~textual@185.124.240.146) (Quit: sleym) |
| 2021-05-21 18:29:00 +0200 | aerona | (~aerona@2600:6c54:4600:f300:a4ed:8a8a:58ad:43d0) |
| 2021-05-21 18:29:21 +0200 | biberu | (~biberu@user/biberu) |
| 2021-05-21 18:29:30 +0200 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-21 18:30:32 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 18:31:05 +0200 | <siers> | is hpack still relevant? |
| 2021-05-21 18:31:09 +0200 | <maerwald> | no |
| 2021-05-21 18:31:20 +0200 | <maerwald> | don't take my word for it |
| 2021-05-21 18:31:30 +0200 | <Hecate> | siers: it still exists, is still being used by stack |
| 2021-05-21 18:32:17 +0200 | ddellaco_ | (~ddellacos@86.106.121.92) |
| 2021-05-21 18:32:18 +0200 | <boxscape> | it's optional when using stack right? |
| 2021-05-21 18:32:39 +0200 | dhazel | (~quassel@2601:1c1:8a00:3390:4d68:699c:e57c:f856) |
| 2021-05-21 18:32:47 +0200 | <Hecate> | boxscape: yes, it's only triggered when a package.yaml is present at the top-level |
| 2021-05-21 18:32:51 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:2d4f:5234:a998:fa61) (Ping timeout: 245 seconds) |
| 2021-05-21 18:32:51 +0200 | Valerian | (~vclerc@142.157.140.230) (Ping timeout: 245 seconds) |
| 2021-05-21 18:32:53 +0200 | <boxscape> | ok |
| 2021-05-21 18:33:12 +0200 | jao | (~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-21 18:36:03 +0200 | tose | (~tose@ip-85-160-8-43.eurotel.cz) |
| 2021-05-21 18:36:29 +0200 | ddellacosta | (~ddellacos@89.46.62.125) (Ping timeout: 272 seconds) |
| 2021-05-21 18:38:13 +0200 | <ski> | siers : istr people in here saying that it shouldn't be used, that even Snoyman no longer recommends it |
| 2021-05-21 18:38:29 +0200 | <MorrowM> | I find that using cabal-fmt has solved the main thing hpack did for me - I find formatting cabal files by hand to be fiddly. |
| 2021-05-21 18:38:53 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 2021-05-21 18:40:38 +0200 | oxide | (~lambda@user/oxide) |
| 2021-05-21 18:41:12 +0200 | dpeck | (~dpeck@141.98.255.144) |
| 2021-05-21 18:41:12 +0200 | <dpeck> | UR NOOB IRCD GOT PWNED BY LALBORNOZ FROM MIDIPIX / IRC.LIBERA.CHAT #MIDIPIX |
| 2021-05-21 18:41:21 +0200 | dpeck | (~dpeck@141.98.255.144) (Remote host closed the connection) |
| 2021-05-21 18:42:07 +0200 | lechner | (~lechner@letbox-vps.us-core.com) |
| 2021-05-21 18:42:38 +0200 | Winterflow3r | (~Winterflo@141.98.255.144) |
| 2021-05-21 18:42:38 +0200 | <Winterflow3r> | UR NOOB IRCD GOT PWNED BY LALBORNOZ FROM MIDIPIX / IRC.LIBERA.CHAT #MIDIPIX |
| 2021-05-21 18:42:38 +0200 | Winterflow3r | (~Winterflo@141.98.255.144) (Client Quit) |
| 2021-05-21 18:43:07 +0200 | elvishjerricco | (sid237756@id-237756.brockwell.irccloud.com) |
| 2021-05-21 18:43:50 +0200 | elvishjerricco | (sid237756@id-237756.brockwell.irccloud.com) () |
| 2021-05-21 18:44:02 +0200 | elvishjerricco | (sid237756@id-237756.brockwell.irccloud.com) |
| 2021-05-21 18:44:26 +0200 | <juri_> | and so it begins. |
| 2021-05-21 18:44:50 +0200 | mapgrep | (~mapgrep@141.98.255.144) |
| 2021-05-21 18:44:50 +0200 | <mapgrep> | UR NOOB IRCD GOT PWNED BY LALBORNOZ FROM MIDIPIX / IRC.LIBERA.CHAT #MIDIPIX |
| 2021-05-21 18:44:50 +0200 | mapgrep | (~mapgrep@141.98.255.144) (Remote host closed the connection) |
| 2021-05-21 18:45:33 +0200 | Square | (~Squarism4@90-231-27-135-no51.tbcn.telia.com) (Ping timeout: 245 seconds) |
| 2021-05-21 18:46:43 +0200 | tristanC | (~tristanC@user/tristanc) |
| 2021-05-21 18:47:08 +0200 | <WikiLycurgus> | fwiw, in the more than 10 channels i'm in that's only happening here |
| 2021-05-21 18:47:19 +0200 | <lechner> | yes |
| 2021-05-21 18:47:45 +0200 | <boxscape> | it's happening in #libera as well |
| 2021-05-21 18:48:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-21 18:48:23 +0200 | <WikiLycurgus> | that was so busy I only was there at first |
| 2021-05-21 18:48:53 +0200 | <cheater> | why is the list of ops private on the channel, as well as the founder? |
| 2021-05-21 18:49:05 +0200 | <lukeseale> | :G |
| 2021-05-21 18:49:13 +0200 | <WikiLycurgus> | Fuchs commented on my presumption of my nick having been squatted before I realized the owner of lycr.gs just got here first |
| 2021-05-21 18:49:31 +0200 | y04nn | (~y04nn@193.27.14.138) (Ping timeout: 245 seconds) |
| 2021-05-21 18:49:39 +0200 | <tomjaguarpaw> | Anyone got a clue about "lhs2TeX: fd:7: hGetLine: end of file"? https://paste.tomsmeding.com/cSXbVKOi |
| 2021-05-21 18:50:05 +0200 | <WikiLycurgus> | sounds like an embedded tex error |
| 2021-05-21 18:50:55 +0200 | <WikiLycurgus> | very common error in tex/latex when its horror of a markup lang barfs |
| 2021-05-21 18:51:35 +0200 | <tomjaguarpaw> | But this is a "cabal install"! |
| 2021-05-21 18:52:02 +0200 | <WikiLycurgus> | and that can't run lhs2TeX ? |
| 2021-05-21 18:52:19 +0200 | <boxscape> | could be a test? Or would it say that it's running tests then? |
| 2021-05-21 18:52:24 +0200 | <tomjaguarpaw> | It seems like it tries to run it after it has built it, perhaps as part of a test suite? |
| 2021-05-21 18:52:34 +0200 | <tomjaguarpaw> | Right. Maybe I can tell cabal to ignore tests. |
| 2021-05-21 18:53:00 +0200 | <boxscape> | it seems like cabal should be saying `Building testsuite` or whatever before that happens though, hm |
| 2021-05-21 18:53:39 +0200 | <tomjaguarpaw> | Hmm, --disable-tests doesn't help :( |
| 2021-05-21 18:53:41 +0200 | Aran | (~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 245 seconds) |
| 2021-05-21 18:53:57 +0200 | <WikiLycurgus> | so in literatep the documentation would or could or maybe should be produced at compile time |
| 2021-05-21 18:54:35 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:2c50:e3ba:562f:9049) |
| 2021-05-21 18:55:33 +0200 | exzeta | (~exzeta@client0964.vpn.ox.ac.uk) |
| 2021-05-21 18:55:33 +0200 | <tomjaguarpaw> | Ah well, reported as https://github.com/kosmikus/lhs2tex/issues/87 |
| 2021-05-21 18:55:59 +0200 | NegativeLatency | (~NegativeL@141.98.255.144) |
| 2021-05-21 18:55:59 +0200 | NegativeLatency | (~NegativeL@141.98.255.144) (Killed (ozone (No Spam))) |
| 2021-05-21 18:57:23 +0200 | Franciman | (~francesco@host-80-180-196-134.pool80180.interbusiness.it) (Remote host closed the connection) |
| 2021-05-21 18:58:34 +0200 | azeem | (azeem@107.161.19.109) |
| 2021-05-21 19:00:02 +0200 | azeem | (azeem@107.161.19.109) (Client Quit) |
| 2021-05-21 19:00:02 +0200 | ordinate_ | (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) |
| 2021-05-21 19:01:18 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:2d4f:5234:a998:fa61) |
| 2021-05-21 19:01:29 +0200 | ordinate_ | (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) (Client Quit) |
| 2021-05-21 19:01:39 +0200 | ordinate | (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) |
| 2021-05-21 19:02:10 +0200 | <ordinate> | oh thank god i remembered how to use hexchat |
| 2021-05-21 19:02:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-21 19:02:27 +0200 | Deidde | (~Deide@217.155.19.23) (Read error: Connection reset by peer) |
| 2021-05-21 19:03:35 +0200 | <Ariakenom> | another hexchat user? absurd |
| 2021-05-21 19:04:02 +0200 | <ordinate> | still have all the muscle memory from when i was 14 |
| 2021-05-21 19:04:35 +0200 | <janus> | ordinate: does DCC work for you? i couldn't get it working |
| 2021-05-21 19:05:13 +0200 | <ordinate> | uncertain, havent tried |
| 2021-05-21 19:05:34 +0200 | littlefinger | (~00000000@selfhost1.threedot14.com) |
| 2021-05-21 19:08:52 +0200 | flounders_ | (~flounders@173.246.200.33) |
| 2021-05-21 19:09:26 +0200 | <ski> | janus : iirc, may depend on whether you're behind NAT or so .. |
| 2021-05-21 19:10:02 +0200 | <janus> | yeah that's what i spent my time with, i assumed that if the port was open, i could get it working |
| 2021-05-21 19:10:13 +0200 | <janus> | there is even a passive mode to have the open port on the other end |
| 2021-05-21 19:10:14 +0200 | <ski> | (although, using the "passive" variant might help) |
| 2021-05-21 19:10:27 +0200 | Morrow_ | (~MorrowM_@147.161.12.40) |
| 2021-05-21 19:10:45 +0200 | zfnmxt_ | (~zfnmxt@user/zfnmxt) |
| 2021-05-21 19:10:45 +0200 | exzeta_ | (~exzeta@client0964.vpn.ox.ac.uk) |
| 2021-05-21 19:10:47 +0200 | <janus> | well it was just for kicks anyway, not really worth spending too much time with |
| 2021-05-21 19:10:55 +0200 | chele_ | (~chele@user/chele) |
| 2021-05-21 19:10:55 +0200 | <janus> | i just wanted to understand people's nostalgy :P |
| 2021-05-21 19:11:07 +0200 | cnr- | (~cnr@user/cnr) |
| 2021-05-21 19:11:09 +0200 | <monochrom> | I use hexchat too. Bite me. |
| 2021-05-21 19:11:23 +0200 | ski | bites |
| 2021-05-21 19:11:31 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:2d4f:5234:a998:fa61) (Remote host closed the connection) |
| 2021-05-21 19:11:41 +0200 | <glguy> | Is this one of those Alice in Wonderland things? What transformation happens? |
| 2021-05-21 19:11:46 +0200 | <ski> | (HexChat isn't too bad) |
| 2021-05-21 19:11:47 +0200 | russruss3 | (~russruss@my.russellmcc.com) |
| 2021-05-21 19:12:00 +0200 | <monochrom> | And hexchat would be the one that doesn't need any remembering to use, if anything. |
| 2021-05-21 19:12:01 +0200 | jay_invariant | (~jay@136-25-171-46.cab.webpass.net) |
| 2021-05-21 19:12:10 +0200 | <maerwald> | glguy: we're all vampires... did you not know? |
| 2021-05-21 19:12:14 +0200 | chele | (~chele@user/chele) (Killed (rhodium.libera.chat (Nickname regained by services))) |
| 2021-05-21 19:12:14 +0200 | chele_ | chele |
| 2021-05-21 19:12:20 +0200 | Organizers|Robin | (~Robin_Jad@152.67.64.160) |
| 2021-05-21 19:12:32 +0200 | Organizers|Robin | (~Robin_Jad@152.67.64.160) (Client Quit) |
| 2021-05-21 19:12:45 +0200 | madjestic | (~madjestic@88.159.247.120) (Ping timeout: 248 seconds) |
| 2021-05-21 19:12:46 +0200 | Organizers|Robin | (~Robin_Jad@152.67.64.160) |
| 2021-05-21 19:12:57 +0200 | smarton | (~smarton@121407.xyz) |
| 2021-05-21 19:13:00 +0200 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) (Killed (NickServ (GHOST command used by Organizers|Robin))) |
| 2021-05-21 19:13:04 +0200 | Organizers|Robin | Robin_Jadoul |
| 2021-05-21 19:13:08 +0200 | hiruji- | (~hiruji@72.74.190.75) |
| 2021-05-21 19:13:19 +0200 | mikolaj__ | (~mikon@duch.mimuw.edu.pl) |
| 2021-05-21 19:13:19 +0200 | colesantiago | (~colesanti@45.83.220.170) |
| 2021-05-21 19:13:19 +0200 | colesantiago | (~colesanti@45.83.220.170) (Killed (ozone (No Spam))) |
| 2021-05-21 19:13:25 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2021-05-21 19:13:33 +0200 | BadCoder1 | (~john@user/badcoderfinger) |
| 2021-05-21 19:13:53 +0200 | space-shell | (space-shel@107.161.19.109) |
| 2021-05-21 19:14:07 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
| 2021-05-21 19:14:09 +0200 | WorldSEnder1 | (~martin@88.215.103.12) |
| 2021-05-21 19:14:30 +0200 | codolio | (~dolio@130.44.130.54) |
| 2021-05-21 19:14:56 +0200 | oxide_ | (~lambda@user/oxide) |
| 2021-05-21 19:15:06 +0200 | tomek | (~erzet@83.25.12.106.ipv4.supernova.orange.pl) |
| 2021-05-21 19:15:19 +0200 | sszark2 | (~sszark@h-85-24-213-180.A392.priv.bahnhof.se) |
| 2021-05-21 19:15:40 +0200 | bens_ | (~bens@www.typius.com) |
| 2021-05-21 19:16:08 +0200 | hueso_ | (~root@152.170.89.151) |
| 2021-05-21 19:16:27 +0200 | <ordinate> | god i wish irssi wasnt a pain to use on wsl or else id be using that |
| 2021-05-21 19:17:16 +0200 | dcheung | (~dcheung@53.19.237.35.bc.googleusercontent.com) |
| 2021-05-21 19:17:24 +0200 | dcheung | (~dcheung@53.19.237.35.bc.googleusercontent.com) () |
| 2021-05-21 19:17:42 +0200 | <monochrom> | We were all help vampires once upon a Halloween. |
| 2021-05-21 19:18:10 +0200 | <janus> | ordinate: why is it a pain on wsl? |
| 2021-05-21 19:18:27 +0200 | <ordinate> | mouse weirdness........ |
| 2021-05-21 19:18:41 +0200 | <janus> | oh, i have not attempted to use the mouse with irssi |
| 2021-05-21 19:18:53 +0200 | Aran | (~Aran@port-92-194-80-170.dynamic.as20676.net) |
| 2021-05-21 19:18:53 +0200 | acro_ | (~acro@user/acro) |
| 2021-05-21 19:18:53 +0200 | <maerwald> | try weechat |
| 2021-05-21 19:19:07 +0200 | <mrosenbe> | I did not know that irssi has any mouse integratin at all. |
| 2021-05-21 19:19:11 +0200 | <monochrom> | Me, I don't even expect WSL to see your mouse. |
| 2021-05-21 19:20:03 +0200 | <janus> | i think really only the terminal emulator has to see it, the mouse clicks go over the character device like everything else, i'd think? |
| 2021-05-21 19:20:06 +0200 | oxide | (~lambda@user/oxide) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | exzeta | (~exzeta@client0964.vpn.ox.ac.uk) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | haskman | (~haskman@106.215.53.61) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | dolio | (~dolio@130.44.130.54) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | cnr | (~cnr@user/cnr) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | MorrowM | (~MorrowM_@147.161.12.40) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | mikolaj | (~mikon@duch.mimuw.edu.pl) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | WorldSEnder | (~martin@88.215.103.12) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | acro | (~acro@user/acro) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | bens | (~bens@www.typius.com) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | yumaikas | (~yumaikas@2601:281:c700:4240:b14b:e0e:d243:de95) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | michalz | (~user@185.246.204.48) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | jonn | (~sweater@206.81.18.26) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | flounders | (~flounders@173.246.200.33) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | russruss | (~russruss@my.russellmcc.com) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | sszark1 | (~sszark@h-85-24-213-180.A392.priv.bahnhof.se) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | erzet | (~erzet@83.25.12.106.ipv4.supernova.orange.pl) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | bec | (bec@user/bec) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | jay-invariant | (~jay@136-25-171-46.cab.webpass.net) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | cbarrett | (sid192934@id-192934.brockwell.irccloud.com) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | hueso | (~root@152.170.89.151) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | BadCoderFinger | (~john@user/badcoderfinger) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | davve | (davve@bsd.douchedata.com) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | hiruji | (~hiruji@user/hiruji) (*.net *.split) |
| 2021-05-21 19:20:06 +0200 | acro_ | acro |
| 2021-05-21 19:20:06 +0200 | russruss3 | russruss |
| 2021-05-21 19:20:13 +0200 | <boxscape> | that sounds right to me |
| 2021-05-21 19:20:31 +0200 | <monochrom> | \∩/ first netsplit on libera! We are witnessing history! |
| 2021-05-21 19:20:40 +0200 | <boxscape> | ordinate maybe it works better with a different terminal emulator |
| 2021-05-21 19:21:09 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-05-21 19:21:20 +0200 | <ordinate> | yea i should really try that first |
| 2021-05-21 19:21:44 +0200 | <ordinate> | another step on my quest to be a super linux poweruser |
| 2021-05-21 19:21:44 +0200 | <drakonis> | nah man |
| 2021-05-21 19:21:49 +0200 | <drakonis> | i've seen the first netsplit on day 1 |
| 2021-05-21 19:21:49 +0200 | <janus> | ordinate: i know windows terminal has built in WSL support now |
| 2021-05-21 19:22:02 +0200 | <monochrom> | nice |
| 2021-05-21 19:22:13 +0200 | <ordinate> | wait theres a windows terminal??? |
| 2021-05-21 19:22:21 +0200 | <boxscape> | yeah you can get it from the microsoft store |
| 2021-05-21 19:22:36 +0200 | <boxscape> | they even added a settings GUI recently instead of just a JSON file |
| 2021-05-21 19:22:37 +0200 | <janus> | they push it a lot, and it is open source, has tabs and stuff |
| 2021-05-21 19:22:39 +0200 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) |
| 2021-05-21 19:22:45 +0200 | cbarrett | (sid192934@id-192934.brockwell.irccloud.com) |
| 2021-05-21 19:22:45 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2021-05-21 19:22:53 +0200 | yumaikas | (~yumaikas@2601:281:c700:4240:b14b:e0e:d243:de95) |
| 2021-05-21 19:22:56 +0200 | <ordinate> | oh this is so cute im using this immediately |
| 2021-05-21 19:22:59 +0200 | <janus> | just using a json file was impressive to me, 20 years ago they would have used the registry ;) |
| 2021-05-21 19:23:06 +0200 | <boxscape> | (also it supports Fira Code's ligatures) |
| 2021-05-21 19:23:16 +0200 | <ordinate> | terminus 4 lyfe |
| 2021-05-21 19:23:18 +0200 | <boxscape> | janus good point |
| 2021-05-21 19:23:29 +0200 | <monochrom> | I agree about registry :) |
| 2021-05-21 19:23:42 +0200 | <space-shell> | alacritty isn't bad |
| 2021-05-21 19:23:51 +0200 | <maerwald> | space-shell: depends |
| 2021-05-21 19:23:54 +0200 | <janus> | ordinate: but really, irssi is quite portable, so i think it probably works fine in msys2 also. seems kinda weird running a whole linux kernel for irssi if the program you're actually using doesn't need it |
| 2021-05-21 19:24:22 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-05-21 19:24:23 +0200 | <maerwald> | space-shell: it's annoyingly broken when you want to ssh, has memory consumption issues and problem on nvidia gpu |
| 2021-05-21 19:24:32 +0200 | <ordinate> | i honestly just want something to look at while i wait for nix-build to finish |
| 2021-05-21 19:24:32 +0200 | <maerwald> | also: some of the devs are hostile |
| 2021-05-21 19:24:38 +0200 | <janus> | ordinate: msys uses its own terminal emulator called Mintty, i think, i used to have msys running in windows terminal but i dunno how to do it with the new releases. there is probably a way |
| 2021-05-21 19:24:40 +0200 | <ordinate> | absolutely adore dvtm for this purpose |
| 2021-05-21 19:25:13 +0200 | <maerwald> | regardless, I use it myself, but I'm not too convinced |
| 2021-05-21 19:25:15 +0200 | amahl | (~amahl@dxv5skydn0bd-5x3rclnt-3.rev.dnainternet.fi) |
| 2021-05-21 19:25:19 +0200 | <janus> | ordinate: but consider that msys is using mintty because its fits their POSIX emulation story really well. so i think it absolutely has mouse support |
| 2021-05-21 19:25:28 +0200 | <monochrom> | I also agree about IRC for killing time :) |
| 2021-05-21 19:25:28 +0200 | <space-shell> | maerwald, I've not had memory issues but I've had glitching in WSL have you tried wezterm? |
| 2021-05-21 19:25:45 +0200 | <monochrom> | in fact s/IRC/lurking in IRC/ |
| 2021-05-21 19:25:57 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-05-21 19:26:55 +0200 | <maerwald> | space-shell: https://tinyurl.com/rafdyp22 |
| 2021-05-21 19:27:23 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:a0cf:b79a:7d3c:169a) |
| 2021-05-21 19:28:08 +0200 | pupdogg | (~pupdogg@141.98.255.145) |
| 2021-05-21 19:28:08 +0200 | pupdogg | (~pupdogg@141.98.255.145) (Killed (ozone (No Spam))) |
| 2021-05-21 19:29:09 +0200 | _dwt | (~dwt@2601:2c6:8080:618:4549:992b:1f6b:681e) |
| 2021-05-21 19:29:18 +0200 | <EvanR> | boxscape: dunno if you highlighted me yesterday but i got disconnected |
| 2021-05-21 19:29:33 +0200 | <boxscape> | erm I don't remember what we talked about yesterday :) |
| 2021-05-21 19:29:40 +0200 | <EvanR> | fair |
| 2021-05-21 19:31:32 +0200 | natechan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 2021-05-21 19:31:57 +0200 | horex539 | (~horex539@2a02:a03f:6aa5:a00:a0cf:b79a:7d3c:169a) (Ping timeout: 248 seconds) |
| 2021-05-21 19:35:28 +0200 | <ski> | drakonis : day one, or day zero ? |
| 2021-05-21 19:35:46 +0200 | <drakonis> | day zero |
| 2021-05-21 19:35:51 +0200 | <drakonis> | the moment it opened |
| 2021-05-21 19:36:16 +0200 | <monochrom> | Darn |
| 2021-05-21 19:36:27 +0200 | Aran | (~Aran@port-92-194-80-170.dynamic.as20676.net) (Quit: Leaving) |
| 2021-05-21 19:38:48 +0200 | caasih | (sid13241@charlton.irccloud.com) () |
| 2021-05-21 19:39:00 +0200 | caasih | (sid13241@id-13241.charlton.irccloud.com) |
| 2021-05-21 19:39:10 +0200 | sondre | (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 264 seconds) |
| 2021-05-21 19:42:30 +0200 | <ordinate> | after a horrendous amount of struggle, ive finally installed puredata in a way that doesnt leak memory |
| 2021-05-21 19:42:33 +0200 | Deewiant | (~deewiant@de1.ut.deewiant.iki.fi) |
| 2021-05-21 19:42:36 +0200 | <ordinate> | time to learn hosc |
| 2021-05-21 19:44:01 +0200 | <mrosenbe> | #haskell is dead, long live #haskell |
| 2021-05-21 19:44:20 +0200 | Morrow_ | (~MorrowM_@147.161.12.40) (Ping timeout: 252 seconds) |
| 2021-05-21 19:44:57 +0200 | <monochrom> | So dramatic... |
| 2021-05-21 19:46:52 +0200 | <boxscape> | does text have a function to escape a text, like `show` does on Strings? |
| 2021-05-21 19:47:31 +0200 | <boxscape> | % show "\\" |
| 2021-05-21 19:47:31 +0200 | <yahb> | boxscape: "\"\\\\\"" |
| 2021-05-21 19:48:03 +0200 | <monochrom> | I think show escapes Text too. Then again the output is String not Text. |
| 2021-05-21 19:48:44 +0200 | <boxscape> | hm I guess (T.pack . show) x isn't too bad |
| 2021-05-21 19:48:53 +0200 | janus | (janus@anubis.0x90.dk) (CPU quota exceeded) |
| 2021-05-21 19:49:06 +0200 | <boxscape> | % (Data.Text.pack . show) (Data.Text.pack "\\") |
| 2021-05-21 19:49:06 +0200 | <yahb> | boxscape: "\"\\\\\"" |
| 2021-05-21 19:49:08 +0200 | <boxscape> | yeah |
| 2021-05-21 19:49:14 +0200 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 2021-05-21 19:49:29 +0200 | <boxscape> | good enough for my purposes |
| 2021-05-21 19:50:32 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection) |
| 2021-05-21 19:50:55 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-05-21 19:51:36 +0200 | tose | (~tose@ip-85-160-8-43.eurotel.cz) (Ping timeout: 245 seconds) |
| 2021-05-21 19:52:16 +0200 | PeterD | (~petrus@catv-86-101-33-147.catv.broadband.hu) (WeeChat 3.1) |
| 2021-05-21 19:54:31 +0200 | littlefinger | (~00000000@selfhost1.threedot14.com) (Quit: Client closed) |
| 2021-05-21 19:59:09 +0200 | Ariakenom_ | (~Ariakenom@2001:9b1:efb:fc00:2c50:e3ba:562f:9049) |
| 2021-05-21 19:59:31 +0200 | ddellacosta | (~ddellacos@86.106.121.92) |
| 2021-05-21 19:59:38 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-05-21 19:59:40 +0200 | FreeVariable | (FreeVariab@107.161.19.109) |
| 2021-05-21 19:59:45 +0200 | ddellaco_ | (~ddellacos@86.106.121.92) (Read error: Connection reset by peer) |
| 2021-05-21 19:59:52 +0200 | <yin> | someone whould really update https://www.haskell.org/irc |
| 2021-05-21 19:59:52 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-05-21 20:00:24 +0200 | ordinate | (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 2021-05-21 20:00:24 +0200 | ordinate_ | (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) |
| 2021-05-21 20:00:24 +0200 | ordinate_ | (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) (Client Quit) |
| 2021-05-21 20:00:24 +0200 | erickgnavar | (~user@189.216.64.154) (Ping timeout: 245 seconds) |
| 2021-05-21 20:01:23 +0200 | malvo | (~malvo@malvo.org) (Ping timeout: 245 seconds) |
| 2021-05-21 20:01:24 +0200 | lyxia | (~lyxia@poisson.chat) (Quit: WeeChat 3.1) |
| 2021-05-21 20:01:32 +0200 | WikiLycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-21 20:01:36 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:2c50:e3ba:562f:9049) (Ping timeout: 245 seconds) |
| 2021-05-21 20:01:40 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-87.cust.tzulo.com) (Read error: Connection reset by peer) |
| 2021-05-21 20:01:54 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-87.cust.tzulo.com) |
| 2021-05-21 20:02:27 +0200 | xkapastel | (uid17782@id-17782.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-05-21 20:02:40 +0200 | lechner | (~lechner@letbox-vps.us-core.com) (Quit: WeeChat 3.0) |
| 2021-05-21 20:02:54 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-21 20:03:02 +0200 | malvo | (~malvo@malvo.org) |
| 2021-05-21 20:03:25 +0200 | azeem | (azeem@107.161.19.109) |
| 2021-05-21 20:04:19 +0200 | tomek | (~erzet@83.25.12.106.ipv4.supernova.orange.pl) (Quit: WeeChat 2.8) |
| 2021-05-21 20:04:47 +0200 | xkapastel | (uid17782@id-17782.tinside.irccloud.com) |
| 2021-05-21 20:04:49 +0200 | FreeVariable | (FreeVariab@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 20:04:56 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-05-21 20:05:35 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) |
| 2021-05-21 20:05:45 +0200 | lechner | (~lechner@letbox-vps.us-core.com) |
| 2021-05-21 20:07:02 +0200 | jao` | (~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-21 20:07:31 +0200 | <boxscape> | equality constraints are also carries around in a dictionary right? |
| 2021-05-21 20:08:02 +0200 | <ski> | i'd expect not |
| 2021-05-21 20:08:04 +0200 | jao | (~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Killed (NickServ (GHOST command used by jao`))) |
| 2021-05-21 20:08:08 +0200 | <boxscape> | s/carries/carried |
| 2021-05-21 20:08:11 +0200 | <boxscape> | oh |
| 2021-05-21 20:08:18 +0200 | jao` | jao |
| 2021-05-21 20:08:18 +0200 | <maerwald> | yin: https://github.com/haskell-infra/www.haskell.org/pull/84/files |
| 2021-05-21 20:08:19 +0200 | <boxscape> | ski would that mean they have no runtime cost? |
| 2021-05-21 20:08:36 +0200 | <ski> | (if they were carrying an actual isomorphism, rather than representational equality, they would have to) |
| 2021-05-21 20:09:02 +0200 | <boxscape> | right that makes sense |
| 2021-05-21 20:09:03 +0200 | <ski> | boxscape : i haven't looked at how things are actually implemented, but that's what i'd assume, yes |
| 2021-05-21 20:09:10 +0200 | <boxscape> | okay, cheers |
| 2021-05-21 20:09:19 +0200 | Franciman | (~francesco@host-80-180-196-134.pool80180.interbusiness.it) |
| 2021-05-21 20:11:45 +0200 | <ski> | yin,maerwald : maybe it'd make sense to list both, interrim. or maybe it'd be better to await some sort of official decision .. |
| 2021-05-21 20:12:05 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2021-05-21 20:12:08 +0200 | <maerwald> | freenode is flooded with spam afaih, so... |
| 2021-05-21 20:12:10 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-21 20:12:36 +0200 | paolino-tunnel | (~paolo@84.33.178.37) |
| 2021-05-21 20:12:37 +0200 | <ski> | we had a little bit of spam in here, not long ago |
| 2021-05-21 20:12:48 +0200 | autofrog | (autofrog@107.161.19.109) |
| 2021-05-21 20:12:52 +0200 | sondre | (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-05-21 20:13:42 +0200 | paolino-tunnel | paolino |
| 2021-05-21 20:13:42 +0200 | zeph | (~zeph@59.88.30.92) |
| 2021-05-21 20:15:26 +0200 | bontaq` | (~user@ec2-18-235-23-153.compute-1.amazonaws.com) |
| 2021-05-21 20:16:11 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 245 seconds) |
| 2021-05-21 20:16:51 +0200 | wennefer0 | (~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) |
| 2021-05-21 20:17:49 +0200 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2021-05-21 20:18:40 +0200 | sirodoht | (uid499766@id-499766.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-21 20:19:02 +0200 | jneira | (5127aca6@unknownnetwork-a.clients.kiwiirc.com) (Quit: Connection closed) |
| 2021-05-21 20:19:41 +0200 | wennefer0 | (~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2021-05-21 20:21:02 +0200 | arw | (~arw@impulse.informatik.uni-erlangen.de) |
| 2021-05-21 20:22:41 +0200 | azeem | (azeem@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 20:22:54 +0200 | irc_user | (uid423822@id-423822.tooting.irccloud.com) |
| 2021-05-21 20:23:29 +0200 | brandonh | (~brandonh@2a04:3542:1000:910:905f:f9ff:fe67:4d32) (Quit: brandonh) |
| 2021-05-21 20:26:33 +0200 | <tomsmeding> | edwardk: preliminary multi-network support in ircbrowse! https://ircbrowse.tomsmeding.com |
| 2021-05-21 20:26:49 +0200 | <tomsmeding> | there's bound to be stuff that doesn't work though |
| 2021-05-21 20:27:38 +0200 | hiruji- | (~hiruji@72.74.190.75) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-21 20:28:52 +0200 | <davean> | tomsmeding: nice |
| 2021-05-21 20:29:26 +0200 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) (Ping timeout: 252 seconds) |
| 2021-05-21 20:29:52 +0200 | <tomsmeding> | it's kiiind of hacked in, but I hope the code follows its own conventions as much as I think it does :) |
| 2021-05-21 20:30:50 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-21 20:31:16 +0200 | hiruji | (~hiruji@72.74.190.75) |
| 2021-05-21 20:31:31 +0200 | Guest3497 | (~nitrix@ns569831.ip-51-79-81.net) (Changing host) |
| 2021-05-21 20:31:31 +0200 | Guest3497 | (~nitrix@user/nitrix) |
| 2021-05-21 20:31:37 +0200 | Guest3497 | nitrix |
| 2021-05-21 20:31:38 +0200 | cnr- | (~cnr@user/cnr) (Ping timeout: 252 seconds) |
| 2021-05-21 20:31:47 +0200 | oxide_ | oxide |
| 2021-05-21 20:32:44 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-05-21 20:33:26 +0200 | xwx | (~george@user/george) (Quit: leaving) |
| 2021-05-21 20:34:29 +0200 | xwx | (~george@user/george) |
| 2021-05-21 20:39:56 +0200 | <edwardk> | tomsmeding: you rock |
| 2021-05-21 20:40:26 +0200 | <tomsmeding> | :) |
| 2021-05-21 20:42:21 +0200 | xwx | (~george@user/george) (Ping timeout: 248 seconds) |
| 2021-05-21 20:42:44 +0200 | river | (~river@user/river) |
| 2021-05-21 20:43:10 +0200 | xwx | (~george@user/george) |
| 2021-05-21 20:44:10 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 20:44:30 +0200 | <tomsmeding> | geekosaur: if you wish I can add libera#xmonad to ircbrowse too |
| 2021-05-21 20:44:41 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-21 20:45:48 +0200 | jakesyl | (sid56879@id-56879.stonehaven.irccloud.com) |
| 2021-05-21 20:45:53 +0200 | BadCoder1 | BadCoderFinger |
| 2021-05-21 20:46:13 +0200 | <geekosaur> | please, we moved over yessterday |
| 2021-05-21 20:47:03 +0200 | <tomsmeding> | given the addition of libera#haskell went basically without effort (apart from implementing multi-network support in the first place), let's see if adding another channel is as simple :) |
| 2021-05-21 20:51:25 +0200 | <tomsmeding> | geekosaur: https://ircbrowse.tomsmeding.com/browse/lcxmonad |
| 2021-05-21 20:51:52 +0200 | Heffalump | (~ganesh@urchin.earth.li) |
| 2021-05-21 20:52:04 +0200 | <tomsmeding> | ah I found a bug already, the Link functionality doesn't do names correctly :p |
| 2021-05-21 20:52:26 +0200 | xwx | (~george@user/george) (Ping timeout: 245 seconds) |
| 2021-05-21 20:53:24 +0200 | gawen | (~gawen@movzbl.root.sx) |
| 2021-05-21 20:53:29 +0200 | xwx | (~george@user/george) |
| 2021-05-21 20:54:32 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2021-05-21 20:54:42 +0200 | bontaq`` | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-05-21 20:55:18 +0200 | Valerian | (~vclerc@modemcable030.18-176-173.mc.videotron.ca) |
| 2021-05-21 20:56:02 +0200 | Valerian | (~vclerc@modemcable030.18-176-173.mc.videotron.ca) (Client Quit) |
| 2021-05-21 20:56:11 +0200 | bontaq` | (~user@ec2-18-235-23-153.compute-1.amazonaws.com) (Ping timeout: 245 seconds) |
| 2021-05-21 20:56:14 +0200 | <ski> | edwardk,tomsmeding : ty both |
| 2021-05-21 20:56:17 +0200 | keltono | (~kelton@x-160-94-179-178.acm.umn.edu) |
| 2021-05-21 20:57:49 +0200 | zeph_ | (~zeph@117.222.69.244) |
| 2021-05-21 20:58:08 +0200 | zeph_ | (~zeph@117.222.69.244) (Client Quit) |
| 2021-05-21 20:58:43 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-21 20:58:52 +0200 | <boxscape> | tomsmeding there isn't a feature at the moment to hide joins/leaves, is there? |
| 2021-05-21 20:59:03 +0200 | <tomsmeding> | unfortunately not :p |
| 2021-05-21 20:59:06 +0200 | <tomsmeding> | still have to build that |
| 2021-05-21 20:59:06 +0200 | <boxscape> | okay |
| 2021-05-21 20:59:08 +0200 | involans | (~involans@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-21 20:59:23 +0200 | <tomsmeding> | some day |
| 2021-05-21 21:00:53 +0200 | zeph | (~zeph@59.88.30.92) (Ping timeout: 272 seconds) |
| 2021-05-21 21:01:56 +0200 | tomsmeding | finds that searching for # in the source code is a good way to find places where ircbrowse doesn't follow its own conventions regarding channel ids and channel names |
| 2021-05-21 21:02:05 +0200 | <geekosaur> | tyvm |
| 2021-05-21 21:02:28 +0200 | <geekosaur> | we're still waiting on channel access, sadly |
| 2021-05-21 21:03:07 +0200 | <tomsmeding> | sad |
| 2021-05-21 21:06:11 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Quit: Gone away) |
| 2021-05-21 21:06:15 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-21 21:06:35 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2021-05-21 21:07:00 +0200 | gawen | gawen_ |
| 2021-05-21 21:07:37 +0200 | gawen_ | gawen |
| 2021-05-21 21:07:38 +0200 | haskman | (~haskman@106.215.53.61) |
| 2021-05-21 21:07:56 +0200 | _dwt | dwt_ |
| 2021-05-21 21:08:34 +0200 | dwt_ | dwt__ |
| 2021-05-21 21:09:37 +0200 | dwt__ | (~dwt@2601:2c6:8080:618:4549:992b:1f6b:681e) (Quit: Leaving) |
| 2021-05-21 21:10:56 +0200 | godtoldmetodoit | (~godtoldme@185.213.155.164) |
| 2021-05-21 21:11:07 +0200 | godtoldmetodoit | (~godtoldme@185.213.155.164) (K-Lined) |
| 2021-05-21 21:14:41 +0200 | Morrow | (~MorrowM_@147.161.12.40) |
| 2021-05-21 21:15:43 +0200 | autofrog | (autofrog@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 21:15:44 +0200 | Morrow | (~MorrowM_@147.161.12.40) (Read error: Connection reset by peer) |
| 2021-05-21 21:16:36 +0200 | xwx | (~george@user/george) (Ping timeout: 245 seconds) |
| 2021-05-21 21:17:48 +0200 | xwx | (~george@user/george) |
| 2021-05-21 21:17:51 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-21 21:19:59 +0200 | FreeVariable | (FreeVariab@107.161.19.109) |
| 2021-05-21 21:20:15 +0200 | f-a | (~f-a@151.68.221.155) |
| 2021-05-21 21:20:36 +0200 | <f-a> | (pingiing sclv or edwardk) |
| 2021-05-21 21:21:14 +0200 | bec | (bec@107.161.19.109) |
| 2021-05-21 21:21:44 +0200 | <sclv> | what do u need me to do |
| 2021-05-21 21:22:17 +0200 | <f-a> | we would like to register #haskell-game |
| 2021-05-21 21:22:22 +0200 | <f-a> | we: me or sm |
| 2021-05-21 21:26:19 +0200 | moistoreos | (~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net) (Quit: Computer Asleep 😴) |
| 2021-05-21 21:27:00 +0200 | <sclv> | on it |
| 2021-05-21 21:27:12 +0200 | Hourds | (~hourd@fi-19-202-209.service.infuturo.it) |
| 2021-05-21 21:27:23 +0200 | moistoreos | (~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net) |
| 2021-05-21 21:27:53 +0200 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-21 21:28:07 +0200 | juhp | (~juhp@128.106.188.199) |
| 2021-05-21 21:28:13 +0200 | xwx | (~george@user/george) (Ping timeout: 248 seconds) |
| 2021-05-21 21:32:42 +0200 | lortabac_ | (~lortabac@2a01:e0a:541:b8f0:d317:7e9f:278d:17a9) |
| 2021-05-21 21:33:24 +0200 | f-a | (~f-a@151.68.221.155) (Read error: Connection reset by peer) |
| 2021-05-21 21:35:41 +0200 | ircbrowse_tom | (~ircbrowse@64.225.78.177) (ZNC 1.7.5+deb4 - https://znc.in) |