IRCBrowse

2022/10/16

2022-10-16 00:00:54 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 268 seconds)
2022-10-16 00:04:42 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-10-16 00:11:36 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2022-10-16 00:21:52 +0200kuribas(~user@ptr-17d51emezcmdxqisyeh.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1))
2022-10-16 00:37:18 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection)
2022-10-16 00:37:51 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2022-10-16 00:39:45 +0200jtomas(~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) (Ping timeout: 268 seconds)
2022-10-16 00:41:23 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2022-10-16 00:42:41 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Ping timeout: 268 seconds)
2022-10-16 00:47:25 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 250 seconds)
2022-10-16 00:48:23 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net)
2022-10-16 00:49:12 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-10-16 00:51:24 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2022-10-16 00:52:06 +0200Sgeo(~Sgeo@user/sgeo)
2022-10-16 00:52:21 +0200AkechiShiro(~licht@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Changing host)
2022-10-16 00:52:21 +0200AkechiShiro(~licht@user/akechishiro)
2022-10-16 00:53:53 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-10-16 00:57:26 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 01:04:30 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-16 01:05:16 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-10-16 01:06:14 +0200tremon(~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2022-10-16 01:07:54 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-10-16 01:09:06 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-16 01:14:22 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2022-10-16 01:14:49 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-10-16 01:20:31 +0200forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2022-10-16 01:21:21 +0200forell(~forell@user/forell)
2022-10-16 01:26:52 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-10-16 01:28:28 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-10-16 01:32:47 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 268 seconds)
2022-10-16 01:34:32 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-10-16 01:35:08 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-10-16 01:37:19 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-16 01:38:08 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 01:39:02 +0200king_gs(~Thunderbi@187.201.131.180)
2022-10-16 01:52:18 +0200Tuplanolla(~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.)
2022-10-16 02:05:21 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 252 seconds)
2022-10-16 02:07:43 +0200king_gs(~Thunderbi@187.201.131.180) (Quit: king_gs)
2022-10-16 02:29:20 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-10-16 02:39:13 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-16 02:42:19 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds)
2022-10-16 02:42:45 +0200Topsi(~Topsi@dyndsl-095-033-095-014.ewe-ip-backbone.de) (Ping timeout: 252 seconds)
2022-10-16 02:56:12 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2022-10-16 02:57:02 +0200Topsi(~Topsi@95.33.95.14)
2022-10-16 02:58:07 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-10-16 02:59:33 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Remote host closed the connection)
2022-10-16 02:59:51 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-16 03:09:42 +0200freeside(~mengwong@115.66.48.84)
2022-10-16 03:09:46 +0200tashy(~tashy@ip98-172-219-67.ok.ok.cox.net)
2022-10-16 03:10:15 +0200tashy(~tashy@ip98-172-219-67.ok.ok.cox.net) (Client Quit)
2022-10-16 03:10:59 +0200tash(~tash@user/tash)
2022-10-16 03:14:23 +0200freeside(~mengwong@115.66.48.84) (Ping timeout: 268 seconds)
2022-10-16 03:18:24 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-10-16 03:20:46 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-16 03:22:30 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (*.net *.split)
2022-10-16 03:22:30 +0200Topsi(~Topsi@95.33.95.14) (*.net *.split)
2022-10-16 03:22:31 +0200causal(~user@50.35.83.177) (*.net *.split)
2022-10-16 03:22:31 +0200nate1(~nate@98.45.169.16) (*.net *.split)
2022-10-16 03:22:31 +0200loras(~loras@c-73-139-125-125.hsd1.fl.comcast.net) (*.net *.split)
2022-10-16 03:22:31 +0200zaquest(~notzaques@5.130.79.72) (*.net *.split)
2022-10-16 03:22:31 +0200codaraxis___(~codaraxis@user/codaraxis) (*.net *.split)
2022-10-16 03:22:31 +0200johnjaye(~pi@173.209.64.74) (*.net *.split)
2022-10-16 03:22:31 +0200Sauvin(~colere@about/linux/staff/sauvin) (*.net *.split)
2022-10-16 03:22:31 +0200drlkf(~drlkf@chat.drlkf.net) (*.net *.split)
2022-10-16 03:22:31 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (*.net *.split)
2022-10-16 03:22:31 +0200hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (*.net *.split)
2022-10-16 03:22:31 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (*.net *.split)
2022-10-16 03:22:31 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split)
2022-10-16 03:22:31 +0200mmaruseacph2(~mihai@198.199.98.239) (*.net *.split)
2022-10-16 03:22:31 +0200sagax(~sagax_nb@user/sagax) (*.net *.split)
2022-10-16 03:22:31 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (*.net *.split)
2022-10-16 03:22:31 +0200Putonlalla(~Putonlall@it-cyan.it.jyu.fi) (*.net *.split)
2022-10-16 03:22:31 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split)
2022-10-16 03:22:31 +0200jimki(~jmaki@gazorpazorp.fixme.fi) (*.net *.split)
2022-10-16 03:22:31 +0200gff_(~gff@user/gff) (*.net *.split)
2022-10-16 03:22:31 +0200inversed(~inversed@90.209.137.56) (*.net *.split)
2022-10-16 03:22:31 +0200darkstardevx(~darkstard@50.126.124.156) (*.net *.split)
2022-10-16 03:22:31 +0200foul_owl(~kerry@23.82.194.107) (*.net *.split)
2022-10-16 03:22:31 +0200kritzefitz(~kritzefit@debian/kritzefitz) (*.net *.split)
2022-10-16 03:22:31 +0200raoul(~raoul@95.179.203.88) (*.net *.split)
2022-10-16 03:22:31 +0200dtman34(~dtman34@c-75-73-141-79.hsd1.mn.comcast.net) (*.net *.split)
2022-10-16 03:22:31 +0200motherfsck(~motherfsc@user/motherfsck) (*.net *.split)
2022-10-16 03:22:31 +0200swistak(~swistak@185.21.216.141) (*.net *.split)
2022-10-16 03:22:31 +0200kmein(~weechat@user/kmein) (*.net *.split)
2022-10-16 03:22:31 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (*.net *.split)
2022-10-16 03:22:31 +0200yaroot(~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) (*.net *.split)
2022-10-16 03:22:31 +0200tomku(~tomku@user/tomku) (*.net *.split)
2022-10-16 03:22:31 +0200kjak(~kjak@pool-108-31-114-135.washdc.fios.verizon.net) (*.net *.split)
2022-10-16 03:22:31 +0200andreas303(andreas303@ip227.orange.bnc4free.com) (*.net *.split)
2022-10-16 03:22:31 +0200chymera(~chymera@ns1000526.ip-51-81-46.us) (*.net *.split)
2022-10-16 03:22:31 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu) (*.net *.split)
2022-10-16 03:22:31 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) (*.net *.split)
2022-10-16 03:22:31 +0200TMA(tma@twin.jikos.cz) (*.net *.split)
2022-10-16 03:22:31 +0200sshine(~simon@exocortex.online) (*.net *.split)
2022-10-16 03:22:31 +0200meejah(~meejah@rutas.meejah.ca) (*.net *.split)
2022-10-16 03:22:31 +0200defanor(~defanor@tart.uberspace.net) (*.net *.split)
2022-10-16 03:22:31 +0200ldlework(~hexeme@user/hexeme) (*.net *.split)
2022-10-16 03:22:31 +0200chronon(~chronon@user/chronon) (*.net *.split)
2022-10-16 03:22:31 +0200Buliarous(~gypsydang@46.232.210.139) (*.net *.split)
2022-10-16 03:22:31 +0200RMSBach(~guygastin@137.184.131.156) (*.net *.split)
2022-10-16 03:22:31 +0200red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (*.net *.split)
2022-10-16 03:22:31 +0200loonycyborg_(loonycybor@chantal.wesnoth.org) (*.net *.split)
2022-10-16 03:22:31 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (*.net *.split)
2022-10-16 03:22:31 +0200LambdaDuck(~anka@ksit.fixme.fi) (*.net *.split)
2022-10-16 03:22:31 +0200maerwald(~maerwald@user/maerwald) (*.net *.split)
2022-10-16 03:22:31 +0200fiddlerwoaroof(~fiddlerwo@user/fiddlerwoaroof) (*.net *.split)
2022-10-16 03:22:31 +0200ridcully(~ridcully@pd951fa32.dip0.t-ipconnect.de) (*.net *.split)
2022-10-16 03:22:31 +0200sweater1(~sweater@206.81.18.26) (*.net *.split)
2022-10-16 03:22:31 +0200blades(~blades@204.48.29.163) (*.net *.split)
2022-10-16 03:22:31 +0200dfordivam1(~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (*.net *.split)
2022-10-16 03:22:31 +0200darkling(~darkling@savella.carfax.org.uk) (*.net *.split)
2022-10-16 03:22:31 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (*.net *.split)
2022-10-16 03:22:31 +0200c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2022-10-16 03:22:31 +0200heath(~heath@user/heath) (*.net *.split)
2022-10-16 03:22:31 +0200byorgey(~byorgey@155.138.238.211) (*.net *.split)
2022-10-16 03:22:31 +0200tolt(~weechat-h@li219-154.members.linode.com) (*.net *.split)
2022-10-16 03:22:31 +0200df(~ben@justworks.xyz) (*.net *.split)
2022-10-16 03:22:31 +0200tstat(~tstat@user/tstat) (*.net *.split)
2022-10-16 03:22:31 +0200tdammers(~tdammers@77.109.72.118.res.static.edpnet.net) (*.net *.split)
2022-10-16 03:22:31 +0200simpleauthority(~simpleaut@user/simpleauthority) (*.net *.split)
2022-10-16 03:22:31 +0200noctux1(KOx7x4g3XX@karif.server-speed.net) (*.net *.split)
2022-10-16 03:22:31 +0200kosmikus(~kosmikus@nullzig.kosmikus.org) (*.net *.split)
2022-10-16 03:22:31 +0200Cheery(~cheery@7-239-179-185.static.tentacle.fi) (*.net *.split)
2022-10-16 03:22:31 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de) (*.net *.split)
2022-10-16 03:22:31 +0200marienz(marienz@libera/staff/marienz) (*.net *.split)
2022-10-16 03:22:31 +0200tureba(~tureba@tureba.org) (*.net *.split)
2022-10-16 03:22:39 +0200jimki(~jmaki@gazorpazorp.fixme.fi)
2022-10-16 03:22:39 +0200darkling(~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space)
2022-10-16 03:22:43 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2022-10-16 03:22:43 +0200byorgey(~byorgey@155.138.238.211)
2022-10-16 03:22:44 +0200defanor(~defanor@tart.uberspace.net)
2022-10-16 03:22:44 +0200sshine_(~simon@exocortex.online)
2022-10-16 03:22:45 +0200marienz(~marienz@libera/staff/marienz)
2022-10-16 03:22:46 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-10-16 03:22:47 +0200kosmikus(~kosmikus@nullzig.kosmikus.org)
2022-10-16 03:22:47 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu)
2022-10-16 03:22:47 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-10-16 03:22:48 +0200Jonno_FTW(~come@api.carswap.me)
2022-10-16 03:22:48 +0200chronon(~chronon@user/chronon)
2022-10-16 03:22:48 +0200TMA(~tma@twin.jikos.cz)
2022-10-16 03:22:49 +0200tdammers(~tdammers@77.109.72.118.res.static.edpnet.net)
2022-10-16 03:22:50 +0200Topsi(~Topsi@dyndsl-095-033-095-014.ewe-ip-backbone.de)
2022-10-16 03:22:50 +0200ridcully(~ridcully@pd951fa32.dip0.t-ipconnect.de)
2022-10-16 03:22:51 +0200zaquest(~notzaques@5.130.79.72)
2022-10-16 03:22:53 +0200tureba(~tureba@tureba.org)
2022-10-16 03:22:54 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-10-16 03:23:02 +0200noctux1(dOdx6uOj5h@karif.server-speed.net)
2022-10-16 03:23:05 +0200loonycyborg(loonycybor@wesnoth/developer/loonycyborg)
2022-10-16 03:23:09 +0200nate1(~nate@98.45.169.16)
2022-10-16 03:23:10 +0200Putonlalla(~Putonlall@it-cyan.it.jyu.fi)
2022-10-16 03:23:13 +0200tolt(~weechat-h@li219-154.members.linode.com)
2022-10-16 03:23:14 +0200inversed(~inversed@90.209.137.56)
2022-10-16 03:23:15 +0200yaroot(~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c)
2022-10-16 03:23:16 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2022-10-16 03:23:16 +0200johnjaye(~pi@173.209.64.74)
2022-10-16 03:23:17 +0200Jonno_FTW(~come@api.carswap.me) (Changing host)
2022-10-16 03:23:17 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346)
2022-10-16 03:23:22 +0200noctux1(dOdx6uOj5h@karif.server-speed.net) (Signing in (noctux1))
2022-10-16 03:23:22 +0200noctux1(dOdx6uOj5h@user/noctux)
2022-10-16 03:23:40 +0200gff_(~gff@75-174-112-159.boid.qwest.net)
2022-10-16 03:23:44 +0200causal(~user@50.35.83.177)
2022-10-16 03:23:52 +0200codaraxis___(~codaraxis@user/codaraxis)
2022-10-16 03:23:59 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de)
2022-10-16 03:24:00 +0200codaraxis___(~codaraxis@user/codaraxis) (Remote host closed the connection)
2022-10-16 03:24:13 +0200dfordivam1(~dfordivam@tk2-219-19469.vs.sakura.ne.jp)
2022-10-16 03:24:14 +0200Colere(~colere@about/linux/staff/sauvin)
2022-10-16 03:24:14 +0200andreas303(andreas303@ip227.orange.bnc4free.com)
2022-10-16 03:24:16 +0200dtman34(~dtman34@c-75-73-141-79.hsd1.mn.comcast.net)
2022-10-16 03:24:21 +0200c_wraith(~c_wraith@adjoint.us)
2022-10-16 03:24:24 +0200tstat(~tstat@user/tstat)
2022-10-16 03:24:30 +0200ColereSauvin
2022-10-16 03:24:32 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
2022-10-16 03:24:35 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2022-10-16 03:24:41 +0200codaraxis___(~codaraxis@user/codaraxis)
2022-10-16 03:24:41 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2022-10-16 03:24:42 +0200chymera(~chymera@ns1000526.ip-51-81-46.us)
2022-10-16 03:24:46 +0200maerwald(~maerwald@mail.hasufell.de)
2022-10-16 03:24:46 +0200drlkf(~drlkf@chat.drlkf.net)
2022-10-16 03:24:48 +0200kmein(~weechat@user/kmein)
2022-10-16 03:24:49 +0200simpleauthority(~simpleaut@user/simpleauthority)
2022-10-16 03:24:50 +0200motherfsck(~motherfsc@user/motherfsck)
2022-10-16 03:24:51 +0200fiddlerwoaroof(~fiddlerwo@user/fiddlerwoaroof)
2022-10-16 03:25:00 +0200RMSBach(~guygastin@137.184.131.156)
2022-10-16 03:25:05 +0200hexeme(~hexeme@user/hexeme)
2022-10-16 03:25:22 +0200raoul(~raoul@95.179.203.88)
2022-10-16 03:25:23 +0200heath(~heath@user/heath)
2022-10-16 03:25:52 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-10-16 03:25:55 +0200sweater1(~sweater@206.81.18.26)
2022-10-16 03:25:57 +0200blades(~blades@204.48.29.163)
2022-10-16 03:26:15 +0200swistak(~swistak@185.21.216.141)
2022-10-16 03:26:32 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
2022-10-16 03:27:21 +0200foul_owl(~kerry@23.82.194.107)
2022-10-16 03:27:37 +0200Cheery(~cheery@7-239-179-185.static.tentacle.fi)
2022-10-16 03:27:37 +0200LambdaDuck(~anka@ksit.fixme.fi)
2022-10-16 03:27:39 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-10-16 03:27:41 +0200tomku(~tomku@user/tomku)
2022-10-16 03:27:43 +0200meejah(~meejah@rutas.meejah.ca)
2022-10-16 03:27:45 +0200kjak(~kjak@pool-108-31-114-135.washdc.fios.verizon.net)
2022-10-16 03:27:59 +0200mmaruseacph2(~mihai@198.199.98.239)
2022-10-16 03:29:21 +0200razetime(~quassel@117.193.6.229)
2022-10-16 03:31:29 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 03:42:28 +0200Topsi(~Topsi@dyndsl-095-033-095-014.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-10-16 03:44:54 +0200mcglk(~mcglk@131.191.49.120) (Read error: Connection reset by peer)
2022-10-16 03:45:24 +0200mcglk(~mcglk@131.191.49.120)
2022-10-16 03:48:21 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-10-16 03:48:25 +0200Buliarous(~gypsydang@46.232.210.139)
2022-10-16 03:48:40 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-10-16 03:49:52 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:85ce:60ba:541:2d5a) (Quit: caryhartline)
2022-10-16 03:51:07 +0200 <[Leary]> GHC will still delete your source code if you're not careful! I once accidentally compiled a cute touch-typing tutor with `ghc -o Dvorak.hs Dvorak` instead of `ghc -o Dvorak Dvorak.hs`, and GHC very happily overwrote my source code with the binary. <.<
2022-10-16 03:54:56 +0200 <EvanR> it tried to compile binary Dvorak and got for enough to start outputting something xD
2022-10-16 03:55:47 +0200 <[Leary]> Nah, for some reason GHC accepted (and still accepts!) `File` for `File.hs`.
2022-10-16 03:56:16 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection)
2022-10-16 03:56:25 +0200 <[Leary]> The project was only a few hundred lines and had no deps, so I hadn't bothered to put it in source control either; it was lost forever. Thankfully the binary worked and did everything I needed.
2022-10-16 03:57:43 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2022-10-16 03:58:17 +0200tash(~tash@user/tash) (Quit: Connection closed)
2022-10-16 04:01:20 +0200 <EvanR> so it was using Dvorak.hs as input and output
2022-10-16 04:01:32 +0200 <EvanR> that's either very elegant or very stupid
2022-10-16 04:02:21 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Ping timeout: 260 seconds)
2022-10-16 04:04:25 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-16 04:04:25 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-16 04:04:25 +0200wroathe(~wroathe@user/wroathe)
2022-10-16 04:05:55 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds)
2022-10-16 04:08:16 +0200 <[Leary]> Also, unrelated, but I've several times found Data.Map to be lacking a `pop` / `deleteLookup` / `Ord k => k -> Map k a -> Maybe (a, Map k a)` ... and somehow I only just realised today---you can write that with `alterF`. In one line, even. Feel kinda stupid now. >.>
2022-10-16 04:09:16 +0200 <ski> someone should make a sortof quine which is its own compiled executable
2022-10-16 04:09:55 +0200 <ski> (.. probably pretty hard to pull off, though)
2022-10-16 04:10:13 +0200 <ski> `alterF' is powerful :)
2022-10-16 04:11:46 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Ping timeout: 268 seconds)
2022-10-16 04:11:57 +0200[spookyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds)
2022-10-16 04:16:01 +0200[spookyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-10-16 04:20:48 +0200talismanick(~talismani@2601:200:c100:c9e0::1b0b) (Ping timeout: 264 seconds)
2022-10-16 04:25:03 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2022-10-16 04:25:06 +0200td_(~td@83.135.9.18) (Ping timeout: 260 seconds)
2022-10-16 04:27:01 +0200td_(~td@83.135.9.32)
2022-10-16 04:30:13 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2022-10-16 04:31:12 +0200elbear(~lucian@188.24.138.239)
2022-10-16 04:33:47 +0200kenran(~user@user/kenran)
2022-10-16 04:34:29 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Ping timeout: 250 seconds)
2022-10-16 04:34:47 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2022-10-16 04:35:01 +0200vn36(~vn36@123.63.203.210) (Ping timeout: 260 seconds)
2022-10-16 04:35:21 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 250 seconds)
2022-10-16 04:35:45 +0200loras(~loras@c-73-139-125-125.hsd1.fl.comcast.net)
2022-10-16 04:44:46 +0200king_gs(~Thunderbi@187.201.131.180)
2022-10-16 04:48:20 +0200 <probie> I've definitely written `alterF (,Nothing)` for a "pop" which gives a (Maybe a, Map k a). Is there an easy way to pull that Maybe out, or are you doing something different?
2022-10-16 04:50:23 +0200 <[Leary]> probie: I've got `pop = fmap getCompose . M.alterF (Compose . fmap (,Nothing))`.
2022-10-16 04:52:34 +0200frost66(~frost@user/frost)
2022-10-16 04:54:13 +0200 <probie> That `fmap getCompose` "feels" wrong to me (I don't like writing function composition as `fmap`).
2022-10-16 04:54:23 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-16 04:55:09 +0200 <probie> :t getCompose .: M.alterF (Compose . fmap (,Nothing))
2022-10-16 04:55:11 +0200 <lambdabot> error: Variable not in scope: getCompose
2022-10-16 04:55:11 +0200 <lambdabot> error:
2022-10-16 04:55:11 +0200 <lambdabot> • Variable not in scope:
2022-10-16 04:55:52 +0200 <[Leary]> It is pointlessly pointfree, yes, but I like the function Functor. I'd actually rather write it as `getCompose <$$> M.alterF ...`, but then I'd have to define `(<$$>)`.
2022-10-16 04:57:53 +0200AkechiShiro(~licht@user/akechishiro) (Quit: WeeChat 3.6)
2022-10-16 04:58:35 +0200AkechiShiro(~licht@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9)
2022-10-16 05:00:19 +0200mcglk(~mcglk@131.191.49.120) (Ping timeout: 248 seconds)
2022-10-16 05:01:55 +0200mcglk(~mcglk@131.191.49.120)
2022-10-16 05:02:10 +0200 <DigitalKiwi> i just broke hoogle
2022-10-16 05:02:19 +0200 <DigitalKiwi> i'm so sorry
2022-10-16 05:02:54 +0200[spookyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-10-16 05:03:14 +0200 <c_wraith> @let import Data.Functor.Compose
2022-10-16 05:03:15 +0200 <lambdabot> Defined.
2022-10-16 05:03:23 +0200 <c_wraith> :t getCompose .: M.alterF (Compose . fmap (,Nothing))
2022-10-16 05:03:24 +0200 <lambdabot> error:
2022-10-16 05:03:24 +0200 <lambdabot> • Variable not in scope:
2022-10-16 05:03:24 +0200 <lambdabot> (.:)
2022-10-16 05:03:30 +0200 <c_wraith> ah, well. there is that
2022-10-16 05:04:06 +0200 <DigitalKiwi> pop = (<$>) getCompose . M.alterF (Compose . fmap (,Nothing))
2022-10-16 05:04:10 +0200 <DigitalKiwi> there no fmap!
2022-10-16 05:05:03 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2022-10-16 05:05:25 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-10-16 05:05:35 +0200 <DigitalKiwi> needs :+x TupleSections and import Data.Functor.Compose and Data.Map as M tho
2022-10-16 05:05:49 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-16 05:05:49 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-16 05:05:49 +0200wroathe(~wroathe@user/wroathe)
2022-10-16 05:06:10 +0200 <DigitalKiwi> ... the second fmap is a lie
2022-10-16 05:06:13 +0200 <DigitalKiwi> :(
2022-10-16 05:06:54 +0200 <DigitalKiwi> Đź> pop = (<$>) getCompose . M.alterF (Compose . (<$>) (,Nothing))
2022-10-16 05:07:00 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Quit: ,-)
2022-10-16 05:08:16 +0200king_gs(~Thunderbi@187.201.131.180) (Ping timeout: 260 seconds)
2022-10-16 05:08:47 +0200 <EvanR> updateLookupWithKey?
2022-10-16 05:09:13 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds)
2022-10-16 05:09:38 +0200 <EvanR> basing that suggesting on nothing said except "pop"
2022-10-16 05:09:46 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Ping timeout: 268 seconds)
2022-10-16 05:13:16 +0200 <[Leary]> The behaviour of that function is kinda complex. I guess it should work for pop---did it always work like this? I recall disregarding it because it didn't do what I wanted more generally.
2022-10-16 05:14:24 +0200frost66(~frost@user/frost) (Quit: Ping timeout (120 seconds))
2022-10-16 05:17:10 +0200fjMSX(~hypni2p@2.92.213.55) (Remote host closed the connection)
2022-10-16 05:20:20 +0200 <probie> The behaviour of `alterF` is mostly clear from the type. `updateLookupWithKey` is powerful, but non-obvious ("return the altered value unless the altered value is Nothing in which case the original value")
2022-10-16 05:22:35 +0200elbear(~lucian@188.24.138.239)
2022-10-16 05:22:48 +0200king_gs(~Thunderbi@187.201.131.180)
2022-10-16 05:23:01 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2022-10-16 05:23:45 +0200AkechiShiro(~licht@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Quit: WeeChat 3.7)
2022-10-16 05:24:07 +0200AkechiShiro(~licht@user/akechishiro)
2022-10-16 05:26:10 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-10-16 05:26:56 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-10-16 05:26:56 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 260 seconds)
2022-10-16 05:27:09 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-16 05:27:09 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-16 05:27:09 +0200wroathe(~wroathe@user/wroathe)
2022-10-16 05:31:31 +0200 <EvanR> yeah wth... using the Maybe to determine the action to take, unless your Map contains Maybes?
2022-10-16 05:32:21 +0200 <EvanR> (how would it even)
2022-10-16 05:38:27 +0200kenran(~user@user/kenran)
2022-10-16 05:39:33 +0200wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-10-16 05:40:00 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2022-10-16 05:47:47 +0200fjMSX(~hypni2p@2.92.213.55)
2022-10-16 05:50:19 +0200king_gs(~Thunderbi@187.201.131.180) (Ping timeout: 250 seconds)
2022-10-16 05:55:01 +0200rumraisin(~tardis@user/phileasfogg)
2022-10-16 05:55:31 +0200 <ski> @type ((fmap swap . sequenceA . swap) .) . M.alterF (,Nothing)
2022-10-16 05:55:32 +0200 <lambdabot> Ord k => k -> M.Map k b -> Maybe (b, M.Map k b)
2022-10-16 05:57:16 +0200raym(~aritra@user/raym) (Ping timeout: 260 seconds)
2022-10-16 06:00:01 +0200razetime(~quassel@117.193.6.229) (Ping timeout: 252 seconds)
2022-10-16 06:01:39 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-16 06:02:42 +0200raym(~aritra@user/raym)
2022-10-16 06:05:08 +0200rumraisin(~tardis@user/phileasfogg) (Quit: It's the only way, then they can all forget me. I got too big, Dorium, too noisy. Time to step back into the shadows.)
2022-10-16 06:06:16 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-10-16 06:10:00 +0200rumraisin(~tardis@user/phileasfogg)
2022-10-16 06:10:05 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-16 06:10:05 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-16 06:10:05 +0200wroathe(~wroathe@user/wroathe)
2022-10-16 06:12:11 +0200rumraisin(~tardis@user/phileasfogg) (Client Quit)
2022-10-16 06:12:38 +0200rumraisin(~tardis@user/phileasfogg)
2022-10-16 06:13:23 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds)
2022-10-16 06:15:15 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2022-10-16 06:25:12 +0200elbear(~lucian@188.24.138.239)
2022-10-16 06:25:18 +0200wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-10-16 06:29:12 +0200ddellacosta(~ddellacos@143.244.47.82) (Ping timeout: 264 seconds)
2022-10-16 06:30:55 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-16 06:34:36 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 260 seconds)
2022-10-16 06:35:46 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-16 06:39:56 +0200razetime(~quassel@117.193.6.229)
2022-10-16 06:40:53 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-16 06:43:23 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.6)
2022-10-16 06:44:04 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-10-16 06:49:36 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-16 06:49:36 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-16 06:49:36 +0200wroathe(~wroathe@user/wroathe)
2022-10-16 06:52:19 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Ping timeout: 248 seconds)
2022-10-16 06:53:33 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2022-10-16 06:56:55 +0200Sauvin(~colere@about/linux/staff/sauvin) (Quit: Leaving)
2022-10-16 06:57:10 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Quit: ,-)
2022-10-16 06:57:25 +0200grymzu(~zymurgy@user/zymurgy)
2022-10-16 07:01:27 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Quit: Leaving...)
2022-10-16 07:02:06 +0200maybefbi(~maybefbi@gateway/tor-sasl/maybefbi)
2022-10-16 07:04:36 +0200elbear(~lucian@188.24.138.239)
2022-10-16 07:06:00 +0200 <maybefbi> if i import anything my editor says "Could not find module <package>". `stack build` works fine. Haskell language server works fine except for "database is locked" but that doesn't stop the autocomplete. my editor is neovim + coc.nvim plugin
2022-10-16 07:12:49 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 3.6)
2022-10-16 07:13:18 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2022-10-16 07:18:41 +0200king_gs(~Thunderbi@187.201.131.180)
2022-10-16 07:23:39 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds)
2022-10-16 07:24:04 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2022-10-16 07:24:19 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 246 seconds)
2022-10-16 07:27:19 +0200zaquest(~notzaques@5.130.79.72) (Quit: Leaving)
2022-10-16 07:30:35 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-10-16 07:37:28 +0200Kaipei(~Kaiepi@142.68.249.28)
2022-10-16 07:38:39 +0200wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-10-16 07:41:26 +0200Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds)
2022-10-16 07:42:24 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 07:44:06 +0200monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2022-10-16 07:44:45 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8)
2022-10-16 07:45:56 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-10-16 07:47:08 +0200hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com)
2022-10-16 07:49:18 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2022-10-16 07:55:34 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-10-16 07:56:13 +0200nate1(~nate@98.45.169.16)
2022-10-16 07:56:51 +0200king_gs(~Thunderbi@187.201.131.180) (Quit: king_gs)
2022-10-16 07:56:59 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-10-16 07:58:01 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 260 seconds)
2022-10-16 07:58:49 +0200monochrom(trebla@216.138.220.146)
2022-10-16 08:01:31 +0200raym(~aritra@user/raym) (Ping timeout: 260 seconds)
2022-10-16 08:02:41 +0200nate1(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-10-16 08:05:35 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-16 08:05:35 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-16 08:05:35 +0200wroathe(~wroathe@user/wroathe)
2022-10-16 08:07:41 +0200raym(~aritra@user/raym)
2022-10-16 08:07:50 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2022-10-16 08:08:44 +0200 <maybefbi> never mind I was running both ALE and COC and ALE wasn't configured correctly
2022-10-16 08:10:03 +0200zaquest(~notzaques@5.130.79.72)
2022-10-16 08:13:07 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-16 08:13:13 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2022-10-16 08:14:43 +0200elbear(~lucian@188.24.138.239)
2022-10-16 08:15:06 +0200nate1(~nate@98.45.169.16)
2022-10-16 08:19:42 +0200nate1(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-10-16 08:23:17 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2022-10-16 08:24:51 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 260 seconds)
2022-10-16 08:28:21 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection)
2022-10-16 08:28:40 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2022-10-16 08:32:00 +0200chomwitt(~chomwitt@2a02:587:dc1e:5e00:6d70:b0c1:e403:3e35) (Ping timeout: 268 seconds)
2022-10-16 08:32:44 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-16 08:35:54 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection)
2022-10-16 08:37:25 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-16 08:45:32 +0200elbear(~lucian@188.24.138.239)
2022-10-16 08:45:32 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-10-16 08:47:12 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-10-16 08:49:08 +0200nate1(~nate@98.45.169.16)
2022-10-16 08:50:50 +0200acidjnk(~acidjnk@p200300d6e7137a97757f3da0b831f184.dip0.t-ipconnect.de)
2022-10-16 08:54:01 +0200nate1(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-10-16 09:07:17 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 09:12:44 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-10-16 09:25:45 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-10-16 09:27:33 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 09:28:23 +0200maybefbi(~maybefbi@gateway/tor-sasl/maybefbi) (Remote host closed the connection)
2022-10-16 09:28:43 +0200maybefbi(~maybefbi@gateway/tor-sasl/maybefbi)
2022-10-16 09:29:37 +0200Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer)
2022-10-16 09:30:01 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 250 seconds)
2022-10-16 09:30:03 +0200Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2022-10-16 09:31:09 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-16 09:31:20 +0200maybefbi(~maybefbi@gateway/tor-sasl/maybefbi) (Remote host closed the connection)
2022-10-16 09:31:40 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-16 09:32:02 +0200maybefbi(~maybefbi@gateway/tor-sasl/maybefbi)
2022-10-16 09:36:31 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 250 seconds)
2022-10-16 09:53:12 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 264 seconds)
2022-10-16 09:59:55 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 10:02:42 +0200mikoto-chan(~mikoto-ch@2001:999:408:6910:70c3:b5c6:4787:d89a)
2022-10-16 10:04:23 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-10-16 10:13:45 +0200jtomas(~jtomas@90.red-88-17-81.dynamicip.rima-tde.net)
2022-10-16 10:16:34 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-10-16 10:16:35 +0200razetime(~quassel@117.193.6.229) (Ping timeout: 248 seconds)
2022-10-16 10:16:53 +0200Tuplanolla(~Tuplanoll@91-159-69-34.elisa-laajakaista.fi)
2022-10-16 10:20:04 +0200talismanick(~talismani@2601:200:c100:c9e0::1b0b)
2022-10-16 10:20:22 +0200talismanick(~talismani@2601:200:c100:c9e0::1b0b) (Remote host closed the connection)
2022-10-16 10:20:37 +0200talismanick(~talismani@2601:200:c100:c9e0::1b0b)
2022-10-16 10:25:57 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-10-16 10:26:43 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-10-16 10:26:48 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-10-16 10:32:59 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 10:40:11 +0200acidjnk(~acidjnk@p200300d6e7137a97757f3da0b831f184.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-10-16 10:40:17 +0200razetime(~quassel@117.193.6.229)
2022-10-16 10:42:02 +0200razetime(~quassel@117.193.6.229) (Client Quit)
2022-10-16 10:42:30 +0200razetime(~quassel@117.193.6.229)
2022-10-16 10:42:42 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-10-16 10:44:51 +0200loras(~loras@c-73-139-125-125.hsd1.fl.comcast.net) (Ping timeout: 260 seconds)
2022-10-16 10:48:55 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 10:51:40 +0200elbear(~lucian@188.24.138.239)
2022-10-16 10:54:27 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 248 seconds)
2022-10-16 10:56:57 +0200chomwitt(~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121)
2022-10-16 10:59:48 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 264 seconds)
2022-10-16 11:00:07 +0200desophos[m](~desophosm@2001:470:69fc:105::2:81d9) (Quit: You have been kicked for being idle)
2022-10-16 11:04:52 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2022-10-16 11:07:06 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 11:09:23 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-10-16 11:12:02 +0200Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-10-16 11:12:33 +0200Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57)
2022-10-16 11:19:31 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-16 11:24:11 +0200elbear(~lucian@188.24.138.239)
2022-10-16 11:25:15 +0200nate1(~nate@98.45.169.16)
2022-10-16 11:26:48 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-10-16 11:29:05 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-16 11:30:11 +0200nate1(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-10-16 11:31:00 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 264 seconds)
2022-10-16 11:35:35 +0200acidjnk(~acidjnk@p200300d6e7137a9778a11ba6ca1c845e.dip0.t-ipconnect.de)
2022-10-16 11:37:34 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-10-16 11:41:36 +0200nate1(~nate@98.45.169.16)
2022-10-16 11:46:12 +0200nschoe(~q@2a01:e0a:8e:a190:8b99:3125:534a:6688)
2022-10-16 11:46:12 +0200nschoe(~q@2a01:e0a:8e:a190:8b99:3125:534a:6688) (Client Quit)
2022-10-16 11:46:54 +0200nate1(~nate@98.45.169.16) (Ping timeout: 264 seconds)
2022-10-16 11:59:28 +0200Midjak(~Midjak@82.66.147.146)
2022-10-16 11:59:51 +0200talismanick(~talismani@2601:200:c100:c9e0::1b0b) (Ping timeout: 268 seconds)
2022-10-16 12:00:03 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-16 12:02:22 +0200szkl(uid110435@uxbridge.irccloud.com)
2022-10-16 12:04:15 +0200 <stefan-_> I am currently trying to compile: https://github.com/Hakuyume/pandoc-filter-graphviz
2022-10-16 12:04:22 +0200 <stefan-_> I installed GHC via GHCup
2022-10-16 12:04:33 +0200 <stefan-_> now libghc-pandoc-dev seems missing
2022-10-16 12:04:54 +0200 <stefan-_> how should I install this one? via: apt install libghc-pandoc-dev?
2022-10-16 12:05:11 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130)
2022-10-16 12:11:40 +0200freeside(~mengwong@103.252.202.193)
2022-10-16 12:13:48 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-10-16 12:19:15 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-10-16 12:23:00 +0200 <[Leary]> stefan-_: libghc-* packages from apt are presumably only visible to ghc from apt. Ideally, that wouldn't matter, and you'd just use ghc and cabal from GHCup to compile the project, but... for some reason it's not a cabal package. Try using this PR fork instead <https://github.com/meck/pandoc-filter-graphviz>, noting the changed README.
2022-10-16 12:24:31 +0200shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-10-16 12:30:59 +0200tam-carre(~tam-carre@2a01cb088a83b300a322b3f387318318.ipv6.abo.wanadoo.fr)
2022-10-16 12:33:52 +0200elbear(~lucian@188.24.138.239)
2022-10-16 12:38:42 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 268 seconds)
2022-10-16 12:39:03 +0200 <stefan-_> [Leary], thanks, this worked
2022-10-16 12:39:18 +0200 <stefan-_> at first cabal install gave this error: https://gist.github.com/dozed/a52a5589d86e6c67207e41682fa786ce
2022-10-16 12:39:45 +0200 <stefan-_> what helped was to change "pandoc-types ^>= 1.20" to "pandoc-types ^>= 1.22"
2022-10-16 12:42:11 +0200 <stefan-_> although I am not really sure why "cabal install" rejected base, the project definition has a constraint "base == 4.*" which should match some of those which have been rejected
2022-10-16 12:46:45 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-10-16 12:50:48 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 264 seconds)
2022-10-16 12:51:47 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds)
2022-10-16 12:52:21 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-16 12:52:21 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-16 12:52:21 +0200wroathe(~wroathe@user/wroathe)
2022-10-16 12:53:29 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-10-16 12:57:08 +0200 <jackdk> It says why - cabal tried bytestring-0.10.2 because pandoc-types-1.20 had bytestring >=0.9 && <0.11 so it couldn't pick anything newer. Then that forced it to reject the base version that came with your GHC because bytestring-0.10.2 required base >=4.2&&<4.16. Then it rejected every other base version because it needs to use the installed one.
2022-10-16 12:57:51 +0200mikoto-chan(~mikoto-ch@2001:999:408:6910:70c3:b5c6:4787:d89a) (Ping timeout: 260 seconds)
2022-10-16 12:58:11 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 248 seconds)
2022-10-16 13:04:47 +0200tam-carre(~tam-carre@2a01cb088a83b300a322b3f387318318.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2022-10-16 13:06:15 +0200acidjnk(~acidjnk@p200300d6e7137a9778a11ba6ca1c845e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-10-16 13:06:15 +0200elbear(~lucian@188.24.138.239)
2022-10-16 13:06:57 +0200 <stefan-_> jackdk, isnt it possible to install a different "base" version?
2022-10-16 13:10:11 +0200 <jackdk> Only by changing your GHC
2022-10-16 13:10:41 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 260 seconds)
2022-10-16 13:11:22 +0200 <stefan-_> ok, good to know, thanks
2022-10-16 13:11:53 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 13:13:52 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-16 13:16:35 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-10-16 13:21:54 +0200mastarija(~mastarija@2a05:4f46:e03:6000:6ca3:9d0e:dc1e:b0d3)
2022-10-16 13:26:11 +0200mmhat(~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de)
2022-10-16 13:36:52 +0200elbear(~lucian@188.24.138.239)
2022-10-16 13:37:01 +0200mmhat(~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-10-16 13:41:12 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 264 seconds)
2022-10-16 13:45:36 +0200titibandit(~titibandi@xdsl-78-34-208-230.nc.de)
2022-10-16 13:48:28 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-16 13:53:37 +0200mastarija(~mastarija@2a05:4f46:e03:6000:6ca3:9d0e:dc1e:b0d3) (Quit: Leaving)
2022-10-16 13:54:05 +0200phma(~phma@host-67-44-208-75.hnremote.net) (Read error: Connection reset by peer)
2022-10-16 13:54:26 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-10-16 13:54:48 +0200phma(~phma@2001:5b0:211f:1308:d609:e9e4:98ee:b5be)
2022-10-16 13:55:49 +0200mmhat(~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de)
2022-10-16 14:06:16 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 14:08:03 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-10-16 14:08:19 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:cc25:90bb:71ed:321e)
2022-10-16 14:12:33 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:cc25:90bb:71ed:321e) (Ping timeout: 250 seconds)
2022-10-16 14:12:50 +0200__monty__(~toonn@user/toonn)
2022-10-16 14:14:33 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-16 14:15:24 +0200titibandit(~titibandi@xdsl-78-34-208-230.nc.de) (Remote host closed the connection)
2022-10-16 14:24:51 +0200elbear(~lucian@188.24.138.239)
2022-10-16 14:29:26 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 260 seconds)
2022-10-16 14:30:56 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-10-16 14:39:21 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2022-10-16 14:45:42 +0200raym(~aritra@user/raym) (Ping timeout: 264 seconds)
2022-10-16 14:49:28 +0200vn36(~vn36@123.63.203.210)
2022-10-16 14:51:04 +0200raym(~aritra@user/raym)
2022-10-16 14:51:49 +0200mikoto-chan(~mikoto-ch@2001:999:408:6910:70c3:b5c6:4787:d89a)
2022-10-16 14:58:54 +0200vn36(~vn36@123.63.203.210) (Ping timeout: 264 seconds)
2022-10-16 15:00:23 +0200vorpuni(~pvorp@2001:861:3881:c690:b2ae:9f1c:150a:3897)
2022-10-16 15:00:36 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 15:00:56 +0200chomwitt(~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121) (Ping timeout: 260 seconds)
2022-10-16 15:03:24 +0200chomwitt(~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121)
2022-10-16 15:05:34 +0200acidjnk(~acidjnk@p200300d6e7137a9778a11ba6ca1c845e.dip0.t-ipconnect.de)
2022-10-16 15:05:46 +0200rumraisin(~tardis@user/phileasfogg) (Quit: It's the only way, then they can all forget me. I got too big, Dorium, too noisy. Time to step back into the shadows.)
2022-10-16 15:06:40 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-10-16 15:06:51 +0200vorpuni(~pvorp@2001:861:3881:c690:b2ae:9f1c:150a:3897) (Quit: bye)
2022-10-16 15:07:19 +0200mikoto-chan(~mikoto-ch@2001:999:408:6910:70c3:b5c6:4787:d89a) (Ping timeout: 268 seconds)
2022-10-16 15:09:02 +0200mikoto-chan(~mikoto-ch@2001:999:788:87ad:fdef:a89c:d986:26e3)
2022-10-16 15:19:36 +0200mikoto-chan(~mikoto-ch@2001:999:788:87ad:fdef:a89c:d986:26e3) (Ping timeout: 260 seconds)
2022-10-16 15:25:21 +0200chomwitt(~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121) (Ping timeout: 250 seconds)
2022-10-16 15:26:17 +0200weier(~z@219.70.204.146)
2022-10-16 15:27:01 +0200weier(~z@219.70.204.146) (Client Quit)
2022-10-16 15:28:12 +0200Everything(~Everythin@37.115.210.35)
2022-10-16 15:29:33 +0200chomwitt(~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121)
2022-10-16 15:35:01 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-10-16 15:39:13 +0200chomwitt(~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121) (Ping timeout: 250 seconds)
2022-10-16 15:39:20 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-10-16 15:39:45 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-10-16 15:43:01 +0200nate1(~nate@98.45.169.16)
2022-10-16 15:47:53 +0200nate1(~nate@98.45.169.16) (Ping timeout: 250 seconds)
2022-10-16 15:49:57 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:2d2c:787e:3174:b740)
2022-10-16 15:57:51 +0200vn36(~vn36@123.63.203.210)
2022-10-16 15:59:19 +0200 <ncf> can someone give me a Prism s t a b -> Prism (c, s) (c, t) (c, a) (c, b)
2022-10-16 16:00:14 +0200 <ncf> aside, got it
2022-10-16 16:00:17 +0200 <ncf> :t aside
2022-10-16 16:00:18 +0200 <lambdabot> (Choice p, Applicative f) => APrism s t a b -> p (e, a) (f (e, b)) -> p (e, s) (f (e, t))
2022-10-16 16:09:46 +0200df(~ben@justworks.xyz)
2022-10-16 16:10:48 +0200abrar(~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 268 seconds)
2022-10-16 16:14:51 +0200notzmv(~zmv@user/notzmv)
2022-10-16 16:19:05 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 250 seconds)
2022-10-16 16:27:23 +0200foul_owl(~kerry@23.82.194.107) (Ping timeout: 252 seconds)
2022-10-16 16:27:23 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) (Ping timeout: 252 seconds)
2022-10-16 16:27:23 +0200TMA(~tma@twin.jikos.cz) (Ping timeout: 252 seconds)
2022-10-16 16:27:31 +0200gabiruh_(~gabiruh@vps19177.publiccloud.com.br) (Remote host closed the connection)
2022-10-16 16:27:35 +0200TMA(tma@twin.jikos.cz)
2022-10-16 16:27:46 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2022-10-16 16:28:07 +0200Unhammer(~Unhammer@user/unhammer) (Ping timeout: 252 seconds)
2022-10-16 16:28:30 +0200[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2022-10-16 16:29:02 +0200Jonno_FTW(~come@api.carswap.me)
2022-10-16 16:29:02 +0200Jonno_FTW(~come@api.carswap.me) (Changing host)
2022-10-16 16:29:02 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346)
2022-10-16 16:29:17 +0200Unhammer(~Unhammer@user/unhammer)
2022-10-16 16:29:23 +0200[Leary](~Leary]@user/Leary/x-0910699)
2022-10-16 16:30:57 +0200elbear(~lucian@188.24.138.239)
2022-10-16 16:32:17 +0200mikoto-chan(~mikoto-ch@2001:999:788:87ad:fdef:a89c:d986:26e3)
2022-10-16 16:32:29 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 16:33:06 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 260 seconds)
2022-10-16 16:37:39 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 252 seconds)
2022-10-16 16:43:08 +0200foul_owl(~kerry@23.82.194.107)
2022-10-16 16:53:11 +0200Topsi(~Topsi@dyndsl-095-033-095-014.ewe-ip-backbone.de)
2022-10-16 17:00:10 +0200phma_(phma@2001:5b0:211b:cec8:f4e4:c97:e3a5:2ba)
2022-10-16 17:00:27 +0200phma(~phma@2001:5b0:211f:1308:d609:e9e4:98ee:b5be) (Read error: Connection reset by peer)
2022-10-16 17:00:41 +0200zeenk(~zeenk@2a02:2f04:a311:7000:aa5:d3dd:854f:9922)
2022-10-16 17:05:51 +0200elbear(~lucian@188.24.138.239)
2022-10-16 17:06:16 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-10-16 17:07:18 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-10-16 17:09:57 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 17:10:17 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 252 seconds)
2022-10-16 17:10:28 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-10-16 17:11:03 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-10-16 17:13:07 +0200mikoto-chan(~mikoto-ch@2001:999:788:87ad:fdef:a89c:d986:26e3) (Ping timeout: 268 seconds)
2022-10-16 17:13:40 +0200mikoto-chan(~mikoto-ch@2001:999:788:d2a:8656:69e:66bc:491a)
2022-10-16 17:14:08 +0200Alex_test(~al_test@178.34.163.70) (Quit: ;-)
2022-10-16 17:14:42 +0200AlexZenon(~alzenon@178.34.163.70) (Quit: ;-)
2022-10-16 17:15:18 +0200AlexNoo(~AlexNoo@178.34.163.70) (Quit: Leaving)
2022-10-16 17:21:03 +0200mikoto-chan(~mikoto-ch@2001:999:788:d2a:8656:69e:66bc:491a) (Ping timeout: 250 seconds)
2022-10-16 17:22:06 +0200vn36(~vn36@123.63.203.210) (Ping timeout: 260 seconds)
2022-10-16 17:24:43 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:cc25:90bb:71ed:321e)
2022-10-16 17:29:01 +0200AlexNoo(~AlexNoo@178.34.163.70)
2022-10-16 17:29:59 +0200AlexZenon(~alzenon@178.34.163.70)
2022-10-16 17:35:05 +0200Alex_test(~al_test@178.34.163.70)
2022-10-16 17:38:48 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-16 17:39:10 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-10-16 17:42:15 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-16 17:45:26 +0200nate1(~nate@98.45.169.16)
2022-10-16 17:46:40 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-10-16 17:47:12 +0200acidjnk(~acidjnk@p200300d6e7137a9778a11ba6ca1c845e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-10-16 17:49:52 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-10-16 17:56:51 +0200[itchyjunk][spookyjunk]
2022-10-16 18:03:07 +0200elbear(~lucian@188.24.138.239)
2022-10-16 18:04:18 +0200nate1(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-10-16 18:07:36 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 264 seconds)
2022-10-16 18:10:26 +0200chomwitt(~chomwitt@2a02:587:dc1e:5e00:ce38:cc46:8d76:ab14)
2022-10-16 18:11:02 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-10-16 18:16:36 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
2022-10-16 18:20:19 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-10-16 18:24:37 +0200vn36__(~vn36@123.63.203.210)
2022-10-16 18:24:39 +0200nate1(~nate@98.45.169.16)
2022-10-16 18:27:11 +0200zer0bitz_(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi)
2022-10-16 18:29:11 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:2d2c:787e:3174:b740) (Ping timeout: 260 seconds)
2022-10-16 18:31:10 +0200ajb(~ajb@mimas.whatbox.ca) (Quit: bye)
2022-10-16 18:32:03 +0200ajb(~ajb@mimas.whatbox.ca)
2022-10-16 18:35:07 +0200ajb(~ajb@mimas.whatbox.ca) (Client Quit)
2022-10-16 18:36:11 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2022-10-16 18:38:11 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 250 seconds)
2022-10-16 18:39:24 +0200zer0bitz_(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 264 seconds)
2022-10-16 18:39:57 +0200zebrag(~chris@user/zebrag)
2022-10-16 18:40:19 +0200zer0bitz(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi)
2022-10-16 18:41:28 +0200zer0bitz_(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi)
2022-10-16 18:42:18 +0200ajb(~ajb@mimas.whatbox.ca)
2022-10-16 18:44:28 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-10-16 18:44:41 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 18:45:15 +0200zer0bitz(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 252 seconds)
2022-10-16 18:45:19 +0200ajb(~ajb@mimas.whatbox.ca) (Client Quit)
2022-10-16 18:46:59 +0200raym(~aritra@user/raym) (Ping timeout: 248 seconds)
2022-10-16 18:47:31 +0200ajb(~ajb@mimas.whatbox.ca)
2022-10-16 18:48:08 +0200beteigeuze1(~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73)
2022-10-16 18:48:55 +0200nate1(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-10-16 18:49:07 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds)
2022-10-16 18:49:07 +0200beteigeuze1beteigeuze
2022-10-16 18:49:37 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:5ce8:1294:916a:ac51)
2022-10-16 18:49:55 +0200elbear(~lucian@188.24.138.239)
2022-10-16 18:51:18 +0200ajb(~ajb@mimas.whatbox.ca) (Client Quit)
2022-10-16 18:52:44 +0200raym(~aritra@user/raym)
2022-10-16 18:52:58 +0200ajb(~ajb@mimas.whatbox.ca)
2022-10-16 18:53:19 +0200zer0bitz_(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 252 seconds)
2022-10-16 18:55:28 +0200Everything(~Everythin@37.115.210.35) (Quit: leaving)
2022-10-16 18:55:30 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:5ce8:1294:916a:ac51) (Read error: Connection reset by peer)
2022-10-16 18:55:34 +0200ss4(~wootehfoo@user/wootehfoot)
2022-10-16 18:55:59 +0200ajb(~ajb@mimas.whatbox.ca) (Client Quit)
2022-10-16 18:56:05 +0200zer0bitz(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi)
2022-10-16 18:57:41 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds)
2022-10-16 18:57:46 +0200td_(~td@83.135.9.32) (Ping timeout: 260 seconds)
2022-10-16 18:58:11 +0200td_(~td@83.135.9.32)
2022-10-16 19:01:07 +0200gentauro(~gentauro@user/gentauro) (Quit: leaving)
2022-10-16 19:02:22 +0200jargon(~jargon@184.101.208.112)
2022-10-16 19:02:23 +0200econo(uid147250@user/econo)
2022-10-16 19:03:36 +0200td_(~td@83.135.9.32) (Ping timeout: 260 seconds)
2022-10-16 19:04:29 +0200td_(~td@83.135.9.32)
2022-10-16 19:05:29 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2022-10-16 19:05:44 +0200perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7)
2022-10-16 19:07:46 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-10-16 19:09:15 +0200gentauro(~gentauro@user/gentauro)
2022-10-16 19:12:43 +0200ajb(~ajb@mimas.whatbox.ca)
2022-10-16 19:12:43 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de) (Quit: WeeChat 3.5)
2022-10-16 19:14:57 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-10-16 19:17:29 +0200zer0bitz_(~zer0bitz@2001:2003:f748:2000:5ce8:1294:916a:ac51)
2022-10-16 19:19:01 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Ping timeout: 246 seconds)
2022-10-16 19:20:48 +0200zer0bitz(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 264 seconds)
2022-10-16 19:22:36 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 264 seconds)
2022-10-16 19:23:06 +0200nattiestnate(~nate@202.138.250.51)
2022-10-16 19:28:20 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 19:30:24 +0200ystael(~ystael@user/ystael) (Quit: Lost terminal)
2022-10-16 19:32:12 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:2439:2ae3:9928:9623)
2022-10-16 19:32:19 +0200mmhat(~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-10-16 19:32:51 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 248 seconds)
2022-10-16 19:33:14 +0200`2jt(~jtomas@49.red-88-17-199.dynamicip.rima-tde.net)
2022-10-16 19:34:05 +0200zer0bitz_(~zer0bitz@2001:2003:f748:2000:5ce8:1294:916a:ac51) (Ping timeout: 250 seconds)
2022-10-16 19:34:42 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-10-16 19:34:59 +0200jtomas(~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) (Ping timeout: 248 seconds)
2022-10-16 19:37:25 +0200td_(~td@83.135.9.32) (Ping timeout: 268 seconds)
2022-10-16 19:40:43 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 19:42:32 +0200td_(~td@83.135.9.32)
2022-10-16 19:44:40 +0200gmg(~user@user/gehmehgeh)
2022-10-16 19:44:40 +0200mmhat(~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de)
2022-10-16 19:44:44 +0200freeside(~mengwong@103.252.202.193)
2022-10-16 19:45:19 +0200 <zzz> i want to download a package with `cabal get` an have it as a local dependency to my project so i can make personal modifications to it. how should my .cabal look like?
2022-10-16 19:47:10 +0200maybefbi(~maybefbi@gateway/tor-sasl/maybefbi) (Remote host closed the connection)
2022-10-16 19:47:13 +0200 <hpc> https://cabal.readthedocs.io/en/latest/cabal-project.html might be of interest
2022-10-16 19:49:07 +0200 <zzz> thank you
2022-10-16 19:49:14 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-16 19:49:15 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 250 seconds)
2022-10-16 19:49:27 +0200zer0bitz_(~zer0bitz@2001:2003:f748:2000:259b:b5ef:6a43:8c39)
2022-10-16 19:50:51 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:2439:2ae3:9928:9623) (Ping timeout: 260 seconds)
2022-10-16 19:51:58 +0200Sgeo(~Sgeo@user/sgeo)
2022-10-16 19:53:13 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-10-16 19:54:14 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-10-16 19:56:12 +0200td_(~td@83.135.9.32) (Ping timeout: 264 seconds)
2022-10-16 19:57:54 +0200td_(~td@83.135.9.59)
2022-10-16 19:58:44 +0200 <zzz> oh wait does this mean i have to create a package?
2022-10-16 19:59:31 +0200`2jt(~jtomas@49.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 248 seconds)
2022-10-16 19:59:57 +0200 <geekosaur> nope
2022-10-16 20:00:48 +0200 <geekosaur> a "package" in cabal.project speak is something that has a cabal file (see "packages:"
2022-10-16 20:00:50 +0200 <geekosaur> )
2022-10-16 20:01:09 +0200 <zzz> nvm, i meant "project"
2022-10-16 20:01:42 +0200 <zzz> so i need to create a project
2022-10-16 20:01:47 +0200 <geekosaur> a "project" is just something with a cabal.project, nothing fancier
2022-10-16 20:02:13 +0200 <zzz> i'm reading up on it
2022-10-16 20:02:28 +0200 <geekosaur> I have a local "project" which is just a collection of semi-related single-file programs
2022-10-16 20:02:31 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 260 seconds)
2022-10-16 20:02:42 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130)
2022-10-16 20:03:15 +0200 <zzz> i can see how that's useful
2022-10-16 20:03:31 +0200 <hpc> some people even make an everything project - all their packages go into it just for convenience
2022-10-16 20:04:19 +0200 <geekosaur> and 99% of what it does is keep HLS mostly happy
2022-10-16 20:04:34 +0200Sgeo(~Sgeo@user/sgeo)
2022-10-16 20:04:35 +0200Sgeo(~Sgeo@user/sgeo) (Remote host closed the connection)
2022-10-16 20:04:45 +0200Sgeo(~Sgeo@user/sgeo)
2022-10-16 20:06:18 +0200freeside(~mengwong@103.252.202.193)
2022-10-16 20:06:38 +0200 <c_wraith> speaking of cabal... does anyone else feel like it's more complicated than it should be to have tests for an executable?
2022-10-16 20:08:15 +0200 <davean> c_wraith: ugh for an executable? Yes, though you need an entirely different type of testing for them.
2022-10-16 20:09:41 +0200 <c_wraith> Err, I meant to have tests for portions of the code in an executable section.
2022-10-16 20:09:51 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2022-10-16 20:10:00 +0200 <c_wraith> To avoid double compilation, put things you're going to test into a library that both the executable and the tests depend on. Oh, you want to use cabal repl to work with your code interactively? Ok, you need to put *everything* into the library portion then if you want to be able to have it all in scope at once.
2022-10-16 20:10:35 +0200 <c_wraith> But it can't be a private library because you can't have private libraries in a cabal file unless you've also got a public library
2022-10-16 20:11:16 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 260 seconds)
2022-10-16 20:12:00 +0200 <c_wraith> why can't cabal just treat executables as private libraries in the first place? Yes, that'll make compiling them a little more complex, but it'd be worth it for making cabal files simpler in a common case
2022-10-16 20:12:41 +0200 <EvanR> private library, public library?
2022-10-16 20:13:23 +0200 <davean> c_wraith: fix it
2022-10-16 20:13:24 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-10-16 20:13:28 +0200zeenk(~zeenk@2a02:2f04:a311:7000:aa5:d3dd:854f:9922) (Quit: Konversation terminated!)
2022-10-16 20:13:34 +0200 <c_wraith> EvanR: a private library is only available to be depended on by other targets in the same cabal file
2022-10-16 20:14:34 +0200 <c_wraith> EvanR: the default is a public library, which other packages can depend on
2022-10-16 20:14:42 +0200 <EvanR> guess I didn't even think about an application (written mostly as a library for reasons) would even be used as an actual library by someone else but I guess that makes a lot of sense
2022-10-16 20:14:55 +0200 <geekosaur> makes sense to me
2022-10-16 20:15:13 +0200 <EvanR> now I'm questioning the private library idea xD
2022-10-16 20:15:24 +0200 <geekosaur> been lots of times I wished I could do that instead of having to work out how to talk to an external program
2022-10-16 20:15:41 +0200 <EvanR> that's like not exposing an internal module
2022-10-16 20:16:03 +0200 <geekosaur> private libs are for code organization. although I think as of 3.8 you can make those public too?
2022-10-16 20:16:28 +0200 <geekosaur> with some new syntax for depending on named libs in other packages
2022-10-16 20:16:56 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-16 20:17:00 +0200 <c_wraith> Yeah. Overall I'm not terribly excited by private libraries, but for things like executables they appeal to me.
2022-10-16 20:17:11 +0200 <davean> geekosaur: Sometimes they're the only way to optimize things too
2022-10-16 20:17:36 +0200zer0bitz(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi)
2022-10-16 20:17:38 +0200 <davean> Oh yes, private libraries allow some optimizations, but thats way too large a discussion to get into
2022-10-16 20:18:43 +0200zer0bitz_(~zer0bitz@2001:2003:f748:2000:259b:b5ef:6a43:8c39) (Ping timeout: 250 seconds)
2022-10-16 20:20:12 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-10-16 20:20:13 +0200freeside(~mengwong@103.252.202.193)
2022-10-16 20:21:41 +0200 <zzz> why do we need to list dependencies where it should be obvious from the imports?
2022-10-16 20:21:53 +0200zer0bitz_(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi)
2022-10-16 20:21:58 +0200 <zzz> always seemed redundant to me
2022-10-16 20:22:32 +0200 <hpc> imports are modules, dependencies are packages
2022-10-16 20:22:34 +0200 <geekosaur> becuase imports aren't necessarily one to one with packages
2022-10-16 20:22:37 +0200 <hpc> two packages can define the same module
2022-10-16 20:22:49 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-10-16 20:22:58 +0200 <hpc> imports also don't capture version constraints
2022-10-16 20:23:31 +0200zer0bitz(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 248 seconds)
2022-10-16 20:23:39 +0200 <hpc> if you are importing say, Data.Text, but you know you need text >= 1.2.0.0
2022-10-16 20:23:47 +0200 <hpc> well, previous text versions also have that module
2022-10-16 20:24:08 +0200ephaptic(~mbomba@cpe1c9eccdb0b75-cm1c9eccdb0b73.cpe.net.cable.rogers.com)
2022-10-16 20:24:14 +0200 <zzz> so i'm using the wrong terminology. i guess what i meant is "why do we have to list other-modules?"
2022-10-16 20:24:19 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Quit: ,-)
2022-10-16 20:24:31 +0200 <davean> hpc: well, we CAN package import
2022-10-16 20:24:31 +0200 <hpc> ah
2022-10-16 20:24:37 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 252 seconds)
2022-10-16 20:25:04 +0200loras(~loras@c-73-139-125-125.hsd1.fl.comcast.net)
2022-10-16 20:25:15 +0200 <hpc> https://cabal.readthedocs.io/en/latest/cabal-package.html#pkg-field-other-modules
2022-10-16 20:27:15 +0200 <hpc> i haven't ever had to get very far into why, but ^ explains what other-modules means
2022-10-16 20:28:06 +0200 <zzz> i know what it means, i just always found it weird that we *have* to list them
2022-10-16 20:28:19 +0200 <hpc> ah, yeah that i am not sure on
2022-10-16 20:29:11 +0200 <hpc> maybe to make sure those modules exist at runtime, as opposed to stuff only needed at build time somehow?
2022-10-16 20:31:50 +0200nattiestnate(~nate@202.138.250.51) (Quit: WeeChat 3.7)
2022-10-16 20:32:51 +0200elbear(~lucian@188.24.138.239) (Ping timeout: 260 seconds)
2022-10-16 20:35:28 +0200freeside(~mengwong@103.252.202.193)
2022-10-16 20:36:17 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 20:40:16 +0200 <geekosaur> because sdist would leave them out otherwise and nobody else would be able to build it, aiui
2022-10-16 20:40:19 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 268 seconds)
2022-10-16 20:41:02 +0200 <geekosaur> cabal would otherwise need to track used modules/files during a build and remember it for building a distribution tarball
2022-10-16 20:41:45 +0200 <EvanR> I tried moving all my other-modules to exposed-modules of the (public) library they should be from, and building the executable warns nothing is listed in other-modules
2022-10-16 20:41:56 +0200 <EvanR> but still builds
2022-10-16 20:45:35 +0200vn36__(~vn36@123.63.203.210) (Ping timeout: 250 seconds)
2022-10-16 20:45:46 +0200 <EvanR> the cabal manual posted above seems to suggest you don't need this if you don't want to hide the modules
2022-10-16 20:46:20 +0200jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2022-10-16 20:46:25 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-10-16 20:46:28 +0200 <geekosaur> I mentioned those single-file programs earlier? no other-modules
2022-10-16 20:46:37 +0200 <geekosaur> then again also no libraries
2022-10-16 20:46:40 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-10-16 20:46:43 +0200 <geekosaur> aside from deps
2022-10-16 20:47:29 +0200vn36_(~vn36@123.63.203.210)
2022-10-16 20:48:20 +0200causal(~user@50.35.83.177)
2022-10-16 20:48:21 +0200ddellacosta(~ddellacos@143.244.47.82)
2022-10-16 20:48:57 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-10-16 20:49:05 +0200acidjnk(~acidjnk@p200300d6e7137a21d59bab4b536388a8.dip0.t-ipconnect.de)
2022-10-16 20:49:33 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-10-16 20:50:38 +0200razetime(~quassel@117.193.6.229) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-10-16 20:56:46 +0200 <EvanR> so you have no other-modules, but also no imports other than the external deps
2022-10-16 20:57:19 +0200 <EvanR> i'll try a "private" library then
2022-10-16 20:57:36 +0200 <pareto-optimal-d> Has anyone else observed that codebases that avoid lenses nearly always only design flat data types rather than nested or embedded ones? For instance pro lens might have a nested data type allowing `person.favoriteFoods[0].ingredients[0]` while those avoiding lens will have functions to 1) get a person 2) get favorite foods relating to that person, take first 3) get ingredients related to favorite foods, take first.
2022-10-16 20:59:12 +0200 <pareto-optimal-d> Taking that thought further, codebases that avoid lenses skew heavily towards using database types as domain types because their access patterns are the basically the same.
2022-10-16 20:59:51 +0200 <pareto-optimal-d> avoid lenses is also kind of synonymous here with "nested data access is annoying" in a pre-record dot accessor world.
2022-10-16 21:00:28 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 21:00:36 +0200 <[exa]> pareto-optimal-d: any example of such packages btw?
2022-10-16 21:01:11 +0200nate1(~nate@98.45.169.16)
2022-10-16 21:01:41 +0200 <[exa]> pareto-optimal-d: anyway I'm usually trying to avoid data structure nesting in any language, it kinda reduces the composability of the data ("in which person's fav list did I forget this ingredient?")
2022-10-16 21:02:13 +0200 <[exa]> (unless you're sure the data model is strictly tree-ish ofc, as with e.g. ASTs)
2022-10-16 21:02:44 +0200 <EvanR> deeply nested data kind of never made sense to me, lens or not
2022-10-16 21:03:09 +0200 <EvanR> I was always more into relational database like data
2022-10-16 21:03:36 +0200 <EvanR> which is neither flat or deeply nested
2022-10-16 21:03:46 +0200 <pareto-optimal-d> A positive of nested is you can do things like `person ^.. favoriteFoods . traverse . ingredients`. A negative is if `favoriteFoods` is very large that's all loaded into the nested data type.
2022-10-16 21:04:36 +0200 <EvanR> I always found the particular nesting to be for a particular problem, like a document someone wanted. And the composition needed to be rearranged for other problems
2022-10-16 21:04:46 +0200geekosauris ex-rdbms person and tends to still work that way
2022-10-16 21:04:52 +0200 <EvanR> and there was no right true nesting
2022-10-16 21:04:53 +0200 <pareto-optimal-d> Yeah, the annoying thing about keeping things relational in my opinion is having to stitch things together yourself with maps if you're past the query stage.
2022-10-16 21:04:56 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2022-10-16 21:06:01 +0200 <pareto-optimal-d> This is more a thought experiment for me since most of my experience has been with treating and modeling data as relational... so maybe it's a grass is greener on the other side thing... not sure yet.
2022-10-16 21:06:15 +0200 <[exa]> pareto-optimal-d: the usual problem with the nesting that I often run into is sharing, such as 2 people share favorite rice and you want to add a tiny bit of information into the rice structure, boom you either get food references to "global" foods or need to do that at 2 places
2022-10-16 21:06:23 +0200 <EvanR> stitching together from the pieces, without or without a language for that, is still easier that unstiching first and restitching. But I hear they have languages for that too now
2022-10-16 21:06:53 +0200 <[exa]> as in, most real-world data models can be deconstructed to DAGs, but not plain trees.
2022-10-16 21:08:16 +0200 <[exa]> pareto-optimal-d: otoh yeah this is most likely my gripes after failing too much with nested information, maybe I'm doing it wrong (as with unnesting you need to keep indexes, maybe with nested I'd need to systematically keep some rules of thumb too and then it would work)
2022-10-16 21:08:51 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 248 seconds)
2022-10-16 21:08:57 +0200 <EvanR> this is where sets and relations comes in
2022-10-16 21:09:09 +0200 <EvanR> all the indexing abstracted
2022-10-16 21:09:46 +0200 <EvanR> need a relational algebra lens
2022-10-16 21:10:05 +0200 <[exa]> oh yes pls
2022-10-16 21:10:12 +0200 <pareto-optimal-d> I also have domain driven design in mind quite a bit here for writing domain logic if that changes anything, though it's not necessarily required to embrance nested over flat data.
2022-10-16 21:10:28 +0200 <pareto-optimal-d> haha I was thinking about that too
2022-10-16 21:10:41 +0200 <[exa]> pareto-optimal-d: well, if you're designing your data model and you can make it safely tree-ish, by all means do :D
2022-10-16 21:11:05 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2022-10-16 21:11:17 +0200lbseale_(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-10-16 21:11:43 +0200freeside(~mengwong@103.252.202.193)
2022-10-16 21:11:54 +0200 <pareto-optimal-d> I suppose part of my thoughts are driven by annoyance when something is properly designed as nested, but other incentives push towards modelling data flat instead even though it provides a much worse experience for common use-cases.
2022-10-16 21:12:04 +0200lbseale(~quassel@user/ep1ctetus)
2022-10-16 21:12:51 +0200lbseale(~quassel@user/ep1ctetus) (Client Quit)
2022-10-16 21:13:36 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 264 seconds)
2022-10-16 21:13:59 +0200 <EvanR> designed flat, or designed nested, => viewed flat or viewed nested
2022-10-16 21:14:20 +0200lbseale(~quassel@user/ep1ctetus)
2022-10-16 21:15:00 +0200 <pareto-optimal-d> I'll try to come up with some examples though. I'm writing some notes along the lines of this discussion and figured others thoughts might help me materialize my thoughts (and they have so thanks :) )
2022-10-16 21:16:42 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 268 seconds)
2022-10-16 21:16:55 +0200geekosaurwonders if there's an sql variant that can be taught to use arrays/vectors of records as local tables and sets/bags/hashmaps/etc. as local indexes
2022-10-16 21:18:03 +0200 <geekosaur> (sadly any such work is probably in C/C++ and therefore has no real data structures to treat as such)
2022-10-16 21:18:26 +0200 <geekosaur> (well, okay, these days C++ has some, but yuck)
2022-10-16 21:18:27 +0200titibandit(~titibandi@xdsl-78-34-208-230.nc.de)
2022-10-16 21:19:11 +0200rockystone(~rocky@user/rockymarine)
2022-10-16 21:27:31 +0200nate1(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-10-16 21:28:48 +0200geekosaursees shellcheck pop up elsewhere and grins
2022-10-16 21:31:48 +0200 <hpc> geekosaur: there's an sqlite joke in there somewhere
2022-10-16 21:35:37 +0200freeside(~mengwong@103.252.202.193)
2022-10-16 21:36:31 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.6)
2022-10-16 21:37:00 +0200michalz(~michalz@185.246.207.203)
2022-10-16 21:37:13 +0200shinjipf(~shinjipf@2a02:c207:2082:6685::1) (Quit: Shinji leaves)
2022-10-16 21:39:29 +0200shinjipf(~shinjipf@2a01:4f8:1c1c:c1be::1)
2022-10-16 21:43:18 +0200beteigeuze(~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73) (Ping timeout: 264 seconds)
2022-10-16 21:44:02 +0200beteigeuze(~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df)
2022-10-16 21:44:11 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 252 seconds)
2022-10-16 21:48:25 +0200beteigeuze(~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) (Read error: Connection reset by peer)
2022-10-16 21:48:45 +0200beteigeuze(~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df)
2022-10-16 21:52:55 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-16 21:56:25 +0200pavonia(~user@user/siracusa)
2022-10-16 21:57:18 +0200freeside(~mengwong@103.252.202.193)
2022-10-16 21:57:54 +0200wroathe(~wroathe@50.205.197.50)
2022-10-16 21:57:54 +0200wroathe(~wroathe@50.205.197.50) (Changing host)
2022-10-16 21:57:54 +0200wroathe(~wroathe@user/wroathe)
2022-10-16 22:01:43 +0200Kaipei(~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds)
2022-10-16 22:02:20 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 268 seconds)
2022-10-16 22:02:33 +0200ephaptic(~mbomba@cpe1c9eccdb0b75-cm1c9eccdb0b73.cpe.net.cable.rogers.com) (Quit: WeeChat 3.7)
2022-10-16 22:03:35 +0200vn36_(~vn36@123.63.203.210) (Ping timeout: 250 seconds)
2022-10-16 22:05:54 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:cc25:90bb:71ed:321e) (Remote host closed the connection)
2022-10-16 22:10:42 +0200nate1(~nate@98.45.169.16)
2022-10-16 22:11:04 +0200perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-10-16 22:13:58 +0200 <DigitalKiwi> of course i use haskell in production; all of my bash scripts are shellchecked!
2022-10-16 22:15:09 +0200 <hpc> all your documentation is pandoc'd too?
2022-10-16 22:15:17 +0200nate1(~nate@98.45.169.16) (Ping timeout: 250 seconds)
2022-10-16 22:15:57 +0200 <DigitalKiwi> yeah all none of it
2022-10-16 22:16:11 +0200 <DigitalKiwi> i do use hakyll though lol
2022-10-16 22:25:08 +0200nate1(~nate@98.45.169.16)
2022-10-16 22:25:44 +0200codaraxis__(~codaraxis@user/codaraxis)
2022-10-16 22:28:09 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-10-16 22:28:29 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-10-16 22:29:33 +0200codaraxis___(~codaraxis@user/codaraxis) (Ping timeout: 268 seconds)
2022-10-16 22:29:33 +0200freeside(~mengwong@103.252.202.193)
2022-10-16 22:29:46 +0200causal(~user@50.35.83.177)
2022-10-16 22:33:50 +0200 <DigitalKiwi> can't be lied to by documentation if there is none *taps head*
2022-10-16 22:33:55 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 250 seconds)
2022-10-16 22:34:19 +0200 <lagash> geekosaur: can't wait to see that DFA engine get merged!
2022-10-16 22:34:50 +0200 <geekosaur> sorry, didn't mean to imply I'm involved with it
2022-10-16 22:35:02 +0200 <geekosaur> just watching haskell-based tools pop up in unexpected places
2022-10-16 22:35:09 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:2cdc:664b:bb96:11d6)
2022-10-16 22:35:09 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-10-16 22:35:20 +0200 <geekosaur> see pandoc all over the place these days too
2022-10-16 22:35:48 +0200 <DigitalKiwi> code does what it does. docs at best give an approximation to what someone at some point thought the code did and at worse lies lol
2022-10-16 22:36:43 +0200 <tomsmeding> DigitalKiwi: living the good life
2022-10-16 22:36:49 +0200 <DigitalKiwi> :D
2022-10-16 22:37:04 +0200 <EvanR> even better, non existent code can't have any bugs
2022-10-16 22:37:30 +0200 <EvanR> no docs and no code paradigm
2022-10-16 22:37:45 +0200 <DigitalKiwi> fr fr
2022-10-16 22:37:47 +0200 <tomsmeding> no, then you get low-code, which is worse
2022-10-16 22:38:56 +0200Luj3(~Luj@2a01:e0a:5f9:9681:2071:e834:e16a:b87d) (Quit: Ping timeout (120 seconds))
2022-10-16 22:39:14 +0200Luj3(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb)
2022-10-16 22:42:44 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-10-16 22:44:56 +0200 <DigitalKiwi> https://twitter.com/Foone/status/1581643197427523584
2022-10-16 22:47:28 +0200 <EvanR> a big factorio twitter thread
2022-10-16 22:49:53 +0200 <disco-dave[m]> How are you supposed to read the error messages related to error bounds from cabal? For example in the following, why does it reject pango-0.13.8.2? https://paste.tomsmeding.com/4lJjQf7F
2022-10-16 22:50:25 +0200hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2022-10-16 22:52:59 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-16 22:53:16 +0200 <sm> disco-dave: with difficulty and practice
2022-10-16 22:54:00 +0200 <tomsmeding> you're missing the system package 'pango', or at least the pkg-config db entry for it
2022-10-16 22:54:10 +0200 <sm> since it mentions pkg-config, I'd guess there's a required pango C lib that you need to install
2022-10-16 22:54:11 +0200 <tomsmeding> but I wholeheartedly agree with sm
2022-10-16 22:54:55 +0200 <tomsmeding> pango-0.13.* would have been acceptable, were it not for the "conflict" (interesting choice of phrasing) that the pkg-config package pango>=1.0 was not found
2022-10-16 22:55:25 +0200 <tomsmeding> then it rejects (and skips, after rejecting the first) all pango-0.12.* and lower because xmobar has a pango>=0.13 constraint
2022-10-16 22:55:32 +0200 <tomsmeding> that's the interpretation
2022-10-16 22:56:50 +0200hashn3rd(~hashn3rd@ip72-221-42-80.ks.ks.cox.net)
2022-10-16 22:57:40 +0200 <tomsmeding> disco-dave[m]: hope that helps :)
2022-10-16 22:58:38 +0200 <disco-dave[m]> thanks for the help tomsmeding and sm I can see via pacman that I have pango installed, but maybe the one I have doesn't include the headers. I'll dig around
2022-10-16 22:58:57 +0200titibandit(~titibandi@xdsl-78-34-208-230.nc.de) (Remote host closed the connection)
2022-10-16 22:59:12 +0200 <sm> often most of the error output is irrelevant, look for the one line that matters
2022-10-16 22:59:36 +0200 <EvanR> maybe there should be a flag which shows only the relevant line xD
2022-10-16 22:59:56 +0200 <tomsmeding> disco-dave[m]: if you're on Arch: I have /usr/lib/pkgconfig/pango.pc owned by the 'pango' package
2022-10-16 23:00:01 +0200 <sm> excellent idea EvanR
2022-10-16 23:00:15 +0200 <tomsmeding> EvanR: we volunteer you for implementing it!
2022-10-16 23:00:29 +0200 <sm> off by default of course
2022-10-16 23:00:32 +0200 <tomsmeding> yes
2022-10-16 23:00:50 +0200 <EvanR> at least after that task I might understand cabal
2022-10-16 23:01:31 +0200 <tomsmeding> disco-dave[m]: for context, in case you don't know much about pkg-config: those .pc files are the pkg-config database, as it were, so the error you're getting makes me think you have no pango.pc in the expected places on your system
2022-10-16 23:01:59 +0200 <tomsmeding> in general not all packages have a corresponding .pc file, but (apparently, on Arch at least -- I'm assuming Arch because you say pacman) pango does
2022-10-16 23:02:46 +0200mmhat(~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-10-16 23:03:08 +0200freeside(~mengwong@103.252.202.193)
2022-10-16 23:03:26 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-10-16 23:07:17 +0200biberu(~biberu@user/biberu)
2022-10-16 23:08:12 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 264 seconds)
2022-10-16 23:09:01 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 268 seconds)
2022-10-16 23:10:33 +0200 <disco-dave[m]> @tomsmeding I am on arch linux. I can see I have /usr/lib/pkgconfig/pango.pc file on my computer, is this not the right place?
2022-10-16 23:10:33 +0200 <lambdabot> Unknown command, try @list
2022-10-16 23:11:03 +0200 <disco-dave[m]> * tomsmeding: I am on arch linux. I can see I have /usr/lib/pkgconfig/pango.pc file on my computer, is this not the right place?
2022-10-16 23:11:19 +0200 <geekosaur> it was looking for a version > 1.0. check inside it and see if it provides a suitable version
2022-10-16 23:11:24 +0200 <geekosaur> it's a text file
2022-10-16 23:12:30 +0200 <geekosaur> I have 1.44.7 locally (I'm on Ubuntu 20.04.1)
2022-10-16 23:16:09 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net)
2022-10-16 23:16:17 +0200mmhat(~mmh@p200300f1c73377b2ee086bfffe095315.dip0.t-ipconnect.de)
2022-10-16 23:17:25 +0200Kaipei(~Kaiepi@142.68.249.28)
2022-10-16 23:18:55 +0200ss4(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-10-16 23:19:37 +0200hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com)
2022-10-16 23:20:20 +0200 <disco-dave[m]> Mine says 1.50.11. Here are its complete contents https://paste.tomsmeding.com/bVRDu9k5
2022-10-16 23:21:39 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-10-16 23:23:08 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-10-16 23:23:10 +0200AlexZenon(~alzenon@178.34.163.70) (Quit: ;-)
2022-10-16 23:23:40 +0200Alex_test(~al_test@178.34.163.70) (Quit: ;-)
2022-10-16 23:24:53 +0200AlexNoo(~AlexNoo@178.34.163.70) (Quit: Leaving)
2022-10-16 23:25:41 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2022-10-16 23:29:44 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-10-16 23:30:44 +0200AlexNoo(~AlexNoo@178.34.163.70)
2022-10-16 23:31:04 +0200AlexZenon(~alzenon@178.34.163.70)
2022-10-16 23:32:00 +0200Alex_test(~al_test@178.34.163.70)
2022-10-16 23:33:21 +0200zer0bitz_(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-10-16 23:33:33 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130)
2022-10-16 23:37:35 +0200thegeekinside(~thegeekin@189.180.97.156)
2022-10-16 23:38:51 +0200freeside(~mengwong@103.252.202.193)
2022-10-16 23:39:16 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-16 23:42:25 +0200 <disco-dave[m]> Oh wow, I was using cabal > 3.8 and I just downgraded to 3.6, and now it compiles?
2022-10-16 23:43:03 +0200 <sclv> that's because cabal 3.6 didn't actually care if pkg-config failed -- it just pretended it succeeded and continued
2022-10-16 23:43:36 +0200freeside(~mengwong@103.252.202.193) (Ping timeout: 260 seconds)
2022-10-16 23:43:51 +0200chomwitt(~chomwitt@2a02:587:dc1e:5e00:ce38:cc46:8d76:ab14) (Remote host closed the connection)
2022-10-16 23:44:33 +0200thegeekinside(~thegeekin@189.180.97.156) (Ping timeout: 250 seconds)
2022-10-16 23:45:29 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-16 23:47:32 +0200talismanick(~talismani@2601:200:c100:c9e0::1b0b)
2022-10-16 23:49:38 +0200 <disco-dave[m]> It built compiled successfully though. I think maybe I was running into this bug https://github.com/haskell/cabal/issues/8494
2022-10-16 23:51:46 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 260 seconds)
2022-10-16 23:52:06 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-10-16 23:56:50 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)