2022/07/07

2022-07-07 00:02:52 +0200mmhat(~mmh@p200300f1c709078fee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5)
2022-07-07 00:15:38 +0200causal(~user@50.35.83.177)
2022-07-07 00:18:04 +0200michalz(~michalz@185.246.204.89) (Remote host closed the connection)
2022-07-07 00:21:13 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2022-07-07 00:23:21 +0200off^(~off@128-092-191-146.biz.spectrum.com)
2022-07-07 00:24:17 +0200renzhi(~xp@2607:fa49:6500:b100::b399) (Ping timeout: 260 seconds)
2022-07-07 00:27:27 +0200cosimone(~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection)
2022-07-07 00:30:26 +0200cosimone(~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81)
2022-07-07 00:31:06 +0200alexhandy(~trace@user/trace) (Read error: Connection reset by peer)
2022-07-07 00:31:18 +0200chomwitt(~chomwitt@2a02:587:dc0d:4a00:753b:477d:ff71:8b54) (Ping timeout: 276 seconds)
2022-07-07 00:31:21 +0200alexhandy(~trace@user/trace)
2022-07-07 00:35:10 +0200td_(~td@94.134.91.239) (Ping timeout: 244 seconds)
2022-07-07 00:36:33 +0200renzhi(~xp@2607:fa49:6500:b100::c32e)
2022-07-07 00:36:55 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-07-07 00:37:36 +0200td_(~td@94.134.91.239)
2022-07-07 00:39:39 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860)
2022-07-07 00:40:46 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-07 00:41:06 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-07 00:42:19 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860) (Read error: Connection reset by peer)
2022-07-07 00:44:08 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860)
2022-07-07 00:45:19 +0200cosimone(~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection)
2022-07-07 00:47:25 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860) (Client Quit)
2022-07-07 00:47:33 +0200dcoutts(~duncan@host-92-23-41-52.as13285.net) (Ping timeout: 276 seconds)
2022-07-07 00:47:39 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860)
2022-07-07 00:47:39 +0200aeka(~aeka@user/hiruji)
2022-07-07 00:47:40 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860) ()
2022-07-07 00:48:22 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-07-07 00:48:33 +0200n1essa(~nessa@75-164-218-34.ptld.qwest.net)
2022-07-07 00:48:52 +0200 <hololeap> can you use ViewPatterns like this: f (q -> x) (q -> y) where q = ...
2022-07-07 00:49:06 +0200 <hololeap> it seems like it doesn't think q is in scope
2022-07-07 00:49:20 +0200 <dolio> Yeah, patterns scope before where.
2022-07-07 00:49:27 +0200yrlnry(~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Remote host closed the connection)
2022-07-07 00:49:49 +0200 <hololeap> too bad
2022-07-07 00:50:09 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 276 seconds)
2022-07-07 00:50:49 +0200 <hololeap> kronicmage: does conduit-extra have a UDP sink?
2022-07-07 00:50:56 +0200ph88(~ph88@2a02:8109:9e00:71d0::fc54) (Quit: Leaving)
2022-07-07 00:52:06 +0200 <kronicmage> It has socket sinks and socket producers
2022-07-07 00:52:13 +0200 <hololeap> looks like you have to set up a socket first
2022-07-07 00:52:33 +0200 <geekosaur> only helps if it supports UDP sockets. sadly many people think socket means TCP
2022-07-07 00:52:38 +0200 <n1essa> Hi, I've been experimenting with literate haskell and having a small issue. I like to use this vim config to run the current buffer `autocmd FileType haskell map <F5> :w !runghc<CR>`. Adding a new line for lhaskell works except runghc doesn't know the input is literate haskell. I've been looking at the options and have experimented with -F and -pgmF to specify unlit but haven't been able to get it to work
2022-07-07 00:52:43 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it)
2022-07-07 00:53:52 +0200 <hololeap> kronicmage: I haven't tried it, but this might be what you need: https://hackage.haskell.org/package/conduit-connection
2022-07-07 00:54:56 +0200 <hololeap> wait, does connection have udp support?
2022-07-07 00:55:30 +0200pleo(~pleo@user/pleo) (Ping timeout: 240 seconds)
2022-07-07 00:55:32 +0200 <hololeap> I thought it would, but I guess it doesn't
2022-07-07 00:56:09 +0200pleo(~pleo@user/pleo)
2022-07-07 00:58:55 +0200 <hololeap> @hackage udp-conduit -- ?
2022-07-07 00:58:55 +0200 <lambdabot> https://hackage.haskell.org/package/udp-conduit -- ?
2022-07-07 00:59:23 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-07 01:00:21 +0200motherfsck(~motherfsc@user/motherfsck)
2022-07-07 01:00:53 +0200quarkyalice_(~alice@172.77.25.89)
2022-07-07 01:00:53 +0200quarkyalice_(~alice@172.77.25.89) (Changing host)
2022-07-07 01:00:53 +0200quarkyalice_(~alice@user/quarkyalice/x-8092822)
2022-07-07 01:01:21 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-07 01:02:11 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 255 seconds)
2022-07-07 01:02:49 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-07 01:03:04 +0200quarkyalice(~alice@user/quarkyalice) (Ping timeout: 244 seconds)
2022-07-07 01:03:30 +0200liz(~liz@host86-159-158-175.range86-159.btcentralplus.com) (Quit: Lost terminal)
2022-07-07 01:06:16 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Read error: Connection reset by peer)
2022-07-07 01:06:20 +0200tomgus1_(~tomgus1@97e50351.skybroadband.com)
2022-07-07 01:06:45 +0200tomgus1_tomgus1
2022-07-07 01:07:28 +0200finsternis(~X@23.226.237.192)
2022-07-07 01:08:01 +0200tomgus1_(~tomgus1@97e50351.skybroadband.com)
2022-07-07 01:08:02 +0200tomgus1(~tomgus1@97e50351.skybroadband.com) (Read error: Connection reset by peer)
2022-07-07 01:08:23 +0200tomgus1_tomgus1
2022-07-07 01:10:34 +0200tomgus1(~tomgus1@97e50351.skybroadband.com) (Client Quit)
2022-07-07 01:10:50 +0200freemanX(~user@118.201.89.106) (Ping timeout: 240 seconds)
2022-07-07 01:11:54 +0200tomgus1(~tomgus1@97e50351.skybroadband.com)
2022-07-07 01:13:53 +0200quarkyalice__(~alice@172.77.31.184)
2022-07-07 01:16:10 +0200quarkyalice_(~alice@user/quarkyalice/x-8092822) (Ping timeout: 240 seconds)
2022-07-07 01:16:26 +0200tomgus1_(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3)
2022-07-07 01:18:03 +0200tjmciver_(~tjmciver@cpe-198-255-176-114.maine.res.rr.com)
2022-07-07 01:18:45 +0200tomgus1(~tomgus1@97e50351.skybroadband.com) (Ping timeout: 276 seconds)
2022-07-07 01:20:38 +0200tjmciver(~tjmciver@cpe-198-255-176-114.maine.res.rr.com) (Ping timeout: 244 seconds)
2022-07-07 01:24:20 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Read error: Connection reset by peer)
2022-07-07 01:24:30 +0200quarkyalice__(~alice@172.77.31.184) (Ping timeout: 240 seconds)
2022-07-07 01:24:36 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3)
2022-07-07 01:28:49 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde) (Remote host closed the connection)
2022-07-07 01:29:10 +0200Alex_test(~al_test@178.34.160.206) (Ping timeout: 240 seconds)
2022-07-07 01:29:30 +0200AlexZenon(~alzenon@178.34.160.206) (Ping timeout: 240 seconds)
2022-07-07 01:29:36 +0200tabemann_tabemann
2022-07-07 01:29:55 +0200off^(~off@128-092-191-146.biz.spectrum.com) (Read error: Connection reset by peer)
2022-07-07 01:31:06 +0200off^(~off@128-092-191-146.biz.spectrum.com)
2022-07-07 01:31:29 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2022-07-07 01:32:27 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-07-07 01:33:24 +0200Alex_test(~al_test@178.34.160.206)
2022-07-07 01:33:49 +0200AlexZenon(~alzenon@178.34.160.206)
2022-07-07 01:38:11 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860)
2022-07-07 01:42:20 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860) (Ping timeout: 244 seconds)
2022-07-07 01:43:05 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-07 01:44:39 +0200spacenautx(~spacenaut@user/spacenautx) (Quit: WeeChat 3.0)
2022-07-07 01:44:53 +0200jargon(~jargon@184.101.208.36)
2022-07-07 01:55:59 +0200n1essa(~nessa@75-164-218-34.ptld.qwest.net) (Quit: leaving)
2022-07-07 01:56:27 +0200vandit(~vandit@87-97-82-188.pool.digikabel.hu) (Ping timeout: 276 seconds)
2022-07-07 01:57:39 +0200vandit(~vandit@178-164-206-115.pool.digikabel.hu)
2022-07-07 02:01:09 +0200freemanX(~user@118.201.89.106)
2022-07-07 02:05:43 +0200unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36)
2022-07-07 02:06:22 +0200 <unit73e> hey. so I was reading this: https://keid.haskell-game.dev/Introduction/Why.html
2022-07-07 02:06:33 +0200 <unit73e> sums up haskell game engine situation nicely
2022-07-07 02:09:04 +0200 <unit73e> hopefuly it's not going to be another pipedream project
2022-07-07 02:09:16 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-07 02:10:50 +0200califax(~califax@user/califx)
2022-07-07 02:11:12 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.)
2022-07-07 02:12:42 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
2022-07-07 02:13:06 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-07-07 02:13:10 +0200freemanX(~user@118.201.89.106) (Ping timeout: 240 seconds)
2022-07-07 02:14:52 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-07-07 02:14:52 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-07 02:14:52 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-07 02:14:52 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-07 02:14:52 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-07-07 02:14:52 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-07-07 02:14:52 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-07 02:14:53 +0200off^(~off@128-092-191-146.biz.spectrum.com) (Ping timeout: 244 seconds)
2022-07-07 02:15:14 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-07 02:15:16 +0200noteness(~noteness@user/noteness)
2022-07-07 02:15:23 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-07 02:15:33 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-07 02:15:46 +0200califax(~califax@user/califx)
2022-07-07 02:16:00 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-07-07 02:16:58 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-07 02:17:04 +0200zaquest(~notzaques@5.130.79.72)
2022-07-07 02:18:13 +0200tjmciver_(~tjmciver@cpe-198-255-176-114.maine.res.rr.com) (Remote host closed the connection)
2022-07-07 02:18:31 +0200tjmciver_(~tjmciver@cpe-198-255-176-114.maine.res.rr.com)
2022-07-07 02:19:46 +0200winny(~weechat@user/winny)
2022-07-07 02:19:46 +0200tjmciver_(~tjmciver@cpe-198-255-176-114.maine.res.rr.com) (Read error: Connection reset by peer)
2022-07-07 02:20:01 +0200tjmciver_(~tjmciver@cpe-198-255-176-114.maine.res.rr.com)
2022-07-07 02:21:30 +0200tjmciver_(~tjmciver@cpe-198-255-176-114.maine.res.rr.com) (Read error: Connection reset by peer)
2022-07-07 02:21:33 +0200tjmciver__(~tjmciver@cpe-198-255-176-114.maine.res.rr.com)
2022-07-07 02:21:36 +0200werneta(~werneta@137.78.30.207) (Ping timeout: 244 seconds)
2022-07-07 02:23:48 +0200freemanX(~user@203.116.172.146)
2022-07-07 02:26:46 +0200califax(~califax@user/califx) (Ping timeout: 268 seconds)
2022-07-07 02:29:27 +0200tjmciver__(~tjmciver@cpe-198-255-176-114.maine.res.rr.com) (Remote host closed the connection)
2022-07-07 02:29:36 +0200califax(~califax@user/califx)
2022-07-07 02:30:54 +0200freemanX(~user@203.116.172.146) (Ping timeout: 244 seconds)
2022-07-07 02:31:25 +0200pgas(~pg@190.247.245.154) (Quit: Leaving)
2022-07-07 02:32:50 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-07 02:33:06 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-07 02:33:27 +0200freemanX(~user@118.201.89.106)
2022-07-07 02:35:55 +0200quarkyalice(~alice@user/quarkyalice)
2022-07-07 02:37:35 +0200mikoto-chan(~mikoto-ch@d4993wwllbghfvxsgd4-4.rev.dnainternet.fi)
2022-07-07 02:38:30 +0200freemanX(~user@118.201.89.106) (Ping timeout: 240 seconds)
2022-07-07 02:40:10 +0200unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 240 seconds)
2022-07-07 02:42:47 +0200mikoto-chan(~mikoto-ch@d4993wwllbghfvxsgd4-4.rev.dnainternet.fi) (Ping timeout: 244 seconds)
2022-07-07 02:44:50 +0200mikoto-chan(~mikoto-ch@dy6m-qf7rpb2mfqdfdp-y-4.rev.dnainternet.fi)
2022-07-07 02:48:23 +0200pleo(~pleo@user/pleo) (Ping timeout: 255 seconds)
2022-07-07 02:49:58 +0200yrlnry(~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net)
2022-07-07 02:50:47 +0200off^(~off@128-092-191-146.biz.spectrum.com)
2022-07-07 02:52:24 +0200mikoto-chan(~mikoto-ch@dy6m-qf7rpb2mfqdfdp-y-4.rev.dnainternet.fi) (Read error: Connection reset by peer)
2022-07-07 02:54:10 +0200yrlnry(~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Ping timeout: 240 seconds)
2022-07-07 02:57:03 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-07 02:57:17 +0200califax(~califax@user/califx)
2022-07-07 02:58:35 +0200 <Axman6> o/
2022-07-07 02:59:08 +0200freemanX(~user@118.201.89.106)
2022-07-07 02:59:35 +0200mikoto-chan(~mikoto-ch@dy6m-qf7rpb2mfqdfdp-y-4.rev.dnainternet.fi)
2022-07-07 03:00:07 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7)
2022-07-07 03:00:43 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-07-07 03:08:23 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-07-07 03:09:58 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-07 03:10:25 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-07-07 03:16:19 +0200bilegeek(~bilegeek@2600:1008:b02e:3e91:63cf:8e88:4768:6100)
2022-07-07 03:16:33 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-07-07 03:20:30 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2022-07-07 03:20:34 +0200king_gs(~Thunderbi@2806:103e:29:12be:accf:d6c3:d87:7820)
2022-07-07 03:20:51 +0200EvanR(~EvanR@user/evanr)
2022-07-07 03:22:49 +0200barzo(~barzo@46.154.233.170)
2022-07-07 03:24:29 +0200jinsun__(~jinsun@user/jinsun)
2022-07-07 03:24:29 +0200jinsunGuest6957
2022-07-07 03:24:29 +0200jinsun__jinsun
2022-07-07 03:25:33 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-07-07 03:27:32 +0200barzo(~barzo@46.154.233.170) (Client Quit)
2022-07-07 03:27:41 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2022-07-07 03:28:03 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com)
2022-07-07 03:28:15 +0200Guest6957(~jinsun@user/jinsun) (Ping timeout: 244 seconds)
2022-07-07 03:28:21 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-07 03:29:23 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-07-07 03:31:50 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-07 03:36:10 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-07-07 03:38:50 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds)
2022-07-07 03:46:01 +0200nate4(~nate@98.45.169.16)
2022-07-07 03:46:51 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 244 seconds)
2022-07-07 03:50:50 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-07 03:51:09 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-07-07 04:01:47 +0200king_gs(~Thunderbi@2806:103e:29:12be:accf:d6c3:d87:7820) (Quit: king_gs)
2022-07-07 04:01:50 +0200off^(~off@128-092-191-146.biz.spectrum.com) (Ping timeout: 244 seconds)
2022-07-07 04:04:25 +0200vandit(~vandit@178-164-206-115.pool.digikabel.hu) (Ping timeout: 244 seconds)
2022-07-07 04:04:59 +0200cjb(~cjb@user/cjb)
2022-07-07 04:05:02 +0200off^(~off@128-092-191-146.biz.spectrum.com)
2022-07-07 04:05:50 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-07-07 04:06:17 +0200vandit(~vandit@94-21-48-35.pool.digikabel.hu)
2022-07-07 04:13:05 +0200 <Axman6> @pl ifHasIngressType a s x = guard (Set.member a s) >> [x]
2022-07-07 04:13:06 +0200 <lambdabot> ifHasIngressType = flip flip return . (((.) . (>>) . guard) .) . Set.member
2022-07-07 04:20:51 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2022-07-07 04:22:37 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-07 04:31:18 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-07 04:33:57 +0200td_(~td@94.134.91.239) (Ping timeout: 256 seconds)
2022-07-07 04:35:38 +0200td_(~td@muedsl-82-207-238-170.citykom.de)
2022-07-07 04:36:49 +0200off^^(~off@128-092-191-146.biz.spectrum.com)
2022-07-07 04:37:30 +0200off^(~off@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds)
2022-07-07 04:48:56 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-07-07 04:48:56 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-07-07 04:48:56 +0200finn_elijaFinnElija
2022-07-07 04:49:07 +0200fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Quit: leaving)
2022-07-07 04:57:07 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 244 seconds)
2022-07-07 04:59:02 +0200fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
2022-07-07 05:00:50 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2022-07-07 05:02:52 +0200 <shapr> @quote Axman6
2022-07-07 05:02:53 +0200 <lambdabot> Axman6 says: Haskell is easy, you just apply functions to arguments, and then you apply them to other arguments. Axman6's girlfriend: I don't like conflict
2022-07-07 05:02:57 +0200 <shapr> heh
2022-07-07 05:04:19 +0200cjb(~cjb@user/cjb) (Quit: rcirc on GNU Emacs 29.0.50)
2022-07-07 05:05:31 +0200 <EvanR> now I suspect the jargon for arguments comes from old logic
2022-07-07 05:05:47 +0200 <EvanR> like 1800s
2022-07-07 05:06:16 +0200 <EvanR> what were those guys on
2022-07-07 05:06:33 +0200frost(~frost@user/frost)
2022-07-07 05:10:11 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-07-07 05:10:27 +0200motherfsck(~motherfsc@user/motherfsck)
2022-07-07 05:11:14 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-07-07 05:12:47 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-07-07 05:15:10 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-07-07 05:24:11 +0200zebrag(~chris@user/zebrag)
2022-07-07 05:27:36 +0200mikoto-chan(~mikoto-ch@dy6m-qf7rpb2mfqdfdp-y-4.rev.dnainternet.fi) (Ping timeout: 244 seconds)
2022-07-07 05:31:50 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-07 05:33:18 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-07 05:39:53 +0200Guest65(~Guest65@d24-57-9-108.home.cgocable.net)
2022-07-07 05:45:58 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-07 05:46:26 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-07 05:49:30 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2022-07-07 05:56:58 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-07-07 06:00:18 +0200agumonke`(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7)
2022-07-07 06:00:28 +0200 <Axman6> Didn;t even know that was in there. I'm famous!
2022-07-07 06:00:38 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-07 06:00:38 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-07-07 06:00:38 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-07 06:00:59 +0200califax(~califax@user/califx)
2022-07-07 06:01:08 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-07-07 06:01:09 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-07 06:01:50 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 240 seconds)
2022-07-07 06:03:47 +0200motherfsck(~motherfsc@user/motherfsck)
2022-07-07 06:07:23 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2022-07-07 06:09:57 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Quit: ,-)
2022-07-07 06:11:25 +0200vandit(~vandit@94-21-48-35.pool.digikabel.hu) (Ping timeout: 256 seconds)
2022-07-07 06:12:54 +0200vandit(~vandit@178-164-208-242.pool.digikabel.hu)
2022-07-07 06:19:40 +0200`2jt(~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Remote host closed the connection)
2022-07-07 06:19:58 +0200`2jt(~jtomas@141.red-88-17-65.dynamicip.rima-tde.net)
2022-07-07 06:21:20 +0200off^^(~off@128-092-191-146.biz.spectrum.com) (Ping timeout: 244 seconds)
2022-07-07 06:21:51 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 244 seconds)
2022-07-07 06:24:18 +0200 <jackdk> Axman6, legendary creator of amazonka-s3-streaming :P
2022-07-07 06:24:54 +0200agumonke`(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 276 seconds)
2022-07-07 06:26:44 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-07-07 06:27:46 +0200Guest65(~Guest65@d24-57-9-108.home.cgocable.net) (Ping timeout: 252 seconds)
2022-07-07 06:30:33 +0200darkstardevx(~darkstard@50.53.212.60)
2022-07-07 06:31:31 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-07-07 06:35:20 +0200motherfsck(~motherfsc@user/motherfsck)
2022-07-07 06:38:50 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2022-07-07 06:40:22 +0200bilegeek(~bilegeek@2600:1008:b02e:3e91:63cf:8e88:4768:6100) (Quit: Leaving)
2022-07-07 06:58:42 +0200bgamari(~bgamari@64.223.170.242) (Ping timeout: 276 seconds)
2022-07-07 06:59:01 +0200bgamari(~bgamari@2001:470:e438::1)
2022-07-07 06:59:21 +0200zxx7529(~Thunderbi@user/zxx7529) (Ping timeout: 276 seconds)
2022-07-07 07:16:15 +0200slac29825(~slack1256@186.11.56.174) (Ping timeout: 276 seconds)
2022-07-07 07:16:20 +0200dknite(~dknite@49.37.45.188) (Quit: Quit)
2022-07-07 07:16:36 +0200dknite(~dknite@49.37.45.188)
2022-07-07 07:20:06 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-07-07 07:24:30 +0200quarkyalice(~alice@user/quarkyalice) (Ping timeout: 240 seconds)
2022-07-07 07:25:46 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-07 07:27:45 +0200phma(~phma@2001:5b0:2143:88c8:f023:3eaf:a9f3:a7da) (Read error: Connection reset by peer)
2022-07-07 07:28:31 +0200phma(~phma@host-67-44-208-118.hnremote.net)
2022-07-07 07:31:12 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-07-07 07:31:55 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-07 07:33:06 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-07 07:42:35 +0200bgamari(~bgamari@2001:470:e438::1) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-07 07:42:57 +0200bgamari(~bgamari@64.223.170.242)
2022-07-07 07:43:49 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-07 07:44:04 +0200foul_owl(~kerry@23.82.194.107) (Read error: Connection reset by peer)
2022-07-07 07:47:02 +0200zxx7529(~Thunderbi@user/zxx7529) (Client Quit)
2022-07-07 07:47:46 +0200nate4(~nate@98.45.169.16)
2022-07-07 07:47:46 +0200michalz(~michalz@185.246.204.89)
2022-07-07 07:48:13 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-07 07:49:50 +0200sympt(~sympt@user/sympt) (Ping timeout: 240 seconds)
2022-07-07 07:52:47 +0200nate4(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-07-07 07:53:22 +0200__xor(~xor@74.215.182.83)
2022-07-07 07:53:44 +0200__xor(~xor@74.215.182.83) (Client Quit)
2022-07-07 07:56:29 +0200phma_(phma@2001:5b0:211f:ab8:fb89:727d:89e3:c580)
2022-07-07 07:57:39 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-07 07:58:16 +0200foul_owl(~kerry@23.82.194.107)
2022-07-07 07:58:33 +0200vglfr(~vglfr@coupling.penchant.volia.net)
2022-07-07 08:00:01 +0200phma(~phma@host-67-44-208-118.hnremote.net) (Ping timeout: 244 seconds)
2022-07-07 08:03:07 +0200zxx7529(~Thunderbi@user/zxx7529) (Ping timeout: 244 seconds)
2022-07-07 08:03:08 +0200mbuf(~Shakthi@122.164.15.160)
2022-07-07 08:05:30 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
2022-07-07 08:10:08 +0200agumonke`(~user@88.163.231.79)
2022-07-07 08:17:13 +0200agumonke`(~user@88.163.231.79) (Ping timeout: 256 seconds)
2022-07-07 08:21:05 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-07-07 08:21:15 +0200charukiewicz(~charukiew@2600:1702:a90:2750::3c) ()
2022-07-07 08:24:30 +0200vandit(~vandit@178-164-208-242.pool.digikabel.hu) (Ping timeout: 276 seconds)
2022-07-07 08:25:36 +0200vandit(~vandit@80-95-69-254.pool.digikabel.hu)
2022-07-07 08:25:36 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-07-07 08:25:59 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-07 08:28:59 +0200MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e)
2022-07-07 08:30:54 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-07 08:31:38 +0200winny(~weechat@user/winny)
2022-07-07 08:33:18 +0200gmg(~user@user/gehmehgeh)
2022-07-07 08:35:56 +0200Guest75(~Guest75@193-82-251-223.tpgi.com.au)
2022-07-07 08:37:09 +0200son0p(~ff@181.136.122.143) (Ping timeout: 276 seconds)
2022-07-07 08:39:11 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-07-07 08:39:24 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200dawdler_(035b60b5aa@2604:bf00:561:2000::3b6) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200jleightcap(7bc4014b62@user/jleightcap) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200filwisher_(2e6936c793@2604:bf00:561:2000::170) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200samhh(7569f027cf@2604:bf00:561:2000::e4) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200kvakil(6f76c3db2e@2604:bf00:561:2000::40a) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200jakzale(6291399afa@user/jakzale) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e) (Read error: Connection reset by peer)
2022-07-07 08:39:24 +0200evanrelf(3addc196af@2604:bf00:561:2000::f0) (Read error: Connection reset by peer)
2022-07-07 08:39:25 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (Read error: Connection reset by peer)
2022-07-07 08:39:26 +0200shreyasminocha(51fdc93eda@user/shreyasminocha) (Read error: Connection reset by peer)
2022-07-07 08:39:26 +0200sm2n(ae95cb1267@user/sm2n) (Read error: Connection reset by peer)
2022-07-07 08:39:26 +0200raghavgururajan(ea769b8000@user/raghavgururajan) (Read error: Connection reset by peer)
2022-07-07 08:39:27 +0200tdmm(1c9b9145fc@2604:bf00:561:2000::1c8) (Read error: Connection reset by peer)
2022-07-07 08:39:29 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4) (Read error: Connection reset by peer)
2022-07-07 08:39:29 +0200jkoshy(99b9359beb@user/jkoshy) (Read error: Connection reset by peer)
2022-07-07 08:39:37 +0200samhh(7569f027cf@2604:bf00:561:2000::e4)
2022-07-07 08:39:37 +0200filwisher(2e6936c793@2604:bf00:561:2000::170)
2022-07-07 08:39:37 +0200lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2022-07-07 08:39:37 +0200bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2022-07-07 08:39:37 +0200dawdler(035b60b5aa@2604:bf00:561:2000::3b6)
2022-07-07 08:39:47 +0200n1essa(3d621153a5@2604:bf00:561:2000::df7)
2022-07-07 08:39:54 +0200kvakil(6f76c3db2e@2604:bf00:561:2000::40a)
2022-07-07 08:39:54 +0200evanrelf(3addc196af@2604:bf00:561:2000::f0)
2022-07-07 08:39:54 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2022-07-07 08:39:54 +0200Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2)
2022-07-07 08:39:54 +0200jakzale(3f138254b4@user/jakzale)
2022-07-07 08:40:00 +0200dawdler(035b60b5aa@2604:bf00:561:2000::3b6) (Changing host)
2022-07-07 08:40:00 +0200dawdler(035b60b5aa@user/dawdler)
2022-07-07 08:40:04 +0200fvr(ef3e56ca8b@2604:bf00:561:2000::3c4)
2022-07-07 08:40:04 +0200jkoshy(99b9359beb@user/jkoshy)
2022-07-07 08:40:04 +0200tdmm(1c9b9145fc@2604:bf00:561:2000::1c8)
2022-07-07 08:40:04 +0200shreyasminocha(51fdc93eda@user/shreyasminocha)
2022-07-07 08:40:04 +0200ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a)
2022-07-07 08:40:07 +0200b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf)
2022-07-07 08:40:07 +0200jleightcap(7bc4014b62@user/jleightcap)
2022-07-07 08:40:07 +0200raghavgururajan(ea769b8000@user/raghavgururajan)
2022-07-07 08:40:08 +0200sm2n(ae95cb1267@user/sm2n)
2022-07-07 08:40:48 +0200mmhat(~mmh@p200300f1c709078fee086bfffe095315.dip0.t-ipconnect.de)
2022-07-07 08:42:39 +0200dcoutts(~duncan@host-92-23-41-52.as13285.net)
2022-07-07 08:43:10 +0200 <Axman6> jackdk: Perhaps imfamous, given my ignorance that anyone was actually using it... and it turns out it's used in some pretty important stuff
2022-07-07 08:43:34 +0200 <jackdk> Free Software is amazing
2022-07-07 08:46:08 +0200 <sm> +1
2022-07-07 08:47:17 +0200echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2022-07-07 08:48:09 +0200echoreply(~echoreply@45.32.163.16)
2022-07-07 08:50:31 +0200 <Axman6> jackdk: what's that meme about everything depending on one dude in Nebraska?
2022-07-07 08:51:26 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-07-07 08:51:40 +0200freemanX(~user@118.201.89.106) (Remote host closed the connection)
2022-07-07 08:52:36 +0200Guest75(~Guest75@193-82-251-223.tpgi.com.au) (Quit: Client closed)
2022-07-07 08:53:16 +0200 <jackdk> Axman6: https://xkcd.com/2347/
2022-07-07 08:57:33 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-07-07 08:58:46 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2022-07-07 09:01:26 +0200MajorBiscuit(~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 255 seconds)
2022-07-07 09:02:00 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-07 09:02:54 +0200cfricke(~cfricke@user/cfricke)
2022-07-07 09:05:02 +0200coot(~coot@213.134.190.95)
2022-07-07 09:11:13 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-07 09:15:30 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-07-07 09:16:18 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-07 09:29:22 +0200chomwitt(~chomwitt@2a02:587:dc0d:4a00:ceae:439a:35c2:d6cc)
2022-07-07 09:31:35 +0200 <dminuoso> Does optparse-applicative have a way of expressing `--mode [on|off|auto]`, such that all argument choices are either printed, or even described?
2022-07-07 09:35:58 +0200toluene(~toluene@user/toulene) (Read error: Connection reset by peer)
2022-07-07 09:36:20 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-07-07 09:37:07 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 256 seconds)
2022-07-07 09:37:27 +0200toluene(~toluene@user/toulene)
2022-07-07 09:41:14 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-07 09:41:37 +0200 <dminuoso> Does optparse-applicative have a way of expressing `--mode [on|off|auto]`, such that all argument choices are either printed, or even described?
2022-07-07 09:41:38 +0200h2t(~h2t@user/h2t) (Quit: ZNC - https://znc.in)
2022-07-07 09:41:39 +0200AndreasK(sid320732@2a03:5180:f:5::4:e4dc) (Read error: Connection reset by peer)
2022-07-07 09:41:39 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:41:39 +0200gmc(sid58314@id-58314.ilkley.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:41:39 +0200mrianbloom(sid350277@2a03:5180:f:3::5:5845) (Read error: Connection reset by peer)
2022-07-07 09:41:40 +0200 <dminuoso> Oops, wrong terminal sorry .
2022-07-07 09:41:47 +0200mrianbloom(sid350277@id-350277.ilkley.irccloud.com)
2022-07-07 09:41:47 +0200AndreasK(sid320732@id-320732.uxbridge.irccloud.com)
2022-07-07 09:41:47 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com)
2022-07-07 09:41:48 +0200gmc(sid58314@id-58314.ilkley.irccloud.com)
2022-07-07 09:41:50 +0200teehemkay_(sid14792@id-14792.lymington.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:41:50 +0200bbhoss(sid18216@2a03:5180:f::4728) (Read error: Connection reset by peer)
2022-07-07 09:41:51 +0200edwardk(sid47016@haskell/developer/edwardk) (Read error: Connection reset by peer)
2022-07-07 09:41:51 +0200h2t(~h2t@user/h2t)
2022-07-07 09:41:52 +0200Firedancer(sid336191@id-336191.hampstead.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:41:53 +0200saolsen(sid26430@id-26430.lymington.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:41:54 +0200acertain(sid470584@id-470584.hampstead.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:41:54 +0200taktoa[c](sid282096@2a03:5180:f::4:4df0) (Read error: Connection reset by peer)
2022-07-07 09:41:55 +0200sclv(sid39734@haskell/developer/sclv) (Ping timeout: 244 seconds)
2022-07-07 09:41:59 +0200bbhoss(sid18216@id-18216.tinside.irccloud.com)
2022-07-07 09:41:59 +0200teehemkay_(sid14792@id-14792.lymington.irccloud.com)
2022-07-07 09:42:01 +0200integral(sid296274@user/integral) (Read error: Connection reset by peer)
2022-07-07 09:42:01 +0200edwardk(sid47016@haskell/developer/edwardk)
2022-07-07 09:42:06 +0200Firedancer(sid336191@id-336191.hampstead.irccloud.com)
2022-07-07 09:42:07 +0200acertain(sid470584@id-470584.hampstead.irccloud.com)
2022-07-07 09:42:07 +0200saolsen(sid26430@id-26430.lymington.irccloud.com)
2022-07-07 09:42:07 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2022-07-07 09:42:11 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:42:12 +0200integral(sid296274@user/integral)
2022-07-07 09:42:12 +0200conjunctive_(sid433686@id-433686.helmsley.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:42:20 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com)
2022-07-07 09:42:22 +0200totbwf(sid402332@id-402332.uxbridge.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:42:22 +0200alanz(sid110616@id-110616.uxbridge.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:42:22 +0200dmj`(sid72307@id-72307.hampstead.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:42:22 +0200pjlsergeant(sid143467@id-143467.hampstead.irccloud.com) (Read error: Connection reset by peer)
2022-07-07 09:42:22 +0200lightandlight(sid135476@2a03:5180:f:1::2:1134) (Read error: Connection reset by peer)
2022-07-07 09:42:26 +0200NemesisD(sid24071@id-24071.lymington.irccloud.com) (Ping timeout: 244 seconds)
2022-07-07 09:42:29 +0200conjunctive_(sid433686@id-433686.helmsley.irccloud.com)
2022-07-07 09:42:31 +0200totbwf(sid402332@id-402332.uxbridge.irccloud.com)
2022-07-07 09:42:38 +0200pjlsergeant(sid143467@id-143467.hampstead.irccloud.com)
2022-07-07 09:42:38 +0200lightandlight(sid135476@id-135476.helmsley.irccloud.com)
2022-07-07 09:42:39 +0200sclv(sid39734@haskell/developer/sclv)
2022-07-07 09:42:45 +0200NemesisD(sid24071@id-24071.lymington.irccloud.com)
2022-07-07 09:42:47 +0200dmj`(sid72307@id-72307.hampstead.irccloud.com)
2022-07-07 09:42:56 +0200alanz(sid110616@id-110616.uxbridge.irccloud.com)
2022-07-07 09:45:01 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-07-07 09:45:01 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-07 09:45:30 +0200 <Axman6> hmm, dminuoso the completion stuff feels like it should be doable, but I think that's only used for completion, not help text
2022-07-07 09:45:38 +0200winny(~weechat@user/winny)
2022-07-07 09:45:47 +0200gmg(~user@user/gehmehgeh)
2022-07-07 09:46:22 +0200 <dminuoso> Yeah. Right now Im just doing the naive "auto-generate a help text/error" based on some [(String, a)]. But it would be really nice if the choices would be printed as a kind of table, with annotations what the respective chocies mean
2022-07-07 09:46:32 +0200 <dminuoso> Similarly I could do completion too I guess
2022-07-07 09:47:59 +0200 <Axman6> I guess that's the metavar right?
2022-07-07 09:48:03 +0200codaraxis(~codaraxis@user/codaraxis)
2022-07-07 09:48:26 +0200ccntrq(~Thunderbi@p200300c867279100c733f35fa1b773fe.dip0.t-ipconnect.de)
2022-07-07 09:49:39 +0200 <Axman6> The description of `multiSuffix` sounds tantelising: "Include a suffix to attach to the metavar when multiple values can be entered."
2022-07-07 09:51:53 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-07 09:55:38 +0200mc47(~mc47@xmonad/TheMC47)
2022-07-07 09:58:26 +0200shalokshalom(~quassel@2a02:8109:b40:42f4:4f45:338b:3ba8:8f20)
2022-07-07 10:03:11 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-07-07 10:11:37 +0200liz(~liz@86.159.158.175)
2022-07-07 10:12:23 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-07-07 10:14:10 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 240 seconds)
2022-07-07 10:14:21 +0200xff0x(~xff0x@2405:6580:b080:900:1dcd:c3f2:c038:d1dd) (Ping timeout: 276 seconds)
2022-07-07 10:15:37 +0200benin0(~benin@183.82.27.194)
2022-07-07 10:16:45 +0200ubert1(~Thunderbi@p200300ecdf0da522bf24a2650602ae2f.dip0.t-ipconnect.de)
2022-07-07 10:16:46 +0200xff0x(~xff0x@2405:6580:b080:900:1528:dad7:5cec:e124)
2022-07-07 10:17:50 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-07-07 10:19:00 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-07-07 10:20:30 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
2022-07-07 10:25:40 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-07 10:26:15 +0200__monty__(~toonn@user/toonn)
2022-07-07 10:27:22 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi)
2022-07-07 10:31:15 +0200vandit(~vandit@80-95-69-254.pool.digikabel.hu) (Ping timeout: 276 seconds)
2022-07-07 10:32:10 +0200vandit(~vandit@94-21-82-57.pool.digikabel.hu)
2022-07-07 10:33:28 +0200cyphase_eviltwin(~cyphase@user/cyphase) (Ping timeout: 244 seconds)
2022-07-07 10:38:11 +0200cyphase(~cyphase@user/cyphase)
2022-07-07 10:38:15 +0200rjbaw(~rjbl@ppp-124-121-135-35.revip2.asianet.co.th) (Quit: WeeChat 2.8)
2022-07-07 10:38:54 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-07-07 10:42:42 +0200ubert1(~Thunderbi@p200300ecdf0da522bf24a2650602ae2f.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-07-07 10:47:05 +0200son0p(~ff@181.136.122.143)
2022-07-07 10:48:36 +0200alp(~alp@user/alp)
2022-07-07 10:51:50 +0200benin0(~benin@183.82.27.194) (Ping timeout: 240 seconds)
2022-07-07 10:56:38 +0200 <tomsmeding> Axman6: https://xkcd.com/2347/
2022-07-07 11:00:14 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Quit: You have been kicked for being idle)
2022-07-07 11:02:25 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-07 11:02:30 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 264 seconds)
2022-07-07 11:02:45 +0200califax(~califax@user/califx)
2022-07-07 11:04:26 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-07 11:04:46 +0200codaraxis(~codaraxis@user/codaraxis)
2022-07-07 11:05:10 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-07 11:05:36 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-07 11:07:22 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com)
2022-07-07 11:15:52 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-07 11:19:30 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-07-07 11:20:55 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-07-07 11:24:06 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2022-07-07 11:27:10 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds)
2022-07-07 11:28:45 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds)
2022-07-07 11:29:01 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-07 11:34:29 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de)
2022-07-07 11:38:53 +0200off^(~off@128-092-191-146.biz.spectrum.com)
2022-07-07 11:41:50 +0200mmhat(~mmh@p200300f1c709078fee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-07-07 11:42:11 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds)
2022-07-07 11:44:32 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-07 11:45:06 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
2022-07-07 11:46:42 +0200raym(~raym@user/raym)
2022-07-07 11:49:18 +0200nate4(~nate@98.45.169.16)
2022-07-07 11:49:43 +0200shriekingnoise(~shrieking@201.212.175.181) (Quit: Quit)
2022-07-07 11:50:17 +0200kuribas(~user@silversquare.silversquare.eu)
2022-07-07 11:51:15 +0200 <kuribas> I am using generics to make function work over different sized tuples.
2022-07-07 11:51:50 +0200 <kuribas> It is cumbersome juggling kinds around with newtypes...
2022-07-07 11:52:08 +0200 <kuribas> And due to the lack of quantified constraints the newtypes aren't free.
2022-07-07 11:52:43 +0200 <kuribas> Since I cannot do 'forall a. Coercible (f a) (Newtyped f a) =>'
2022-07-07 11:53:29 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Remote host closed the connection)
2022-07-07 11:53:43 +0200 <kuribas> Perhaps I could make a condition compilation so this would be more efficient in recent compiler which support the Quantified constraints.
2022-07-07 11:53:49 +0200 <kuribas> But still work in older ones.
2022-07-07 11:53:54 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-07 11:54:06 +0200nate4(~nate@98.45.169.16) (Ping timeout: 264 seconds)
2022-07-07 11:55:46 +0200mmhat(~mmh@p200300f1c709075dee086bfffe095315.dip0.t-ipconnect.de)
2022-07-07 11:59:00 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds)
2022-07-07 12:00:18 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-07 12:03:27 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2022-07-07 12:06:09 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 276 seconds)
2022-07-07 12:09:41 +0200Flow(~none@gentoo/developer/flow) (Quit: WeeChat 3.4.1)
2022-07-07 12:11:37 +0200spacenautx(~spacenaut@user/spacenautx)
2022-07-07 12:14:50 +0200CiaoSen(~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-07-07 12:17:30 +0200off^(~off@128-092-191-146.biz.spectrum.com) (Ping timeout: 264 seconds)
2022-07-07 12:24:25 +0200Flow(~none@gentoo/developer/flow)
2022-07-07 12:25:35 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 244 seconds)
2022-07-07 12:33:22 +0200 <jackdk> kuribas: have you looked at the `Field1`, `Field2`, etc classes in `lens`?
2022-07-07 12:35:03 +0200vandit(~vandit@94-21-82-57.pool.digikabel.hu) (Ping timeout: 256 seconds)
2022-07-07 12:36:47 +0200vandit(~vandit@91-83-11-245.pool.digikabel.hu)
2022-07-07 12:40:23 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-07-07 12:41:09 +0200nek0(~nek0@2a01:4f8:222:2b41::12)
2022-07-07 12:50:30 +0200zxx7529(~Thunderbi@user/zxx7529) (Ping timeout: 240 seconds)
2022-07-07 12:51:25 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-07 12:54:46 +0200dcoutts(~duncan@host-92-23-41-52.as13285.net) (Ping timeout: 272 seconds)
2022-07-07 12:56:09 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-07-07 12:59:27 +0200m1dnight(~christoph@78-22-0-121.access.telenet.be)
2022-07-07 13:08:15 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-07-07 13:14:20 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-07 13:21:14 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde)
2022-07-07 13:23:32 +0200Surobaki(~surobaki@137.44.222.80)
2022-07-07 13:23:58 +0200Surobaki(~surobaki@137.44.222.80) (Changing host)
2022-07-07 13:23:58 +0200Surobaki(~surobaki@user/surobaki)
2022-07-07 13:25:35 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde) (Ping timeout: 255 seconds)
2022-07-07 13:30:10 +0200vglfr(~vglfr@coupling.penchant.volia.net) (Ping timeout: 244 seconds)
2022-07-07 13:46:42 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds)
2022-07-07 13:48:36 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-07 13:48:40 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Quit: WeeChat 3.5)
2022-07-07 13:50:50 +0200alp(~alp@user/alp) (Ping timeout: 244 seconds)
2022-07-07 13:51:12 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-07-07 13:59:00 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-07 14:01:22 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-07-07 14:08:20 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-07 14:08:53 +0200 <kuribas> well, I need to access all fields, not just one.
2022-07-07 14:08:55 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-07 14:09:00 +0200 <kuribas> But they are polymorphic.
2022-07-07 14:09:06 +0200 <kuribas> for example (t f, t g, t h).
2022-07-07 14:15:01 +0200notzmv(~zmv@user/notzmv)
2022-07-07 14:20:48 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds)
2022-07-07 14:20:49 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-07 14:21:50 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-07-07 14:22:23 +0200ente(~daemon@inferno.barfooze.de) (Read error: Connection reset by peer)
2022-07-07 14:22:30 +0200ente(~daemon@inferno.barfooze.de)
2022-07-07 14:22:58 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-07-07 14:24:15 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-07 14:25:41 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-07 14:26:07 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-07 14:28:22 +0200ubert1(~Thunderbi@2a02:8109:abc0:6434:f93b:7901:1dc1:a6cd)
2022-07-07 14:33:24 +0200Pickchea(~private@user/pickchea)
2022-07-07 14:39:19 +0200 <Pickchea> Hey, I'm looking for an uncompromising formatter (ideally for Emacs) that will map any two except-for-whitespace-equivalent Haskell source code inputs to the same output. In other words, it shall *not* preserve whitespace at all. Any suggestions/preferences?
2022-07-07 14:41:27 +0200mmhat(~mmh@p200300f1c709075dee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5)
2022-07-07 14:44:34 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-07 14:48:16 +0200off^(~off@128-092-191-146.biz.spectrum.com)
2022-07-07 14:48:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-07 14:48:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2022-07-07 14:49:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-07 14:56:58 +0200vandit(~vandit@91-83-11-245.pool.digikabel.hu) (Ping timeout: 244 seconds)
2022-07-07 14:58:38 +0200vandit(~vandit@84-236-1-97.pool.digikabel.hu)
2022-07-07 15:02:15 +0200__monty_1(~toonn@user/toonn)
2022-07-07 15:04:07 +0200pavonia_(~user@user/siracusa)
2022-07-07 15:04:18 +0200__monty__(~toonn@user/toonn) (Ping timeout: 264 seconds)
2022-07-07 15:05:18 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-07-07 15:05:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-07 15:05:58 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2022-07-07 15:05:59 +0200pavonia_pavonia
2022-07-07 15:06:17 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2022-07-07 15:06:22 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2022-07-07 15:06:41 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2022-07-07 15:06:47 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
2022-07-07 15:09:26 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-07 15:11:18 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds)
2022-07-07 15:13:08 +0200off^(~off@128-092-191-146.biz.spectrum.com) (Ping timeout: 255 seconds)
2022-07-07 15:13:51 +0200 <dminuoso> Axman6: I think I realized how to achieve my goal. My approach was on the right track, except I need to use helpDoc rather than help.
2022-07-07 15:14:02 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2022-07-07 15:14:04 +0200 <dminuoso> Then I can can sort of draw the table of potential values and their descriptions manually
2022-07-07 15:15:51 +0200 <geekosaur> Pickchea, that seems to be the SOTA for formatters, although they consider newline to be whitespace which may not be what you intend. brittany and ormolu are the most commonly used ones
2022-07-07 15:17:50 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 240 seconds)
2022-07-07 15:23:07 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde)
2022-07-07 15:25:32 +0200 <Pickchea> geekosaur, I actually want the formatter to disrespect my newlines (line breaks). For both brittany and ormolu I know they will try to preserve the user's newlines but I want a formatter that doesn't. That is, I want a formatter where I can put as many newlines (or line breaks) as I want where I want (as long as semantics are preserved) and it will return the same output.
2022-07-07 15:26:09 +0200 <geekosaur> interesting. most of the complaints I hear about them are about inserting or rearranging newlines especially in type signatures
2022-07-07 15:27:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde) (Ping timeout: 240 seconds)
2022-07-07 15:27:23 +0200 <geekosaur> (more to the point, how/where it inserts them)
2022-07-07 15:27:27 +0200 <Pickchea> geekosaur, I can imagine, most people like it "their way" but I mostly like it "the canonical way" and if there is none, I get nervous ;-)
2022-07-07 15:27:42 +0200 <geekosaur> I'm not sure there is a canonical way
2022-07-07 15:28:02 +0200 <geekosaur> this isn't python
2022-07-07 15:28:06 +0200 <dminuoso> It is interesting you would want that. Im a strong opponent of formatters in general, especially such "uncompromising formatters"
2022-07-07 15:29:01 +0200 <dminuoso> Code formatting is a kind of communication between the author and its readers, as such its highly context sensitive - formatting exists to emphasizse on some local contextual things.
2022-07-07 15:29:05 +0200 <dminuoso> What's your use case here?
2022-07-07 15:29:13 +0200 <Pickchea> geekosaur, I was just about to mention "black" for Python :-D
2022-07-07 15:29:52 +0200 <dminuoso> Pickchea: Btw, you can just use haskell-src-exts to parse and pretty print code in a consistent format that completely ignores whitespace
2022-07-07 15:30:01 +0200 <geekosaur> I think the closest we get to canonical is how haddock formats type signatures (but that's what some people hate about ormolu)
2022-07-07 15:30:38 +0200 <dminuoso> I dont subscribe to the notion that "canonical formatting" is a thing. If you let others dictate how your code is formatted, you are not communicating anymore.
2022-07-07 15:30:45 +0200dminuososhrugs
2022-07-07 15:30:58 +0200 <Pickchea> dminuoso, I want consistency in my code. Sometimes I make breaks, sometimes not, but I want my code to look consistent and not arbitrarily formatted.
2022-07-07 15:32:05 +0200 <dminuoso> Pickchea: See I dont think that is a useful thing. I format code to emphasize on some fact, which means a case-of can be formatted differently depending on the context. It's tailored to how I want my code to be perceived,.
2022-07-07 15:32:58 +0200 <Pickchea> dminuoso, I do what you're talking about with procedural/imperative languages like C, Java and Python. But honestly for Haskell that hasn't really been too useful for me.
2022-07-07 15:35:41 +0200 <Pickchea> And on a practical note, say I'm writing a long long data declaration in one line. I would like the formatter to then automatically insert breaks and indentations for me. brittany wouldn't do that (but I guess there's a setting for that).
2022-07-07 15:35:58 +0200CiaoSen(~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-07-07 15:38:25 +0200 <geekosaur> in any case, I think there are only four formatters: brittany, ormolu, fourmolu, and structured-haskell-mode. the latter is even more opinionated: iirc it won't even let you write differently formatted code
2022-07-07 15:38:46 +0200vglfr(~vglfr@coupling.penchant.volia.net)
2022-07-07 15:39:40 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-07-07 15:40:19 +0200pleo(~pleo@user/pleo)
2022-07-07 15:43:06 +0200 <Pickchea> geekosaur, thanks! I'm currently using hindent and I'm also aware of stylish-haskell, to extend your collection.
2022-07-07 15:43:22 +0200off^(~off@128-092-191-146.biz.spectrum.com)
2022-07-07 15:43:26 +0200 <geekosaur> ah
2022-07-07 15:43:42 +0200geekosaurfollows dminuoso, so doesn't pay a whole lot of attention
2022-07-07 15:48:52 +0200dschrempf(~dominik@mobiledyn-62-240-134-33.mrsn.at)
2022-07-07 15:50:37 +0200dschrempf(~dominik@mobiledyn-62-240-134-33.mrsn.at) (Client Quit)
2022-07-07 15:50:47 +0200nate4(~nate@98.45.169.16)
2022-07-07 15:52:47 +0200shriekingnoise(~shrieking@201.212.175.181)
2022-07-07 15:53:18 +0200radhika(uid560836@id-560836.helmsley.irccloud.com)
2022-07-07 15:53:34 +0200 <maerwald> There are only two things that consistent formatting facilities: 1. authority, 2. OCD. Some claim (maybe it's even true) that it also increases parsing speed. But even if that's true... why would that be more valuable than e.g. the information that *shitty* formatting transports?
2022-07-07 15:54:36 +0200 <maerwald> it shows me: you were confused or didn't pay attention when you wrote the code. So my review will be extra thorough :p
2022-07-07 15:55:07 +0200 <maerwald> while still not caring about formatting
2022-07-07 15:56:05 +0200nate4(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-07-07 15:56:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-07 15:56:56 +0200off^(~off@128-092-191-146.biz.spectrum.com) (Remote host closed the connection)
2022-07-07 15:57:48 +0200Pickchea(~private@user/pickchea) (Ping timeout: 272 seconds)
2022-07-07 16:02:10 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-07-07 16:02:59 +0200 <dolio> It's difficult to believe that anyone's Haskell workflow is significantly affected by changes in parsing speed due to formatting.
2022-07-07 16:03:08 +0200 <maerwald> yeah
2022-07-07 16:03:23 +0200 <maerwald> it's not the bottleneck
2022-07-07 16:03:53 +0200 <maerwald> maybe for edward :p
2022-07-07 16:04:08 +0200 <dolio> Nah, I've seen him code.
2022-07-07 16:04:23 +0200 <dolio> He does stuff like hitting :wq multiple times to save. :)
2022-07-07 16:04:25 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-07 16:04:36 +0200__monty_1__monty__
2022-07-07 16:04:44 +0200 <maerwald> can never be sure ;)
2022-07-07 16:04:59 +0200 <yushyin> :D
2022-07-07 16:05:11 +0200 <kuribas> geekosaur: and emacs
2022-07-07 16:05:54 +0200 <geekosaur> that was implied by structured-haskell-mode 🙂
2022-07-07 16:06:04 +0200 <kuribas> geekosaur: no, not that one
2022-07-07 16:06:07 +0200 <kuribas> haskell-mode
2022-07-07 16:06:18 +0200 <dolio> I guess it's not :wq multiple times, just :w.
2022-07-07 16:06:20 +0200 <kuribas> haskell-indentation-mode
2022-07-07 16:06:22 +0200 <geekosaur> granting that the regular haskell mode also does indentation and such for you, but it's more along the lines of suggestion and I override it regularly
2022-07-07 16:06:35 +0200 <geekosaur> maybe someday I'll tweak it to fit my prefs better
2022-07-07 16:06:50 +0200 <dminuoso> I think the "parsing speed" is a red herring, perhaps even just rationalization for being lazy.
2022-07-07 16:07:39 +0200sander(~sander@user/sander) (Quit: So long! :))
2022-07-07 16:07:43 +0200Sgeo(~Sgeo@user/sgeo)
2022-07-07 16:07:51 +0200 <geekosaur> having taken the time to learn how layout works, I don't find much of a difference in parsing speed due to indentation
2022-07-07 16:08:02 +0200 <geekosaur> it's more the contents of the line that matters there
2022-07-07 16:12:01 +0200sander(~sander@user/sander)
2022-07-07 16:12:27 +0200 <kuribas> human parsing speed?
2022-07-07 16:12:46 +0200 <kuribas> I find code that is poorly formatted hard to read, for example using very long lines (> 120 chars)
2022-07-07 16:12:49 +0200 <geekosaur> the compiler shouldn't matter eiter way or it's buggy, imo
2022-07-07 16:13:39 +0200 <geekosaur> yes, things like that are problematic, but I find them so even if they're broken and indented; the real fix there is to use let or where to break it into readable fragments
2022-07-07 16:13:52 +0200 <geekosaur> which is beyond the purview of formatters
2022-07-07 16:14:28 +0200 <maerwald> kuribas: I find code hard to read that has too many newlines
2022-07-07 16:14:39 +0200 <maerwald> as if their terminal is 30 chars wide
2022-07-07 16:15:12 +0200 <sm> maerwald++ can I get a witness
2022-07-07 16:15:22 +0200 <geekosaur> that sounds like a python programmer 🙂
2022-07-07 16:15:54 +0200 <maerwald> sm: https://github.com/lspitzner/brittany/issues/278
2022-07-07 16:15:57 +0200 <sm> do not want to see every single line to the very end. Want to see overall program.
2022-07-07 16:16:02 +0200 <dolio> Yeah, more of anything is not necessarily better.
2022-07-07 16:16:04 +0200 <geekosaur> but yes, if you're going to use lines that short, [please go back to assembler
2022-07-07 16:16:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-07 16:16:22 +0200 <dolio> Parentheses can make things easier to read, but overuse of parentheses becomes hard to understand visually.
2022-07-07 16:25:22 +0200 <kuribas> dolio: lisp wants to have a word with you :)
2022-07-07 16:26:21 +0200ubert1(~Thunderbi@2a02:8109:abc0:6434:f93b:7901:1dc1:a6cd) (Quit: ubert1)
2022-07-07 16:26:46 +0200 <geekosaur> all lisp has to do is borrow back interlisp's ]
2022-07-07 16:27:11 +0200 <dolio> I don't think it does.
2022-07-07 16:27:19 +0200 <geekosaur> although ime that makes readability even worse because you don't know how many close parens it's representing when used in a middle of )))])))
2022-07-07 16:27:45 +0200 <geekosaur> which I've seen
2022-07-07 16:28:37 +0200NH000(~nikola@178-222-119-200.dynamic.isp.telekom.rs)
2022-07-07 16:33:55 +0200 <NH000> can you retrieve data from cabal file for the project in the project's code? e.g. i want to print program's version and i want to get version string from the cabal file, not have it hardcoded in the code itself. if you know how to do that please tell me, ty.
2022-07-07 16:35:50 +0200 <geekosaur> add Paths_<pkgname> to other-modules and autogen-modules, then import it and reference version. https://cabal.readthedocs.io/en/3.6/cabal-package.html?highlight=Paths_pkgname#accessing-the-packa…
2022-07-07 16:37:32 +0200 <geekosaur> (scroll up from that link for more details)
2022-07-07 16:37:35 +0200malte(~malte@mal.tc) (Ping timeout: 256 seconds)
2022-07-07 16:39:42 +0200 <sm> I'd say it's more robust to hard code it in the program
2022-07-07 16:40:08 +0200 <NH000> thanks
2022-07-07 16:40:41 +0200 <NH000> can i also get executable name in a similar manner? as sometimes you want to generate multiple executables from the same code.
2022-07-07 16:40:59 +0200 <sm> getProgName
2022-07-07 16:41:09 +0200 <geekosaur> executable name can change at runtime (consider symlinks)
2022-07-07 16:41:46 +0200 <geekosaur> historically cp/mv/ln figured out what they were to do by looking at their argv[0], which in C is the executable name
2022-07-07 16:43:16 +0200ccntrq(~Thunderbi@p200300c867279100c733f35fa1b773fe.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-07-07 16:45:28 +0200 <NH000> thanks, getProgName is exactly what i needed
2022-07-07 16:45:43 +0200NH000(~nikola@178-222-119-200.dynamic.isp.telekom.rs) (Quit: leaving)
2022-07-07 16:47:38 +0200m1dnight(~christoph@78-22-0-121.access.telenet.be) (Ping timeout: 240 seconds)
2022-07-07 16:49:35 +0200m1dnight(~christoph@78-22-0-121.access.telenet.be)
2022-07-07 16:54:39 +0200slack1256(~slack1256@191.126.99.200)
2022-07-07 17:03:24 +0200pavonia(~user@user/siracusa) (Quit: k-lined (proving Goldbach's conjecture is off-topic on this network))
2022-07-07 17:07:41 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds)
2022-07-07 17:09:42 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-07 17:13:22 +0200vandit(~vandit@84-236-1-97.pool.digikabel.hu) (Ping timeout: 244 seconds)
2022-07-07 17:14:47 +0200m1dnight(~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.5)
2022-07-07 17:15:23 +0200vandit(~vandit@85-238-93-87.pool.digikabel.hu)
2022-07-07 17:15:28 +0200vandit(~vandit@85-238-93-87.pool.digikabel.hu) (Killed (NickServ (GHOST command used by vapid!~me@ip-4facd793.taurinet.hu)))
2022-07-07 17:16:55 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-07-07 17:21:16 +0200m1dnight(~christoph@78-22-0-121.access.telenet.be)
2022-07-07 17:21:30 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.5)
2022-07-07 17:22:13 +0200cheater(~Username@user/cheater) (Quit: Read error: 69 (Excessive tongue))
2022-07-07 17:23:00 +0200cheater(~Username@user/cheater)
2022-07-07 17:24:33 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde)
2022-07-07 17:27:23 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-07-07 17:28:41 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde) (Remote host closed the connection)
2022-07-07 17:28:51 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde)
2022-07-07 17:33:27 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-07 17:33:39 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-07 17:33:42 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-07 17:33:57 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-07 17:35:50 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-07 17:35:58 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-07-07 17:37:18 +0200dschrempf(~dominik@mobiledyn-62-240-134-33.mrsn.at)
2022-07-07 17:37:35 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-07-07 17:39:08 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde) (Remote host closed the connection)
2022-07-07 17:40:09 +0200notzmv(~zmv@user/notzmv)
2022-07-07 17:41:50 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-07-07 17:43:27 +0200Surobaki(~surobaki@user/surobaki) (Read error: Connection reset by peer)
2022-07-07 17:51:33 +0200nate4(~nate@98.45.169.16)
2022-07-07 17:54:10 +0200pleo(~pleo@user/pleo) (Quit: quit)
2022-07-07 17:55:33 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-07 17:55:33 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-07 17:55:34 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer)
2022-07-07 17:55:46 +0200pleo(~pleo@user/pleo)
2022-07-07 17:55:57 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-07 17:55:59 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-07 17:56:05 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-07 17:56:29 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 255 seconds)
2022-07-07 17:58:30 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-07 18:03:18 +0200kuribas(~user@silversquare.silversquare.eu) (Remote host closed the connection)
2022-07-07 18:03:43 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net)
2022-07-07 18:05:40 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-07 18:05:45 +0200jargon(~jargon@184.101.208.36) (Remote host closed the connection)
2022-07-07 18:07:36 +0200econo(uid147250@user/econo)
2022-07-07 18:10:09 +0200dknite(~dknite@49.37.45.188) (Read error: Connection reset by peer)
2022-07-07 18:13:20 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds)
2022-07-07 18:16:14 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-07 18:19:02 +0200 <lechner> Hi, does anyone have a up-to-date recommendation for a functional front-end within a new project in view of these metrics? https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_…
2022-07-07 18:20:00 +0200 <sm> why not idris2 then ?
2022-07-07 18:20:30 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-07-07 18:20:47 +0200 <lechner> the results seem extreme, don't they?
2022-07-07 18:21:08 +0200polo(~Gambino@user/polo)
2022-07-07 18:21:55 +0200 <sm> they sound great. Is this your article ?
2022-07-07 18:22:36 +0200 <lechner> no
2022-07-07 18:28:10 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds)
2022-07-07 18:30:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-07 18:30:23 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-07 18:34:30 +0200adrazalan(~adrazalan@42.191.189.65) (Ping timeout: 240 seconds)
2022-07-07 18:35:30 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-07-07 18:39:18 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde)
2022-07-07 18:41:10 +0200pleo(~pleo@user/pleo) (Ping timeout: 260 seconds)
2022-07-07 18:47:29 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-07 18:47:55 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-07 18:50:27 +0200motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2022-07-07 18:50:52 +0200dknite(~dknite@49.37.45.188)
2022-07-07 18:51:28 +0200jinsun__(~jinsun@user/jinsun)
2022-07-07 18:51:28 +0200jinsunGuest3817
2022-07-07 18:51:28 +0200jinsun__jinsun
2022-07-07 18:52:24 +0200motherfsck(~motherfsc@user/motherfsck)
2022-07-07 18:53:05 +0200Guest3817(~jinsun@user/jinsun) (Ping timeout: 244 seconds)
2022-07-07 18:55:24 +0200mbuf(~Shakthi@122.164.15.160) (Quit: Leaving)
2022-07-07 18:56:03 +0200zxx7529(~Thunderbi@user/zxx7529) (Remote host closed the connection)
2022-07-07 18:56:20 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-07 19:05:47 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-07 19:05:57 +0200 <slack1256> I got a haskell service running in a docker container. I passed the `-p` options to the RTS; I did compile with profiling though. To stop the haskell service I usually stop the docker container. The `-p` option writes to a `program.prof` file by default. Will that succeed if I stop the docker container?
2022-07-07 19:07:11 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-07-07 19:08:12 +0200 <maerwald> slack1256: that depends on the signals that are passed
2022-07-07 19:09:06 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 244 seconds)
2022-07-07 19:09:52 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-07 19:09:52 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-07 19:09:52 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-07 19:10:08 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-07 19:10:20 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-07 19:10:31 +0200califax(~califax@user/califx)
2022-07-07 19:11:58 +0200polomoney
2022-07-07 19:12:43 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 244 seconds)
2022-07-07 19:12:45 +0200pleo(~pleo@user/pleo)
2022-07-07 19:13:04 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-07 19:13:47 +0200gmg(~user@user/gehmehgeh)
2022-07-07 19:15:58 +0200mikoto-chan(~mikoto-ch@dy6m-qf7rpb2mfqdfdp-y-4.rev.dnainternet.fi)
2022-07-07 19:16:59 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-07-07 19:18:29 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net)
2022-07-07 19:22:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-07 19:23:03 +0200yauhsien(~yauhsien@61-231-27-107.dynamic-ip.hinet.net) (Ping timeout: 244 seconds)
2022-07-07 19:25:09 +0200mcglk(~mcglk@131.191.49.120) (Quit: (zzz))
2022-07-07 19:27:46 +0200phma_(phma@2001:5b0:211f:ab8:fb89:727d:89e3:c580) (Read error: Connection reset by peer)
2022-07-07 19:28:22 +0200jinsun(~jinsun@user/jinsun)
2022-07-07 19:28:46 +0200phma_(~phma@2001:5b0:2172:b528:f34b:433f:7c06:fc5b)
2022-07-07 19:28:48 +0200mikoto-chan(~mikoto-ch@dy6m-qf7rpb2mfqdfdp-y-4.rev.dnainternet.fi) (Ping timeout: 276 seconds)
2022-07-07 19:47:10 +0200pleo(~pleo@user/pleo) (Quit: quit)
2022-07-07 19:52:09 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860)
2022-07-07 19:52:16 +0200zebrag(~chris@user/zebrag)
2022-07-07 19:52:35 +0200fockerize(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-07-07 19:52:57 +0200mcglk(~mcglk@131.191.49.120)
2022-07-07 19:53:32 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 244 seconds)
2022-07-07 20:04:13 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-07 20:06:24 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-07-07 20:07:51 +0200hexology-hexology
2022-07-07 20:14:18 +0200mcglk(~mcglk@131.191.49.120) (Quit: (zzz))
2022-07-07 20:14:33 +0200zxx7529(~Thunderbi@user/zxx7529) (Remote host closed the connection)
2022-07-07 20:18:03 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Quit: ZNC 1.8.2+deb2 - https://znc.in)
2022-07-07 20:18:40 +0200malte(~malte@mal.tc)
2022-07-07 20:19:23 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3)
2022-07-07 20:19:54 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860) (Remote host closed the connection)
2022-07-07 20:21:31 +0200unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36)
2022-07-07 20:28:09 +0200vglfr(~vglfr@coupling.penchant.volia.net) (Ping timeout: 244 seconds)
2022-07-07 20:30:10 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Ping timeout: 240 seconds)
2022-07-07 20:30:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-07 20:30:37 +0200hexology(~hexology@user/hexology) (Quit: brb)
2022-07-07 20:30:54 +0200tomgus1(~tomgus1@97e50351.skybroadband.com)
2022-07-07 20:31:00 +0200hexology(~hexology@user/hexology)
2022-07-07 20:31:07 +0200moneypolo
2022-07-07 20:37:51 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-07-07 20:38:18 +0200phma_phma
2022-07-07 20:40:01 +0200pleo(~pleo@user/pleo)
2022-07-07 20:42:31 +0200Pickchea(~private@user/pickchea)
2022-07-07 20:43:41 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde) (Remote host closed the connection)
2022-07-07 20:45:41 +0200quarkyalice(~alice@172.77.26.62)
2022-07-07 20:45:41 +0200quarkyalice(~alice@172.77.26.62) (Changing host)
2022-07-07 20:45:41 +0200quarkyalice(~alice@user/quarkyalice)
2022-07-07 20:46:33 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-07-07 20:48:53 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860)
2022-07-07 20:50:02 +0200dschrempf(~dominik@mobiledyn-62-240-134-33.mrsn.at) (Quit: WeeChat 3.5)
2022-07-07 20:52:57 +0200nuc13u5(~nuc13u5@2601:203:400:af50:89cc:9642:c954:860) (Ping timeout: 244 seconds)
2022-07-07 20:58:31 +0200polo(~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-07 21:09:30 +0200Vajb(~Vajb@2001:999:58c:b683:1e3e:e86f:8cdc:e10) (Read error: Connection reset by peer)
2022-07-07 21:09:41 +0200Vajb(~Vajb@85-76-102-9-nat.elisa-mobile.fi)
2022-07-07 21:11:10 +0200Pickchea(~private@user/pickchea) (Ping timeout: 240 seconds)
2022-07-07 21:12:41 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-07-07 21:14:38 +0200machinedgod(~machinedg@184.68.124.102)
2022-07-07 21:24:33 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-07-07 21:24:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-07 21:26:34 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-07 21:27:36 +0200 <slack1256> I need the output of the `-p` rts output of a program. But the program is inside of docker, when I kill it, it wipes out that file. What can I do?
2022-07-07 21:29:39 +0200 <Rembane> slack1256: Can you mount the directory where the program puts files?
2022-07-07 21:30:20 +0200Guest1285(~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net)
2022-07-07 21:30:45 +0200 <slack1256> !!!
2022-07-07 21:31:02 +0200 <slack1256> I did not know you could do that. Can you point me to some docs or tutorial Rembane ?
2022-07-07 21:32:03 +0200 <Rembane> slack1256: This could work, and if it doesn't maybe a bind mount works, there's a link for it in the same doc: https://docs.docker.com/storage/volumes/
2022-07-07 21:32:50 +0200Guest1285(~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host)
2022-07-07 21:32:50 +0200Guest1285(~Gambino@user/polo)
2022-07-07 21:32:55 +0200nuc13u5(~nuc13u5@73.48.251.119)
2022-07-07 21:33:42 +0200Guest1285Polo
2022-07-07 21:33:50 +0200kjak(~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2022-07-07 21:35:20 +0200 <geekosaur> do you know that file actually gets created? killing docker may kill the program with a signal and the file won't be written
2022-07-07 21:35:41 +0200 <geekosaur> best is to have a way to shut the program down properly and use that before shutting down the container
2022-07-07 21:38:15 +0200aeka`(~aeka@2606:6080:1001:13:a777:ff73:dfdc:3ab0)
2022-07-07 21:38:29 +0200nuc13u5(~nuc13u5@73.48.251.119) (Ping timeout: 256 seconds)
2022-07-07 21:38:47 +0200aeka(~aeka@user/hiruji) (Ping timeout: 255 seconds)
2022-07-07 21:38:48 +0200aeka`aeka
2022-07-07 21:40:03 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-07 21:40:16 +0200kjak(~kjak@pool-108-31-68-111.washdc.fios.verizon.net)
2022-07-07 21:41:58 +0200Everything(~Everythin@37.115.210.35)
2022-07-07 21:44:06 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde)
2022-07-07 21:46:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-07 21:48:14 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde) (Ping timeout: 244 seconds)
2022-07-07 21:52:33 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-07 21:52:58 +0200Pickchea(~private@user/pickchea)
2022-07-07 21:53:48 +0200Polo(~Gambino@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
2022-07-07 21:54:24 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1)
2022-07-07 21:54:39 +0200califax(~califax@user/califx)
2022-07-07 21:55:14 +0200nate4(~nate@98.45.169.16)
2022-07-07 21:56:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-07 21:57:56 +0200bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org) (Quit: WeeChat 3.3)
2022-07-07 21:59:50 +0200bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org)
2022-07-07 22:00:10 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-07 22:00:10 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-07-07 22:01:50 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1) (Remote host closed the connection)
2022-07-07 22:02:08 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1)
2022-07-07 22:03:48 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1) (Remote host closed the connection)
2022-07-07 22:04:07 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1)
2022-07-07 22:05:06 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
2022-07-07 22:06:16 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-07-07 22:12:23 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1) (Remote host closed the connection)
2022-07-07 22:12:42 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1)
2022-07-07 22:12:58 +0200bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org) (Quit: WeeChat 3.3)
2022-07-07 22:13:08 +0200bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak)
2022-07-07 22:14:32 +0200shalokshalom(~quassel@2a02:8109:b40:42f4:4f45:338b:3ba8:8f20) (Remote host closed the connection)
2022-07-07 22:17:00 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-07-07 22:17:51 +0200tdammers(~tdammers@77.109.72.118.res.static.edpnet.net) (Ping timeout: 246 seconds)
2022-07-07 22:18:33 +0200Topsi(~Topsi@host-88-217-154-179.customer.m-online.net)
2022-07-07 22:18:43 +0200machinedgod(~machinedg@184.68.124.102) (Ping timeout: 244 seconds)
2022-07-07 22:19:26 +0200dcoutts(~duncan@host-92-23-41-52.as13285.net)
2022-07-07 22:20:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-07 22:22:09 +0200 <fockerize> is Data.ByteString.Char8 and Data.Text comparable? Since both seem to be efficient strings
2022-07-07 22:22:21 +0200 <geekosaur> not
2022-07-07 22:22:34 +0200 <geekosaur> Char8 is an ugly hack that truncates Char to its lower 8 bits
2022-07-07 22:22:41 +0200 <geekosaur> Text is, well, proper utf8 text
2022-07-07 22:23:09 +0200 <fockerize> There is no utf8 for bytestring package right?
2022-07-07 22:23:15 +0200 <geekosaur> basically, Char8 should be avoided unless you know exactly what you're doing
2022-07-07 22:23:48 +0200 <fockerize> I'm working on some hackage package where they use Char8 for strings
2022-07-07 22:23:50 +0200 <geekosaur> nope. there is a decode function in text that takes a ByteString and parses it as utf8, though
2022-07-07 22:24:29 +0200 <fockerize> the zip-archive package
2022-07-07 22:24:55 +0200 <Clint> there's utf8-string, depending on what your question means
2022-07-07 22:24:58 +0200 <geekosaur> https://hackage.haskell.org/package/text-2.0/docs/Data-Text-Encoding.html#v:decodeUtf8
2022-07-07 22:25:56 +0200 <fockerize> The archive Entry data structure has a field: eCompressedData :: ByteString I think that's a bad design choice?
2022-07-07 22:26:17 +0200 <fockerize> fromEntry :: Entry -> ByteString
2022-07-07 22:26:30 +0200 <fockerize> anyway I get the point
2022-07-07 22:27:08 +0200 <geekosaur> compressed data should be a ByteString, as it's compressed and the uncompressed format isn't necessarily known anyway
2022-07-07 22:27:25 +0200 <fockerize> that package might not be able to work with utf8 files i guess
2022-07-07 22:27:26 +0200 <geekosaur> uncompressing might or might not yield something better stored in another type
2022-07-07 22:27:56 +0200 <geekosaur> and it's not up to zip-archive to understand what has been stored
2022-07-07 22:28:25 +0200 <geekosaur> if you know it's utf8 data then call decodeUtf8 on it to get a proper Text
2022-07-07 22:28:44 +0200 <fockerize> i see
2022-07-07 22:28:53 +0200 <fockerize> that helps
2022-07-07 22:28:58 +0200 <geekosaur> it's not for a compression utility to know every possible compressed data type it might be used with
2022-07-07 22:30:43 +0200tdammers(~tdammers@77.109.72.118.res.static.edpnet.net)
2022-07-07 22:31:14 +0200 <fockerize> anyway to un-import a package from ghci?
2022-07-07 22:31:19 +0200 <fockerize> any way to un-import a package from ghci?
2022-07-07 22:31:42 +0200 <slack1256> :module - Module.to.unimport
2022-07-07 22:34:08 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1) (Remote host closed the connection)
2022-07-07 22:34:27 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1)
2022-07-07 22:36:07 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1) (Remote host closed the connection)
2022-07-07 22:36:17 +0200merijn(~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2022-07-07 22:36:25 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1)
2022-07-07 22:38:05 +0200Everything(~Everythin@37.115.210.35) (Quit: leaving)
2022-07-07 22:39:53 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-07 22:42:27 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1) (Remote host closed the connection)
2022-07-07 22:42:45 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1)
2022-07-07 22:42:56 +0200 <slack1256> Is it possible to redirect the `+RTS -P --RTS` to stderr ?
2022-07-07 22:44:08 +0200 <slack1256> Alternatively, which GHC module lets me manipulate that info at runtime?
2022-07-07 22:44:38 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-07-07 22:45:10 +0200pleo(~pleo@user/pleo) (Ping timeout: 240 seconds)
2022-07-07 22:45:26 +0200nate4(~nate@98.45.169.16)
2022-07-07 22:47:17 +0200alp(~alp@user/alp)
2022-07-07 22:47:24 +0200lxg(~lxg@2600:1700:8c68:10c0:b168:992f:a567:9f1) (Remote host closed the connection)
2022-07-07 22:50:36 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-07 22:51:13 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2022-07-07 22:54:04 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
2022-07-07 22:55:38 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-07-07 22:56:50 +0200`2jt(~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2022-07-07 22:57:23 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:7d79:d1a4:aca1:4fde)
2022-07-07 22:57:33 +0200pleo(~pleo@user/pleo)
2022-07-07 23:04:50 +0200fockerize(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2022-07-07 23:09:34 +0200polo(~Gambino@user/polo)
2022-07-07 23:17:38 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-07 23:20:24 +0200polo(~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-07 23:22:11 +0200motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2022-07-07 23:23:18 +0200 <jackdk> Is there a standard templating library that people like to use? I'm writing a tool that needs to instantiate a bunch of templates, and I'm wondering if there's a clear winner in this space.
2022-07-07 23:24:38 +0200 <maerwald> jackdk: like... text files?
2022-07-07 23:24:41 +0200motherfsck(~motherfsc@user/motherfsck)
2022-07-07 23:25:12 +0200 <jackdk> maerwald: yeah, but without badly reinventing the "substitute this value here please" bit
2022-07-07 23:25:36 +0200 <maerwald> some people use dhall
2022-07-07 23:25:42 +0200 <EvanR> blaze? xD
2022-07-07 23:27:15 +0200toulene(~toulene@user/toulene)
2022-07-07 23:28:04 +0200toulene(~toulene@user/toulene) (Client Quit)
2022-07-07 23:29:08 +0200fockerize(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-07-07 23:29:14 +0200 <carbolymer> jsonnet
2022-07-07 23:30:27 +0200 <jackdk> maerwald: interesting. we use that where writing yaml sucks. Hadn't considered it for text generation
2022-07-07 23:30:46 +0200raoul(~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds))
2022-07-07 23:30:47 +0200 <geekosaur> slack1256, you may be able to use the eventlog and redirect its output or use bgamari's eventlog-socket thing
2022-07-07 23:31:09 +0200raoul(~raoul@95.179.203.88)
2022-07-07 23:31:46 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2022-07-07 23:32:30 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2022-07-07 23:35:47 +0200Pickchea(~private@user/pickchea) (Ping timeout: 256 seconds)
2022-07-07 23:41:50 +0200unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 240 seconds)
2022-07-07 23:43:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-07 23:44:57 +0200pgas(~pg@190.247.245.154)
2022-07-07 23:46:35 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-07-07 23:48:30 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-07 23:51:56 +0200pavonia(~user@user/siracusa)
2022-07-07 23:57:43 +0200Colere(~colere@about/linux/staff/sauvin) (Read error: Connection reset by peer)
2022-07-07 23:57:46 +0200Topsi(~Topsi@host-88-217-154-179.customer.m-online.net) (Read error: Connection reset by peer)