2021-10-12 00:04:30 +0200 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Ping timeout: 260 seconds) |
2021-10-12 00:06:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-12 00:09:13 +0200 | Lycurgus | (~juan@98.4.112.204) (Quit: Exeunt) |
2021-10-12 00:11:29 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection) |
2021-10-12 00:16:17 +0200 | feliix42_ | (~felix@gibbs.uberspace.de) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-10-12 00:16:32 +0200 | feliix42 | (~felix@gibbs.uberspace.de) |
2021-10-12 00:16:42 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2021-10-12 00:18:36 +0200 | Hecate | (~mariposa@user/hecate) (Ping timeout: 250 seconds) |
2021-10-12 00:18:42 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2021-10-12 00:18:43 +0200 | Hecate | (~mariposa@163.172.211.189) |
2021-10-12 00:19:57 +0200 | sedeki | (~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
2021-10-12 00:22:21 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
2021-10-12 00:27:08 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) |
2021-10-12 00:27:35 +0200 | coot | (~coot@37.30.52.99.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-10-12 00:28:02 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
2021-10-12 00:30:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-10-12 00:32:25 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
2021-10-12 00:37:44 +0200 | cjb | (~cjb@user/cjb) () |
2021-10-12 00:37:50 +0200 | max22- | (~maxime@2a01cb08833598000bdc249d87a31114.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
2021-10-12 00:40:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-10-12 00:44:52 +0200 | tremon_ | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
2021-10-12 00:45:27 +0200 | jgeerds | (~jgeerds@55d4da80.access.ecotel.net) (Ping timeout: 265 seconds) |
2021-10-12 00:45:56 +0200 | chomwitt | (~chomwitt@94.66.61.137) (Ping timeout: 265 seconds) |
2021-10-12 00:46:33 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-12 00:47:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-10-12 00:49:31 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds) |
2021-10-12 00:56:28 +0200 | aegon | (~mike@174.127.249.180) |
2021-10-12 00:56:37 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
2021-10-12 00:57:56 +0200 | ubert | (~Thunderbi@178.115.41.191.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
2021-10-12 01:01:04 +0200 | jtomas | (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
2021-10-12 01:09:33 +0200 | emf | (~emf@2620:10d:c090:400::5:fe52) (Quit: emf) |
2021-10-12 01:10:21 +0200 | zzz | yournick |
2021-10-12 01:11:54 +0200 | falafel | (~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) |
2021-10-12 01:15:37 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
2021-10-12 01:20:53 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:d1f:d611:c784:7f39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-10-12 01:25:49 +0200 | falafel | (~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) (Ping timeout: 252 seconds) |
2021-10-12 01:27:10 +0200 | emf | (~emf@2620:10d:c090:400::5:fe52) |
2021-10-12 01:28:09 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 268 seconds) |
2021-10-12 01:28:31 +0200 | waleee | (~waleee@h-98-128-228-119.na.cust.bahnhof.se) (Ping timeout: 252 seconds) |
2021-10-12 01:30:56 +0200 | CiaoSen | (~Jura@p200300c9571101002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2021-10-12 01:31:46 +0200 | emf | (~emf@2620:10d:c090:400::5:fe52) (Ping timeout: 260 seconds) |
2021-10-12 01:32:20 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 265 seconds) |
2021-10-12 01:32:21 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
2021-10-12 01:32:22 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
2021-10-12 01:33:04 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-12 01:35:49 +0200 | Amras | (~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 +0200 | harveypwca | (~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 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-10-12 01:47:11 +0200 | lavaman | (~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 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
2021-10-12 01:48:03 +0200 | emf | (~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 +0200 | yournick | zzz |
2021-10-12 01:50:29 +0200 | Phantastes | (~Phantaste@c-67-173-229-120.hsd1.co.comcast.net) |
2021-10-12 01:50:43 +0200 | Phantastes | (~Phantaste@c-67-173-229-120.hsd1.co.comcast.net) (Client Quit) |
2021-10-12 01:51:37 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
2021-10-12 01:57:13 +0200 | porky | (~porky@c-67-173-229-120.hsd1.co.comcast.net) |
2021-10-12 02:00:27 +0200 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) (Ping timeout: 240 seconds) |
2021-10-12 02:05:08 +0200 | Tordek_ | Tordek |
2021-10-12 02:06:21 +0200 | s810 | (~jake@pool-100-0-213-111.bstnma.fios.verizon.net) |
2021-10-12 02:08:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-12 02:09:21 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-48-67-70-102-17.dsl.bell.ca) |
2021-10-12 02:12:01 +0200 | Phantastes | (~Phantaste@c-67-173-229-120.hsd1.co.comcast.net) |
2021-10-12 02:13:27 +0200 | s810 | (~jake@pool-100-0-213-111.bstnma.fios.verizon.net) (Quit: WeeChat 3.3) |
2021-10-12 02:15:39 +0200 | esrh | (~user@r4-128-61-91-211.res.gatech.edu) |
2021-10-12 02:28:14 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-10-12 02:35:21 +0200 | Amras | (~Amras@user/Amras) (Remote host closed the connection) |
2021-10-12 02:39:41 +0200 | alx741 | (~alx741@181.196.69.249) (Ping timeout: 268 seconds) |
2021-10-12 02:40:41 +0200 | emf | (~emf@2620:10d:c090:400::5:fe52) (Quit: emf) |
2021-10-12 02:42:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-10-12 02:46:17 +0200 | vgtw | (~vgtw@c-6a60205c.07-348-756d651.bbcust.telenor.se) (Ping timeout: 246 seconds) |
2021-10-12 02:52:05 +0200 | alx741 | (~alx741@186.178.108.69) |
2021-10-12 02:54:29 +0200 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Remote host closed the connection) |
2021-10-12 02:59:42 +0200 | emf | (~emf@2620:10d:c090:400::5:fe52) |
2021-10-12 03:02:18 +0200 | esrh | (~user@r4-128-61-91-211.res.gatech.edu) (Remote host closed the connection) |
2021-10-12 03:04:17 +0200 | CMDR_Kaiser | (~CMDR_Kais@190.237.88.66) |
2021-10-12 03:04:46 +0200 | esrh | (~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 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
2021-10-12 03:06:46 +0200 | xff0x | (~xff0x@2001:1a81:534f:ad00:a171:1916:9bbd:f9e0) (Ping timeout: 245 seconds) |
2021-10-12 03:08:34 +0200 | xff0x | (~xff0x@2001:1a81:538c:f300:a5c4:ad00:4a33:e2f4) |
2021-10-12 03:10:48 +0200 | bitmapper | (~user@142.134.87.154) |
2021-10-12 03:12:35 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-10-12 03:13:14 +0200 | Psybur | (~Psybur@mobile-166-170-32-197.mycingular.net) (Remote host closed the connection) |
2021-10-12 03:13:17 +0200 | vgtw | (~vgtw@c-6a60205c.07-348-756d651.bbcust.telenor.se) |
2021-10-12 03:13:42 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-10-12 03:18:12 +0200 | emf | (~emf@2620:10d:c090:400::5:fe52) (Quit: emf) |
2021-10-12 03:19:13 +0200 | emf | (~emf@2620:10d:c090:400::5:fe52) |
2021-10-12 03:20:34 +0200 | emf | (~emf@2620:10d:c090:400::5:fe52) (Client Quit) |
2021-10-12 03:21:07 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
2021-10-12 03:29:22 +0200 | myShoggoth | (~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 +0200 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
2021-10-12 03:30:41 +0200 | emf | (~emf@2620:10d:c090:400::5:fe52) |
2021-10-12 03:31:14 +0200 | zaquest | (~notzaques@5.128.210.178) |
2021-10-12 03:32:43 +0200 | <rootard> | esrh: you're not wrong. |
2021-10-12 03:33:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2021-10-12 03:33:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2021-10-12 03:34:06 +0200 | brettgilio | (~brettgili@x-node.gq) (Read error: Connection reset by peer) |
2021-10-12 03:34:10 +0200 | Adeon | (sid418992@lymington.irccloud.com) (Ping timeout: 260 seconds) |
2021-10-12 03:34:10 +0200 | mrianbloom | (sid350277@ilkley.irccloud.com) (Ping timeout: 260 seconds) |
2021-10-12 03:34:10 +0200 | cln | (sid336875@ilkley.irccloud.com) (Ping timeout: 260 seconds) |
2021-10-12 03:34:10 +0200 | vito | (sid1962@user/vito) (Ping timeout: 260 seconds) |
2021-10-12 03:34:10 +0200 | eruditass | (uid248673@uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
2021-10-12 03:34:10 +0200 | meinside | (uid24933@helmsley.irccloud.com) (Ping timeout: 260 seconds) |
2021-10-12 03:34:10 +0200 | gmc | (sid58314@ilkley.irccloud.com) (Ping timeout: 260 seconds) |
2021-10-12 03:34:10 +0200 | rubin55 | (sid175221@hampstead.irccloud.com) (Ping timeout: 260 seconds) |
2021-10-12 03:34:10 +0200 | sa1 | (sid7690@ilkley.irccloud.com) (Ping timeout: 260 seconds) |
2021-10-12 03:34:10 +0200 | degraafk | (sid71464@lymington.irccloud.com) (Ping timeout: 260 seconds) |
2021-10-12 03:34:21 +0200 | haskl[error] | (~haskl@user/haskl) (Read error: Connection reset by peer) |
2021-10-12 03:34:21 +0200 | connrs | (~connrs@conners.plus.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-10-12 03:34:23 +0200 | mrianbloom | (sid350277@id-350277.ilkley.irccloud.com) |
2021-10-12 03:34:23 +0200 | beaky_ | (~beaky@198.211.118.219) |
2021-10-12 03:34:34 +0200 | haskl | (~haskl@user/haskl) |
2021-10-12 03:34:34 +0200 | connrs | (~connrs@conners.plus.com) |
2021-10-12 03:34:45 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Ping timeout: 260 seconds) |
2021-10-12 03:34:53 +0200 | brettgilio | (~brettgili@x-node.gq) |
2021-10-12 03:35:10 +0200 | cln | (sid336875@id-336875.ilkley.irccloud.com) |
2021-10-12 03:35:20 +0200 | ringo_ | (~ringo@157.230.117.128) (Ping timeout: 260 seconds) |
2021-10-12 03:35:21 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) |
2021-10-12 03:35:22 +0200 | vito | (sid1962@user/vito) |
2021-10-12 03:35:22 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) |
2021-10-12 03:35:22 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) |
2021-10-12 03:35:22 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) |
2021-10-12 03:35:22 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
2021-10-12 03:35:23 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
2021-10-12 03:35:50 +0200 | ringo_ | (~ringo@157.230.117.128) |
2021-10-12 03:35:55 +0200 | enicar | (~enikar@user/enikar) (Ping timeout: 260 seconds) |
2021-10-12 03:35:57 +0200 | eruditass | (uid248673@id-248673.uxbridge.irccloud.com) |
2021-10-12 03:36:25 +0200 | enicar | (~enikar@user/enikar) |
2021-10-12 03:40:57 +0200 | emf | (~emf@2620:10d:c090:400::5:fe52) (Quit: emf) |
2021-10-12 03:44:52 +0200 | shapr | (~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 +0200 | rootard | (~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 +0200 | falafel | (~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) |
2021-10-12 04:07:43 +0200 | brainfreeze | (~brainfree@2a03:1b20:4:f011::20d) |
2021-10-12 04:08:23 +0200 | gaussrz | (~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 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-10-12 04:23:09 +0200 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
2021-10-12 04:24:24 +0200 | machinedgod | (~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 +0200 | alzgh | (~alzgh@user/alzgh) (Remote host closed the connection) |
2021-10-12 04:36:03 +0200 | esrh | (~user@r4-128-61-91-211.res.gatech.edu) (ERC (IRC client for Emacs 27.2)) |
2021-10-12 04:37:14 +0200 | alx741 | (~alx741@186.178.108.69) (Quit: alx741) |
2021-10-12 04:39:13 +0200 | merijn | (~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 +0200 | CMDR_Kaiser | (~CMDR_Kais@190.237.88.66) (Quit: Leaving...) |
2021-10-12 04:50:06 +0200 | falafel | (~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) (Ping timeout: 260 seconds) |
2021-10-12 04:50:55 +0200 | td_ | (~td@94.134.91.135) (Ping timeout: 252 seconds) |
2021-10-12 04:52:20 +0200 | brainfreeze | (~brainfree@2a03:1b20:4:f011::20d) (Quit: Leaving) |
2021-10-12 04:52:27 +0200 | td_ | (~td@muedsl-82-207-238-248.citykom.de) |
2021-10-12 04:53:24 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 265 seconds) |
2021-10-12 04:54:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2021-10-12 05:07:50 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
2021-10-12 05:11:57 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
2021-10-12 05:13:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-10-12 05:28:19 +0200 | mbuf | (~Shakthi@122.178.178.86) |
2021-10-12 05:30:53 +0200 | falafel | (~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) |
2021-10-12 05:35:06 +0200 | slack1256 | (~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 +0200 | lyxia_ | 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 +0200 | gaussrz | (~gaussrz@2403:d400:1001:2:d2c5:d3ff:fe69:8eb5) (Ping timeout: 250 seconds) |
2021-10-12 05:45:38 +0200 | Hecate | (~mariposa@163.172.211.189) (Changing host) |
2021-10-12 05:45:38 +0200 | Hecate | (~mariposa@user/hecate) |
2021-10-12 05:47:21 +0200 | porky | (~porky@c-67-173-229-120.hsd1.co.comcast.net) (Quit: Client closed) |
2021-10-12 05:48:30 +0200 | cads | (~asdf@ip-64-72-99-234.lasvegas.net) (Remote host closed the connection) |
2021-10-12 05:48:47 +0200 | cads | (~asdf@ip-64-72-99-234.lasvegas.net) |
2021-10-12 05:49:38 +0200 | myShoggoth | (~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 +0200 | jmcantrell | (~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 +0200 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Quit: The Lounge - https://thelounge.chat) |
2021-10-12 06:56:24 +0200 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-10-12 07:01:49 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
2021-10-12 07:02:19 +0200 | NaTaSa21F | (~KELEBEK@95.70.207.169) |
2021-10-12 07:04:19 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-10-12 07:06:28 +0200 | dwt_ | (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (Read error: Connection reset by peer) |
2021-10-12 07:09:49 +0200 | merijn | (~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 +0200 | Phantastes | (~Phantaste@c-67-173-229-120.hsd1.co.comcast.net) (Quit: Client closed) |
2021-10-12 07:10:56 +0200 | Inst | (~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 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-10-12 07:22:28 +0200 | chomwitt | (~chomwitt@2a02:587:dc18:b400:12c3:7bff:fe6d:d374) |
2021-10-12 07:22:35 +0200 | NaTaSa21F | (~KELEBEK@95.70.207.169) (K-Lined) |
2021-10-12 07:26:56 +0200 | chomwitt | (~chomwitt@2a02:587:dc18:b400:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
2021-10-12 07:33:43 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds) |
2021-10-12 07:37:04 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-10-12 07:44:22 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
2021-10-12 07:44:30 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-10-12 07:47:24 +0200 | phma | (~phma@host-67-44-209-69.hnremote.net) (Read error: Connection reset by peer) |
2021-10-12 07:48:20 +0200 | phma | (~phma@host-67-44-208-96.hnremote.net) |
2021-10-12 07:49:46 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-10-12 07:52:25 +0200 | bitmapper | (~user@142.134.87.154) (Ping timeout: 252 seconds) |
2021-10-12 07:53:44 +0200 | famubu | (~famubu@user/famubu) |
2021-10-12 07:53:55 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-12 07:53:55 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-12 07:53:55 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-12 07:54:19 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
2021-10-12 07:55:43 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds) |
2021-10-12 07:56:46 +0200 | falafel | (~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) (Ping timeout: 260 seconds) |
2021-10-12 07:58:28 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-10-12 07:59:25 +0200 | coot | (~coot@37.30.52.99.nat.umts.dynamic.t-mobile.pl) |
2021-10-12 07:59:45 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection) |
2021-10-12 08:04:35 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
2021-10-12 08:08:19 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Remote host closed the connection) |
2021-10-12 08:08:32 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
2021-10-12 08:12:01 +0200 | falafel | (~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) |
2021-10-12 08:12:23 +0200 | max22- | (~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 +0200 | wonko | (~wjc@62.115.229.50) |
2021-10-12 08:18:34 +0200 | aegon | (~mike@174.127.249.180) (Remote host closed the connection) |
2021-10-12 08:19:08 +0200 | famubu | (~famubu@user/famubu) (Quit: leaving) |
2021-10-12 08:27:06 +0200 | wonko | (~wjc@62.115.229.50) (Ping timeout: 260 seconds) |
2021-10-12 08:27:15 +0200 | fendor | (~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 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (*.net *.split) |
2021-10-12 08:34:38 +0200 | coot | (~coot@37.30.52.99.nat.umts.dynamic.t-mobile.pl) (*.net *.split) |
2021-10-12 08:34:38 +0200 | phma | (~phma@host-67-44-208-96.hnremote.net) (*.net *.split) |
2021-10-12 08:34:39 +0200 | cads | (~asdf@ip-64-72-99-234.lasvegas.net) (*.net *.split) |
2021-10-12 08:34:39 +0200 | mbuf | (~Shakthi@122.178.178.86) (*.net *.split) |
2021-10-12 08:34:39 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (*.net *.split) |
2021-10-12 08:34:39 +0200 | Hecate | (~mariposa@user/hecate) (*.net *.split) |
2021-10-12 08:34:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
2021-10-12 08:34:39 +0200 | wrengr | (~wrengr@150.12.83.34.bc.googleusercontent.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | dermato | (~dermatobr@cpe-70-114-219-76.austin.res.rr.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | ystael | (~ystael@user/ystael) (*.net *.split) |
2021-10-12 08:34:39 +0200 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
2021-10-12 08:34:39 +0200 | AlexZenon | (~alzenon@178.34.161.78) (*.net *.split) |
2021-10-12 08:34:39 +0200 | Alex_test | (~al_test@178.34.161.78) (*.net *.split) |
2021-10-12 08:34:39 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (*.net *.split) |
2021-10-12 08:34:39 +0200 | aarchi | (sid486183@uxbridge.irccloud.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | hendi | (sid489601@lymington.irccloud.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | gonz___ | (sid304396@lymington.irccloud.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | sm2n | (~sm2n@user/sm2n) (*.net *.split) |
2021-10-12 08:34:39 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (*.net *.split) |
2021-10-12 08:34:39 +0200 | ghoulguy | (x@libera/staff/glguy) (*.net *.split) |
2021-10-12 08:34:39 +0200 | cls | (~cls@chalk.lubutu.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | T_S_ | (sid501726@uxbridge.irccloud.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | rembo10 | (~rembo10@remulis.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | mniip | (~mniip@libera/staff/mniip) (*.net *.split) |
2021-10-12 08:34:39 +0200 | nvmd | (~nvmd@user/nvmd) (*.net *.split) |
2021-10-12 08:34:39 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
2021-10-12 08:34:39 +0200 | awth13 | (~awth13@user/awth13) (*.net *.split) |
2021-10-12 08:34:39 +0200 | slep | (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (*.net *.split) |
2021-10-12 08:34:39 +0200 | dpratt_ | (sid193493@helmsley.irccloud.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | awpr | (uid446117@lymington.irccloud.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | aria | (sid380617@lymington.irccloud.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | bradparker | (sid262931@uxbridge.irccloud.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | tapas | (sid467876@ilkley.irccloud.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | nisstyre | (~wes@user/nisstyre) (*.net *.split) |
2021-10-12 08:34:39 +0200 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (*.net *.split) |
2021-10-12 08:34:39 +0200 | sqrt2 | (~ben@80-108-18-7.cable.dynamic.surfer.at) (*.net *.split) |
2021-10-12 08:34:39 +0200 | dolio | (~dolio@130.44.130.54) (*.net *.split) |
2021-10-12 08:34:39 +0200 | jrm | (~jrm@156.34.187.65) (*.net *.split) |
2021-10-12 08:34:39 +0200 | poljar | (~poljar@93-139-113-226.adsl.net.t-com.hr) (*.net *.split) |
2021-10-12 08:34:39 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
2021-10-12 08:34:39 +0200 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) (*.net *.split) |
2021-10-12 08:34:39 +0200 | w1gz | (~do@159.89.11.133) (*.net *.split) |
2021-10-12 08:34:39 +0200 | gnyeki | (~gnyeki@user/gnyeki) (*.net *.split) |
2021-10-12 08:34:39 +0200 | mmarusea1ph2 | (~mihai@198.199.100.72) (*.net *.split) |
2021-10-12 08:34:39 +0200 | CannabisIndica | (~herb@user/mesaboogie) (*.net *.split) |
2021-10-12 08:34:39 +0200 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (*.net *.split) |
2021-10-12 08:34:39 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
2021-10-12 08:34:39 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
2021-10-12 08:34:39 +0200 | m5zs7k | (aquares@web10.mydevil.net) (*.net *.split) |
2021-10-12 08:34:39 +0200 | martin02 | (~silas@141.84.69.76) (*.net *.split) |
2021-10-12 08:34:39 +0200 | tureba | (~tureba@tureba.org) (*.net *.split) |
2021-10-12 08:34:39 +0200 | sshine | (~simon@hubris.eta.solutions) (*.net *.split) |
2021-10-12 08:34:39 +0200 | samebchase | (~thelounge@51.15.68.182) (*.net *.split) |
2021-10-12 08:38:31 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2021-10-12 08:42:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:422d:8662:a5f5:7f36) |
2021-10-12 08:47:15 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
2021-10-12 08:48:01 +0200 | falafel | (~falafel@2603-8000-d800-688c-c469-52c4-b20d-779e.res6.spectrum.com) (Ping timeout: 245 seconds) |
2021-10-12 08:49:56 +0200 | chele | (~chele@user/chele) |
2021-10-12 08:51:26 +0200 | jtomas | (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) |
2021-10-12 08:52:18 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-10-12 08:53:42 +0200 | img | (~img@user/img) |
2021-10-12 08:54:32 +0200 | emf | (~emf@2620:10d:c090:400::5:c24e) |
2021-10-12 08:54:34 +0200 | emf | (~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 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
2021-10-12 08:56:19 +0200 | coot | (~coot@37.30.52.99.nat.umts.dynamic.t-mobile.pl) |
2021-10-12 08:56:19 +0200 | phma | (~phma@host-67-44-208-96.hnremote.net) |
2021-10-12 08:56:19 +0200 | cads | (~asdf@ip-64-72-99-234.lasvegas.net) |
2021-10-12 08:56:19 +0200 | mbuf | (~Shakthi@122.178.178.86) |
2021-10-12 08:56:19 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
2021-10-12 08:56:19 +0200 | Hecate | (~mariposa@user/hecate) |
2021-10-12 08:56:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2021-10-12 08:56:19 +0200 | wrengr | (~wrengr@150.12.83.34.bc.googleusercontent.com) |
2021-10-12 08:56:19 +0200 | dermato | (~dermatobr@cpe-70-114-219-76.austin.res.rr.com) |
2021-10-12 08:56:19 +0200 | ystael | (~ystael@user/ystael) |
2021-10-12 08:56:19 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2021-10-12 08:56:19 +0200 | AlexZenon | (~alzenon@178.34.161.78) |
2021-10-12 08:56:19 +0200 | Alex_test | (~al_test@178.34.161.78) |
2021-10-12 08:56:19 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
2021-10-12 08:56:19 +0200 | aarchi | (sid486183@uxbridge.irccloud.com) |
2021-10-12 08:56:19 +0200 | hendi | (sid489601@lymington.irccloud.com) |
2021-10-12 08:56:19 +0200 | gonz___ | (sid304396@lymington.irccloud.com) |
2021-10-12 08:56:19 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
2021-10-12 08:56:19 +0200 | sm2n | (~sm2n@user/sm2n) |
2021-10-12 08:56:19 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-10-12 08:56:19 +0200 | ghoulguy | (x@libera/staff/glguy) |
2021-10-12 08:56:19 +0200 | cls | (~cls@chalk.lubutu.com) |
2021-10-12 08:56:19 +0200 | T_S_ | (sid501726@uxbridge.irccloud.com) |
2021-10-12 08:56:19 +0200 | rembo10 | (~rembo10@remulis.com) |
2021-10-12 08:56:19 +0200 | mniip | (~mniip@libera/staff/mniip) |
2021-10-12 08:56:19 +0200 | nvmd | (~nvmd@user/nvmd) |
2021-10-12 08:56:19 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
2021-10-12 08:56:19 +0200 | awth13 | (~awth13@user/awth13) |
2021-10-12 08:56:19 +0200 | slep | (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) |
2021-10-12 08:56:19 +0200 | dpratt_ | (sid193493@helmsley.irccloud.com) |
2021-10-12 08:56:19 +0200 | awpr | (uid446117@lymington.irccloud.com) |
2021-10-12 08:56:19 +0200 | aria | (sid380617@lymington.irccloud.com) |
2021-10-12 08:56:19 +0200 | bradparker | (sid262931@uxbridge.irccloud.com) |
2021-10-12 08:56:19 +0200 | tapas | (sid467876@ilkley.irccloud.com) |
2021-10-12 08:56:19 +0200 | nisstyre | (~wes@user/nisstyre) |
2021-10-12 08:56:19 +0200 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
2021-10-12 08:56:19 +0200 | sqrt2 | (~ben@80-108-18-7.cable.dynamic.surfer.at) |
2021-10-12 08:56:19 +0200 | dolio | (~dolio@130.44.130.54) |
2021-10-12 08:56:19 +0200 | jrm | (~jrm@156.34.187.65) |
2021-10-12 08:56:19 +0200 | poljar | (~poljar@93-139-113-226.adsl.net.t-com.hr) |
2021-10-12 08:56:19 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2021-10-12 08:56:19 +0200 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) |
2021-10-12 08:56:19 +0200 | w1gz | (~do@159.89.11.133) |
2021-10-12 08:56:19 +0200 | gnyeki | (~gnyeki@user/gnyeki) |
2021-10-12 08:56:19 +0200 | mmarusea1ph2 | (~mihai@198.199.100.72) |
2021-10-12 08:56:19 +0200 | CannabisIndica | (~herb@user/mesaboogie) |
2021-10-12 08:56:19 +0200 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) |
2021-10-12 08:56:19 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
2021-10-12 08:56:19 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
2021-10-12 08:56:19 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
2021-10-12 08:56:19 +0200 | martin02 | (~silas@141.84.69.76) |
2021-10-12 08:56:19 +0200 | tureba | (~tureba@tureba.org) |
2021-10-12 08:56:19 +0200 | sshine | (~simon@hubris.eta.solutions) |
2021-10-12 08:56:19 +0200 | samebchase | (~thelounge@51.15.68.182) |
2021-10-12 08:58:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Max SendQ exceeded) |
2021-10-12 08:59:26 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2021-10-12 09:00:09 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) |
2021-10-12 09:00:50 +0200 | Neuromancer | (~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 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Ping timeout: 245 seconds) |
2021-10-12 09:05:43 +0200 | haskl | (~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 +0200 | haskl | (~haskl@user/haskl) |
2021-10-12 09:10:03 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 265 seconds) |
2021-10-12 09:11:45 +0200 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) |
2021-10-12 09:15:18 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-12 09:19:15 +0200 | michalz | (~michalz@185.246.204.72) |
2021-10-12 09:25:42 +0200 | ubert | (~Thunderbi@91.141.52.193.wireless.dyn.drei.com) |
2021-10-12 09:27:43 +0200 | acidjnk | (~acidjnk@p200300d0c703cb2275eb5b612d153f04.dip0.t-ipconnect.de) |
2021-10-12 09:28:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2021-10-12 09:29:01 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2021-10-12 09:30:29 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
2021-10-12 09:35:49 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
2021-10-12 09:37:28 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-12 09:37:57 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-12 09:39:52 +0200 | jgeerds | (~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 +0200 | beaky_ | 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 +0200 | hnOsmium0001 | (uid453710@id-453710.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-10-12 09:59:27 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-10-12 09:59:31 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
2021-10-12 10:02:01 +0200 | cfricke | (~cfricke@user/cfricke) |
2021-10-12 10:03:26 +0200 | acidjnk | (~acidjnk@p200300d0c703cb2275eb5b612d153f04.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2021-10-12 10:04:35 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-10-12 10:04:35 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-10-12 10:04:38 +0200 | allbery_b | geekosaur |
2021-10-12 10:05:06 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
2021-10-12 10:05:32 +0200 | kuribas | (~user@ptr-25vy0i6zvgjgm7t1vz8.18120a2.ip6.access.telenet.be) |
2021-10-12 10:05:58 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2021-10-12 10:07:03 +0200 | hendursa1 | (~weechat@user/hendursaga) |
2021-10-12 10:08:15 +0200 | hendursaga | (~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 +0200 | azeem | (~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 +0200 | azeem | (~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 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-10-12 10:17:37 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-10-12 10:17:40 +0200 | allbery_b | geekosaur |
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 +0200 | notzmv | (~zmv@user/notzmv) |
2021-10-12 10:21:12 +0200 | <tomsmeding> | yeah |
2021-10-12 10:21:20 +0200 | tdaeayusr^ | (~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 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2021-10-12 10:30:13 +0200 | <kuribas> | that sounds like a more sensible default. |
2021-10-12 10:34:29 +0200 | Guest9067 | (~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 +0200 | Guest9067 | (~Guest90@2a02:c7f:221d:e300:8dbe:6527:886b:8092) (Client Quit) |
2021-10-12 10:35:25 +0200 | Farzad | (~FarzadBek@178.131.28.9) |
2021-10-12 10:36:41 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
2021-10-12 10:37:03 +0200 | jgeerds | (~jgeerds@55d4da80.access.ecotel.net) (Ping timeout: 265 seconds) |
2021-10-12 10:37:50 +0200 | o1lo01ol1o | (~o1lo01ol1@2001:8a0:6d7a:df01:5007:2c53:48ea:4b67) |
2021-10-12 10:38:07 +0200 | alzgh | (~alzgh@user/alzgh) |
2021-10-12 10:39:03 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2021-10-12 10:39:27 +0200 | jpds | (~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 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2021-10-12 10:40:43 +0200 | econo | (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 +0200 | hyiltiz | (~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 +0200 | ubert1 | (~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 +0200 | fendor_ | (~fendor@178.165.172.248.wireless.dyn.drei.com) |
2021-10-12 11:00:07 +0200 | commuswift[m] | (~commuswif@2001:470:69fc:105::e862) (Quit: You have been kicked for being idle) |
2021-10-12 11:01:13 +0200 | fendor | (~fendor@178.115.71.1.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
2021-10-12 11:03:53 +0200 | hyiltiz | (~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 +0200 | hendursa1 | (~weechat@user/hendursaga) (Remote host closed the connection) |
2021-10-12 11:18:43 +0200 | hendursaga | (~weechat@user/hendursaga) |
2021-10-12 11:19:59 +0200 | Cajun | (~Cajun@user/cajun) (Ping timeout: 256 seconds) |
2021-10-12 11:20:19 +0200 | coot | (~coot@37.30.52.99.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 252 seconds) |
2021-10-12 11:21:57 +0200 | ocramz | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 11:22:11 +0200 | <ocramz> | o/ |
2021-10-12 11:23:39 +0200 | azimut_ | (~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 +0200 | o1lo01ol1o | (~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 +0200 | ocramz | (~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 +0200 | ocramz | (~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 +0200 | ocramz | (~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 +0200 | mestre | (~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 +0200 | ocramz | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 11:59:18 +0200 | Farzad | (~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 +0200 | Farzad | (~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 +0200 | maerwald | goes 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 +0200 | AlexZenon | (~alzenon@178.34.161.78) (Ping timeout: 252 seconds) |
2021-10-12 12:02:07 +0200 | hgolden | (~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 +0200 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
2021-10-12 12:02:28 +0200 | AlexZenon | (~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 +0200 | Gurkenglas_ | (~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 +0200 | Franciman | can'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 +0200 | azeem | (~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 +0200 | nschoe | (~quassel@178.251.84.79) |
2021-10-12 12:05:58 +0200 | ByronJohnson | (~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 +0200 | glguy_ | (x@libera/staff/glguy) |
2021-10-12 12:06:31 +0200 | Gurkenglas | (~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 +0200 | mestre | (~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 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) |
2021-10-12 12:07:56 +0200 | ghoulguy | (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 +0200 | azeem | (~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 +0200 | enoq | (~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 +0200 | azeem | (~azeem@emp-85-170.eduroam.uu.se) (Ping timeout: 245 seconds) |
2021-10-12 12:16:39 +0200 | kmein_ | 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 +0200 | azeem | (~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 +0200 | feliix42 | (~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 +0200 | acidjnk | (~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 +0200 | feliix42 | (~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 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-10-12 12:43:12 +0200 | shapr | (~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 +0200 | ocramz | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds) |
2021-10-12 12:52:35 +0200 | Destov | (~Destov@114-36-112-91.dynamic-ip.hinet.net) |
2021-10-12 12:53:48 +0200 | Destov | (~Destov@114-36-112-91.dynamic-ip.hinet.net) (Quit: Client closed) |
2021-10-12 12:54:07 +0200 | Destov | (~Destov@114-36-112-91.dynamic-ip.hinet.net) |
2021-10-12 12:54:16 +0200 | Destov | (~Destov@114-36-112-91.dynamic-ip.hinet.net) (Client Quit) |
2021-10-12 12:59:23 +0200 | Cajun | (~Cajun@user/cajun) |
2021-10-12 13:00:45 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-10-12 13:00:52 +0200 | alx741 | (~alx741@186.178.108.69) |
2021-10-12 13:01:04 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
2021-10-12 13:02:36 +0200 | hiruji | (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
2021-10-12 13:02:48 +0200 | hiruji` | (~hiruji@2606:6080:1002:8:3285:30e:de43:8809) |
2021-10-12 13:07:04 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2021-10-12 13:09:13 +0200 | azeem | (~azeem@emp-85-170.eduroam.uu.se) (Ping timeout: 252 seconds) |
2021-10-12 13:09:21 +0200 | Brumaire | (~quassel@37.171.89.175) |
2021-10-12 13:10:27 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-10-12 13:11:06 +0200 | coot | (~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl) |
2021-10-12 13:11:16 +0200 | azeem | (~azeem@2a00:801:3cd:bbb7:677a:8c8e:713b:20be) |
2021-10-12 13:11:37 +0200 | slowtyper | (~slowtyper@user/slowtyper) |
2021-10-12 13:13:53 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2021-10-12 13:14:12 +0200 | azeem | (~azeem@2a00:801:3cd:bbb7:677a:8c8e:713b:20be) (Read error: Connection reset by peer) |
2021-10-12 13:14:51 +0200 | azeem | (~azeem@emp-85-170.eduroam.uu.se) |
2021-10-12 13:20:56 +0200 | fwiw | (~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 +0200 | fwiw | (~fwiw@2001:448a:5102:c2c1:8976:a626:188e:3592) () |
2021-10-12 13:25:54 +0200 | slowtyper | (~slowtyper@user/slowtyper) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-10-12 13:26:11 +0200 | slowtyper | (~slowtyper@user/slowtyper) |
2021-10-12 13:27:38 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 260 seconds) |
2021-10-12 13:28:14 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-12 13:32:21 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb221804bb786372c7a7.dip0.t-ipconnect.de) |
2021-10-12 13:32:24 +0200 | rond_ | (~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) |
2021-10-12 13:33:24 +0200 | slowtyper | (~slowtyper@user/slowtyper) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-10-12 13:33:41 +0200 | slowtyper | (~slowtyper@user/slowtyper) |
2021-10-12 13:35:37 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
2021-10-12 13:35:42 +0200 | Guest47 | (~Guest47@bzq-179-21-194.cust.bezeqint.net) |
2021-10-12 13:36:13 +0200 | acidjnk | (~acidjnk@p200300d0c703cb2275eb5b612d153f04.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2021-10-12 13:39:09 +0200 | mestre | (~mestre@191.177.175.57) (Quit: Lost terminal) |
2021-10-12 13:40:34 +0200 | Brumaire | (~quassel@37.171.89.175) (Ping timeout: 252 seconds) |
2021-10-12 13:42:52 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
2021-10-12 13:49:56 +0200 | tdaeayusr^ | (~tdaeayusr@wsip-70-165-23-55.mc.at.cox.net) (Remote host closed the connection) |
2021-10-12 13:54:17 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-12 13:54:57 +0200 | azimut | (~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 +0200 | fendor_ | fendor |
2021-10-12 13:57:48 +0200 | max22- | (~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 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) |
2021-10-12 14:04:51 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds) |
2021-10-12 14:05:17 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-10-12 14:05:36 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-10-12 14:09:16 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Ping timeout: 245 seconds) |
2021-10-12 14:09:29 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 246 seconds) |
2021-10-12 14:10:15 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-10-12 14:11:06 +0200 | swistak | (~swistak@185.21.216.141) |
2021-10-12 14:11:10 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds) |
2021-10-12 14:13:57 +0200 | neurocyte0132889 | (~neurocyte@IP-185189142238.dynamic.medianet-world.de) |
2021-10-12 14:13:57 +0200 | neurocyte0132889 | (~neurocyte@IP-185189142238.dynamic.medianet-world.de) (Changing host) |
2021-10-12 14:13:57 +0200 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
2021-10-12 14:17:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2021-10-12 14:18:26 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb221804bb786372c7a7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2021-10-12 14:19:23 +0200 | sprout | (~quassel@2a02:a467:ccd6:1:c9db:6eeb:465b:b3e9) |
2021-10-12 14:20:06 +0200 | sprout_ | (~quassel@2a02:a467:ccd6:1:80b9:65ea:c7e9:72cd) (Ping timeout: 245 seconds) |
2021-10-12 14:20:57 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2021-10-12 14:21:19 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2021-10-12 14:22:19 +0200 | Guest47 | (~Guest47@bzq-179-21-194.cust.bezeqint.net) (Quit: Client closed) |
2021-10-12 14:24:10 +0200 | xiongxin | (~quassel@113.116.34.92) |
2021-10-12 14:27:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2021-10-12 14:30:04 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
2021-10-12 14:30:27 +0200 | maerwald | (~maerwald@user/maerwald) (Ping timeout: 240 seconds) |
2021-10-12 14:30:45 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
2021-10-12 14:31:18 +0200 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
2021-10-12 14:32:16 +0200 | CiaoSen | (~Jura@p200300c9571101002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2021-10-12 14:33:51 +0200 | nschoe | (~quassel@178.251.84.79) (Ping timeout: 245 seconds) |
2021-10-12 14:34:43 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
2021-10-12 14:37:41 +0200 | slowtyper | (~slowtyper@user/slowtyper) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-10-12 14:37:54 +0200 | euandreh | (~euandreh@191.181.59.160) (Ping timeout: 265 seconds) |
2021-10-12 14:37:58 +0200 | slowtyper | (~slowtyper@user/slowtyper) |
2021-10-12 14:39:25 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
2021-10-12 14:40:22 +0200 | MQ-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 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
2021-10-12 14:44:58 +0200 | ubert1 | (~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 +0200 | ubert | (~Thunderbi@91.141.52.193.wireless.dyn.drei.com) (Quit: ubert) |
2021-10-12 14:48:42 +0200 | ubert | (~Thunderbi@91.141.52.193.wireless.dyn.drei.com) |
2021-10-12 14:50:14 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Ping timeout: 260 seconds) |
2021-10-12 14:50:33 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) |
2021-10-12 14:51:11 +0200 | arjun | (~Srain@user/arjun) |
2021-10-12 14:53:10 +0200 | ubert | (~Thunderbi@91.141.52.193.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2021-10-12 14:56:58 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
2021-10-12 15:06:05 +0200 | Cajun | (~Cajun@user/cajun) (Ping timeout: 256 seconds) |
2021-10-12 15:06:39 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:ce7f:4e93:4cc4:1ccd) |
2021-10-12 15:06:39 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
2021-10-12 15:07:43 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
2021-10-12 15:08:18 +0200 | slack1256 | (~slack1256@45.4.2.52) |
2021-10-12 15:11:09 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
2021-10-12 15:11:28 +0200 | fef | (~thedawn@user/thedawn) |
2021-10-12 15:11:49 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 250 seconds) |
2021-10-12 15:12:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-10-12 15:15:16 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:2011:9ad:7cba:6f6) |
2021-10-12 15:15:42 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
2021-10-12 15:15:45 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
2021-10-12 15:18:33 +0200 | machinedgod | (~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 +0200 | jgeerds | (~jgeerds@55d4da80.access.ecotel.net) |
2021-10-12 15:26:57 +0200 | MQ-17J | (~MQ-17J@2607:fb90:4a:2dd2:6c71:32de:328:d1e6) |
2021-10-12 15:27:25 +0200 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) |
2021-10-12 15:28:25 +0200 | xaotuk | (~sasha@net224-33-245-109.mbb.telenor.rs) |
2021-10-12 15:29:09 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
2021-10-12 15:32:49 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-10-12 15:33:17 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-10-12 15:35:13 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
2021-10-12 15:35:29 +0200 | jgeerds | (~jgeerds@55d4da80.access.ecotel.net) (Ping timeout: 264 seconds) |
2021-10-12 15:36:07 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2021-10-12 15:36:54 +0200 | nschoe | (~quassel@178.251.84.79) |
2021-10-12 15:42:42 +0200 | MQ-17J | (~MQ-17J@2607:fb90:4a:2dd2:6c71:32de:328:d1e6) (Read error: Connection reset by peer) |
2021-10-12 15:43:00 +0200 | MQ-17J | (~MQ-17J@35.50.77.148) |
2021-10-12 15:45:16 +0200 | kuribas | (~user@ptr-25vy0i6zvgjgm7t1vz8.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2021-10-12 15:47:03 +0200 | kuribas | (~user@ptr-25vy0i6zvgjgm7t1vz8.18120a2.ip6.access.telenet.be) |
2021-10-12 15:47:43 +0200 | rond_ | (~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 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds) |
2021-10-12 15:52:50 +0200 | lavaman | (~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 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-12 15:55:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-12 15:55:13 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-12 15:55:13 +0200 | MQ-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 +0200 | MQ-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 +0200 | chisui | (~chisui@200116b8648f8d00a55308fa18a6b512.dip.versatel-1u1.de) |
2021-10-12 15:57:17 +0200 | lavaman | (~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 +0200 | justsomeguy | (~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 +0200 | bontaq` | (~user@ool-45779fe5.dyn.optonline.net) |
2021-10-12 16:04:41 +0200 | bontaq` | bontaq |
2021-10-12 16:05:14 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
2021-10-12 16:05:44 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
2021-10-12 16:07:09 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
2021-10-12 16:07:09 +0200 | maerwald | (~maerwald@user/maerwald) |
2021-10-12 16:08:58 +0200 | max22- | (~maxime@2a01cb08833598009bd4683403ef2304.ipv6.abo.wanadoo.fr) |
2021-10-12 16:10:10 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 16:11:43 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2021-10-12 16:14:16 +0200 | xaotuk | (~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 +0200 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Ping timeout: 265 seconds) |
2021-10-12 16:18:44 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
2021-10-12 16:19:44 +0200 | slowButPresent | (~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 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-10-12 16:23:32 +0200 | xiongxin_ | (~quassel@113.116.34.92) |
2021-10-12 16:23:57 +0200 | xiongxin | (~quassel@113.116.34.92) (Ping timeout: 268 seconds) |
2021-10-12 16:24:31 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds) |
2021-10-12 16:24:34 +0200 | jiribenes | (~jiribenes@rosa.jiribenes.com) (Ping timeout: 268 seconds) |
2021-10-12 16:25:17 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
2021-10-12 16:25:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-10-12 16:27:12 +0200 | arjun | (~Srain@user/arjun) (Remote host closed the connection) |
2021-10-12 16:27:58 +0200 | geekosaur | (~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 +0200 | hnOsmium0001 | (uid453710@id-453710.hampstead.irccloud.com) |
2021-10-12 16:30:19 +0200 | shriekingnoise | (~shrieking@186.137.144.80) |
2021-10-12 16:30:20 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
2021-10-12 16:37:38 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-10-12 16:38:09 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 16:38:48 +0200 | justsomeguy | (~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 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
2021-10-12 16:42:41 +0200 | son0p | (~ff@181.136.122.143) |
2021-10-12 16:42:46 +0200 | Lysanleo | (~Lysanleo@124.161.121.202) |
2021-10-12 16:43:10 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds) |
2021-10-12 16:44:33 +0200 | drewolson9 | (~drewolson@user/drewolson) (Quit: The Lounge - https://thelounge.chat) |
2021-10-12 16:44:52 +0200 | drewolson | (~drewolson@user/drewolson) |
2021-10-12 16:46:22 +0200 | coot | (~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-10-12 16:46:48 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 265 seconds) |
2021-10-12 16:48:21 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
2021-10-12 16:50:44 +0200 | Eoco | (~ian@x-160-94-179-157.acm.umn.edu) (Ping timeout: 245 seconds) |
2021-10-12 16:52:30 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
2021-10-12 16:53:20 +0200 | Eoco | (~ian@x-160-94-179-157.acm.umn.edu) |
2021-10-12 16:53:55 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) |
2021-10-12 16:54:32 +0200 | xsperry | (~xs@user/xsperry) () |
2021-10-12 16:54:32 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 16:55:09 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 276 seconds) |
2021-10-12 16:56:35 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
2021-10-12 16:57:07 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2021-10-12 16:58:28 +0200 | coot | (~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl) |
2021-10-12 16:58:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
2021-10-12 16:59:02 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds) |
2021-10-12 17:01:53 +0200 | gaussrz | (~gaussrz@59.78.13.186) |
2021-10-12 17:05:10 +0200 | Farzad | (~FarzadBek@178.131.28.9) (Ping timeout: 252 seconds) |
2021-10-12 17:05:26 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) |
2021-10-12 17:08:02 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
2021-10-12 17:08:18 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 17:09:14 +0200 | jiribenes | (~jiribenes@rosa.jiribenes.com) |
2021-10-12 17:14:27 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 250 seconds) |
2021-10-12 17:22:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:422d:8662:a5f5:7f36) (Quit: WeeChat 2.8) |
2021-10-12 17:22:54 +0200 | glguy_ | ghoulguy |
2021-10-12 17:29:01 +0200 | m4lvin | (~m4lvin@w4eg.de) (Quit: m4lvin) |
2021-10-12 17:29:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-10-12 17:29:24 +0200 | m4lvin | (~m4lvin@w4eg.de) |
2021-10-12 17:30:52 +0200 | dwt_ | (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) |
2021-10-12 17:35:54 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Read error: No route to host) |
2021-10-12 17:36:16 +0200 | xiongxin_ | (~quassel@113.116.34.92) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2021-10-12 17:36:42 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2021-10-12 17:37:40 +0200 | favonia | (~favonia@user/favonia) |
2021-10-12 17:38:14 +0200 | xiongxin | (~quassel@119.123.101.136) |
2021-10-12 17:39:05 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 17:39:53 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
2021-10-12 17:42:11 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-10-12 17:44:12 +0200 | Null_A | (~null_a@2601:645:8700:2290:cca9:9e4e:f1d8:3489) |
2021-10-12 17:44:18 +0200 | ocramz_ | (~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 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-10-12 17:49:17 +0200 | xiongxin | (~quassel@119.123.101.136) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2021-10-12 17:49:20 +0200 | MQ-17J | (~MQ-17J@35.50.77.148) (Read error: Connection reset by peer) |
2021-10-12 17:49:31 +0200 | Farzad | (~FarzadBek@46.100.81.212) |
2021-10-12 17:50:01 +0200 | MQ-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 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2021-10-12 17:54:34 +0200 | MQ-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 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
2021-10-12 17:57:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-12 18:00:06 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) (Quit: You have been kicked for being idle) |
2021-10-12 18:02:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
2021-10-12 18:05:06 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 265 seconds) |
2021-10-12 18:05:46 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2021-10-12 18:06:14 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
2021-10-12 18:06:41 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 18:08:52 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection) |
2021-10-12 18:10:17 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) |
2021-10-12 18:10:58 +0200 | coot | (~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-10-12 18:11:46 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds) |
2021-10-12 18:12:49 +0200 | coot | (~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl) |
2021-10-12 18:14:52 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-12 18:14:52 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-12 18:14:52 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-12 18:19:21 +0200 | <sm> | it does, I think monochrom ? |
2021-10-12 18:19:25 +0200 | wroathe | (~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 +0200 | lbseale | (~lbseale@user/ep1ctetus) |
2021-10-12 18:22:10 +0200 | barzo | (~barzo@31.177.222.75) |
2021-10-12 18:24:14 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Client Quit) |
2021-10-12 18:24:28 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 18:24:43 +0200 | lbseale | (~lbseale@user/ep1ctetus) |
2021-10-12 18:25:12 +0200 | <hololeap> | kuribas: thanks |
2021-10-12 18:27:10 +0200 | favonia | (~favonia@user/favonia) |
2021-10-12 18:29:36 +0200 | hololeap | (~hololeap@user/hololeap) (Excess Flood) |
2021-10-12 18:29:45 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds) |
2021-10-12 18:31:02 +0200 | hololeap | (~hololeap@user/hololeap) |
2021-10-12 18:34:41 +0200 | cnr | (~cnr@user/cnr) |
2021-10-12 18:34:58 +0200 | dsrt^ | (~dsrt@wsip-70-165-23-55.mc.at.cox.net) |
2021-10-12 18:36:28 +0200 | azeem | (~azeem@emp-85-170.eduroam.uu.se) (Ping timeout: 252 seconds) |
2021-10-12 18:37:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-12 18:37:30 +0200 | azeem | (~azeem@2a00:801:447:9f40:238c:6510:b7a3:82be) |
2021-10-12 18:37:31 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
2021-10-12 18:42:23 +0200 | cnr | (~cnr@user/cnr) (Remote host closed the connection) |
2021-10-12 18:44:28 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-10-12 18:46:10 +0200 | econo | (uid147250@user/econo) |
2021-10-12 18:46:37 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
2021-10-12 18:47:41 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 18:49:38 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
2021-10-12 18:49:50 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2021-10-12 18:50:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2021-10-12 18:52:25 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds) |
2021-10-12 18:53:59 +0200 | skewerr | spoonm |
2021-10-12 18:54:19 +0200 | barzo | (~barzo@31.177.222.75) (Quit: Quit) |
2021-10-12 19:02:27 +0200 | emf | (~emf@2620:10d:c090:400::5:a45e) |
2021-10-12 19:03:16 +0200 | jonathanx_ | (~jonathan@dyn-8-sc.cdg.chalmers.se) |
2021-10-12 19:04:23 +0200 | Flonk4 | (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) |
2021-10-12 19:04:59 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 19:06:08 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) (Ping timeout: 268 seconds) |
2021-10-12 19:06:29 +0200 | Flonk | (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
2021-10-12 19:06:30 +0200 | Flonk4 | Flonk |
2021-10-12 19:07:19 +0200 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) (Ping timeout: 252 seconds) |
2021-10-12 19:07:24 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) |
2021-10-12 19:09:47 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-10-12 19:10:10 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 260 seconds) |
2021-10-12 19:14:42 +0200 | nschoe | (~quassel@178.251.84.79) (Ping timeout: 265 seconds) |
2021-10-12 19:15:34 +0200 | CiaoSen | (~Jura@p200300c9571101002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2021-10-12 19:21:52 +0200 | ocramz_ | (~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 +0200 | Farzad | (~FarzadBek@46.100.81.212) (Ping timeout: 252 seconds) |
2021-10-12 19:26:35 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 246 seconds) |
2021-10-12 19:34:01 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2021-10-12 19:34:08 +0200 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
2021-10-12 19:38:03 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection) |
2021-10-12 19:38:31 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 19:41:27 +0200 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Quit: Leaving) |
2021-10-12 19:43:01 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 245 seconds) |
2021-10-12 19:43:17 +0200 | hendursaga | (~weechat@user/hendursaga) (Remote host closed the connection) |
2021-10-12 19:43:52 +0200 | hendursaga | (~weechat@user/hendursaga) |
2021-10-12 19:45:50 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 246 seconds) |
2021-10-12 19:54:05 +0200 | favonia | (~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 +0200 | eggplantade | (~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 +0200 | hrdl | (~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 +0200 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fafc-123.dhcp.inet.fi) |
2021-10-12 20:01:15 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 20:02:26 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:2011:9ad:7cba:6f6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-10-12 20:03:53 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-12 20:03:53 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-12 20:03:53 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-12 20:04:28 +0200 | gaussrz | (~gaussrz@59.78.13.186) (Ping timeout: 252 seconds) |
2021-10-12 20:05:25 +0200 | dhouthoo | (~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 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-10-12 20:06:25 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds) |
2021-10-12 20:06:42 +0200 | mbuf | (~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 +0200 | coot | (~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 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-10-12 20:10:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-10-12 20:10:48 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
2021-10-12 20:11:29 +0200 | kuribas | (~user@ptr-25vy0i6zvgjgm7t1vz8.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2021-10-12 20:14:16 +0200 | wonko | (~wjc@62.115.229.50) |
2021-10-12 20:17:17 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 20:18:14 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-10-12 20:18:36 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-10-12 20:20:29 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-10-12 20:20:42 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-10-12 20:21:00 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:2011:9ad:7cba:6f6) |
2021-10-12 20:21:39 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 250 seconds) |
2021-10-12 20:21:48 +0200 | notzmv | (~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 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-10-12 20:23:34 +0200 | fendor | (~fendor@178.165.172.248.wireless.dyn.drei.com) (Remote host closed the connection) |
2021-10-12 20:23:56 +0200 | geekosaur | (~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 +0200 | waleee | (~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 +0200 | Pickchea | (~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 +0200 | dyeplexer | (~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 +0200 | ocramz_ | (~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 +0200 | hololeap | (~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 +0200 | favonia | (~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 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-10-12 20:38:39 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-10-12 20:38:39 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
2021-10-12 20:38:42 +0200 | allbery_b | geekosaur |
2021-10-12 20:38:55 +0200 | MQ-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 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 260 seconds) |
2021-10-12 20:40:05 +0200 | hololeap | (~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 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection) |
2021-10-12 20:44:29 +0200 | hololeap | (~hololeap@user/hololeap) (Client Quit) |
2021-10-12 20:46:18 +0200 | sedeki | (~textual@user/sedeki) |
2021-10-12 20:46:31 +0200 | hrdl | (~hrdl@mail.hrdl.eu) |
2021-10-12 20:47:55 +0200 | wroathe | (~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 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 252 seconds) |
2021-10-12 20:49:45 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-10-12 20:51:21 +0200 | ocramz_ | (~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 +0200 | sedeki | (~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 +0200 | fef | (~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 +0200 | coot | (~coot@37.30.48.28.nat.umts.dynamic.t-mobile.pl) |
2021-10-12 20:54:17 +0200 | ubert | (~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 +0200 | max22- | (~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 +0200 | ocramz_ | (~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 +0200 | pfurla | (~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 +0200 | Pickchea | (~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 +0200 | max22- | (~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 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-10-12 21:04:53 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-12 21:04:53 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-12 21:04:53 +0200 | wroathe | (~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 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-12 21:07:23 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 21:08:03 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
2021-10-12 21:08:24 +0200 | a6a45081-2b83 | (~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) |
2021-10-12 21:09:25 +0200 | wroathe | (~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 +0200 | ub | (~Thunderbi@77.119.211.49.wireless.dyn.drei.com) |
2021-10-12 21:12:10 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds) |
2021-10-12 21:14:07 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-10-12 21:14:07 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-10-12 21:14:10 +0200 | allbery_b | geekosaur |
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 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-10-12 21:18:12 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-10-12 21:18:16 +0200 | allbery_b | geekosaur |
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 +0200 | abhixec | (~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 +0200 | isovector1 | (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
2021-10-12 21:25:44 +0200 | ocramz_ | (~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 +0200 | Pickchea | (~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 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds) |
2021-10-12 21:30:54 +0200 | fef | (~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 +0200 | eggplantade | (~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 +0200 | Tuplanolla | (~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 +0200 | dsrt^ | (~dsrt@wsip-70-165-23-55.mc.at.cox.net) (Ping timeout: 250 seconds) |
2021-10-12 21:41:30 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-10-12 21:41:46 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 21:46:58 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 260 seconds) |
2021-10-12 21:47:57 +0200 | xsperry | (~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 +0200 | isovector1 | (~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 +0200 | wrengr | (~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 +0200 | maerwald | sees himself out |
2021-10-12 21:56:36 +0200 | wrengr | (~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 +0200 | wrengr | (~wrengr@150.12.83.34.bc.googleusercontent.com) (Client Quit) |
2021-10-12 21:58:52 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 252 seconds) |
2021-10-12 21:59:01 +0200 | ocramz_ | (~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 +0200 | wrengr | (~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 +0200 | chisui | (~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 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection) |
2021-10-12 22:02:48 +0200 | betelgeuse | (~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 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
2021-10-12 22:04:01 +0200 | ocramz_ | (~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 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-10-12 22:05:11 +0200 | juhp | (~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 +0200 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
2021-10-12 22:06:47 +0200 | juhp | (~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 +0200 | hexfive | (~eric@50.35.83.177) |
2021-10-12 22:10:11 +0200 | jgeerds | (~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 +0200 | LiaoTao | (~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 +0200 | LiaoTao | (~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 +0200 | ocramz_ | (~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 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 268 seconds) |
2021-10-12 22:19:59 +0200 | dsrt^ | (~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 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
2021-10-12 22:25:58 +0200 | hexfive | (~eric@50.35.83.177) (Quit: WeeChat 3.0.1) |
2021-10-12 22:30:49 +0200 | zebrag | (~chris@user/zebrag) |
2021-10-12 22:30:53 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
2021-10-12 22:32:09 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 22:33:21 +0200 | jtomas_ | (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) |
2021-10-12 22:33:23 +0200 | wonko | (~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 +0200 | jtomas | (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
2021-10-12 22:36:36 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
2021-10-12 22:36:44 +0200 | kmein | (~weechat@user/kmein) (Ping timeout: 265 seconds) |
2021-10-12 22:37:22 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 260 seconds) |
2021-10-12 22:37:41 +0200 | pavonia | (~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 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
2021-10-12 22:46:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-12 22:46:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-12 22:46:13 +0200 | wroathe | (~wroathe@user/wroathe) |
2021-10-12 22:46:38 +0200 | kmein | (~weechat@user/kmein) |
2021-10-12 22:50:38 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) |
2021-10-12 22:50:54 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
2021-10-12 22:55:32 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 268 seconds) |
2021-10-12 23:00:32 +0200 | Arsen | (~arsen@managarm/dev/Arsen) (Quit: Quit.) |
2021-10-12 23:00:33 +0200 | favonia | (~favonia@user/favonia) |
2021-10-12 23:00:53 +0200 | Arsen | (~arsen@managarm/dev/Arsen) |
2021-10-12 23:03:00 +0200 | Guest|8 | (~Guest|8@77.138.210.76) |
2021-10-12 23:03:10 +0200 | eggplantade | (~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 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Ping timeout: 245 seconds) |
2021-10-12 23:07:50 +0200 | ubert | (~Thunderbi@77.119.211.49.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
2021-10-12 23:07:50 +0200 | ub | ubert |
2021-10-12 23:08:18 +0200 | ocramz_ | (~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 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-10-12 23:13:07 +0200 | ocramz_ | (~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 +0200 | a6a45081-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 +0200 | zer0bitz | (~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 +0200 | kmein_ | (~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 +0200 | Gurkenglas_ | (~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 +0200 | Lord_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 +0200 | kmein | (~weechat@user/kmein) (Ping timeout: 265 seconds) |
2021-10-12 23:24:15 +0200 | <Guest|8> | no *O* |
2021-10-12 23:24:16 +0200 | Lord_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 +0200 | ocramz_ | (~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 +0200 | coot | (~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 +0200 | Lord_of_Life_ | Lord_of_Life |
2021-10-12 23:31:40 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) |
2021-10-12 23:36:58 +0200 | Cajun | (~Cajun@user/cajun) |
2021-10-12 23:37:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-10-12 23:37:39 +0200 | xaotuk | (~sasha@89.110.231.41) |
2021-10-12 23:39:43 +0200 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 265 seconds) |
2021-10-12 23:40:03 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) |
2021-10-12 23:43:44 +0200 | pretty_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 +0200 | ocramz_ | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 265 seconds) |
2021-10-12 23:45:50 +0200 | justsomeguy | (~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 +0200 | michalz | (~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 +0200 | gehmehgeh | (~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 +0200 | Null_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 +0200 | Null_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 +0200 | Guest|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 +0200 | Null_A | (~null_a@2601:645:8700:2290:cca9:9e4e:f1d8:3489) (Ping timeout: 245 seconds) |
2021-10-12 23:56:10 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-10-12 23:56:10 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-10-12 23:56:10 +0200 | wroathe | (~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 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d130:ee1a:7e8:282d) (Remote host closed the connection) |