IRCBrowse

2021/10/12

2021-10-12 00:04:30 +0200neurocyte0132889(~neurocyte@user/neurocyte) (Ping timeout: 260 seconds)
2021-10-12 00:06:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-10-12 00:09:13 +0200Lycurgus(~juan@98.4.112.204) (Quit: Exeunt)
2021-10-12 00:11:29 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection)
2021-10-12 00:16:17 +0200feliix42_(~felix@gibbs.uberspace.de) (Quit: ZNC 1.8.2 - https://znc.in)
2021-10-12 00:16:32 +0200feliix42(~felix@gibbs.uberspace.de)
2021-10-12 00:16:42 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-10-12 00:18:36 +0200Hecate(~mariposa@user/hecate) (Ping timeout: 250 seconds)
2021-10-12 00:18:42 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2021-10-12 00:18:43 +0200Hecate(~mariposa@163.172.211.189)
2021-10-12 00:19:57 +0200sedeki(~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com)
2021-10-12 00:22:21 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-10-12 00:27:08 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d)
2021-10-12 00:27:35 +0200coot(~coot@37.30.52.99.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-10-12 00:28:02 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-10-12 00:30:37 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-10-12 00:32:25 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 252 seconds)
2021-10-12 00:37:44 +0200cjb(~cjb@user/cjb) ()
2021-10-12 00:37:50 +0200max22-(~maxime@2a01cb08833598000bdc249d87a31114.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-10-12 00:40:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-10-12 00:44:52 +0200tremon_(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-10-12 00:45:27 +0200jgeerds(~jgeerds@55d4da80.access.ecotel.net) (Ping timeout: 265 seconds)
2021-10-12 00:45:56 +0200chomwitt(~chomwitt@94.66.61.137) (Ping timeout: 265 seconds)
2021-10-12 00:46:33 +0200hyiltiz(~quassel@31.220.5.250)
2021-10-12 00:47:48 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-10-12 00:49:31 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-10-12 00:56:28 +0200aegon(~mike@174.127.249.180)
2021-10-12 00:56:37 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-10-12 00:57:56 +0200ubert(~Thunderbi@178.115.41.191.wireless.dyn.drei.com) (Ping timeout: 268 seconds)
2021-10-12 01:01:04 +0200jtomas(~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) (Ping timeout: 265 seconds)
2021-10-12 01:09:33 +0200emf(~emf@2620:10d:c090:400::5:fe52) (Quit: emf)
2021-10-12 01:10:21 +0200zzzyournick
2021-10-12 01:11:54 +0200falafel(~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com)
2021-10-12 01:15:37 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-10-12 01:20:53 +0200DNH(~DNH@2a02:8108:1100:16d8:d1f:d611:c784:7f39) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-10-12 01:25:49 +0200falafel(~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) (Ping timeout: 252 seconds)
2021-10-12 01:27:10 +0200emf(~emf@2620:10d:c090:400::5:fe52)
2021-10-12 01:28:09 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 268 seconds)
2021-10-12 01:28:31 +0200waleee(~waleee@h-98-128-228-119.na.cust.bahnhof.se) (Ping timeout: 252 seconds)
2021-10-12 01:30:56 +0200CiaoSen(~Jura@p200300c9571101002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-10-12 01:31:46 +0200emf(~emf@2620:10d:c090:400::5:fe52) (Ping timeout: 260 seconds)
2021-10-12 01:32:20 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 265 seconds)
2021-10-12 01:32:21 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-10-12 01:32:22 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-10-12 01:33:04 +0200hyiltiz(~quassel@31.220.5.250)
2021-10-12 01:35:49 +0200Amras(~Amras@user/Amras)
2021-10-12 01:35:57 +0200 <Amras> how do I actually use Decidable's `lose`?
2021-10-12 01:36:28 +0200 <Amras> I know it's supposed to mark a theoretical but unreachable branch, and that is what I'm trying to do with it
2021-10-12 01:38:11 +0200 <Amras> but lose wants an `a->Void` argument and I see no way to generate that
2021-10-12 01:39:34 +0200 <geekosaur> :t absurd
2021-10-12 01:39:35 +0200 <lambdabot> Void -> a
2021-10-12 01:39:39 +0200 <geekosaur> whoops
2021-10-12 01:41:05 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2021-10-12 01:41:20 +0200 <geekosaur> I wonder if that means it wants an invocation of error
2021-10-12 01:41:53 +0200 <awpr> it expects the type parameter to be an uninhabited type
2021-10-12 01:41:58 +0200 <geekosaur> since there is indeed no way to create a value of type Void, only to tell the type system you're doing it (but actually throwing an exception)
2021-10-12 01:42:18 +0200 <Amras> handing it error is definitely the sensible thing in my instance!
2021-10-12 01:42:34 +0200 <awpr> `\x -> case x of {}` works for any type with no constructors
2021-10-12 01:43:05 +0200 <awpr> if the type _does_ have values, then `lose` isn't really meant to handle it
2021-10-12 01:45:30 +0200machinedgod(~machinedg@24.105.81.50)
2021-10-12 01:47:11 +0200lavaman(~lavaman@98.38.249.169)
2021-10-12 01:47:21 +0200 <awpr> actually `lose` might be pragmatic with an `error` call: `lose` embodies the concept of "the Decidable is vacuously satisfied because the case is unreachable", so turning your "impossible" value into an `error` would probably result in the error getting thrown if that case does end up happening
2021-10-12 01:47:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-10-12 01:48:03 +0200emf(~emf@2620:10d:c090:400::5:fe52)
2021-10-12 01:48:42 +0200 <awpr> although some particular instances might find a way to miss the error, if they don't force the values of their type parameter or if they're phantom
2021-10-12 01:50:27 +0200yournickzzz
2021-10-12 01:50:29 +0200Phantastes(~Phantaste@c-67-173-229-120.hsd1.co.comcast.net)
2021-10-12 01:50:43 +0200Phantastes(~Phantaste@c-67-173-229-120.hsd1.co.comcast.net) (Client Quit)
2021-10-12 01:51:37 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-10-12 01:57:13 +0200porky(~porky@c-67-173-229-120.hsd1.co.comcast.net)
2021-10-12 02:00:27 +0200pieguy128_(~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) (Ping timeout: 240 seconds)
2021-10-12 02:05:08 +0200Tordek_Tordek
2021-10-12 02:06:21 +0200s810(~jake@pool-100-0-213-111.bstnma.fios.verizon.net)
2021-10-12 02:08:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-10-12 02:09:21 +0200pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-48-67-70-102-17.dsl.bell.ca)
2021-10-12 02:12:01 +0200Phantastes(~Phantaste@c-67-173-229-120.hsd1.co.comcast.net)
2021-10-12 02:13:27 +0200s810(~jake@pool-100-0-213-111.bstnma.fios.verizon.net) (Quit: WeeChat 3.3)
2021-10-12 02:15:39 +0200esrh(~user@r4-128-61-91-211.res.gatech.edu)
2021-10-12 02:28:14 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-10-12 02:35:21 +0200Amras(~Amras@user/Amras) (Remote host closed the connection)
2021-10-12 02:39:41 +0200alx741(~alx741@181.196.69.249) (Ping timeout: 268 seconds)
2021-10-12 02:40:41 +0200emf(~emf@2620:10d:c090:400::5:fe52) (Quit: emf)
2021-10-12 02:42:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-10-12 02:46:17 +0200vgtw(~vgtw@c-6a60205c.07-348-756d651.bbcust.telenor.se) (Ping timeout: 246 seconds)
2021-10-12 02:52:05 +0200alx741(~alx741@186.178.108.69)
2021-10-12 02:54:29 +0200mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Remote host closed the connection)
2021-10-12 02:59:42 +0200emf(~emf@2620:10d:c090:400::5:fe52)
2021-10-12 03:02:18 +0200esrh(~user@r4-128-61-91-211.res.gatech.edu) (Remote host closed the connection)
2021-10-12 03:04:17 +0200CMDR_Kaiser(~CMDR_Kais@190.237.88.66)
2021-10-12 03:04:46 +0200esrh(~user@r4-128-61-91-211.res.gatech.edu)
2021-10-12 03:04:52 +0200 <esrh> monads amirite
2021-10-12 03:06:35 +0200lbseale(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-10-12 03:06:46 +0200xff0x(~xff0x@2001:1a81:534f:ad00:a171:1916:9bbd:f9e0) (Ping timeout: 245 seconds)
2021-10-12 03:08:34 +0200xff0x(~xff0x@2001:1a81:538c:f300:a5c4:ad00:4a33:e2f4)
2021-10-12 03:10:48 +0200bitmapper(~user@142.134.87.154)
2021-10-12 03:12:35 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-10-12 03:13:14 +0200Psybur(~Psybur@mobile-166-170-32-197.mycingular.net) (Remote host closed the connection)
2021-10-12 03:13:17 +0200vgtw(~vgtw@c-6a60205c.07-348-756d651.bbcust.telenor.se)
2021-10-12 03:13:42 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-10-12 03:18:12 +0200emf(~emf@2620:10d:c090:400::5:fe52) (Quit: emf)
2021-10-12 03:19:13 +0200emf(~emf@2620:10d:c090:400::5:fe52)
2021-10-12 03:20:34 +0200emf(~emf@2620:10d:c090:400::5:fe52) (Client Quit)
2021-10-12 03:21:07 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-10-12 03:29:22 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 260 seconds)
2021-10-12 03:29:35 +0200 <zzz> what about them?
2021-10-12 03:29:57 +0200zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-10-12 03:30:41 +0200emf(~emf@2620:10d:c090:400::5:fe52)
2021-10-12 03:31:14 +0200zaquest(~notzaques@5.128.210.178)
2021-10-12 03:32:43 +0200 <rootard> esrh: you're not wrong.
2021-10-12 03:33:20 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-10-12 03:33:45 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-10-12 03:34:06 +0200brettgilio(~brettgili@x-node.gq) (Read error: Connection reset by peer)
2021-10-12 03:34:10 +0200Adeon(sid418992@lymington.irccloud.com) (Ping timeout: 260 seconds)
2021-10-12 03:34:10 +0200mrianbloom(sid350277@ilkley.irccloud.com) (Ping timeout: 260 seconds)
2021-10-12 03:34:10 +0200cln(sid336875@ilkley.irccloud.com) (Ping timeout: 260 seconds)
2021-10-12 03:34:10 +0200vito(sid1962@user/vito) (Ping timeout: 260 seconds)
2021-10-12 03:34:10 +0200eruditass(uid248673@uxbridge.irccloud.com) (Ping timeout: 260 seconds)
2021-10-12 03:34:10 +0200meinside(uid24933@helmsley.irccloud.com) (Ping timeout: 260 seconds)
2021-10-12 03:34:10 +0200gmc(sid58314@ilkley.irccloud.com) (Ping timeout: 260 seconds)
2021-10-12 03:34:10 +0200rubin55(sid175221@hampstead.irccloud.com) (Ping timeout: 260 seconds)
2021-10-12 03:34:10 +0200sa1(sid7690@ilkley.irccloud.com) (Ping timeout: 260 seconds)
2021-10-12 03:34:10 +0200degraafk(sid71464@lymington.irccloud.com) (Ping timeout: 260 seconds)
2021-10-12 03:34:21 +0200haskl[error](~haskl@user/haskl) (Read error: Connection reset by peer)
2021-10-12 03:34:21 +0200connrs(~connrs@conners.plus.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-10-12 03:34:23 +0200mrianbloom(sid350277@id-350277.ilkley.irccloud.com)
2021-10-12 03:34:23 +0200beaky_(~beaky@198.211.118.219)
2021-10-12 03:34:34 +0200haskl(~haskl@user/haskl)
2021-10-12 03:34:34 +0200connrs(~connrs@conners.plus.com)
2021-10-12 03:34:45 +0200beaky(~beaky@2a03:b0c0:0:1010::1e:a001) (Ping timeout: 260 seconds)
2021-10-12 03:34:53 +0200brettgilio(~brettgili@x-node.gq)
2021-10-12 03:35:10 +0200cln(sid336875@id-336875.ilkley.irccloud.com)
2021-10-12 03:35:20 +0200ringo_(~ringo@157.230.117.128) (Ping timeout: 260 seconds)
2021-10-12 03:35:21 +0200Adeon(sid418992@id-418992.lymington.irccloud.com)
2021-10-12 03:35:22 +0200vito(sid1962@user/vito)
2021-10-12 03:35:22 +0200sa1(sid7690@id-7690.ilkley.irccloud.com)
2021-10-12 03:35:22 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com)
2021-10-12 03:35:22 +0200degraafk(sid71464@id-71464.lymington.irccloud.com)
2021-10-12 03:35:22 +0200gmc(sid58314@id-58314.ilkley.irccloud.com)
2021-10-12 03:35:23 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2021-10-12 03:35:50 +0200ringo_(~ringo@157.230.117.128)
2021-10-12 03:35:55 +0200enicar(~enikar@user/enikar) (Ping timeout: 260 seconds)
2021-10-12 03:35:57 +0200eruditass(uid248673@id-248673.uxbridge.irccloud.com)
2021-10-12 03:36:25 +0200enicar(~enikar@user/enikar)
2021-10-12 03:40:57 +0200emf(~emf@2620:10d:c090:400::5:fe52) (Quit: emf)
2021-10-12 03:44:52 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-10-12 03:45:25 +0200 <esrh> thoughts on Data.List(intercalate)?
2021-10-12 03:45:30 +0200 <esrh> yay or nay
2021-10-12 03:48:46 +0200rootard(~rootard@172.58.88.54) (Ping timeout: 252 seconds)
2021-10-12 03:49:11 +0200 <pavonia> As opposed to what?
2021-10-12 03:51:35 +0200 <Cajun> i mean what would be wrong with it other than possibly the usage of lists when it isnt optimal?
2021-10-12 03:52:11 +0200 <Cajun> s/it isnt/lists arent
2021-10-12 04:00:27 +0200falafel(~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com)
2021-10-12 04:07:43 +0200brainfreeze(~brainfree@2a03:1b20:4:f011::20d)
2021-10-12 04:08:23 +0200gaussrz(~gaussrz@2403:d400:1001:2:d2c5:d3ff:fe69:8eb5)
2021-10-12 04:19:18 +0200 <esrh> nothing lol i was just kidding, i'm pretty new to haskell and the variety of list functions stuck out to me
2021-10-12 04:20:58 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-10-12 04:23:09 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-10-12 04:24:24 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
2021-10-12 04:29:03 +0200 <slack1256> When using the rts option -xc , how can I redirect to a file the output? I know that by default it uses stderr, but my app already uses that fd.
2021-10-12 04:31:42 +0200 <hololeap> is it correct that so-called extensible effects have something to do with free monads? I've been eyeballing polysemy since yesterday, and I kind of get how to use it, but what does it have to do with free monads?
2021-10-12 04:36:01 +0200alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-10-12 04:36:03 +0200esrh(~user@r4-128-61-91-211.res.gatech.edu) (ERC (IRC client for Emacs 27.2))
2021-10-12 04:37:14 +0200alx741(~alx741@186.178.108.69) (Quit: alx741)
2021-10-12 04:39:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-10-12 04:41:05 +0200 <hololeap> I suppose it has something to do with the functor at each layer of the free monad being defined in a type-level list, so it is heterogeneous, as opposed to a static functor `f` forming a "normal" (homogeneous) free monad
2021-10-12 04:49:04 +0200CMDR_Kaiser(~CMDR_Kais@190.237.88.66) (Quit: Leaving...)
2021-10-12 04:50:06 +0200falafel(~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) (Ping timeout: 260 seconds)
2021-10-12 04:50:55 +0200td_(~td@94.134.91.135) (Ping timeout: 252 seconds)
2021-10-12 04:52:20 +0200brainfreeze(~brainfree@2a03:1b20:4:f011::20d) (Quit: Leaving)
2021-10-12 04:52:27 +0200td_(~td@muedsl-82-207-238-248.citykom.de)
2021-10-12 04:53:24 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 265 seconds)
2021-10-12 04:54:57 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-10-12 05:07:50 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-10-12 05:11:57 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-10-12 05:13:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-10-12 05:28:19 +0200mbuf(~Shakthi@122.178.178.86)
2021-10-12 05:30:53 +0200falafel(~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com)
2021-10-12 05:35:06 +0200slack1256(~slack1256@45.4.2.52) (Ping timeout: 245 seconds)
2021-10-12 05:40:45 +0200 <lyxia_> free X means you can interpret it into any (reasonable) X
2021-10-12 05:41:04 +0200lyxia_lyxia
2021-10-12 05:42:33 +0200 <razor[m]> bullshit man
2021-10-12 05:43:15 +0200 <lyxia> so it's kinda the nature of extensible effects that they involve free monads in one way or another
2021-10-12 05:45:01 +0200gaussrz(~gaussrz@2403:d400:1001:2:d2c5:d3ff:fe69:8eb5) (Ping timeout: 250 seconds)
2021-10-12 05:45:38 +0200Hecate(~mariposa@163.172.211.189) (Changing host)
2021-10-12 05:45:38 +0200Hecate(~mariposa@user/hecate)
2021-10-12 05:47:21 +0200porky(~porky@c-67-173-229-120.hsd1.co.comcast.net) (Quit: Client closed)
2021-10-12 05:48:30 +0200cads(~asdf@ip-64-72-99-234.lasvegas.net) (Remote host closed the connection)
2021-10-12 05:48:47 +0200cads(~asdf@ip-64-72-99-234.lasvegas.net)
2021-10-12 05:49:38 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-10-12 06:20:23 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-10-12 06:26:39 +0200jmcantrell(~jmcantrel@user/jmcantrell)
2021-10-12 06:28:10 +0200 <jmcantrell> when using ghcup, is there a way to tell it not to alter my shell's rc file?
2021-10-12 06:33:02 +0200 <jmcantrell> looks like I can set SHELL to some bogus value, but that seems a bit hacky
2021-10-12 06:38:00 +0200 <justsomeguy> jmcantrell: You can do a manual install instead of the curl ... | sh buisness. https://www.haskell.org/ghcup/install/#manual-install
2021-10-12 06:38:34 +0200 <justsomeguy> I don't think that ghcup touches your shell startup files after the initial setup. Does it?
2021-10-12 06:39:38 +0200 <jmcantrell> I don't think so
2021-10-12 06:43:28 +0200 <justsomeguy> I wonder, if I wanted to design my own alternative to stack/cabal/nix today, what would I need to know? Just how to override GHCs search path? Or is there more? I'd like to understand how all these build tools work.
2021-10-12 06:48:42 +0200 <justsomeguy> Part of the reason I wonder this is because I don't know how stack test finds and executes the test suite, for example.
2021-10-12 06:49:30 +0200 <hololeap> in cabal, it's just defined in the .cabal file for the project
2021-10-12 06:50:02 +0200 <sclv> cabal is both
2021-10-12 06:50:28 +0200 <sclv> a build system and a dep management/orchestration system
2021-10-12 06:50:51 +0200 <sclv> both nix and stack use the build system component
2021-10-12 06:51:05 +0200 <sclv> (aka “Cabal the library”)
2021-10-12 06:51:32 +0200 <sclv> (aka calling Setup.hs)
2021-10-12 06:54:45 +0200betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Quit: The Lounge - https://thelounge.chat)
2021-10-12 06:56:24 +0200betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-10-12 07:01:49 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-10-12 07:02:19 +0200NaTaSa21F(~KELEBEK@95.70.207.169)
2021-10-12 07:04:19 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-10-12 07:06:28 +0200dwt_(~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (Read error: Connection reset by peer)
2021-10-12 07:09:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-10-12 07:10:24 +0200 <Phantastes> :quit
2021-10-12 07:10:32 +0200 <Phantastes> quit
2021-10-12 07:10:50 +0200Phantastes(~Phantaste@c-67-173-229-120.hsd1.co.comcast.net) (Quit: Client closed)
2021-10-12 07:10:56 +0200Inst(~Inst@2601:6c4:4080:3f80:4173:3bb7:a5d4:1bf9) (Ping timeout: 245 seconds)
2021-10-12 07:13:17 +0200 <sm> justsomeguy: ohh.. quite a lot to know
2021-10-12 07:21:13 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-10-12 07:22:28 +0200chomwitt(~chomwitt@2a02:587:dc18:b400:12c3:7bff:fe6d:d374)
2021-10-12 07:22:35 +0200NaTaSa21F(~KELEBEK@95.70.207.169) (K-Lined)
2021-10-12 07:26:56 +0200chomwitt(~chomwitt@2a02:587:dc18:b400:12c3:7bff:fe6d:d374) (Remote host closed the connection)
2021-10-12 07:33:43 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-10-12 07:37:04 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-10-12 07:44:22 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-10-12 07:44:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-10-12 07:47:24 +0200phma(~phma@host-67-44-209-69.hnremote.net) (Read error: Connection reset by peer)
2021-10-12 07:48:20 +0200phma(~phma@host-67-44-208-96.hnremote.net)
2021-10-12 07:49:46 +0200lavaman(~lavaman@98.38.249.169)
2021-10-12 07:52:25 +0200bitmapper(~user@142.134.87.154) (Ping timeout: 252 seconds)
2021-10-12 07:53:44 +0200famubu(~famubu@user/famubu)
2021-10-12 07:53:55 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-10-12 07:53:55 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-10-12 07:53:55 +0200wroathe(~wroathe@user/wroathe)
2021-10-12 07:54:19 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-10-12 07:55:43 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-10-12 07:56:46 +0200falafel(~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) (Ping timeout: 260 seconds)
2021-10-12 07:58:28 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-10-12 07:59:25 +0200coot(~coot@37.30.52.99.nat.umts.dynamic.t-mobile.pl)
2021-10-12 07:59:45 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection)
2021-10-12 08:04:35 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-10-12 08:08:19 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Remote host closed the connection)
2021-10-12 08:08:32 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-10-12 08:12:01 +0200falafel(~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com)
2021-10-12 08:12:23 +0200max22-(~maxime@2a01cb0883359800a7b96a93836f21d6.ipv6.abo.wanadoo.fr)
2021-10-12 08:12:30 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-10-12 08:14:30 +0200wonko(~wjc@62.115.229.50)
2021-10-12 08:18:34 +0200aegon(~mike@174.127.249.180) (Remote host closed the connection)
2021-10-12 08:19:08 +0200famubu(~famubu@user/famubu) (Quit: leaving)
2021-10-12 08:27:06 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 260 seconds)
2021-10-12 08:27:15 +0200fendor(~fendor@178.115.71.1.wireless.dyn.drei.com)
2021-10-12 08:34:38 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (*.net *.split)
2021-10-12 08:34:38 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (*.net *.split)
2021-10-12 08:34:38 +0200coot(~coot@37.30.52.99.nat.umts.dynamic.t-mobile.pl) (*.net *.split)
2021-10-12 08:34:38 +0200phma(~phma@host-67-44-208-96.hnremote.net) (*.net *.split)
2021-10-12 08:34:39 +0200cads(~asdf@ip-64-72-99-234.lasvegas.net) (*.net *.split)
2021-10-12 08:34:39 +0200mbuf(~Shakthi@122.178.178.86) (*.net *.split)
2021-10-12 08:34:39 +0200dyeplexer(~dyeplexer@user/dyeplexer) (*.net *.split)
2021-10-12 08:34:39 +0200Hecate(~mariposa@user/hecate) (*.net *.split)
2021-10-12 08:34:39 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (*.net *.split)
2021-10-12 08:34:39 +0200wrengr(~wrengr@150.12.83.34.bc.googleusercontent.com) (*.net *.split)
2021-10-12 08:34:39 +0200dermato(~dermatobr@cpe-70-114-219-76.austin.res.rr.com) (*.net *.split)
2021-10-12 08:34:39 +0200ystael(~ystael@user/ystael) (*.net *.split)
2021-10-12 08:34:39 +0200Sgeo(~Sgeo@user/sgeo) (*.net *.split)
2021-10-12 08:34:39 +0200AlexZenon(~alzenon@178.34.161.78) (*.net *.split)
2021-10-12 08:34:39 +0200Alex_test(~al_test@178.34.161.78) (*.net *.split)
2021-10-12 08:34:39 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (*.net *.split)
2021-10-12 08:34:39 +0200aarchi(sid486183@uxbridge.irccloud.com) (*.net *.split)
2021-10-12 08:34:39 +0200hendi(sid489601@lymington.irccloud.com) (*.net *.split)
2021-10-12 08:34:39 +0200gonz___(sid304396@lymington.irccloud.com) (*.net *.split)
2021-10-12 08:34:39 +0200fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (*.net *.split)
2021-10-12 08:34:39 +0200sm2n(~sm2n@user/sm2n) (*.net *.split)
2021-10-12 08:34:39 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (*.net *.split)
2021-10-12 08:34:39 +0200ghoulguy(x@libera/staff/glguy) (*.net *.split)
2021-10-12 08:34:39 +0200cls(~cls@chalk.lubutu.com) (*.net *.split)
2021-10-12 08:34:39 +0200T_S_(sid501726@uxbridge.irccloud.com) (*.net *.split)
2021-10-12 08:34:39 +0200rembo10(~rembo10@remulis.com) (*.net *.split)
2021-10-12 08:34:39 +0200mniip(~mniip@libera/staff/mniip) (*.net *.split)
2021-10-12 08:34:39 +0200nvmd(~nvmd@user/nvmd) (*.net *.split)
2021-10-12 08:34:39 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2021-10-12 08:34:39 +0200awth13(~awth13@user/awth13) (*.net *.split)
2021-10-12 08:34:39 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (*.net *.split)
2021-10-12 08:34:39 +0200dpratt_(sid193493@helmsley.irccloud.com) (*.net *.split)
2021-10-12 08:34:39 +0200awpr(uid446117@lymington.irccloud.com) (*.net *.split)
2021-10-12 08:34:39 +0200aria(sid380617@lymington.irccloud.com) (*.net *.split)
2021-10-12 08:34:39 +0200bradparker(sid262931@uxbridge.irccloud.com) (*.net *.split)
2021-10-12 08:34:39 +0200tapas(sid467876@ilkley.irccloud.com) (*.net *.split)
2021-10-12 08:34:39 +0200nisstyre(~wes@user/nisstyre) (*.net *.split)
2021-10-12 08:34:39 +0200hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (*.net *.split)
2021-10-12 08:34:39 +0200sqrt2(~ben@80-108-18-7.cable.dynamic.surfer.at) (*.net *.split)
2021-10-12 08:34:39 +0200dolio(~dolio@130.44.130.54) (*.net *.split)
2021-10-12 08:34:39 +0200jrm(~jrm@156.34.187.65) (*.net *.split)
2021-10-12 08:34:39 +0200poljar(~poljar@93-139-113-226.adsl.net.t-com.hr) (*.net *.split)
2021-10-12 08:34:39 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (*.net *.split)
2021-10-12 08:34:39 +0200tdammers(~tdammers@77.109.72.177.res.static.edpnet.net) (*.net *.split)
2021-10-12 08:34:39 +0200w1gz(~do@159.89.11.133) (*.net *.split)
2021-10-12 08:34:39 +0200gnyeki(~gnyeki@user/gnyeki) (*.net *.split)
2021-10-12 08:34:39 +0200mmarusea1ph2(~mihai@198.199.100.72) (*.net *.split)
2021-10-12 08:34:39 +0200CannabisIndica(~herb@user/mesaboogie) (*.net *.split)
2021-10-12 08:34:39 +0200erisco(~erisco@d24-57-249-233.home.cgocable.net) (*.net *.split)
2021-10-12 08:34:39 +0200piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2021-10-12 08:34:39 +0200cods(~fred@82-65-232-44.subs.proxad.net) (*.net *.split)
2021-10-12 08:34:39 +0200m5zs7k(aquares@web10.mydevil.net) (*.net *.split)
2021-10-12 08:34:39 +0200martin02(~silas@141.84.69.76) (*.net *.split)
2021-10-12 08:34:39 +0200tureba(~tureba@tureba.org) (*.net *.split)
2021-10-12 08:34:39 +0200sshine(~simon@hubris.eta.solutions) (*.net *.split)
2021-10-12 08:34:39 +0200samebchase(~thelounge@51.15.68.182) (*.net *.split)
2021-10-12 08:38:31 +0200mc47(~mc47@xmonad/TheMC47)
2021-10-12 08:42:34 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:422d:8662:a5f5:7f36)
2021-10-12 08:47:15 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-10-12 08:48:01 +0200falafel(~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-10-12 08:49:56 +0200chele(~chele@user/chele)
2021-10-12 08:51:26 +0200jtomas(~jtomas@95.red-88-11-64.dynamicip.rima-tde.net)
2021-10-12 08:52:18 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-10-12 08:53:42 +0200img(~img@user/img)
2021-10-12 08:54:32 +0200emf(~emf@2620:10d:c090:400::5:c24e)
2021-10-12 08:54:34 +0200emf(~emf@2620:10d:c090:400::5:c24e) (Client Quit)
2021-10-12 08:56:19 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-10-12 08:56:19 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-10-12 08:56:19 +0200coot(~coot@37.30.52.99.nat.umts.dynamic.t-mobile.pl)
2021-10-12 08:56:19 +0200phma(~phma@host-67-44-208-96.hnremote.net)
2021-10-12 08:56:19 +0200cads(~asdf@ip-64-72-99-234.lasvegas.net)
2021-10-12 08:56:19 +0200mbuf(~Shakthi@122.178.178.86)
2021-10-12 08:56:19 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-10-12 08:56:19 +0200Hecate(~mariposa@user/hecate)
2021-10-12 08:56:19 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-10-12 08:56:19 +0200wrengr(~wrengr@150.12.83.34.bc.googleusercontent.com)
2021-10-12 08:56:19 +0200dermato(~dermatobr@cpe-70-114-219-76.austin.res.rr.com)
2021-10-12 08:56:19 +0200ystael(~ystael@user/ystael)
2021-10-12 08:56:19 +0200Sgeo(~Sgeo@user/sgeo)
2021-10-12 08:56:19 +0200AlexZenon(~alzenon@178.34.161.78)
2021-10-12 08:56:19 +0200Alex_test(~al_test@178.34.161.78)
2021-10-12 08:56:19 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2021-10-12 08:56:19 +0200aarchi(sid486183@uxbridge.irccloud.com)
2021-10-12 08:56:19 +0200hendi(sid489601@lymington.irccloud.com)
2021-10-12 08:56:19 +0200gonz___(sid304396@lymington.irccloud.com)
2021-10-12 08:56:19 +0200fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
2021-10-12 08:56:19 +0200sm2n(~sm2n@user/sm2n)
2021-10-12 08:56:19 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-10-12 08:56:19 +0200ghoulguy(x@libera/staff/glguy)
2021-10-12 08:56:19 +0200cls(~cls@chalk.lubutu.com)
2021-10-12 08:56:19 +0200T_S_(sid501726@uxbridge.irccloud.com)
2021-10-12 08:56:19 +0200rembo10(~rembo10@remulis.com)
2021-10-12 08:56:19 +0200mniip(~mniip@libera/staff/mniip)
2021-10-12 08:56:19 +0200nvmd(~nvmd@user/nvmd)
2021-10-12 08:56:19 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-10-12 08:56:19 +0200awth13(~awth13@user/awth13)
2021-10-12 08:56:19 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net)
2021-10-12 08:56:19 +0200dpratt_(sid193493@helmsley.irccloud.com)
2021-10-12 08:56:19 +0200awpr(uid446117@lymington.irccloud.com)
2021-10-12 08:56:19 +0200aria(sid380617@lymington.irccloud.com)
2021-10-12 08:56:19 +0200bradparker(sid262931@uxbridge.irccloud.com)
2021-10-12 08:56:19 +0200tapas(sid467876@ilkley.irccloud.com)
2021-10-12 08:56:19 +0200nisstyre(~wes@user/nisstyre)
2021-10-12 08:56:19 +0200hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-10-12 08:56:19 +0200sqrt2(~ben@80-108-18-7.cable.dynamic.surfer.at)
2021-10-12 08:56:19 +0200dolio(~dolio@130.44.130.54)
2021-10-12 08:56:19 +0200jrm(~jrm@156.34.187.65)
2021-10-12 08:56:19 +0200poljar(~poljar@93-139-113-226.adsl.net.t-com.hr)
2021-10-12 08:56:19 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-10-12 08:56:19 +0200tdammers(~tdammers@77.109.72.177.res.static.edpnet.net)
2021-10-12 08:56:19 +0200w1gz(~do@159.89.11.133)
2021-10-12 08:56:19 +0200gnyeki(~gnyeki@user/gnyeki)
2021-10-12 08:56:19 +0200mmarusea1ph2(~mihai@198.199.100.72)
2021-10-12 08:56:19 +0200CannabisIndica(~herb@user/mesaboogie)
2021-10-12 08:56:19 +0200erisco(~erisco@d24-57-249-233.home.cgocable.net)
2021-10-12 08:56:19 +0200piele(~piele@tbonesteak.creativeserver.net)
2021-10-12 08:56:19 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2021-10-12 08:56:19 +0200m5zs7k(aquares@web10.mydevil.net)
2021-10-12 08:56:19 +0200martin02(~silas@141.84.69.76)
2021-10-12 08:56:19 +0200tureba(~tureba@tureba.org)
2021-10-12 08:56:19 +0200sshine(~simon@hubris.eta.solutions)
2021-10-12 08:56:19 +0200samebchase(~thelounge@51.15.68.182)
2021-10-12 08:58:45 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Max SendQ exceeded)
2021-10-12 08:59:26 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-10-12 09:00:09 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d)
2021-10-12 09:00:50 +0200Neuromancer(~Neuromanc@user/neuromancer) (Ping timeout: 260 seconds)
2021-10-12 09:04:01 +0200 <tomsmeding> jmcantrell: I'm fairly sure the ghcup installer asks before writing stuff to your shell config
2021-10-12 09:04:16 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Ping timeout: 245 seconds)
2021-10-12 09:05:43 +0200haskl(~haskl@user/haskl) (Ping timeout: 268 seconds)
2021-10-12 09:06:05 +0200 <mc47> Hello, how could I link to the "Contents" page using haddock?
2021-10-12 09:06:27 +0200 <jmcantrell> tomsmeding: it doesn't if you have BOOTSTRAP_HASKELL_NONINTERACTIVE set
2021-10-12 09:06:46 +0200 <tomsmeding> ah
2021-10-12 09:07:44 +0200haskl(~haskl@user/haskl)
2021-10-12 09:10:03 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 265 seconds)
2021-10-12 09:11:45 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se)
2021-10-12 09:15:18 +0200hyiltiz(~quassel@31.220.5.250)
2021-10-12 09:19:15 +0200michalz(~michalz@185.246.204.72)
2021-10-12 09:25:42 +0200ubert(~Thunderbi@91.141.52.193.wireless.dyn.drei.com)
2021-10-12 09:27:43 +0200acidjnk(~acidjnk@p200300d0c703cb2275eb5b612d153f04.dip0.t-ipconnect.de)
2021-10-12 09:28:37 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-10-12 09:29:01 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-10-12 09:30:29 +0200mc47(~mc47@xmonad/TheMC47) (Quit: Leaving)
2021-10-12 09:35:49 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 252 seconds)
2021-10-12 09:37:28 +0200hyiltiz(~quassel@31.220.5.250)
2021-10-12 09:37:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-10-12 09:39:52 +0200jgeerds(~jgeerds@55d4da80.access.ecotel.net)
2021-10-12 09:43:16 +0200 <maerwald[m]> Jeremy Cantrell: huh?
2021-10-12 09:43:40 +0200 <maerwald[m]> https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/scripts/bootstrap/bootstrap-haskell#L337
2021-10-12 09:44:01 +0200beaky_beaky
2021-10-12 09:44:36 +0200 <maerwald[m]> It doesn't adjust bashrc in non-interactive mode, unless you set ${BOOTSTRAP_HASKELL_ADJUST_BASHRC
2021-10-12 09:47:47 +0200 <jmcantrell> maerwald: this block will modify the shell rc regardless https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/scripts/bootstrap/bootstrap-haskell#L379
2021-10-12 09:48:51 +0200 <maerwald[m]> No
2021-10-12 09:49:06 +0200 <maerwald[m]> Because the valul is 0
2021-10-12 09:52:42 +0200 <jmcantrell> I’m wondering now if I had BOOTSTRAP_HASKELL_ADJUST_BASHRC set.
2021-10-12 09:59:10 +0200hnOsmium0001(uid453710@id-453710.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-10-12 09:59:27 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-10-12 09:59:31 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-10-12 10:02:01 +0200cfricke(~cfricke@user/cfricke)
2021-10-12 10:03:26 +0200acidjnk(~acidjnk@p200300d0c703cb2275eb5b612d153f04.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-10-12 10:04:35 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-10-12 10:04:35 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-10-12 10:04:38 +0200allbery_bgeekosaur
2021-10-12 10:05:06 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 245 seconds)
2021-10-12 10:05:32 +0200kuribas(~user@ptr-25vy0i6zvgjgm7t1vz8.18120a2.ip6.access.telenet.be)
2021-10-12 10:05:58 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-10-12 10:07:03 +0200hendursa1(~weechat@user/hendursaga)
2021-10-12 10:08:15 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-10-12 10:09:41 +0200 <kuribas> Is there a good way to turn off shrinking in quickcheck?
2021-10-12 10:10:09 +0200 <merijn> don't implement a shrink function, like half of people... :p
2021-10-12 10:10:10 +0200azeem(~azeem@2a00:801:44a:7af2:af4a:bfcd:ab75:2b7e) (Read error: Connection reset by peer)
2021-10-12 10:10:17 +0200 <kuribas> it's very useful :)
2021-10-12 10:10:23 +0200azeem(~azeem@emp-85-170.eduroam.uu.se)
2021-10-12 10:10:24 +0200 <kuribas> except not for this one testcase.
2021-10-12 10:10:33 +0200 <kuribas> hmm, "forall arbitrary" could work.
2021-10-12 10:11:07 +0200 <kuribas> because for this testcase, the second parameter depends on the value of the first, and shrinking discards that dependency.
2021-10-12 10:11:30 +0200 <kuribas> merijn: why don't people implement it?
2021-10-12 10:12:09 +0200 <kuribas> too much work, or not useful?
2021-10-12 10:17:37 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-10-12 10:17:37 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-10-12 10:17:40 +0200allbery_bgeekosaur
2021-10-12 10:19:12 +0200 <tomsmeding> too much work
2021-10-12 10:19:31 +0200 <kuribas> hmm, it was fairly easy in my case, I just used the existing combinators.
2021-10-12 10:19:50 +0200 <tomsmeding> yes, the amount of work required is not necessarily equal to the amount of work people think it is :p
2021-10-12 10:20:07 +0200 <kuribas> namely shinkList
2021-10-12 10:20:23 +0200 <kuribas> in othercases it seems to be just some boilerplate code.
2021-10-12 10:20:41 +0200 <tomsmeding> also not much tells you to do it in the first place, to be honest. For me personally, I know well that Arbitrary has a method arbitrary, but I consistently forget that it also has shrink
2021-10-12 10:20:58 +0200 <tomsmeding> if you forget to define 'shrink', nothing tells you that you're missing out on functionality
2021-10-12 10:21:08 +0200 <kuribas> right, it will default to no shrinking.
2021-10-12 10:21:11 +0200notzmv(~zmv@user/notzmv)
2021-10-12 10:21:12 +0200 <tomsmeding> yeah
2021-10-12 10:21:20 +0200tdaeayusr^(~tdaeayusr@wsip-70-165-23-55.mc.at.cox.net)
2021-10-12 10:22:24 +0200 <tomsmeding> conjecture: if 'shrink' was a non-optional method of the type class, half of the people merijn mentioned would now implement shrink, and the other half would complain that they have to write 'shrink = const []'
2021-10-12 10:22:49 +0200 <tomsmeding> s/const []/shrinkNothing/
2021-10-12 10:28:38 +0200gehmehgeh(~user@user/gehmehgeh)
2021-10-12 10:30:13 +0200 <kuribas> that sounds like a more sensible default.
2021-10-12 10:34:29 +0200Guest9067(~Guest90@2a02:c7f:221d:e300:8dbe:6527:886b:8092)
2021-10-12 10:34:51 +0200 <merijn> kuribas: People forget and the default is bad
2021-10-12 10:35:13 +0200Guest9067(~Guest90@2a02:c7f:221d:e300:8dbe:6527:886b:8092) (Client Quit)
2021-10-12 10:35:25 +0200Farzad(~FarzadBek@178.131.28.9)
2021-10-12 10:36:41 +0200shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-10-12 10:37:03 +0200jgeerds(~jgeerds@55d4da80.access.ecotel.net) (Ping timeout: 265 seconds)
2021-10-12 10:37:50 +0200o1lo01ol1o(~o1lo01ol1@2001:8a0:6d7a:df01:5007:2c53:48ea:4b67)
2021-10-12 10:38:07 +0200alzgh(~alzgh@user/alzgh)
2021-10-12 10:39:03 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-10-12 10:39:27 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds)
2021-10-12 10:39:51 +0200 <kuribas> is there another possible default?
2021-10-12 10:39:54 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-10-12 10:40:43 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-10-12 10:41:05 +0200 <merijn> There was a talk I saw on hedgehog (I think?) where it forces you to implement shrinking
2021-10-12 10:47:41 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 265 seconds)
2021-10-12 10:48:25 +0200 <sshine> Hedgehog does the shrinking for you
2021-10-12 10:48:46 +0200 <sshine> https://www.fpcomplete.com/blog/quickcheck-hedgehog-validity/
2021-10-12 10:48:54 +0200 <kuribas> sshine: that looks impossible for the general case
2021-10-12 10:49:33 +0200 <sshine> I'm not saying it's without problems.
2021-10-12 10:49:56 +0200 <sshine> from tfa: "Hedgehog explicitly makes a tradeoff when it comes to shrinking. The Hedgehog authors chose to make shrinking sub-optimal in order to build it into generators.
2021-10-12 10:50:14 +0200ubert1(~Thunderbi@91.141.52.193.wireless.dyn.drei.com)
2021-10-12 10:50:58 +0200 <kuribas> then it doesn't do it for you, but it requires you to make a generator in such a way that it can do shrinking.
2021-10-12 10:52:26 +0200 <sshine> well, you don't think much about the shrinking when you do the generator.
2021-10-12 10:53:02 +0200 <sshine> you do think more about the generator, though. because the range objects that describe the probability distribution are explicit.
2021-10-12 10:53:11 +0200 <sshine> (an alternative to the size param)
2021-10-12 10:58:26 +0200fendor_(~fendor@178.165.172.248.wireless.dyn.drei.com)
2021-10-12 11:00:07 +0200commuswift[m](~commuswif@2001:470:69fc:105::e862) (Quit: You have been kicked for being idle)
2021-10-12 11:01:13 +0200fendor(~fendor@178.115.71.1.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2021-10-12 11:03:53 +0200hyiltiz(~quassel@31.220.5.250)
2021-10-12 11:05:07 +0200 <jackdk> Is there an easy way to ask `cabal` to consider package candidates when solving dependencies?
2021-10-12 11:05:23 +0200 <merijn> jackdk: There's an overlay you can use
2021-10-12 11:05:30 +0200 <merijn> But I'll be damned if I remember how :p
2021-10-12 11:18:37 +0200hendursa1(~weechat@user/hendursaga) (Remote host closed the connection)
2021-10-12 11:18:43 +0200hendursaga(~weechat@user/hendursaga)
2021-10-12 11:19:59 +0200Cajun(~Cajun@user/cajun) (Ping timeout: 256 seconds)
2021-10-12 11:20:19 +0200coot(~coot@37.30.52.99.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 252 seconds)
2021-10-12 11:21:57 +0200ocramz(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 11:22:11 +0200 <ocramz> o/
2021-10-12 11:23:39 +0200azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds)
2021-10-12 11:23:48 +0200 <ocramz> what's a good syntax for counting binders of a simply-typed lambda calculus at the type level? I'm thinking of a simple AST with only 'let', no beta reduction
2021-10-12 11:24:47 +0200 <ocramz> other than 'let', the operations would be only arithmetic basically
2021-10-12 11:27:32 +0200 <ocramz> I'm trying with GADT syntax: ALet :: KnownNat n => v -> (v -> AST n v) -> AST (1 + n) v
2021-10-12 11:27:45 +0200 <merijn> oof
2021-10-12 11:27:52 +0200 <merijn> Have you looked at Bound?
2021-10-12 11:27:54 +0200 <merijn> @hackage bound
2021-10-12 11:27:54 +0200 <lambdabot> https://hackage.haskell.org/package/bound
2021-10-12 11:28:53 +0200 <ocramz> I have, in the past, but as everything in the Kmettoverse, I need something simpler
2021-10-12 11:29:06 +0200 <ocramz> merijn : what's the 'oof' for?
2021-10-12 11:29:08 +0200 <merijn> your solution is...a billion times harder
2021-10-12 11:29:17 +0200 <ocramz> please elaborate
2021-10-12 11:29:36 +0200 <merijn> ocramz: Dealing with KnownNat and type level math is super painful
2021-10-12 11:30:05 +0200 <ocramz> I know, this is why I specified 'no beta reduction': the counter only goes up
2021-10-12 11:32:10 +0200 <merijn> I mean, why not just "not track that in the type"? That seems much simpler
2021-10-12 11:32:51 +0200 <kuribas> why do people want to do so much type programming in haskell? Usually it's more pain than gain.
2021-10-12 11:32:57 +0200 <kuribas> Is in, almost always.
2021-10-12 11:33:29 +0200o1lo01ol1o(~o1lo01ol1@2001:8a0:6d7a:df01:5007:2c53:48ea:4b67) (Remote host closed the connection)
2021-10-12 11:34:04 +0200 <lortabac> ocramz: did you have a look at Stitch by Richard Eisenberg?
2021-10-12 11:34:47 +0200 <lortabac> I have a vague memory that it does what you are trying to do
2021-10-12 11:39:40 +0200 <maerwald> kuribas: ego
2021-10-12 11:39:41 +0200ocramz(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 264 seconds)
2021-10-12 11:40:05 +0200 <kuribas> maerwald: what does that have to do with it?
2021-10-12 11:40:23 +0200 <maerwald> it's satisfying in a weird way when no one else understands your own code
2021-10-12 11:40:31 +0200ocramz(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 11:40:38 +0200 <kuribas> pride perhaps
2021-10-12 11:40:51 +0200 <maerwald> trying to be smart is a pretty common theme in programming
2021-10-12 11:40:54 +0200 <maerwald> in all sorts of ways
2021-10-12 11:41:09 +0200 <kuribas> But it's normal when you're learning, you want to know all the fancy stuff, and use it :)
2021-10-12 11:41:21 +0200 <lortabac> maerwald: I disagree
2021-10-12 11:41:40 +0200 <ocramz> lortabac: yes that's a good suggestion. I'll look at Stitch
2021-10-12 11:41:54 +0200 <kuribas> It's only after you know it you realize that most of the time the simple solution is better.
2021-10-12 11:42:53 +0200 <lortabac> personally I tend to end up with complex type computations when I try to encode invariants in types in the most accurate way
2021-10-12 11:43:08 +0200 <kuribas> lortabac: yeah, I try not to do that.
2021-10-12 11:43:08 +0200 <lortabac> then 99% I give up because it's too complex
2021-10-12 11:43:17 +0200 <kuribas> indeed
2021-10-12 11:43:27 +0200 <lortabac> but the main motivator is certainly not ego nor pride
2021-10-12 11:44:00 +0200 <kuribas> yeah, it's more when you're learning that you take pride in understanding the complicated stuff.
2021-10-12 11:44:04 +0200 <lortabac> it's just following a certain way of representing the business domain and taking it to its extreme consequences
2021-10-12 11:44:38 +0200 <maerwald> I didn't say ego was bad, but I believe it's pretty hard to understand the effects of your own
2021-10-12 11:44:48 +0200 <maerwald> it plays a vital role in learning for sure
2021-10-12 11:45:09 +0200 <Franciman> if you don't do it for teh lulz, then why
2021-10-12 11:45:34 +0200 <kuribas> pride is not a bad thing, it motivates you to get better.
2021-10-12 11:46:40 +0200ocramz(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 268 seconds)
2021-10-12 11:46:50 +0200 <Franciman> so is pride in being the best
2021-10-12 11:46:58 +0200mestre(~mestre@191.177.175.57) (Quit: Lost terminal)
2021-10-12 11:47:14 +0200 <kuribas> nobody is the best.
2021-10-12 11:47:15 +0200 <maerwald> that's pretty hard in the internet age lol
2021-10-12 11:47:22 +0200 <maerwald> gives you burnout quickly
2021-10-12 11:47:49 +0200 <Franciman> go tell your pride that :D
2021-10-12 11:47:54 +0200 <kuribas> pride in being the best is a mental condition.
2021-10-12 11:48:00 +0200 <maerwald> there's alsways someone smarter in Russia
2021-10-12 11:48:08 +0200 <lortabac> :D
2021-10-12 11:48:33 +0200 <kuribas> and it leads to a lot of anxiety
2021-10-12 11:48:47 +0200 <maerwald> I think we turned this into a shrink session
2021-10-12 11:49:13 +0200 <kuribas> maerwald: well, you started about ego :)
2021-10-12 11:49:23 +0200 <Franciman> he is german
2021-10-12 11:49:38 +0200 <Franciman> they started it a long time ago
2021-10-12 11:49:45 +0200 <Franciman> :D
2021-10-12 11:51:52 +0200 <kuribas> I find there is always tension between wanting to learn new stuff, and using it practically.
2021-10-12 11:52:34 +0200 <maerwald> I only learned Haskell, because an internet friend was doing it and I got anxious about him being smarter
2021-10-12 11:52:51 +0200 <maerwald> "damn, I'll show you"
2021-10-12 11:53:05 +0200 <Franciman> ahahah
2021-10-12 11:53:07 +0200 <maerwald> I stopped trying when he moved to Agda
2021-10-12 11:53:22 +0200 <Franciman> that friend was the creator of agda
2021-10-12 11:53:41 +0200 <Hecate> maerwald: and now you're stuck with a kid^W^Wghcup :P
2021-10-12 11:53:47 +0200 <maerwald> crap
2021-10-12 11:54:38 +0200 <Franciman> maerwald: what got you into ghcup at first?
2021-10-12 11:54:46 +0200 <Franciman> trying to emulate stack?
2021-10-12 11:55:00 +0200 <maerwald> Franciman: my own bashrc becoming complicated
2021-10-12 11:55:12 +0200 <Franciman> fair
2021-10-12 11:57:17 +0200 <maerwald> https://gitlab.haskell.org/haskell/ghcup/-/issues/1
2021-10-12 11:57:26 +0200 <maerwald> there were a few shell scripts floating around too
2021-10-12 11:58:21 +0200 <Franciman> :')
2021-10-12 11:58:43 +0200 <Franciman> I still fail to see an use for custom built ghcs, like with integer-simple
2021-10-12 11:58:51 +0200 <maerwald> https://github.com/sol/ghc-env
2021-10-12 11:58:54 +0200 <Franciman> but maybe that's because I never program on anything strange
2021-10-12 11:58:57 +0200 <maerwald> don't remember that even
2021-10-12 11:59:09 +0200ocramz(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 11:59:18 +0200Farzad(~FarzadBek@178.131.28.9) (Read error: Connection reset by peer)
2021-10-12 11:59:29 +0200 <Franciman> maerwald: I only ever knew about ghcup
2021-10-12 11:59:35 +0200Farzad(~FarzadBek@178.131.28.9)
2021-10-12 11:59:35 +0200 <Franciman> because it had the easiset install method
2021-10-12 11:59:36 +0200 <Franciman> :P
2021-10-12 11:59:56 +0200 <Franciman> so being a bash script was a win, over having to run stack, in those ages stack was raging over
2021-10-12 12:00:17 +0200 <Franciman> I was so angry that I could not use it, because I kept forgetting the names of the commands
2021-10-12 12:00:29 +0200 <Franciman> memoeries
2021-10-12 12:01:01 +0200maerwaldgoes back to doing type level programming
2021-10-12 12:01:49 +0200 <kuribas> maerwald: you should try idris :)
2021-10-12 12:02:07 +0200AlexZenon(~alzenon@178.34.161.78) (Ping timeout: 252 seconds)
2021-10-12 12:02:07 +0200hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Read error: Connection reset by peer)
2021-10-12 12:02:10 +0200 <maerwald> I tried liquidhaskell
2021-10-12 12:02:21 +0200 <Franciman> that's rad
2021-10-12 12:02:22 +0200hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-10-12 12:02:28 +0200AlexZenon(~alzenon@178.34.161.78)
2021-10-12 12:02:47 +0200 <maerwald> and F*... which isn't really usable as a general purpose programming language
2021-10-12 12:02:57 +0200 <Franciman> F* the one with effects?
2021-10-12 12:03:09 +0200__monty__(~toonn@user/toonn)
2021-10-12 12:03:29 +0200 <maerwald> I guess
2021-10-12 12:03:47 +0200Gurkenglas_(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-10-12 12:03:58 +0200 <Franciman> I've heard lexilambda working on delconts as primitives of ghc
2021-10-12 12:04:00 +0200 <Franciman> hence
2021-10-12 12:04:09 +0200 <Franciman> effects as in efficient effects raging over haskell
2021-10-12 12:04:13 +0200Francimancan't wait
2021-10-12 12:04:15 +0200 <maerwald> the main issue I have with these things is... the design space is so extremely huge, what are you gonna do with it?
2021-10-12 12:04:22 +0200 <maerwald> Haven't seen anyone address this
2021-10-12 12:04:27 +0200 <ocramz> kuribas : I try to avoid type-level origami as much as I can. In this particular case, I'm working with staged compilation of functions, and I really need to keep track of how many free variables the generated function will have
2021-10-12 12:04:29 +0200 <Franciman> these things -> *?
2021-10-12 12:05:04 +0200 <maerwald> Franciman: dependent types, effects systems, linear types, refinement types, ...
2021-10-12 12:05:25 +0200 <Franciman> they want to get code that's easier to reason about and prove correct
2021-10-12 12:05:30 +0200 <kuribas> ocramz: but why at type level?
2021-10-12 12:05:32 +0200azeem(~azeem@emp-85-170.eduroam.uu.se) (Read error: Connection reset by peer)
2021-10-12 12:05:39 +0200 <maerwald> Franciman: that's not what I mean with design space
2021-10-12 12:05:53 +0200 <Franciman> oh ok sorry, then I ddidn't get the question
2021-10-12 12:05:56 +0200nschoe(~quassel@178.251.84.79)
2021-10-12 12:05:58 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org) (Ping timeout: 260 seconds)
2021-10-12 12:06:03 +0200 <maerwald> design space is the art of sitting down in front of an empty code editor and getting ideas about what to do
2021-10-12 12:06:20 +0200 <Franciman> ah ahhh
2021-10-12 12:06:21 +0200 <Franciman> ahhh
2021-10-12 12:06:27 +0200glguy_(x@libera/staff/glguy)
2021-10-12 12:06:31 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-10-12 12:06:42 +0200 <maerwald> We have barely figured out the design space of simple functional programming
2021-10-12 12:06:59 +0200 <kuribas> ocramz: if you want to verify it, write it in coq and export to haskell :)
2021-10-12 12:07:31 +0200 <Franciman> does coq eqsport to haskell?
2021-10-12 12:07:39 +0200mestre(~mestre@191.177.175.57)
2021-10-12 12:07:40 +0200 <ocramz> kuribas: thanks, but most likely not. I don't need formal proof in this case
2021-10-12 12:07:50 +0200 <Franciman> that's game changing, who needs haskell anymore then
2021-10-12 12:07:53 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org)
2021-10-12 12:07:56 +0200ghoulguy(x@libera/staff/glguy) (Read error: Connection reset by peer)
2021-10-12 12:08:05 +0200 <kuribas> ocramz: I don't enough about your problem to give a meaningful answer...
2021-10-12 12:09:01 +0200azeem(~azeem@emp-85-170.eduroam.uu.se)
2021-10-12 12:09:18 +0200 <ocramz> kuribas: re. your question why tracking # of binders at the type level. My output is a variadic function, i.e. a -> r , a -> b -> r , etc. The input is an AST that will compile to that
2021-10-12 12:09:57 +0200 <ocramz> I do this by piecing together bits of code with typed template haskell
2021-10-12 12:10:10 +0200enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2021-10-12 12:10:34 +0200 <ocramz> I mean sure, you don't _need_ type-level stuff for this, but the alternative is building template haskell splices like a caveman
2021-10-12 12:10:48 +0200 <kuribas> ocramz: did you consider generics?
2021-10-12 12:11:14 +0200 <kuribas> ocramz: in particular, I like generics-eot: https://hackage.haskell.org/package/generics-eot-0.4.0.1/docs/Generics-Eot.html
2021-10-12 12:12:39 +0200 <ocramz> kuribas: this is for data though, how are functions constructed with generics?
2021-10-12 12:13:10 +0200 <kuribas> ocramz: instead of returning a variadic function you could return a polymorphic function a -> r, (a, b) -> r, ...
2021-10-12 12:15:31 +0200azeem(~azeem@emp-85-170.eduroam.uu.se) (Ping timeout: 245 seconds)
2021-10-12 12:16:39 +0200kmein_kmein
2021-10-12 12:17:08 +0200 <ocramz> kuribas : I'll need to think about this one. What's the relationship between a, (a, b), (a, b, c) then? a type family?
2021-10-12 12:17:46 +0200 <kuribas> ocramz: a typeclass?
2021-10-12 12:19:44 +0200azeem(~azeem@emp-85-170.eduroam.uu.se)
2021-10-12 12:23:03 +0200 <maerwald> do we have a syscall sandbox in haskell?
2021-10-12 12:23:54 +0200 <ocramz> maerwald : that would be handy
2021-10-12 12:24:02 +0200 <ocramz> not that I know of though
2021-10-12 12:25:42 +0200 <maerwald> who do I pay to do this?
2021-10-12 12:25:52 +0200 <ocramz> Well Typed ?
2021-10-12 12:25:59 +0200 <maerwald> good call
2021-10-12 12:26:49 +0200 <maerwald> maybe lambdabot already has something like it?
2021-10-12 12:29:20 +0200 <ocramz> maerwald : for sure. mueval too : there was this "safe IO"
2021-10-12 12:29:29 +0200 <ocramz> https://hackage.haskell.org/package/mueval
2021-10-12 12:29:40 +0200feliix42(~felix@gibbs.uberspace.de) (Ping timeout: 252 seconds)
2021-10-12 12:29:55 +0200 <ocramz> sorry I had the wrong string in my paste buffer
2021-10-12 12:30:27 +0200 <maerwald> seems like it's more of some trickery than an actual sandbox
2021-10-12 12:30:31 +0200 <maerwald> and doesn't support IO
2021-10-12 12:30:55 +0200 <ocramz> the only safe IO is no IO at all
2021-10-12 12:31:09 +0200 <maerwald> you can restrict syscalls
2021-10-12 12:32:03 +0200 <maerwald> https://git.exherbo.org/sydbox-1.git/tree/
2021-10-12 12:32:43 +0200 <ocramz> what are we looking at here
2021-10-12 12:32:57 +0200 <maerwald> here's another one https://gitweb.gentoo.org/proj/sandbox.git/tree/
2021-10-12 12:33:29 +0200 <maerwald> you can restrict network, filesystem access to certain directories etc
2021-10-12 12:33:30 +0200acidjnk(~acidjnk@p200300d0c703cb2275eb5b612d153f04.dip0.t-ipconnect.de)
2021-10-12 12:34:30 +0200 <maerwald> https://www.kernel.org/doc/html/v4.16/userspace-api/seccomp_filter.html
2021-10-12 12:35:27 +0200 <maerwald> https://hackage.haskell.org/package/hsseccomp-0.1.0.2 outdated bindings
2021-10-12 12:36:51 +0200 <maerwald> but Linus said "we never break user space"
2021-10-12 12:36:55 +0200 <maerwald> so should just work, right?
2021-10-12 12:39:06 +0200feliix42(~felix@gibbs.uberspace.de)
2021-10-12 12:40:29 +0200 <ocramz> maerwald : this seems relevant https://hsyl20.fr/home/posts/2014-04-01-libc-considered-harmful.html
2021-10-12 12:42:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-10-12 12:43:12 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-10-12 12:43:13 +0200 <maerwald> just gonna throw money in some directions
2021-10-12 12:48:31 +0200ocramz(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds)
2021-10-12 12:52:35 +0200Destov(~Destov@114-36-112-91.dynamic-ip.hinet.net)
2021-10-12 12:53:48 +0200Destov(~Destov@114-36-112-91.dynamic-ip.hinet.net) (Quit: Client closed)
2021-10-12 12:54:07 +0200Destov(~Destov@114-36-112-91.dynamic-ip.hinet.net)
2021-10-12 12:54:16 +0200Destov(~Destov@114-36-112-91.dynamic-ip.hinet.net) (Client Quit)
2021-10-12 12:59:23 +0200Cajun(~Cajun@user/cajun)
2021-10-12 13:00:45 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-10-12 13:00:52 +0200alx741(~alx741@186.178.108.69)
2021-10-12 13:01:04 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit)
2021-10-12 13:02:36 +0200hiruji(~hiruji@user/hiruji) (Read error: Connection reset by peer)
2021-10-12 13:02:48 +0200hiruji`(~hiruji@2606:6080:1002:8:3285:30e:de43:8809)
2021-10-12 13:07:04 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-10-12 13:09:13 +0200azeem(~azeem@emp-85-170.eduroam.uu.se) (Ping timeout: 252 seconds)
2021-10-12 13:09:21 +0200Brumaire(~quassel@37.171.89.175)
2021-10-12 13:10:27 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-10-12 13:11:06 +0200coot(~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl)
2021-10-12 13:11:16 +0200azeem(~azeem@2a00:801:3cd:bbb7:677a:8c8e:713b:20be)
2021-10-12 13:11:37 +0200slowtyper(~slowtyper@user/slowtyper)
2021-10-12 13:13:53 +0200gehmehgeh(~user@user/gehmehgeh)
2021-10-12 13:14:12 +0200azeem(~azeem@2a00:801:3cd:bbb7:677a:8c8e:713b:20be) (Read error: Connection reset by peer)
2021-10-12 13:14:51 +0200azeem(~azeem@emp-85-170.eduroam.uu.se)
2021-10-12 13:20:56 +0200fwiw(~fwiw@2001:448a:5102:c2c1:8976:a626:188e:3592)
2021-10-12 13:22:37 +0200 <merijn> maerwald: If only linux supported OpenBSD's pledge
2021-10-12 13:23:26 +0200 <merijn> Incidentally, that libc post wouldn't work on OpenBSD anymore
2021-10-12 13:23:47 +0200 <merijn> Apparently OpenBSD now kills any process that tries to make syscalls from anything other than libc...
2021-10-12 13:24:04 +0200fwiw(~fwiw@2001:448a:5102:c2c1:8976:a626:188e:3592) ()
2021-10-12 13:25:54 +0200slowtyper(~slowtyper@user/slowtyper) (Quit: ZNC 1.8.2 - https://znc.in)
2021-10-12 13:26:11 +0200slowtyper(~slowtyper@user/slowtyper)
2021-10-12 13:27:38 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 260 seconds)
2021-10-12 13:28:14 +0200hyiltiz(~quassel@31.220.5.250)
2021-10-12 13:32:21 +0200acidjnk_new(~acidjnk@p200300d0c703cb221804bb786372c7a7.dip0.t-ipconnect.de)
2021-10-12 13:32:24 +0200rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-10-12 13:33:24 +0200slowtyper(~slowtyper@user/slowtyper) (Quit: ZNC 1.8.2 - https://znc.in)
2021-10-12 13:33:41 +0200slowtyper(~slowtyper@user/slowtyper)
2021-10-12 13:35:37 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 252 seconds)
2021-10-12 13:35:42 +0200Guest47(~Guest47@bzq-179-21-194.cust.bezeqint.net)
2021-10-12 13:36:13 +0200acidjnk(~acidjnk@p200300d0c703cb2275eb5b612d153f04.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-10-12 13:39:09 +0200mestre(~mestre@191.177.175.57) (Quit: Lost terminal)
2021-10-12 13:40:34 +0200Brumaire(~quassel@37.171.89.175) (Ping timeout: 252 seconds)
2021-10-12 13:42:52 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-10-12 13:49:56 +0200tdaeayusr^(~tdaeayusr@wsip-70-165-23-55.mc.at.cox.net) (Remote host closed the connection)
2021-10-12 13:54:17 +0200hyiltiz(~quassel@31.220.5.250)
2021-10-12 13:54:57 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2021-10-12 13:56:27 +0200 <fendor_> can I have two instances of a typeclass where one has more constraints than the other? Intention is basically a typelevel pattern match, if this type satisfies the given constraints, use this implementation, otherwise use the other. (or a an explicit instance for that type)
2021-10-12 13:56:31 +0200fendor_fendor
2021-10-12 13:57:48 +0200max22-(~maxime@2a01cb0883359800a7b96a93836f21d6.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds)
2021-10-12 13:58:08 +0200 <merijn> fendor: No, not if you plan to remain sane (and maybe not even if you're willing to sacrifice your sanity)
2021-10-12 13:58:34 +0200 <merijn> fendor: tbh, it sounds like what you want is "can I have a default implementation based on another typeclass Foo with the option to override it", though
2021-10-12 13:59:00 +0200 <fendor> yeah true I guess, so a default method might work?
2021-10-12 13:59:40 +0200 <merijn> default method *will* work, with the caveat that your forced to explicitly write "instance MyClass Bar" to define the instance when using the default version
2021-10-12 13:59:48 +0200 <merijn> Small price to pay to preserve your sanity, though
2021-10-12 13:59:59 +0200 <fendor> yeah, that seems sensible
2021-10-12 14:01:06 +0200 <merijn> At the very least it will be much more robust and maintainable than any type-level, constraint-based dispatch :p
2021-10-12 14:01:15 +0200 <fendor> awesome, thanks!
2021-10-12 14:01:50 +0200 <merijn> fendor: I use DefaultSignatures to great effect for exactly this case here: https://github.com/merijn/validated-literals/blob/master/ValidLiterals.hs#L86-L88
2021-10-12 14:04:47 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d)
2021-10-12 14:04:51 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds)
2021-10-12 14:05:17 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-10-12 14:05:36 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-10-12 14:09:16 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Ping timeout: 245 seconds)
2021-10-12 14:09:29 +0200swistak(~swistak@185.21.216.141) (Ping timeout: 246 seconds)
2021-10-12 14:10:15 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-10-12 14:11:06 +0200swistak(~swistak@185.21.216.141)
2021-10-12 14:11:10 +0200hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds)
2021-10-12 14:13:57 +0200neurocyte0132889(~neurocyte@IP-185189142238.dynamic.medianet-world.de)
2021-10-12 14:13:57 +0200neurocyte0132889(~neurocyte@IP-185189142238.dynamic.medianet-world.de) (Changing host)
2021-10-12 14:13:57 +0200neurocyte0132889(~neurocyte@user/neurocyte)
2021-10-12 14:17:25 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2021-10-12 14:18:26 +0200acidjnk_new(~acidjnk@p200300d0c703cb221804bb786372c7a7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-10-12 14:19:23 +0200sprout(~quassel@2a02:a467:ccd6:1:c9db:6eeb:465b:b3e9)
2021-10-12 14:20:06 +0200sprout_(~quassel@2a02:a467:ccd6:1:80b9:65ea:c7e9:72cd) (Ping timeout: 245 seconds)
2021-10-12 14:20:57 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2021-10-12 14:21:19 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2021-10-12 14:22:19 +0200Guest47(~Guest47@bzq-179-21-194.cust.bezeqint.net) (Quit: Client closed)
2021-10-12 14:24:10 +0200xiongxin(~quassel@113.116.34.92)
2021-10-12 14:27:05 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-10-12 14:30:04 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-10-12 14:30:27 +0200maerwald(~maerwald@user/maerwald) (Ping timeout: 240 seconds)
2021-10-12 14:30:45 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-10-12 14:31:18 +0200sh9(~sh9@softbank060116136158.bbtec.net)
2021-10-12 14:32:16 +0200CiaoSen(~Jura@p200300c9571101002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-10-12 14:33:51 +0200nschoe(~quassel@178.251.84.79) (Ping timeout: 245 seconds)
2021-10-12 14:34:43 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2021-10-12 14:37:41 +0200slowtyper(~slowtyper@user/slowtyper) (Quit: ZNC 1.8.2 - https://znc.in)
2021-10-12 14:37:54 +0200euandreh(~euandreh@191.181.59.160) (Ping timeout: 265 seconds)
2021-10-12 14:37:58 +0200slowtyper(~slowtyper@user/slowtyper)
2021-10-12 14:39:25 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-10-12 14:40:22 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-10-12 14:41:04 +0200 <sshine> counting binders?
2021-10-12 14:41:18 +0200 <sshine> oops, chronologically challenged.
2021-10-12 14:42:38 +0200maerwald(~maerwald@mail.hasufell.de)
2021-10-12 14:44:58 +0200ubert1(~Thunderbi@91.141.52.193.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-10-12 14:48:16 +0200 <merijn> Not necessarily chronologically challenged, more temporally challenged :p
2021-10-12 14:48:24 +0200ubert(~Thunderbi@91.141.52.193.wireless.dyn.drei.com) (Quit: ubert)
2021-10-12 14:48:42 +0200ubert(~Thunderbi@91.141.52.193.wireless.dyn.drei.com)
2021-10-12 14:50:14 +0200maerwald(~maerwald@mail.hasufell.de) (Ping timeout: 260 seconds)
2021-10-12 14:50:33 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-10-12 14:51:11 +0200arjun(~Srain@user/arjun)
2021-10-12 14:53:10 +0200ubert(~Thunderbi@91.141.52.193.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-10-12 14:56:58 +0200maerwald(~maerwald@mail.hasufell.de)
2021-10-12 15:06:05 +0200Cajun(~Cajun@user/cajun) (Ping timeout: 256 seconds)
2021-10-12 15:06:39 +0200euandreh(~euandreh@2804:14c:33:9fe5:ce7f:4e93:4cc4:1ccd)
2021-10-12 15:06:39 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-10-12 15:07:43 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-10-12 15:08:18 +0200slack1256(~slack1256@45.4.2.52)
2021-10-12 15:11:09 +0200enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
2021-10-12 15:11:28 +0200fef(~thedawn@user/thedawn)
2021-10-12 15:11:49 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 250 seconds)
2021-10-12 15:12:05 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-10-12 15:15:16 +0200DNH(~DNH@2a02:8108:1100:16d8:2011:9ad:7cba:6f6)
2021-10-12 15:15:42 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds)
2021-10-12 15:15:45 +0200azimut_(~azimut@gateway/tor-sasl/azimut)
2021-10-12 15:18:33 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-10-12 15:22:25 +0200 <dexterfoo> what flag do i pass to ghci to ignore .ghc.environment file?
2021-10-12 15:22:31 +0200 <hololeap> what would be the recommended library to use to create an oscilloscope visual in haskell? something with gl?
2021-10-12 15:23:47 +0200 <geekosaur> hololeap, possibly diagrams?
2021-10-12 15:24:51 +0200jgeerds(~jgeerds@55d4da80.access.ecotel.net)
2021-10-12 15:26:57 +0200MQ-17J(~MQ-17J@2607:fb90:4a:2dd2:6c71:32de:328:d1e6)
2021-10-12 15:27:25 +0200superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4)
2021-10-12 15:28:25 +0200xaotuk(~sasha@net224-33-245-109.mbb.telenor.rs)
2021-10-12 15:29:09 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 250 seconds)
2021-10-12 15:32:49 +0200hyiltiz(~quassel@31.220.5.250)
2021-10-12 15:33:17 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-10-12 15:35:13 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2021-10-12 15:35:29 +0200jgeerds(~jgeerds@55d4da80.access.ecotel.net) (Ping timeout: 264 seconds)
2021-10-12 15:36:07 +0200gehmehgeh(~user@user/gehmehgeh)
2021-10-12 15:36:54 +0200nschoe(~quassel@178.251.84.79)
2021-10-12 15:42:42 +0200MQ-17J(~MQ-17J@2607:fb90:4a:2dd2:6c71:32de:328:d1e6) (Read error: Connection reset by peer)
2021-10-12 15:43:00 +0200MQ-17J(~MQ-17J@35.50.77.148)
2021-10-12 15:45:16 +0200kuribas(~user@ptr-25vy0i6zvgjgm7t1vz8.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-10-12 15:47:03 +0200kuribas(~user@ptr-25vy0i6zvgjgm7t1vz8.18120a2.ip6.access.telenet.be)
2021-10-12 15:47:43 +0200rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Quit: Client closed)
2021-10-12 15:48:31 +0200 <hololeap> I need something that can do splines
2021-10-12 15:48:42 +0200 <hololeap> and a decent framerate
2021-10-12 15:49:36 +0200 <geekosaur> yeh, you're probably talking something gl-based. althoiugh I understand gloss has a poor frame rate
2021-10-12 15:50:35 +0200 <fryguybob> hololeap: What kind of splines?
2021-10-12 15:51:38 +0200 <hololeap> the normal kind? i'm not sure. I wanted to do a visual of a fourier transform over a sliding window of an audio file
2021-10-12 15:52:18 +0200 <hololeap> maybe I should use gnuradio...
2021-10-12 15:52:46 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-10-12 15:52:50 +0200lavaman(~lavaman@98.38.249.169)
2021-10-12 15:53:14 +0200 <hololeap> if anyone is familiar with gnuradio's qt visualization widgets, that's kind of what I'm going for
2021-10-12 15:55:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-10-12 15:55:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-10-12 15:55:13 +0200wroathe(~wroathe@user/wroathe)
2021-10-12 15:55:13 +0200MQ-17J(~MQ-17J@35.50.77.148) (Read error: Connection reset by peer)
2021-10-12 15:55:40 +0200 <fryguybob> hololeap: Like this: https://wiki.gnuradio.org/images/f/f0/Freq-sink-ex.png ?
2021-10-12 15:56:08 +0200MQ-17J(~MQ-17J@35.50.77.148)
2021-10-12 15:56:28 +0200 <hololeap> yeah although they have an averaging function that makes it look more smooth
2021-10-12 15:56:34 +0200chisui(~chisui@200116b8648f8d00a55308fa18a6b512.dip.versatel-1u1.de)
2021-10-12 15:57:17 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 246 seconds)
2021-10-12 15:58:13 +0200 <fryguybob> hololeap: Like the top of this: https://github.com/xmikos/qspectrumanalyzer ?
2021-10-12 15:59:07 +0200 <hololeap> yeah
2021-10-12 15:59:10 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
2021-10-12 16:00:09 +0200 <fryguybob> My guess is they are not using splines for that. Maybe some other averaging to smooth, but the results look good because of antialiasing more than anything else.
2021-10-12 16:00:41 +0200 <hololeap> hm, ok
2021-10-12 16:01:19 +0200 <fryguybob> Splines don't do very well with a high density of points.
2021-10-12 16:02:08 +0200 <fryguybob> They are modeling a "low energy path" through the points and having a lot of points constrains that path too much so all the paths are pretty high energy.
2021-10-12 16:02:22 +0200 <fryguybob> At least, that is one way to think of splines.
2021-10-12 16:02:29 +0200 <hololeap> I was thinking splines after the averaging function
2021-10-12 16:04:05 +0200 <fryguybob> For the example you would need subpixel points at which point linear interpolation would give better results.
2021-10-12 16:04:18 +0200bontaq`(~user@ool-45779fe5.dyn.optonline.net)
2021-10-12 16:04:41 +0200bontaq`bontaq
2021-10-12 16:05:14 +0200maerwald(~maerwald@mail.hasufell.de) (Quit: gone)
2021-10-12 16:05:44 +0200maerwald(~maerwald@mail.hasufell.de)
2021-10-12 16:07:09 +0200maerwald(~maerwald@mail.hasufell.de) (Changing host)
2021-10-12 16:07:09 +0200maerwald(~maerwald@user/maerwald)
2021-10-12 16:08:58 +0200max22-(~maxime@2a01cb08833598009bd4683403ef2304.ipv6.abo.wanadoo.fr)
2021-10-12 16:10:10 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 16:11:43 +0200Sgeo(~Sgeo@user/sgeo)
2021-10-12 16:14:16 +0200xaotuk(~sasha@net224-33-245-109.mbb.telenor.rs) (Ping timeout: 245 seconds)
2021-10-12 16:17:45 +0200 <ocramz_> o/
2021-10-12 16:18:17 +0200hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Ping timeout: 265 seconds)
2021-10-12 16:18:44 +0200motherfsck(~motherfsc@user/motherfsck)
2021-10-12 16:19:44 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Ping timeout: 265 seconds)
2021-10-12 16:21:15 +0200_73(~user@pool-108-49-252-36.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2))
2021-10-12 16:21:19 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-10-12 16:23:32 +0200xiongxin_(~quassel@113.116.34.92)
2021-10-12 16:23:57 +0200xiongxin(~quassel@113.116.34.92) (Ping timeout: 268 seconds)
2021-10-12 16:24:31 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds)
2021-10-12 16:24:34 +0200jiribenes(~jiribenes@rosa.jiribenes.com) (Ping timeout: 268 seconds)
2021-10-12 16:25:17 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.3)
2021-10-12 16:25:47 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-10-12 16:27:12 +0200arjun(~Srain@user/arjun) (Remote host closed the connection)
2021-10-12 16:27:58 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-10-12 16:28:32 +0200 <hololeap> fryguybob: that was a good explanation. I might end up using gpipe-glfw if I can figure it out
2021-10-12 16:29:19 +0200hnOsmium0001(uid453710@id-453710.hampstead.irccloud.com)
2021-10-12 16:30:19 +0200shriekingnoise(~shrieking@186.137.144.80)
2021-10-12 16:30:20 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-10-12 16:37:38 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-10-12 16:38:09 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 16:38:48 +0200justsomeguy(~justsomeg@user/justsomeguy) (Client Quit)
2021-10-12 16:40:30 +0200 <fryguybob> hololeap: No problem. Note that getting anti-aliasing right can be tricky, you might have to care about alpha channels and how they are combined and the order of things.
2021-10-12 16:42:16 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-10-12 16:42:41 +0200son0p(~ff@181.136.122.143)
2021-10-12 16:42:46 +0200Lysanleo(~Lysanleo@124.161.121.202)
2021-10-12 16:43:10 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds)
2021-10-12 16:44:33 +0200drewolson9(~drewolson@user/drewolson) (Quit: The Lounge - https://thelounge.chat)
2021-10-12 16:44:52 +0200drewolson(~drewolson@user/drewolson)
2021-10-12 16:46:22 +0200coot(~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-10-12 16:46:48 +0200favonia(~favonia@user/favonia) (Ping timeout: 265 seconds)
2021-10-12 16:48:21 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-10-12 16:50:44 +0200Eoco(~ian@x-160-94-179-157.acm.umn.edu) (Ping timeout: 245 seconds)
2021-10-12 16:52:30 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-10-12 16:53:20 +0200Eoco(~ian@x-160-94-179-157.acm.umn.edu)
2021-10-12 16:53:55 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-10-12 16:54:32 +0200xsperry(~xs@user/xsperry) ()
2021-10-12 16:54:32 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 16:55:09 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 276 seconds)
2021-10-12 16:56:35 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-10-12 16:57:07 +0200gehmehgeh(~user@user/gehmehgeh)
2021-10-12 16:58:28 +0200coot(~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl)
2021-10-12 16:58:29 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-10-12 16:59:02 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds)
2021-10-12 17:01:53 +0200gaussrz(~gaussrz@59.78.13.186)
2021-10-12 17:05:10 +0200Farzad(~FarzadBek@178.131.28.9) (Ping timeout: 252 seconds)
2021-10-12 17:05:26 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d)
2021-10-12 17:08:02 +0200hiredman(~hiredman@frontier1.downey.family)
2021-10-12 17:08:18 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 17:09:14 +0200jiribenes(~jiribenes@rosa.jiribenes.com)
2021-10-12 17:14:27 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 250 seconds)
2021-10-12 17:22:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:422d:8662:a5f5:7f36) (Quit: WeeChat 2.8)
2021-10-12 17:22:54 +0200glguy_ghoulguy
2021-10-12 17:29:01 +0200m4lvin(~m4lvin@w4eg.de) (Quit: m4lvin)
2021-10-12 17:29:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-10-12 17:29:24 +0200m4lvin(~m4lvin@w4eg.de)
2021-10-12 17:30:52 +0200dwt_(~dwt_@c-98-200-58-177.hsd1.tx.comcast.net)
2021-10-12 17:35:54 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Read error: No route to host)
2021-10-12 17:36:16 +0200xiongxin_(~quassel@113.116.34.92) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-10-12 17:36:42 +0200mc47(~mc47@xmonad/TheMC47)
2021-10-12 17:37:40 +0200favonia(~favonia@user/favonia)
2021-10-12 17:38:14 +0200xiongxin(~quassel@119.123.101.136)
2021-10-12 17:39:05 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 17:39:53 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-10-12 17:42:11 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-10-12 17:44:12 +0200Null_A(~null_a@2601:645:8700:2290:cca9:9e4e:f1d8:3489)
2021-10-12 17:44:18 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 260 seconds)
2021-10-12 17:44:40 +0200 <kuribas> or use a library that can draw a polyline antialiased?
2021-10-12 17:47:06 +0200lavaman(~lavaman@98.38.249.169)
2021-10-12 17:49:17 +0200xiongxin(~quassel@119.123.101.136) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-10-12 17:49:20 +0200MQ-17J(~MQ-17J@35.50.77.148) (Read error: Connection reset by peer)
2021-10-12 17:49:31 +0200Farzad(~FarzadBek@46.100.81.212)
2021-10-12 17:50:01 +0200MQ-17J(~MQ-17J@8.48.133.28)
2021-10-12 17:51:23 +0200 <hololeap> kuribas: such as what?
2021-10-12 17:52:09 +0200 <kuribas> SDL?
2021-10-12 17:54:13 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-10-12 17:54:34 +0200MQ-17J(~MQ-17J@8.48.133.28) (Ping timeout: 260 seconds)
2021-10-12 17:55:27 +0200 <kuribas> https://wiki.libsdl.org/SDL_HINT_RENDER_SCALE_QUALITY
2021-10-12 17:57:20 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2021-10-12 17:57:24 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-10-12 18:00:06 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b) (Quit: You have been kicked for being idle)
2021-10-12 18:02:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-10-12 18:05:06 +0200favonia(~favonia@user/favonia) (Ping timeout: 265 seconds)
2021-10-12 18:05:46 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-10-12 18:06:14 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2021-10-12 18:06:41 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 18:08:52 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection)
2021-10-12 18:10:17 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d)
2021-10-12 18:10:58 +0200coot(~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-10-12 18:11:46 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds)
2021-10-12 18:12:49 +0200coot(~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl)
2021-10-12 18:14:52 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-10-12 18:14:52 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-10-12 18:14:52 +0200wroathe(~wroathe@user/wroathe)
2021-10-12 18:19:21 +0200 <sm> it does, I think monochrom ?
2021-10-12 18:19:25 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-10-12 18:19:46 +0200 <sm> I've seen let a=1, b=2 in foo{..}, at least
2021-10-12 18:21:57 +0200lbseale(~lbseale@user/ep1ctetus)
2021-10-12 18:22:10 +0200barzo(~barzo@31.177.222.75)
2021-10-12 18:24:14 +0200lbseale(~lbseale@user/ep1ctetus) (Client Quit)
2021-10-12 18:24:28 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 18:24:43 +0200lbseale(~lbseale@user/ep1ctetus)
2021-10-12 18:25:12 +0200 <hololeap> kuribas: thanks
2021-10-12 18:27:10 +0200favonia(~favonia@user/favonia)
2021-10-12 18:29:36 +0200hololeap(~hololeap@user/hololeap) (Excess Flood)
2021-10-12 18:29:45 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds)
2021-10-12 18:31:02 +0200hololeap(~hololeap@user/hololeap)
2021-10-12 18:34:41 +0200cnr(~cnr@user/cnr)
2021-10-12 18:34:58 +0200dsrt^(~dsrt@wsip-70-165-23-55.mc.at.cox.net)
2021-10-12 18:36:28 +0200azeem(~azeem@emp-85-170.eduroam.uu.se) (Ping timeout: 252 seconds)
2021-10-12 18:37:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-10-12 18:37:30 +0200azeem(~azeem@2a00:801:447:9f40:238c:6510:b7a3:82be)
2021-10-12 18:37:31 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-10-12 18:42:23 +0200cnr(~cnr@user/cnr) (Remote host closed the connection)
2021-10-12 18:44:28 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-10-12 18:46:10 +0200econo(uid147250@user/econo)
2021-10-12 18:46:37 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2021-10-12 18:47:41 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 18:49:38 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 260 seconds)
2021-10-12 18:49:50 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-10-12 18:50:20 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-10-12 18:52:25 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds)
2021-10-12 18:53:59 +0200skewerrspoonm
2021-10-12 18:54:19 +0200barzo(~barzo@31.177.222.75) (Quit: Quit)
2021-10-12 19:02:27 +0200emf(~emf@2620:10d:c090:400::5:a45e)
2021-10-12 19:03:16 +0200jonathanx_(~jonathan@dyn-8-sc.cdg.chalmers.se)
2021-10-12 19:04:23 +0200Flonk4(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com)
2021-10-12 19:04:59 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 19:06:08 +0200jackhill(~jackhill@kalessin.dragonsnail.net) (Ping timeout: 268 seconds)
2021-10-12 19:06:29 +0200Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds)
2021-10-12 19:06:30 +0200Flonk4Flonk
2021-10-12 19:07:19 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se) (Ping timeout: 252 seconds)
2021-10-12 19:07:24 +0200jackhill(~jackhill@kalessin.dragonsnail.net)
2021-10-12 19:09:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-10-12 19:10:10 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 260 seconds)
2021-10-12 19:14:42 +0200nschoe(~quassel@178.251.84.79) (Ping timeout: 265 seconds)
2021-10-12 19:15:34 +0200CiaoSen(~Jura@p200300c9571101002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-10-12 19:21:52 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 19:22:23 +0200 <maerwald> how do you find the location of the cabal config?
2021-10-12 19:22:40 +0200Farzad(~FarzadBek@46.100.81.212) (Ping timeout: 252 seconds)
2021-10-12 19:26:35 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 246 seconds)
2021-10-12 19:34:01 +0200chele(~chele@user/chele) (Remote host closed the connection)
2021-10-12 19:34:08 +0200hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-10-12 19:38:03 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection)
2021-10-12 19:38:31 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 19:41:27 +0200superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Quit: Leaving)
2021-10-12 19:43:01 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 245 seconds)
2021-10-12 19:43:17 +0200hendursaga(~weechat@user/hendursaga) (Remote host closed the connection)
2021-10-12 19:43:52 +0200hendursaga(~weechat@user/hendursaga)
2021-10-12 19:45:50 +0200favonia(~favonia@user/favonia) (Ping timeout: 246 seconds)
2021-10-12 19:54:05 +0200favonia(~favonia@user/favonia)
2021-10-12 19:55:42 +0200 <dminuoso> maerwald: Judging from the code, I think you have to mimic its behavior
2021-10-12 19:56:07 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d)
2021-10-12 19:56:14 +0200 <maerwald> yeah, can run `cabal config init` and then read stdout lol
2021-10-12 19:56:23 +0200 <dminuoso> Which is either CABAL_DIR or https://hackage.haskell.org/package/directory-1.3.7.0/docs/System-Directory.html#v:getAppUserDataD…
2021-10-12 19:56:30 +0200 <dminuoso> Ah, or that I guess
2021-10-12 19:56:52 +0200 <dminuoso> maerwald: You can also just default to CABAL_DIR, and if not set mimic getAppUserDataDirectory "cabal" behavior
2021-10-12 19:57:06 +0200 <dminuoso> See src/Distribution/Client/Config.hs if need be
2021-10-12 19:57:27 +0200hrdl(~hrdl@mail.hrdl.eu) (Remote host closed the connection)
2021-10-12 19:57:29 +0200 <maerwald> I was just trying to find the cabal config location in github windows actions env
2021-10-12 19:57:39 +0200 <dminuoso> %APPDATA%/cabal then
2021-10-12 19:57:45 +0200 <maerwald> appears it's 'C:\Users\runneradmin\AppData\Roaming\cabal\config'
2021-10-12 19:57:49 +0200 <dminuoso> Yes.
2021-10-12 19:57:57 +0200 <dminuoso> As per getAppUserDataDirectory "cabal"
2021-10-12 19:57:57 +0200 <maerwald> and chocolatey doesn't seem to create one
2021-10-12 19:58:23 +0200 <maerwald> which I find a little confusing, because how does it expose msys2 to cabal?
2021-10-12 20:00:15 +0200zer0bitz(~zer0bitz@dsl-hkibng31-54fafc-123.dhcp.inet.fi)
2021-10-12 20:01:15 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 20:02:26 +0200DNH(~DNH@2a02:8108:1100:16d8:2011:9ad:7cba:6f6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-10-12 20:03:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-10-12 20:03:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-10-12 20:03:53 +0200wroathe(~wroathe@user/wroathe)
2021-10-12 20:04:28 +0200gaussrz(~gaussrz@59.78.13.186) (Ping timeout: 252 seconds)
2021-10-12 20:05:25 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.3)
2021-10-12 20:05:39 +0200 <maerwald> indeed, it doesn't add it
2021-10-12 20:05:44 +0200 <maerwald> now I'm confused
2021-10-12 20:06:17 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-10-12 20:06:25 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds)
2021-10-12 20:06:42 +0200mbuf(~Shakthi@122.178.178.86) (Quit: Leaving)
2021-10-12 20:06:48 +0200 <sclv> maerwald: i think its the "haskell development environment" or similar that does it? i.e. not just cabal on its own
2021-10-12 20:06:48 +0200 <sclv> https://community.chocolatey.org/packages/haskell-dev#individual
2021-10-12 20:06:58 +0200coot(~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-10-12 20:07:08 +0200 <maerwald> that's not installed in actions/virtual-environments I guess
2021-10-12 20:08:06 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-10-12 20:10:13 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-10-12 20:10:48 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-10-12 20:11:29 +0200kuribas(~user@ptr-25vy0i6zvgjgm7t1vz8.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-10-12 20:14:16 +0200wonko(~wjc@62.115.229.50)
2021-10-12 20:17:17 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 20:18:14 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-10-12 20:18:36 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-10-12 20:20:29 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-10-12 20:20:42 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-10-12 20:21:00 +0200DNH(~DNH@2a02:8108:1100:16d8:2011:9ad:7cba:6f6)
2021-10-12 20:21:39 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 250 seconds)
2021-10-12 20:21:48 +0200notzmv(~zmv@user/notzmv)
2021-10-12 20:22:07 +0200 <sm> huh, new windows package manager coming: https://news.ycombinator.com/item?id=28829716
2021-10-12 20:22:58 +0200 <maerwald> 40 years late or so
2021-10-12 20:23:28 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-10-12 20:23:34 +0200fendor(~fendor@178.165.172.248.wireless.dyn.drei.com) (Remote host closed the connection)
2021-10-12 20:23:56 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-10-12 20:25:27 +0200 <justsomeguy> I'm so glad I don't have to use Windows anymore.
2021-10-12 20:26:41 +0200 <shapr> same here, but most computer users do use Windows
2021-10-12 20:27:24 +0200 <Franciman> lately i've been told microsoft is more secure than linux
2021-10-12 20:27:32 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
2021-10-12 20:27:32 +0200 <Franciman> that may be a selling point for some
2021-10-12 20:27:59 +0200Pickchea(~private@user/pickchea)
2021-10-12 20:28:32 +0200 <geekosaur> with their record, I'm not sure I believe it. and their code signing is a joke
2021-10-12 20:28:54 +0200 <maerwald> I've been considering to switch to windows for a while, just so my thinkpad finally has working thermal throttling and suspend to ram
2021-10-12 20:29:50 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-10-12 20:30:52 +0200 <justsomeguy> maerwald: https://tinyapps.org/blog/201811300700_windows_10_ltsc.html
2021-10-12 20:31:34 +0200 <maerwald> how does that help me broken linux hardware support? :)
2021-10-12 20:31:45 +0200 <maralorn> I am looking for a configuration language I can easily parse with haskell. I don‘t think I need it to be strongly typed, but I needs to be able to represent a tree.
2021-10-12 20:32:11 +0200 <maerwald> yaml
2021-10-12 20:32:31 +0200 <justsomeguy> maerwald: It doesn't, but at least if you have to use windows you can get an installation that probably harvests less of your personal information.
2021-10-12 20:33:27 +0200 <maerwald> yeah, I'm sure google-chrome on fedora doesn't harvest my cookies :p
2021-10-12 20:33:55 +0200 <geekosaur> there is of course chromium
2021-10-12 20:33:56 +0200 <maerwald> (although I'm using brave these days)
2021-10-12 20:34:36 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 20:35:21 +0200 <geekosaur> of course I use enough other google stuff (gmail, keep, etc.) that I just use google-chrome and let big brother protect me :þ
2021-10-12 20:36:06 +0200hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-10-12 20:36:07 +0200 <maerwald> if you have a mobile phone... what's the point of pretending you have privacy?
2021-10-12 20:36:35 +0200 <Franciman> I try to avoid using the computer for anything except coding and reading
2021-10-12 20:36:45 +0200 <Franciman> if they steal my pc, they do me a favour
2021-10-12 20:36:49 +0200 <Franciman> so I stop using it for a while
2021-10-12 20:36:57 +0200 <maerwald> they?
2021-10-12 20:37:11 +0200favonia(~favonia@user/favonia) (Quit: Leaving)
2021-10-12 20:37:11 +0200 <Franciman> i don't know how to speak in english
2021-10-12 20:37:12 +0200 <Franciman> sorry
2021-10-12 20:37:22 +0200 <justsomeguy> I wish my pinephone's battery lasted longer than 20 minutes. Then I could ditch my android smartphone.
2021-10-12 20:37:25 +0200 <Franciman> i keep getting the pronouns wrong
2021-10-12 20:37:55 +0200 <Franciman> when my programming language is done, I will abstain from coding
2021-10-12 20:37:57 +0200 <Franciman> forever
2021-10-12 20:38:03 +0200 <Franciman> and just close everything
2021-10-12 20:38:09 +0200 <Franciman> life goals
2021-10-12 20:38:09 +0200 <maerwald> and do what?
2021-10-12 20:38:39 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-10-12 20:38:39 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-10-12 20:38:39 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-10-12 20:38:42 +0200allbery_bgeekosaur
2021-10-12 20:38:55 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-10-12 20:38:56 +0200 <Franciman> no idea :O
2021-10-12 20:39:40 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 260 seconds)
2021-10-12 20:40:05 +0200hololeap(~hololeap@user/hololeap)
2021-10-12 20:40:07 +0200 <maerwald> when you think you burned out it takes 3 months tops to figure out you actually are bored-out
2021-10-12 20:40:16 +0200 <maerwald> thin line
2021-10-12 20:42:05 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection)
2021-10-12 20:44:29 +0200hololeap(~hololeap@user/hololeap) (Client Quit)
2021-10-12 20:46:18 +0200sedeki(~textual@user/sedeki)
2021-10-12 20:46:31 +0200hrdl(~hrdl@mail.hrdl.eu)
2021-10-12 20:47:55 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-10-12 20:48:36 +0200 <sm> maralorn: would https://glguy.net/config-demo work ?
2021-10-12 20:49:34 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 252 seconds)
2021-10-12 20:49:45 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-10-12 20:51:21 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 20:51:30 +0200 <dminuoso> maralorn: config-schema from glguy gets my vote too.
2021-10-12 20:51:34 +0200 <dminuoso> It's absolutely lovely.
2021-10-12 20:51:47 +0200 <dminuoso> Im not entirely sure it would support a tree though.
2021-10-12 20:51:57 +0200 <dminuoso> Well, config-value would at least.
2021-10-12 20:52:27 +0200 <maerwald> so I assume it doesn't have yaml anchors?
2021-10-12 20:53:01 +0200 <maralorn> thx, will evaluate it.
2021-10-12 20:53:07 +0200sedeki(~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com)
2021-10-12 20:53:10 +0200 <maerwald> I'm still looking for something to deduplicate large yaml files without resorting to dhall
2021-10-12 20:53:20 +0200 <sm> dminuoso: what do you enjoy about it ?
2021-10-12 20:53:21 +0200 <maerwald> simple templating
2021-10-12 20:53:22 +0200fef(~thedawn@user/thedawn)
2021-10-12 20:53:40 +0200 <sm> maerwald: m4 ?
2021-10-12 20:53:45 +0200 <maerwald> lol
2021-10-12 20:53:58 +0200coot(~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl)
2021-10-12 20:54:17 +0200ubert(~Thunderbi@77.119.211.49.wireless.dyn.drei.com)
2021-10-12 20:54:27 +0200 <sm> I'd say it's a good option if you don't have to change your templates much
2021-10-12 20:54:31 +0200 <dminuoso> sm: I get a really simple way to specify a config schema, derive a parser with decent diagnostics from it, and also have a way to output matching documentation.
2021-10-12 20:54:36 +0200 <sm> write once :)
2021-10-12 20:54:38 +0200max22-(~maxime@2a01cb08833598009bd4683403ef2304.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-10-12 20:54:41 +0200 <dminuoso> It's similarly convenient like servant
2021-10-12 20:54:51 +0200 <dminuoso> Except its much simpler to use
2021-10-12 20:55:03 +0200 <dminuoso> Or perhaps its sort of like optparse-applicative
2021-10-12 20:55:09 +0200 <dminuoso> yeah I think that comparison works better.
2021-10-12 20:55:31 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 245 seconds)
2021-10-12 20:55:45 +0200 <sm> dminuoso: thanks, good to hear
2021-10-12 20:56:16 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com)
2021-10-12 20:59:37 +0200 <maerwald> so what are the dhall alternatives
2021-10-12 21:01:02 +0200Pickchea(~private@user/pickchea) (Ping timeout: 265 seconds)
2021-10-12 21:01:24 +0200 <maerwald> https://github.com/bazelbuild/starlark
2021-10-12 21:01:27 +0200 <maerwald> oops
2021-10-12 21:01:39 +0200 <maerwald> your config interpreted
2021-10-12 21:02:19 +0200max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-10-12 21:04:11 +0200 <maerwald> oh, jsonnet
2021-10-12 21:04:31 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-10-12 21:04:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-10-12 21:04:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-10-12 21:04:53 +0200wroathe(~wroathe@user/wroathe)
2021-10-12 21:05:31 +0200 <maralorn> Can I generate config-value from nix?
2021-10-12 21:06:18 +0200 <maerwald> oh, there is yaml templating: https://github.com/vmware-tanzu/carvel-ytt
2021-10-12 21:06:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-10-12 21:07:23 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 21:08:03 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-10-12 21:08:24 +0200a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507)
2021-10-12 21:09:25 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-10-12 21:09:29 +0200 <a6a45081-2b83> So I'm parsing a json and have an optional key-value pair, where I have modelled the value as Maybe String. I want to now also include a list of key values to the value, i.e. `V = Nothing | Just value | Just Map String String`
2021-10-12 21:09:48 +0200 <a6a45081-2b83> should I use `Maybe (Either String (Map String String))`?
2021-10-12 21:11:34 +0200 <monochrom> V = Zero | One String | Many (Map String String)
2021-10-12 21:12:09 +0200ub(~Thunderbi@77.119.211.49.wireless.dyn.drei.com)
2021-10-12 21:12:10 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds)
2021-10-12 21:14:07 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-10-12 21:14:07 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-10-12 21:14:10 +0200allbery_bgeekosaur
2021-10-12 21:15:06 +0200 <maerwald> Sounds like `Map String String` would theoretically work :p
2021-10-12 21:15:46 +0200 <maerwald> [] -> Zero, [("", "yo")] -> One, the other -> Many
2021-10-12 21:18:09 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-10-12 21:18:12 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-10-12 21:18:16 +0200allbery_bgeekosaur
2021-10-12 21:21:06 +0200 <dminuoso> maralorn: There's no builtin primitives. And its not a superset of JSON either, so..
2021-10-12 21:21:34 +0200 <dminuoso> And there wouldn't be anything native sensibly, as you can have arbitrary atoms
2021-10-12 21:21:53 +0200 <dminuoso> But it shouldn't be too much of a hassle to write some toMyConfigSchema function
2021-10-12 21:21:53 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection)
2021-10-12 21:21:55 +0200 <dminuoso> In nix
2021-10-12 21:22:09 +0200 <a6a45081-2b83> I am wondering how will I write FromJSON for V. i.e. `{}` (Nothing), `{"key": "value"}` (Just value), `{"key": {"key1": "value1", ...}}` (Map String String)
2021-10-12 21:22:13 +0200 <dminuoso> The main problem is that you'd have to encode some kind of schema in nix too
2021-10-12 21:24:37 +0200 <maerwald> a6a45081-2b83: parse the value depending on the key-name
2021-10-12 21:25:12 +0200 <dminuoso> maralorn: Is JSON not working for you?
2021-10-12 21:25:41 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2021-10-12 21:25:44 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 21:26:29 +0200 <maralorn> dminuoso: json will probably work. I just was curious if there was something shiny and new.
2021-10-12 21:26:45 +0200 <isovector1> does anyone have a good understanding of how kind-generics represents existentials?
2021-10-12 21:27:07 +0200Pickchea(~private@user/pickchea)
2021-10-12 21:27:31 +0200 <dminuoso> maralorn: Well you can also go builtins.toDhall
2021-10-12 21:27:40 +0200 <dminuoso> maralorn: So that's the shiny/new way.
2021-10-12 21:27:51 +0200 <dminuoso> But I dont think "shiny/new" is a particularly good requirement.
2021-10-12 21:28:08 +0200 <dminuoso> It's better if you have technical/implementation requirements instead.
2021-10-12 21:28:23 +0200 <dminuoso> Sorry wait, toDhall is in lib/generators.nix, not builtins
2021-10-12 21:28:52 +0200 <a6a45081-2b83> I was thinking to pattern match in the FromJSON instance of V, i.e. instance FromJSON V where {parseJSON (Text t) = One t; parseJSON (Object v) = Many (parseJSON v)}
2021-10-12 21:28:55 +0200 <a6a45081-2b83> something like this
2021-10-12 21:29:06 +0200 <maralorn> dminuoso: Wouldn‘t "I want to smoothly represent a tree" prevent me from using dhall?
2021-10-12 21:29:31 +0200 <dminuoso> maralorn: What does "smoothly represent a tree" even mean?
2021-10-12 21:29:32 +0200 <maerwald> a6a45081-2b83: there are many ways to do it, yeah
2021-10-12 21:29:43 +0200 <maerwald> why not use stock deriving?
2021-10-12 21:30:27 +0200 <dminuoso> maralorn: Anything JSON-like, except null, can be turned into Dhall - and then the json or dhall representations are equivalent.
2021-10-12 21:30:31 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds)
2021-10-12 21:30:54 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-10-12 21:30:58 +0200 <dminuoso> You can turn attrsets, lists, numbers and bools into dhall. What more do you want?
2021-10-12 21:31:16 +0200 <dminuoso> But like I said. Without knowing what you're trying to solve, Im not convinced Dhall is the best.
2021-10-12 21:31:25 +0200 <dminuoso> JSON is easy enough to parse from Haskell, has builtin support in nix
2021-10-12 21:31:30 +0200 <dminuoso> And if it works, Id just go with that.
2021-10-12 21:31:43 +0200 <dminuoso> Just be careful with numbers appropriately (encode them via strings if necessary)
2021-10-12 21:31:46 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d)
2021-10-12 21:32:45 +0200 <maralorn> [ { name: "Firefox", command: "/usr/bin/firefox" } { name: "Chatapps", menu: [ { name: "Element", command: "element-desktop" } ] ]
2021-10-12 21:33:01 +0200 <maralorn> I want to write something like that.
2021-10-12 21:33:29 +0200 <maralorn> Basically a list and every element is a command or a menu. Were a menu is again a list like that.
2021-10-12 21:34:00 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-10-12 21:34:12 +0200 <maralorn> And from what I remember writing a dhall type for that is basically impossible.
2021-10-12 21:36:37 +0200dsrt^(~dsrt@wsip-70-165-23-55.mc.at.cox.net) (Ping timeout: 250 seconds)
2021-10-12 21:41:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-10-12 21:41:46 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 21:46:58 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 260 seconds)
2021-10-12 21:47:57 +0200xsperry(~xs@user/xsperry)
2021-10-12 21:53:35 +0200 <koz> Is adding a new dependency a major or minor bump by PVP?
2021-10-12 21:54:27 +0200 <razor[m]> no ehy u think so
2021-10-12 21:54:44 +0200 <monochrom> I think a point bump.
2021-10-12 21:54:45 +0200 <razor[m]> it has always been a nice interchange
2021-10-12 21:54:50 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving)
2021-10-12 21:55:09 +0200 <koz> monochrom: Sorry, what do you mean by a 'point bump'?
2021-10-12 21:55:20 +0200 <monochrom> Less than minor.
2021-10-12 21:55:22 +0200 <awpr> don't think PVP considers that to change the package's API at all, so I'd say it's a fourth-component bump
2021-10-12 21:55:37 +0200 <awpr> but if it adds instances for that package, then minor version IIRC
2021-10-12 21:55:41 +0200 <monochrom> major1.major2.minor.point
2021-10-12 21:55:44 +0200 <maerwald> four or 3 are the same, no?
2021-10-12 21:55:47 +0200wrengr(~wrengr@150.12.83.34.bc.googleusercontent.com) (Quit: Changing server)
2021-10-12 21:55:48 +0200 <maerwald> lol
2021-10-12 21:55:54 +0200 <maerwald> that sounded stupid
2021-10-12 21:56:06 +0200 <koz> OK, thanks.
2021-10-12 21:56:13 +0200maerwaldsees himself out
2021-10-12 21:56:36 +0200wrengr(~wrengr@150.12.83.34.bc.googleusercontent.com)
2021-10-12 21:58:20 +0200 <monochrom> I actually agree with major1.major2 acknowledging that there is a social, cultural difference between "not backward compatible but in a small way" and "not backward compatible but in a revolutionary way"
2021-10-12 21:58:24 +0200wrengr(~wrengr@150.12.83.34.bc.googleusercontent.com) (Client Quit)
2021-10-12 21:58:52 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-10-12 21:59:01 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 21:59:10 +0200 <monochrom> A major flaw of most programmers is they pretend that there is nothing other than technicalities.
2021-10-12 21:59:29 +0200wrengr(~wrengr@150.12.83.34.bc.googleusercontent.com)
2021-10-12 21:59:30 +0200 <monochrom> (Pun intended haha)
2021-10-12 22:01:36 +0200 <maerwald> the point of PVP is for someone to be able to ship bugfixes to older versions, but I've never seen anyone do that :D
2021-10-12 22:01:43 +0200chisui(~chisui@200116b8648f8d00a55308fa18a6b512.dip.versatel-1u1.de) (Quit: Client closed)
2021-10-12 22:01:53 +0200 <geekosaur> ghc?
2021-10-12 22:02:02 +0200 <maerwald> it's not even strictly PVP
2021-10-12 22:02:12 +0200 <geekosaur> true
2021-10-12 22:02:21 +0200 <awpr> I've made transitional versions with minor version bumps to let packages support two consecutive small-major versions
2021-10-12 22:02:35 +0200 <geekosaur> I think they're regretting most of the violations though (looking at you 8.10.5)
2021-10-12 22:02:44 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection)
2021-10-12 22:02:48 +0200betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Quit: The Lounge - https://thelounge.chat)
2021-10-12 22:03:24 +0200 <maerwald> I'd rather forge alliances and understand maintainers of the stuff I depend on, rather than assume communicating through a string is gonna be enough
2021-10-12 22:03:39 +0200 <maerwald> but that sounds crazy I guess
2021-10-12 22:03:44 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-10-12 22:04:01 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds)
2021-10-12 22:04:04 +0200 <awpr> do alliances and mutual understanding help Cabal make correct build plans?
2021-10-12 22:04:26 +0200 <maerwald> during the year of the rabbit yes
2021-10-12 22:04:27 +0200 <awpr> my understanding is PVP is for build plans and alliances are for collaborating on evolving code
2021-10-12 22:05:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-10-12 22:05:11 +0200juhp(~juhp@128.106.188.220) (Ping timeout: 268 seconds)
2021-10-12 22:05:22 +0200 <geekosaur> maerwald, you need only look at the dependencies of lens to see how that one fails
2021-10-12 22:06:11 +0200 <geekosaur> (yes, you do need to consider transitive dependencies)
2021-10-12 22:06:29 +0200sh9(~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8)
2021-10-12 22:06:47 +0200juhp(~juhp@128.106.188.220)
2021-10-12 22:07:14 +0200 <maerwald> many companies just use git hashes :p
2021-10-12 22:07:23 +0200 <maerwald> rolling hashes
2021-10-12 22:07:29 +0200 <geekosaur> god help you when someone force pushes
2021-10-12 22:07:51 +0200 <maerwald> why?
2021-10-12 22:08:42 +0200 <geekosaur> seriously? because the hash you depend on is only in the reflog after that, you can't check it out any more
2021-10-12 22:08:50 +0200 <maerwald> force pushing doesn't remove a git commit from the server
2021-10-12 22:09:03 +0200 <maerwald> unless you run a GC
2021-10-12 22:09:27 +0200 <maerwald> for stuff like github, I think they keep it indefinitely
2021-10-12 22:10:08 +0200hexfive(~eric@50.35.83.177)
2021-10-12 22:10:11 +0200jgeerds(~jgeerds@55d4da80.access.ecotel.net)
2021-10-12 22:11:27 +0200 <maerwald> a new clone probably doesn't pull it, yeah
2021-10-12 22:12:14 +0200LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
2021-10-12 22:12:50 +0200 <geekosaur> of course what this really tells you is "force pushing is bad, mmmkay?"
2021-10-12 22:13:06 +0200LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2021-10-12 22:13:21 +0200 <geekosaur> which is not to say I haven't done it, but I make sure I'm not stepping on any toes first
2021-10-12 22:14:18 +0200 <geekosaur> and only on pull requests, not regular branches
2021-10-12 22:14:43 +0200 <geekosaur> once it's landed I consider it immutable because I have nfc who might have pulled it
2021-10-12 22:15:29 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 22:18:12 +0200 <maerwald> I'll switch to bazaar
2021-10-12 22:19:24 +0200 <maerwald> you can use it on svannah I believe https://savannah.gnu.org/
2021-10-12 22:19:31 +0200 <maerwald> modern interface, screw github
2021-10-12 22:19:59 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 268 seconds)
2021-10-12 22:19:59 +0200dsrt^(~dsrt@wsip-70-165-23-55.mc.at.cox.net)
2021-10-12 22:20:55 +0200 <maerwald> there are job postings even
2021-10-12 22:21:23 +0200 <maerwald> https://savannah.gnu.org/people/?category_id=1 no haskell dev though
2021-10-12 22:25:50 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-10-12 22:25:58 +0200hexfive(~eric@50.35.83.177) (Quit: WeeChat 3.0.1)
2021-10-12 22:30:49 +0200zebrag(~chris@user/zebrag)
2021-10-12 22:30:53 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-10-12 22:32:09 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 22:33:21 +0200jtomas_(~jtomas@95.red-88-11-64.dynamicip.rima-tde.net)
2021-10-12 22:33:23 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 250 seconds)
2021-10-12 22:35:55 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-10-12 22:35:58 +0200jtomas(~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) (Ping timeout: 260 seconds)
2021-10-12 22:36:36 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-10-12 22:36:44 +0200kmein(~weechat@user/kmein) (Ping timeout: 265 seconds)
2021-10-12 22:37:22 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 260 seconds)
2021-10-12 22:37:41 +0200pavonia(~user@user/siracusa)
2021-10-12 22:38:56 +0200 <Franciman> maerwald: srsly
2021-10-12 22:39:07 +0200 <maerwald> xD
2021-10-12 22:41:04 +0200 <Franciman> i like your stance
2021-10-12 22:42:32 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds)
2021-10-12 22:46:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-10-12 22:46:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-10-12 22:46:13 +0200wroathe(~wroathe@user/wroathe)
2021-10-12 22:46:38 +0200kmein(~weechat@user/kmein)
2021-10-12 22:50:38 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 22:50:54 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2021-10-12 22:55:32 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 268 seconds)
2021-10-12 23:00:32 +0200Arsen(~arsen@managarm/dev/Arsen) (Quit: Quit.)
2021-10-12 23:00:33 +0200favonia(~favonia@user/favonia)
2021-10-12 23:00:53 +0200Arsen(~arsen@managarm/dev/Arsen)
2021-10-12 23:03:00 +0200Guest|8(~Guest|8@77.138.210.76)
2021-10-12 23:03:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d)
2021-10-12 23:05:27 +0200 <Guest|8> hi, how can i uninstall haskell from windows? (cant find it on 'Add Or Remove Programs')
2021-10-12 23:06:19 +0200 <zzz> Guest|8: honestly? Linux subsystem
2021-10-12 23:07:36 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Ping timeout: 245 seconds)
2021-10-12 23:07:50 +0200ubert(~Thunderbi@77.119.211.49.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2021-10-12 23:07:50 +0200ububert
2021-10-12 23:08:18 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 23:08:37 +0200 <sm> how did you install it ?
2021-10-12 23:09:29 +0200 <zzz> oh sorry. i read "install"
2021-10-12 23:11:28 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-10-12 23:13:07 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds)
2021-10-12 23:13:20 +0200 <Guest|8> from the official site - > https://www.haskell.org/downloads/
2021-10-12 23:14:03 +0200 <Guest|8> used powershell with the command Set-ExecutionPolicy Bypass -Scope Process -Force;[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072;Invoke-Command -ScriptBlock ([ScriptBlock]::Create((Invoke-WebRequest https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1 -UseBasicParsing)))
2021-10-12 23:14:04 +0200 <Guest|8> -ArgumentList $true
2021-10-12 23:16:18 +0200 <maerwald> Guest|8: there should be a desktop shortcut
2021-10-12 23:16:33 +0200 <Guest|8> its crashing when trying to create shortcut on some unexisting folder and when im trying to "reinstall" (while trying the command again) its crashing again
2021-10-12 23:17:06 +0200 <maerwald> it's failing to create the desktop shortcuts?
2021-10-12 23:17:47 +0200 <maerwald> more information please
2021-10-12 23:17:48 +0200a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) (Read error: Connection reset by peer)
2021-10-12 23:17:50 +0200 <Guest|8> it's failing to create a shortcut on some folder, its not the desktop one
2021-10-12 23:18:05 +0200 <maerwald> logs/screenshots
2021-10-12 23:18:39 +0200 <maerwald> usually there should be a "Uninstall Haskell" shortcut on your desktop
2021-10-12 23:19:43 +0200zer0bitz(~zer0bitz@dsl-hkibng31-54fafc-123.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-10-12 23:20:25 +0200 <Guest|8> There's nothing there
2021-10-12 23:20:40 +0200 <Guest|8> Uploaded file: https://uploads.kiwiirc.com/files/b00a9313b1c6361da8637e19aebea40a/image.png
2021-10-12 23:21:00 +0200 <maerwald> well, so it does fail installing the desktop shortcuts
2021-10-12 23:21:00 +0200kmein_(~weechat@user/kmein)
2021-10-12 23:21:05 +0200 <Guest|8> i get this error when the downoad fails
2021-10-12 23:22:20 +0200 <maerwald> Guest|8: which windows version?
2021-10-12 23:22:36 +0200 <Guest|8> 10
2021-10-12 23:22:39 +0200Gurkenglas_(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 265 seconds)
2021-10-12 23:23:04 +0200 <maerwald> Guest|8: can you run this in your powershell: [Environment]::GetFolderPath("Desktop")
2021-10-12 23:23:48 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-10-12 23:23:53 +0200 <Guest|8> yeah
2021-10-12 23:23:58 +0200 <Guest|8> wait
2021-10-12 23:24:06 +0200kmein(~weechat@user/kmein) (Ping timeout: 265 seconds)
2021-10-12 23:24:15 +0200 <Guest|8> no *O*
2021-10-12 23:24:16 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
2021-10-12 23:24:21 +0200 <maerwald> what?
2021-10-12 23:24:45 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se)
2021-10-12 23:25:16 +0200 <Guest|8> oh well the func doesnt recognized
2021-10-12 23:25:25 +0200 <Guest|8> I'll try something
2021-10-12 23:25:30 +0200coot(~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-10-12 23:25:40 +0200 <maerwald> this is official windows API... there's something wrong if it doesn't work
2021-10-12 23:26:35 +0200Lord_of_Life_Lord_of_Life
2021-10-12 23:31:40 +0200Neuromancer(~Neuromanc@user/neuromancer)
2021-10-12 23:36:58 +0200Cajun(~Cajun@user/cajun)
2021-10-12 23:37:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-10-12 23:37:39 +0200xaotuk(~sasha@89.110.231.41)
2021-10-12 23:39:43 +0200pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 265 seconds)
2021-10-12 23:40:03 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d)
2021-10-12 23:43:44 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-10-12 23:44:51 +0200 <Guest|8> THANK YOU SO MUCH
2021-10-12 23:44:55 +0200 <Guest|8> ITS WORKING
2021-10-12 23:44:56 +0200 <maerwald> ?
2021-10-12 23:45:14 +0200 <maerwald> why
2021-10-12 23:45:22 +0200ocramz_(~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds)
2021-10-12 23:45:50 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-10-12 23:47:03 +0200 <Guest|8> the location was saved in my home language, with you ive fix it
2021-10-12 23:47:15 +0200 <maerwald> uhm
2021-10-12 23:47:22 +0200michalz(~michalz@185.246.204.72) (Remote host closed the connection)
2021-10-12 23:47:33 +0200 <maerwald> what was the fix?
2021-10-12 23:47:45 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-10-12 23:48:26 +0200 <monochrom> Oh, do you mean "Desktop" is English, but your Windows is not using English?
2021-10-12 23:48:38 +0200 <Guest|8> changing the location to the default
2021-10-12 23:48:51 +0200 <maerwald> but why can't windows handle it?
2021-10-12 23:48:55 +0200 <maerwald> It's UTF-16
2021-10-12 23:49:21 +0200 <Guest|8> well idk
2021-10-12 23:49:50 +0200 <Guest|8> but its now wotking, so i I guess its al good
2021-10-12 23:50:14 +0200 <maerwald> I still don't like the taste of it
2021-10-12 23:50:21 +0200 <geekosaur> sounds like a bug to be fixed to me
2021-10-12 23:50:31 +0200 <geekosaur> need to find out more though
2021-10-12 23:50:38 +0200Null_A(~null_a@2601:645:8700:2290:cca9:9e4e:f1d8:3489) (Remote host closed the connection)
2021-10-12 23:50:44 +0200 <geekosaur> what language is your normal locale?
2021-10-12 23:50:46 +0200 <maerwald> maybe encoding was mixed somehow
2021-10-12 23:51:13 +0200Null_A(~null_a@2601:645:8700:2290:cca9:9e4e:f1d8:3489)
2021-10-12 23:51:22 +0200 <Guest|8> idk
2021-10-12 23:51:50 +0200 <Guest|8> hebrew
2021-10-12 23:51:56 +0200 <Guest|8> אימאמלד אים
2021-10-12 23:52:00 +0200 <Guest|8> thanks tho
2021-10-12 23:52:13 +0200Guest|8(~Guest|8@77.138.210.76) (Quit: Connection closed)
2021-10-12 23:53:21 +0200 <awpr> just witnessed a https://xkcd.com/979/ in the making
2021-10-12 23:53:26 +0200 <maerwald> https://docs.microsoft.com/en-us/visualstudio/code-quality/ca1302?view=vs-2019
2021-10-12 23:53:33 +0200 <maerwald> lol
2021-10-12 23:54:50 +0200 <maerwald> I'll ask over in #powershell
2021-10-12 23:55:15 +0200 <monochrom> I bet it's Environment.SpecialFolder.Desktop :)
2021-10-12 23:55:56 +0200Null_A(~null_a@2601:645:8700:2290:cca9:9e4e:f1d8:3489) (Ping timeout: 245 seconds)
2021-10-12 23:56:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-10-12 23:56:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-10-12 23:56:10 +0200wroathe(~wroathe@user/wroathe)
2021-10-12 23:57:08 +0200 <maerwald> I'm wondering what else might be broken
2021-10-12 23:57:12 +0200 <maerwald> this can't be the only thing
2021-10-12 23:57:41 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection)