Logs on 2022-02-18 (liberachat/#haskell)
| 00:00:32 | <ski> | (seeing as `a' is equivalent to `forall o. (a -> o) -> o' (the `forall o.' was implicit in the type signature above), and so `exists x. ..x..' is equivalent to `forall o. ((exists x. ..x..) -> o) -> o', which is equivalent to `forall o. (forall x. ..x.. -> o) -> o', because `(exists x. ..x..) -> ...' is equivalent to `forall x. ..x.. -> ...' (which i used with `MkSomeThing' above)) |
| 00:00:49 | × | waleee quits (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 00:01:22 | <romesrf> | wow :-) |
| 00:02:28 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 00:02:49 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 00:02:55 | <ski> | the CPS way of encoding existentials tends to be more useful, when the caller wants to unpack the existential right away, while the "existential data constructor" way (using `ExistentialQuantification' (a misnomer) or `GADTs') tends to be more useful when you want to put the abstracted value(s) away in a data structure |
| 00:03:04 | <ski> | (in your case, you're putting them inside a list) |
| 00:03:25 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 00:03:35 | <ski> | @help yow |
| 00:03:35 | <lambdabot> | yow. The zippy man. |
| 00:03:37 | <ski> | Inst[m] ^ |
| 00:04:32 | <geekosaur> | look up "zippy the pinhead" |
| 00:05:08 | × | max22- quits (~maxime@2a01cb08833598003c62700c4284530c.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:05:24 | → | jgeerds joins (~jgeerds@55d4b9df.access.ecotel.net) |
| 00:06:29 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 00:07:46 | → | waleee joins (~waleee@h-98-128-229-110.na.cust.bahnhof.se) |
| 00:09:21 | × | acidjnk quits (~acidjnk@p200300d0c71a5a433051350517ca1eef.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 00:09:42 | <romesrf> | I've got an extension of my original problem: https://paste.tomsmeding.com/o1cdybzw |
| 00:10:27 | → | doyougnu joins (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 00:10:54 | <romesrf> | now my higher order function is restricted by a runThings'' :: (forall a. Constr a => Thing a CommonThing) -> (Thing (Thing i CommonThing) b, Thing (Thing i' CommonThing) b') -> IO () |
| 00:11:16 | <romesrf> | in the body I instantiate that `a` to both `i` and `i'` |
| 00:11:32 | <ski> | you forgot to mention (Constr i,Constr i') => |
| 00:11:37 | <romesrf> | so I added the constraints `(Constr i, Constr i') => ` |
| 00:12:07 | <romesrf> | what's interesting is that it seems to solve the problem for `i'`, but it remains for `i` |
| 00:12:39 | <ski> | how do you mean ? |
| 00:12:44 | <romesrf> | try to compile the program |
| 00:12:57 | <ski> | you're only using the second component of the pair |
| 00:13:03 | <romesrf> | AH |
| 00:13:10 | <romesrf> | I'm sorry |
| 00:13:29 | <ski> | forM_ ((thing1, x), (thing2, x)) (uncurry unThing) = unThing thing2 x |
| 00:13:31 | <romesrf> | Thank you one more time, I was still trying to fix the function type so I forgot about that |
| 00:15:33 | × | waleee quits (~waleee@h-98-128-229-110.na.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 00:15:39 | <ski> | forM_ things (\(MkSomeThing thing) -> unThing thing x) -- you want something along these lines ? |
| 00:15:57 | <romesrf> | yes, I'm typing it out :-) |
| 00:16:22 | <ski> | (no need to muck about with pairing each of them with `x', prior to the `forM_') |
| 00:16:39 | <romesrf> | I'll even write it point-free ;) |
| 00:16:50 | ski | glances around nervously |
| 00:17:41 | → | yauhsien joins (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) |
| 00:20:03 | → | alx741 joins (~alx741@181.199.42.143) |
| 00:20:39 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 00:22:21 | × | yauhsien quits (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 00:22:56 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 00:23:50 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 00:24:31 | → | alx741 joins (~alx741@157.100.197.240) |
| 00:24:54 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 00:27:24 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 00:27:40 | → | cynomys joins (~cynomys@user/cynomys) |
| 00:28:14 | × | Flonk quits (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds)) |
| 00:28:37 | → | Flonk joins (~Flonk@vps-zap441517-1.zap-srv.com) |
| 00:28:54 | × | tcard quits (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 00:29:17 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Ping timeout: 240 seconds) |
| 00:33:38 | → | tcard joins (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 00:34:28 | × | zeenk quits (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 00:35:10 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 00:35:57 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 00:37:17 | → | alt-romes joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 00:39:37 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 00:40:52 | → | alp_ joins (~alp@user/alp) |
| 00:41:38 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 00:45:04 | → | alx741 joins (~alx741@157.100.197.240) |
| 00:46:11 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:46:11 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:46:11 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:46:42 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 00:49:47 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 00:49:47 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 00:57:46 | × | alt-romes quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 00:58:36 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 01:03:00 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Ping timeout: 240 seconds) |
| 01:04:36 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 240 seconds) |
| 01:05:45 | × | jgeerds quits (~jgeerds@55d4b9df.access.ecotel.net) (Ping timeout: 252 seconds) |
| 01:06:00 | → | alx741 joins (~alx741@157.100.197.240) |
| 01:07:23 | × | slowtype- quits (~slowtyper@79.103.224.184.dsl.dyn.forthnet.gr) (Ping timeout: 256 seconds) |
| 01:09:38 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:fd00:8e82:1c4b:4222) (Remote host closed the connection) |
| 01:09:55 | → | ubert1 joins (~Thunderbi@p200300ecdf0994ec492efbaecdb145b6.dip0.t-ipconnect.de) |
| 01:09:56 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:10:19 | → | mvk joins (~mvk@2607:fea8:5cdc:bf00::99e7) |
| 01:10:28 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 01:10:35 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:10:53 | × | ubert quits (~Thunderbi@p200300ecdf09942db6b20453daa25e1f.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 01:10:53 | ubert1 | is now known as ubert |
| 01:12:50 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 01:14:00 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 01:15:22 | → | chenqisu1 joins (~chenqisu1@183.217.200.249) |
| 01:15:47 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:16:42 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:18:58 | → | lechner joins (~lechner@debian/lechner) |
| 01:20:03 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 01:20:09 | × | fryguybob quits (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Quit: leaving) |
| 01:24:33 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 01:24:52 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 01:26:12 | × | dhil quits (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 01:28:32 | → | alx741 joins (~alx741@157.100.197.240) |
| 01:32:48 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 01:40:30 | × | burnsidesLlama quits (~burnsides@dhcp168-021.wadham.ox.ac.uk) (Remote host closed the connection) |
| 01:40:42 | → | yauhsien joins (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) |
| 01:43:09 | <alexfmpe[m]> | are injective type families (TypeFamilyDependencies) on associated type families a thing? |
| 01:44:45 | <edwardk> | i've used injectivity annotations on class associated type families |
| 01:45:05 | <edwardk> | alexfmpe[m]: https://github.com/ekmett/linear-logic/blob/main/src/Linear/Logic/Internal.hs#L58 |
| 01:45:19 | <edwardk> | alexfmpe[m]: does that help? |
| 01:45:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:46:21 | <alexfmpe[m]> | huh yeah that's exactly what I wanted |
| 01:46:31 | <alexfmpe[m]> | could have sworn I had tried this exact syntax and got told to take a hike by ghc |
| 01:46:51 | <alexfmpe[m]> | ah, think I had missed the `= c` bit |
| 01:48:31 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:51:03 | → | alx741 joins (~alx741@157.100.197.240) |
| 01:55:53 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 01:55:59 | → | slowtyper joins (~slowtyper@user/slowtyper) |
| 01:56:47 | → | cynomys joins (~cynomys@user/cynomys) |
| 01:58:18 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 01:59:54 | → | zaquest joins (~notzaques@5.130.79.72) |
| 02:01:30 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:fd00:8e82:1c4b:4222) |
| 02:01:45 | × | doyougnu quits (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 272 seconds) |
| 02:04:28 | <edwardk> | the main thing that annoys me about them is that i really want type family dependencies to be able to refer to some of the parameters. |
| 02:04:38 | <edwardk> | type Foo a b = c | c a -> b |
| 02:05:04 | × | c209e6dc-4d76-47 quits (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 02:05:17 | <edwardk> | this isn't just an academic ask, because when you start mucking around with polykinds, you often don't have a choice |
| 02:10:44 | × | ubert quits (~Thunderbi@p200300ecdf0994ec492efbaecdb145b6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 02:10:44 | ub | is now known as ubert |
| 02:11:03 | → | ubert1 joins (~Thunderbi@p200300ecdf0994ec6d4ec32f6f41158b.dip0.t-ipconnect.de) |
| 02:13:36 | → | alx741 joins (~alx741@181.199.42.143) |
| 02:17:23 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 02:18:07 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 02:32:03 | hays | is now known as h_ |
| 02:33:48 | × | yauhsien quits (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 02:34:04 | × | justGhost quits (~justache@user/justache) (Read error: Connection reset by peer) |
| 02:34:59 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:35:03 | → | justGhost joins (~justache@user/justache) |
| 02:36:23 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 02:37:36 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 02:40:36 | × | jao quits (~jao@79.red-79-159-137.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 02:42:48 | → | jao joins (~jao@68.235.43.100) |
| 02:45:06 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 02:45:40 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Killed (silver.libera.chat (Nickname regained by services))) |
| 02:45:40 | [_] | is now known as [itchyjunk] |
| 02:46:01 | × | _xor quits (~xor@dsl-50-5-233-169.fuse.net) (Quit: brb) |
| 02:51:48 | × | xff0x quits (~xff0x@2001:1a81:5253:2500:44fe:2888:7933:5a26) (Ping timeout: 240 seconds) |
| 02:53:47 | → | xff0x joins (~xff0x@2001:1a81:5290:8400:55c0:f8c1:431:6807) |
| 02:55:28 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:57:36 | → | rusrushal13 joins (~rusrushal@103.85.18.34) |
| 03:03:49 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:11:13 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 03:18:21 | → | adamcstephens joins (161730d29b@2604:bf00:561:2000::2d5) |
| 03:20:45 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:20:45 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:20:45 | finn_elija | is now known as FinnElija |
| 03:22:05 | → | alx741 joins (~alx741@157.100.197.240) |
| 03:24:58 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:27:39 | × | alp_ quits (~alp@user/alp) (Ping timeout: 252 seconds) |
| 03:27:55 | × | td_ quits (~td@muedsl-82-207-238-135.citykom.de) (Ping timeout: 256 seconds) |
| 03:29:54 | → | td_ joins (~td@94.134.91.32) |
| 03:38:18 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 03:39:28 | → | Batzy joins (~quassel@user/batzy) |
| 03:41:26 | → | alx741 joins (~alx741@157.100.197.240) |
| 03:43:31 | × | rusrushal13 quits (~rusrushal@103.85.18.34) (Ping timeout: 256 seconds) |
| 03:44:55 | × | jao quits (~jao@68.235.43.100) (Ping timeout: 256 seconds) |
| 03:47:41 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:50:20 | → | Guest95 joins (~Guest95@206.251.209.195) |
| 03:50:45 | × | Guest95 quits (~Guest95@206.251.209.195) (Client Quit) |
| 03:53:16 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 03:53:17 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 03:53:17 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:54:37 | × | yaroot quits (~yaroot@57.48.30.125.dy.iij4u.or.jp) (Remote host closed the connection) |
| 03:55:01 | → | Guest95 joins (~Guest95@206.251.209.195) |
| 03:56:19 | → | yaroot joins (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
| 03:57:39 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 03:57:48 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 04:00:50 | × | TonyStone quits (~TonyStone@2603-7080-8607-c36a-4424-fc06-167e-bc32.res6.spectrum.com) (Read error: Connection reset by peer) |
| 04:02:24 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 04:03:06 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 04:06:03 | → | alx741 joins (~alx741@157.100.197.240) |
| 04:07:48 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 04:07:48 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 04:07:51 | allbery_b | is now known as geekosaur |
| 04:08:55 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 04:11:08 | → | MosheTeutsch[m] joins (~moteutsch@2001:470:69fc:105::1:c250) |
| 04:12:33 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 04:12:33 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 04:12:33 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:13:12 | × | dwt__ quits (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:15:24 | → | mbuf joins (~Shakthi@223.178.123.144) |
| 04:18:52 | → | dwt_ joins (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 04:19:00 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 04:22:32 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 04:23:53 | → | hololeap joins (~hololeap@user/hololeap) |
| 04:26:29 | → | alx741 joins (~alx741@157.100.197.240) |
| 04:30:21 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 04:36:00 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Remote host closed the connection) |
| 04:37:21 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 04:38:24 | → | c209e6dc-4d76-47 joins (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 04:43:36 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:47:48 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 04:47:52 | → | alx741 joins (~alx741@157.100.197.240) |
| 04:52:32 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 04:52:33 | × | phma quits (~phma@2001:5b0:210d:a1c8:150f:54c0:3978:d9e2) (Read error: Connection reset by peer) |
| 04:52:52 | → | Null_A joins (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 04:53:34 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 04:54:50 | → | phma joins (phma@2001:5b0:210b:91b8:23dc:49ad:cfaa:844c) |
| 04:57:17 | × | Null_A quits (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 04:59:21 | → | hueso joins (~root@user/hueso) |
| 05:00:04 | × | hueso quits (~root@user/hueso) (Read error: Connection reset by peer) |
| 05:00:25 | → | deadmarshal joins (~deadmarsh@95.38.231.188) |
| 05:01:00 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 05:10:24 | → | alx741 joins (~alx741@157.100.197.240) |
| 05:15:34 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 05:16:28 | × | Guest95 quits (~Guest95@206.251.209.195) (Ping timeout: 256 seconds) |
| 05:23:36 | × | c209e6dc-4d76-47 quits (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 05:26:46 | → | c209e6dc-4d76-47 joins (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 05:27:44 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 05:29:06 | → | hueso joins (~root@user/hueso) |
| 05:30:44 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Remote host closed the connection) |
| 05:33:10 | × | c209e6dc-4d76-47 quits (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Remote host closed the connection) |
| 05:33:29 | → | c209e6dc-4d76-47 joins (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 05:33:50 | → | alx741 joins (~alx741@181.199.42.143) |
| 05:37:25 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 05:46:38 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 05:47:49 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 05:48:26 | → | dons joins (~dons@202-153-213-48.ca99d5.syd.static.aussiebb.net) |
| 05:48:35 | <dons> | @yow |
| 05:48:35 | <lambdabot> | Well, here I am in AMERICA.. I LIKE it. I HATE it. I LIKE it. I |
| 05:48:36 | <lambdabot> | HATE it. I LIKE it. I HATE it. I LIKE it. I HATE it. I LIKE ... |
| 05:48:36 | <lambdabot> | EMOTIONS are SWEEPING over me!! |
| 05:50:19 | × | dons quits (~dons@202-153-213-48.ca99d5.syd.static.aussiebb.net) (Changing host) |
| 05:50:19 | → | dons joins (~dons@user/dons) |
| 05:50:57 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Ping timeout: 240 seconds) |
| 05:51:06 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 05:51:59 | <sm> | dons attack! |
| 05:52:06 | <sm> | tcard: hi! thanks for the great https://www.extrema.is/articles/haskell-books list. I think https://pragprog.com/titles/rshaskell/effective-haskell is one you don't have. |
| 05:54:06 | → | alx741 joins (~alx741@157.100.197.240) |
| 05:54:34 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 05:56:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 05:58:13 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 05:58:36 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Ping timeout: 240 seconds) |
| 06:00:39 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 06:03:40 | × | deadmarshal quits (~deadmarsh@95.38.231.188) (Ping timeout: 272 seconds) |
| 06:04:15 | <dons> | back doing some open source haskell again, so thought best to pop in the chan. |
| 06:04:33 | <glguy> | neat, welcome back |
| 06:05:03 | <dons> | whehey glguy |
| 06:05:33 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:05:46 | <glguy> | What corner of the open source haskell world will be lucky enough to have your attention? :) |
| 06:08:14 | <dons> | i'm working on code search, code navigation things on top of glean. currently all in the fb/meta ecosystem (in particular https://github.com/facebookincubator/Glean/tree/main/glean/glass/Glean/Glass ). most likely IDE things (LSPs, vs code plugins) |
| 06:08:32 | <dons> | "applied" open source |
| 06:08:44 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 06:09:16 | <dons> | so the main thing would be navigation and search support on top of glean for very large code bases that can't be navigated by normal LSPs |
| 06:09:32 | <dons> | poking around that sort of area. probably need to write some typescript |
| 06:09:43 | <glguy> | How big are the very-large code bases you're targetting? |
| 06:09:59 | <dolio> | Whoa. |
| 06:10:23 | <Axman6> | How exciting. I'd love to have glean working for DAML (which is basically just Haskell++) - our codebase is massive and navigating it sucks |
| 06:10:37 | <dons> | i guess anywhere 'find-refs' takes >5s or jump-to-definition takes >1s. depends a bit on the LSP. "large" (i.e. >10M loc?) |
| 06:10:59 | <dons> | its a bit dependent on the language/LSP support where performance breaks down + how many users. the obivous target is v. large C++ code base |
| 06:11:19 | <dons> | right, daml wouldn't be too hard. there's already a well used haskell schema in glean |
| 06:11:34 | <Axman6> | god if only it took 5s to jump to def for us! |
| 06:11:52 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 06:11:54 | <dons> | so that's another angle -> just do basic IDE support for a language that doesn't have it already, or as a backend for editors without good stuff (imagine vim navigation backend) |
| 06:11:58 | <Axman6> | is the haskell schema open source? I feel like I couldn't find it when I went looking... or I'm just dumb |
| 06:12:08 | → | texasmynsted_ joins (~texasmyns@99.96.221.112) |
| 06:12:18 | <dons> | all the schemas are. the indexers aren't (only flow/js and hack i think, c++ is in the works) |
| 06:12:43 | <dons> | https://github.com/facebookincubator/Glean/blob/main/glean/schema/source/hs.angle |
| 06:12:48 | → | echoreply joins (~echoreply@45.32.163.16) |
| 06:13:02 | <dons> | the haskell indexer is basically a script to process .hie files |
| 06:13:13 | <dons> | similar in rust. you just dump compiler knowledge to json |
| 06:13:17 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 240 seconds) |
| 06:13:18 | → | _xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 06:13:19 | <Axman6> | pretty sure the DAML compiler can output .hie files too... |
| 06:13:24 | × | drdo quits (~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds)) |
| 06:13:29 | <Axman6> | hmm, would have to check that |
| 06:13:43 | × | hueso quits (~root@user/hueso) (Quit: hueso) |
| 06:13:50 | <Axman6> | anyway, it's good to see you around dons, your blog was a huge inspiration to me when I was learning Haskell at ANU |
| 06:14:07 | <dons> | :) |
| 06:15:15 | → | alx741 joins (~alx741@157.100.197.240) |
| 06:15:17 | → | drdo joins (~drdo@roach0.drdo.eu) |
| 06:15:19 | → | codolio joins (~dolio@130.44.130.54) |
| 06:16:13 | × | dolio quits (~dolio@130.44.130.54) (Ping timeout: 256 seconds) |
| 06:16:17 | <chronon> | Which blog is that? I shold check it out for myself if it comes so highly reommended. |
| 06:20:52 | → | hueso joins (~root@user/hueso) |
| 06:23:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:25:06 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 06:31:51 | <Axman6> | pretty sure this has all the archives still: https://donsbot.com |
| 06:42:34 | → | alx741 joins (~alx741@157.100.197.240) |
| 06:43:28 | × | dons quits (~dons@user/dons) (Ping timeout: 250 seconds) |
| 06:44:28 | × | c209e6dc-4d76-47 quits (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 06:44:37 | × | Inoperable quits (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!) |
| 06:47:23 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 06:51:32 | → | mncheck joins (~mncheck@193.224.205.254) |
| 06:52:06 | → | Inoperable joins (~PLAYER_1@fancydata.science) |
| 06:54:10 | → | michalz joins (~michalz@185.246.204.61) |
| 06:54:46 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 06:54:46 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 06:54:49 | allbery_b | is now known as geekosaur |
| 06:55:25 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:55:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:55:46 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:55:51 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 06:55:59 | → | chomwitt joins (~chomwitt@2a02:587:dc15:800:87d7:2f36:90bc:5b10) |
| 06:56:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:56:08 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:56:21 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:56:29 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:56:35 | <sm> | Axman6: how long does jump to reference take you now ? |
| 06:56:44 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:56:51 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:57:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:57:10 | <Axman6> | references, or jump to definition? |
| 06:57:11 | <sm> | s/ref/def/ |
| 06:57:13 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:57:24 | <Axman6> | it depends a lot on the file, can be like 10 seconds |
| 06:57:28 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:57:35 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:57:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:57:56 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:58:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:58:18 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:58:34 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:58:41 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:58:56 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:59:03 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:59:17 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:59:24 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:59:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:59:48 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 07:00:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:00:09 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 07:00:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:00:34 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 07:02:30 | <Axman6> | but I thnk a lot of that is because the daml ide, which has fed into haskell-ide-engine hasn't kept up with HIE, so some of the important performance improvements its had haven't been ported back across |
| 07:03:44 | → | alx741 joins (~alx741@181.199.42.143) |
| 07:08:34 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 07:09:14 | → | alx741 joins (~alx741@181.199.42.143) |
| 07:10:36 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 07:12:29 | → | vicfred joins (~vicfred@user/vicfred) |
| 07:13:42 | → | vicfred_ joins (~vicfred@user/vicfred) |
| 07:14:01 | × | vicfred_ quits (~vicfred@user/vicfred) (Remote host closed the connection) |
| 07:16:52 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Remote host closed the connection) |
| 07:17:09 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 256 seconds) |
| 07:17:27 | → | off^ joins (~off@12.163.216.98) |
| 07:17:40 | → | Null_A joins (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 07:18:51 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 07:23:51 | → | zeenk joins (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 07:25:10 | <tcard> | sm: Thank you! |
| 07:25:17 | <tcard> | sm: The index only includes books that have been published (are complete). |
| 07:25:24 | <tcard> | sm: Effective Haskell is currently in beta, with the final version expected in October 2022. |
| 07:28:29 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 07:28:52 | → | coot joins (~coot@213.134.190.95) |
| 07:31:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:31:06 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 07:32:21 | × | codolio quits (~dolio@130.44.130.54) (Ping timeout: 272 seconds) |
| 07:34:57 | → | cynomys joins (~cynomys@user/cynomys) |
| 07:34:58 | → | max22- joins (~maxime@2a01cb088335980016b70819e9713c2c.ipv6.abo.wanadoo.fr) |
| 07:35:33 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 07:35:36 | → | alx741 joins (~alx741@181.199.42.143) |
| 07:36:09 | × | dwt_ quits (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 272 seconds) |
| 07:38:42 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 07:40:11 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 07:43:22 | → | Ariakenom joins (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
| 07:43:36 | × | Null_A quits (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 07:43:52 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 07:46:03 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:46:44 | → | acidjnk joins (~acidjnk@p200300d0c71a5a433051350517ca1eef.dip0.t-ipconnect.de) |
| 07:47:53 | → | briandaed joins (~root@109.95.142.92.r.toneticgroup.pl) |
| 07:48:33 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 07:48:49 | → | chele joins (~chele@user/chele) |
| 07:49:38 | <ski> | oh, a wild dons appeared ! |
| 07:49:59 | <ski> | @quote dons |
| 07:49:59 | <lambdabot> | dons says: Haskell more popular than Lisp, Scheme, OCaml and SML put together! |
| 07:50:27 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:52:36 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:53:38 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Remote host closed the connection) |
| 07:54:26 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 07:56:25 | × | caimeo quits (uid540603@id-540603.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:56:59 | → | alx741 joins (~alx741@181.199.42.143) |
| 08:05:37 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 08:07:28 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:3279:5094:80d0:564b) |
| 08:09:31 | → | MajorBiscuit joins (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 08:12:27 | → | Major_Biscuit joins (~MajorBisc@c-001-017-054.client.tudelft.eduvpn.nl) |
| 08:13:47 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 08:14:47 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 08:15:13 | × | MajorBiscuit quits (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 08:19:21 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 08:20:08 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 08:22:14 | → | alx741 joins (~alx741@157.100.197.240) |
| 08:27:01 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 08:29:25 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 08:29:36 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 08:30:12 | → | wonko joins (~wjc@user/wonko) |
| 08:34:20 | → | alp_ joins (~alp@user/alp) |
| 08:42:59 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 08:44:47 | → | alx741 joins (~alx741@181.199.42.143) |
| 08:45:02 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 08:45:45 | × | zeenk quits (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 08:49:37 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 08:50:14 | → | alx741 joins (~alx741@157.100.197.240) |
| 08:51:36 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 252 seconds) |
| 08:52:37 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 08:54:08 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 08:55:05 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:3279:5094:80d0:564b) (Quit: WeeChat 2.8) |
| 08:55:34 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:05:26 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 09:11:37 | → | alx741 joins (~alx741@157.100.197.240) |
| 09:12:30 | × | wonko quits (~wjc@user/wonko) (Ping timeout: 252 seconds) |
| 09:17:21 | × | jespada quits (~jespada@90.254.246.194) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:20:02 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 09:21:21 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:fd00:8e82:1c4b:4222) (Remote host closed the connection) |
| 09:23:57 | × | acidjnk quits (~acidjnk@p200300d0c71a5a433051350517ca1eef.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 09:31:42 | → | ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:9be7:a233:2613:fd84) |
| 09:33:22 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 09:33:24 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 240 seconds) |
| 09:33:49 | → | cynomys joins (~cynomys@user/cynomys) |
| 09:36:31 | → | icrbow[m] joins (~icrbowmat@2001:470:69fc:105::ee3) |
| 09:36:37 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 09:36:39 | → | alx741 joins (~alx741@157.100.197.240) |
| 09:38:24 | × | cynomys quits (~cynomys@user/cynomys) (Client Quit) |
| 09:38:40 | → | wonko joins (~wjc@user/wonko) |
| 09:38:53 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:3279:5094:80d0:564b) |
| 09:40:15 | → | `2jt joins (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 09:46:36 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 09:47:11 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 09:47:30 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 09:49:30 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 09:55:23 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 09:57:32 | × | alp_ quits (~alp@user/alp) (Remote host closed the connection) |
| 10:00:28 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 10:00:47 | → | alp joins (~alp@user/alp) |
| 10:01:57 | → | vpan joins (~0@212.117.1.172) |
| 10:02:45 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 10:08:01 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:10:06 | → | wonko- joins (~wjc@user/wonko) |
| 10:11:31 | <dminuoso> | glguy: There's one missing feature about config-value: A suitable nix config generator. It turns out even with your most recent addition, some YAML formatters generate plain JSON, others feed JSON into yq which removes all double quotes.. |
| 10:11:41 | → | alx741 joins (~alx741@181.199.42.143) |
| 10:13:25 | × | ormaaj quits (~ormaaj@user/ormaaj) (Quit: Bridge terminating on SIGTERM) |
| 10:13:25 | × | Arathorn quits (~arathorn@2001:470:69fc:105::1f) (Quit: Bridge terminating on SIGTERM) |
| 10:13:25 | × | kadoban quits (~kadoban@user/kadoban) (Quit: Bridge terminating on SIGTERM) |
| 10:13:25 | × | peddie quits (~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM) |
| 10:13:25 | × | fgaz quits (~fgaz@2001:470:69fc:105::842) (Quit: Bridge terminating on SIGTERM) |
| 10:13:25 | × | moats quits (~oats@user/oats) (Quit: Bridge terminating on SIGTERM) |
| 10:13:25 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM) |
| 10:13:25 | × | Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Quit: Bridge terminating on SIGTERM) |
| 10:13:25 | × | jinsun_ quits (~jinsun@user/jinsun) (Quit: Bridge terminating on SIGTERM) |
| 10:13:25 | × | Tisoxin quits (~ikosit@user/ikosit) (Quit: Bridge terminating on SIGTERM) |
| 10:13:25 | × | ongy[m] quits (~ongymatri@2001:470:69fc:105::5018) (Quit: Bridge terminating on SIGTERM) |
| 10:13:25 | × | amesgen[m] quits (~amesgenm]@2001:470:69fc:105::82b) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | Deide quits (~deide@user/deide) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | ericson2314 quits (~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | jmcantrell quits (~jmcantrel@user/jmcantrell) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | jneira[m] quits (~jneiramat@2001:470:69fc:105::d729) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | euphrates[m] quits (~euphrates@2001:470:69fc:105::fbb5) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | maralorn quits (~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | zfnmxt quits (~zfnmxtzfn@user/zfnmxt) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | Christoph[m] quits (~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | Guillaum[m] quits (~guiboumat@2001:470:69fc:105::1:72ac) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | ManofLetters[m] quits (~manoflett@2001:470:69fc:105::3be) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | wildsebastian quits (~wildsebas@2001:470:69fc:105::1:14b1) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | juhp[m] quits (~juhpmatri@2001:470:69fc:105::6e9) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | bitonic quits (~bitonic@2001:470:69fc:105::1812) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | icrbow[m] quits (~icrbowmat@2001:470:69fc:105::ee3) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | thejuan24f[m] quits (~thejuan2m@2001:470:69fc:105::1:6569) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | fendor[m] quits (~fendormat@2001:470:69fc:105::fcbd) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | reactormonk[m] quits (~reactormo@2001:470:69fc:105::3c24) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | JoseC[m] quits (~jmcardonm@2001:470:69fc:105::1:7539) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | unrooted quits (~unrooted@2001:470:69fc:105::a4a) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | DemiMarieObenour quits (~alwayscur@2001:470:69fc:105::4886) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | zwro[m] quits (~zwromatri@2001:470:69fc:105::1d4) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | schuelermine[m] quits (~schuelerm@user/schuelermine) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | quantum quits (~quantum@user/quantum/x-8556232) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | finalti[m] quits (~finaltima@2001:470:69fc:105::d909) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | smichel17[m] quits (~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | bb010g quits (~bb010g@2001:470:69fc:105::9a5) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | thomasjm[m] quits (~thomasjmm@2001:470:69fc:105::c6d9) (Quit: Bridge terminating on SIGTERM) |
| 10:13:26 | × | oak- quits (~oakuniver@2001:470:69fc:105::fcd) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | reza[m] quits (~rezaphone@2001:470:69fc:105::3eda) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | SridharRatnakuma quits (~sridmatri@2001:470:69fc:105::1c2) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | sekun[m] quits (~hsekmatri@2001:470:69fc:105::d18f) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | mmos[m] quits (~mmosmatri@2001:470:69fc:105::1:8340) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | cstml[m] quits (~cstmlmatr@2001:470:69fc:105::1:5c07) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | alexfmpe[m] quits (~alexfmpem@2001:470:69fc:105::38ba) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | kalxd[m] quits (~kalxdmatr@2001:470:69fc:105::1:576e) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | sjanssen quits (~sjanssenm@2001:470:69fc:105::1:61d8) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | aidy quits (~aidy@2001:470:69fc:105::c7b4) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | alex[m]123 quits (~alexchete@2001:470:69fc:105::1:1001) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | justosophy[m] quits (~justosoph@2001:470:69fc:105::572f) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | benjamin[m]123 quits (~benjaminm@2001:470:69fc:105::1:3f2f) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | craige[m] quits (~craigemcw@2001:470:69fc:105::35f1) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | RosarioPulella[m quits (~rosariopu@2001:470:69fc:105::a57) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | throwaaaa[m] quits (~throwaaaa@2001:470:69fc:105::1:6fe6) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | Sixto[m] quits (~provornyc@2001:470:69fc:105::1:74df) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | simmsb quits (~simmsb@2001:470:69fc:105::1:55c3) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | james[m]123 quits (~jamesnina@2001:470:69fc:105::1:4203) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | Inst[m] quits (~instrmatr@2001:470:69fc:105::1:903e) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | jkaye[m] quits (~jkayematr@2001:470:69fc:105::1:86f7) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | litharn[m] quits (~litharnma@2001:470:69fc:105::1:8336) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | jaror[m] quits (~jaror@2001:470:69fc:105::265) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | marijan quits (~marijanma@2001:470:69fc:105::1:6cce) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | phuegrvs[m] quits (~phuegrvsm@2001:470:69fc:105::1:65e4) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | sofviic[m] quits (~sofviicma@2001:470:69fc:105::1:51fd) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | octeep[m] quits (~octeepoct@2001:470:69fc:105::1:3dbf) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | afotgkmnzj7asv3r quits (~afotgkmnz@2001:470:69fc:105::c24b) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | soft quits (~soft@2001:470:69fc:105::c75) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | SawyerBergeron[m quits (~sawyerber@2001:470:69fc:105::3036) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | EkaiZend[m] quits (~ekai-zend@2001:470:69fc:105::1:7756) (Quit: Bridge terminating on SIGTERM) |
| 10:13:27 | × | pfurla-matrix quits (~pedrofurl@2001:470:69fc:105::1:51d7) (Quit: Bridge terminating on SIGTERM) |
| 10:13:28 | × | oberblastmeister quits (~oberblast@2001:470:69fc:105::3a60) (Quit: Bridge terminating on SIGTERM) |
| 10:13:28 | × | wysteriary[m] quits (~wysteriar@2001:470:69fc:105::a42e) (Quit: Bridge terminating on SIGTERM) |
| 10:13:29 | × | tripa[m] quits (~tripamatr@2001:470:69fc:105::1:4f7e) (Quit: Bridge terminating on SIGTERM) |
| 10:13:29 | × | siraben quits (~siraben@user/siraben) (Quit: Bridge terminating on SIGTERM) |
| 10:13:29 | × | VanceIsM7[m] quits (~vanceism7@2001:470:69fc:105::3ad) (Quit: Bridge terminating on SIGTERM) |
| 10:13:30 | × | denbrahe quits (~denbrahe@2001:470:69fc:105::19c0) (Quit: Bridge terminating on SIGTERM) |
| 10:13:30 | × | Drew[m] quits (~drewefenw@2001:470:69fc:105::c8c4) (Quit: Bridge terminating on SIGTERM) |
| 10:13:30 | × | Joe[m] quits (~jsricemat@2001:470:69fc:105::1:b4ce) (Quit: Bridge terminating on SIGTERM) |
| 10:13:30 | × | hsiktas[m] quits (~hsiktasm]@2001:470:69fc:105::30d4) (Quit: Bridge terminating on SIGTERM) |
| 10:13:30 | × | cherryblossom[m] quits (~cherryblo@2001:470:69fc:105::b789) (Quit: Bridge terminating on SIGTERM) |
| 10:13:30 | × | mahene[m] quits (~mahenemat@2001:470:69fc:105::1:6a93) (Quit: Bridge terminating on SIGTERM) |
| 10:13:30 | × | Michal[m] quits (~oomiguelm@2001:470:69fc:105::1:5ab0) (Quit: Bridge terminating on SIGTERM) |
| 10:13:30 | × | psydroid quits (~psydroid@user/psydroid) (Quit: Bridge terminating on SIGTERM) |
| 10:13:30 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Quit: Bridge terminating on SIGTERM) |
| 10:13:30 | × | marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Quit: Bridge terminating on SIGTERM) |
| 10:13:30 | × | maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM) |
| 10:13:31 | × | Yehoshua quits (~yehoshua@2001:470:69fc:105::1:593f) (Quit: Bridge terminating on SIGTERM) |
| 10:13:31 | × | MosheTeutsch[m] quits (~moteutsch@2001:470:69fc:105::1:c250) (Quit: Bridge terminating on SIGTERM) |
| 10:13:31 | × | FernandoChu[m] quits (~ryunaqmat@2001:470:69fc:105::1:4dc0) (Quit: Bridge terminating on SIGTERM) |
| 10:14:03 | <dminuoso> | One compromise Im thinking of is to introduce a new PrimValueSpec `SpecificTextSpec :: Text -> PrimValueSpec ()`, so we can do atoms but with strings instead. Then, we just need a YAML formatter that consistently puts out double quotes. |
| 10:14:14 | <dminuoso> | That would also seamingly fit into nix |
| 10:14:21 | <dminuoso> | *seamingless |
| 10:14:31 | × | max22- quits (~maxime@2a01cb088335980016b70819e9713c2c.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:15:19 | → | max22- joins (~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) |
| 10:15:23 | → | yauhsien joins (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) |
| 10:15:36 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 10:16:13 | → | alx741 joins (~alx741@181.199.42.143) |
| 10:16:30 | → | juhp[m] joins (~juhpmatri@2001:470:69fc:105::6e9) |
| 10:16:59 | × | max22- quits (~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:17:53 | → | max22- joins (~maxime@2a01cb08833598004895fc080e042dcf.ipv6.abo.wanadoo.fr) |
| 10:19:37 | × | yauhsien quits (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 10:19:58 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 10:20:41 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:21:51 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) |
| 10:23:32 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 10:23:33 | × | max22- quits (~maxime@2a01cb08833598004895fc080e042dcf.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 10:25:08 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:26:11 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) (Ping timeout: 245 seconds) |
| 10:28:08 | → | peddie joins (~peddie@2001:470:69fc:105::25d) |
| 10:28:08 | → | fgaz joins (~fgaz@2001:470:69fc:105::842) |
| 10:28:08 | → | cdsmith joins (~cdsmithma@2001:470:69fc:105::284) |
| 10:28:08 | → | thomasjm[m] joins (~thomasjmm@2001:470:69fc:105::c6d9) |
| 10:28:08 | → | amesgen[m] joins (~amesgenm]@2001:470:69fc:105::82b) |
| 10:28:08 | → | JoseC[m] joins (~jmcardonm@2001:470:69fc:105::1:7539) |
| 10:28:08 | → | zfnmxt joins (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 10:28:08 | → | kadoban joins (~kadoban@user/kadoban) |
| 10:28:08 | → | moats joins (~oats@user/oats) |
| 10:28:08 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 10:28:08 | → | maralorn joins (~maralorn@2001:470:69fc:105::251) |
| 10:28:08 | → | reza[m] joins (~rezaphone@2001:470:69fc:105::3eda) |
| 10:28:08 | → | quantum joins (~quantum@user/quantum/x-8556232) |
| 10:28:08 | → | marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 10:28:08 | → | ericson2314 joins (~ericson23@2001:470:69fc:105::70c) |
| 10:28:08 | → | denbrahe joins (~denbrahe@2001:470:69fc:105::19c0) |
| 10:28:09 | → | finalti[m] joins (~finaltima@2001:470:69fc:105::d909) |
| 10:28:09 | → | Las[m] joins (~lasmatrix@2001:470:69fc:105::74e) |
| 10:28:09 | → | Yehoshua joins (~yehoshua@2001:470:69fc:105::1:593f) |
| 10:28:09 | → | schuelermine[m] joins (~schuelerm@user/schuelermine) |
| 10:28:09 | → | mahene[m] joins (~mahenemat@2001:470:69fc:105::1:6a93) |
| 10:28:09 | → | sm joins (~sm@plaintextaccounting/sm) |
| 10:28:09 | → | hsiktas[m] joins (~hsiktasm]@2001:470:69fc:105::30d4) |
| 10:28:09 | → | Deide joins (~deide@user/deide) |
| 10:28:09 | → | Artem[m] joins (~artemtype@2001:470:69fc:105::75b) |
| 10:28:09 | → | Christoph[m] joins (~hpotsirhc@2001:470:69fc:105::2ff8) |
| 10:28:09 | → | psydroid joins (~psydroid@user/psydroid) |
| 10:28:09 | → | alexfmpe[m] joins (~alexfmpem@2001:470:69fc:105::38ba) |
| 10:28:09 | → | ongy[m] joins (~ongymatri@2001:470:69fc:105::5018) |
| 10:28:09 | → | siraben joins (~siraben@user/siraben) |
| 10:28:09 | → | smichel17[m] joins (~smichel17@2001:470:69fc:105::2d32) |
| 10:28:09 | → | SawyerBergeron[m joins (~sawyerber@2001:470:69fc:105::3036) |
| 10:28:09 | → | alex[m]12345 joins (~alexchete@2001:470:69fc:105::1:1001) |
| 10:28:09 | → | ManofLetters[m] joins (~manoflett@2001:470:69fc:105::3be) |
| 10:28:09 | → | Tisoxin joins (~ikosit@user/ikosit) |
| 10:28:09 | → | aidy joins (~aidy@2001:470:69fc:105::c7b4) |
| 10:28:09 | → | DemiMarieObenour joins (~alwayscur@2001:470:69fc:105::4886) |
| 10:28:10 | → | fendor[m] joins (~fendormat@2001:470:69fc:105::fcbd) |
| 10:28:10 | → | vaibhavsagar[m] joins (~vaibhavsa@2001:470:69fc:105::ffe) |
| 10:28:10 | → | maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee) |
| 10:28:10 | → | jmcantrell joins (~jmcantrel@user/jmcantrell) |
| 10:28:10 | → | wildsebastian joins (~wildsebas@2001:470:69fc:105::1:14b1) |
| 10:28:10 | → | jinsun_ joins (~jinsun@user/jinsun) |
| 10:28:10 | → | Arathorn joins (~arathorn@2001:470:69fc:105::1f) |
| 10:28:10 | → | tripa[m] joins (~tripamatr@2001:470:69fc:105::1:4f7e) |
| 10:28:10 | → | ormaaj joins (~ormaaj@user/ormaaj) |
| 10:28:10 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 10:28:10 | → | bitonic joins (~bitonic@2001:470:69fc:105::1812) |
| 10:28:10 | → | SridharRatnakuma joins (~sridmatri@2001:470:69fc:105::1c2) |
| 10:28:10 | → | unrooted joins (~unrooted@2001:470:69fc:105::a4a) |
| 10:28:10 | → | Guillaum[m] joins (~guiboumat@2001:470:69fc:105::1:72ac) |
| 10:28:10 | → | pfurla-matrix joins (~pedrofurl@2001:470:69fc:105::1:51d7) |
| 10:28:10 | → | icrbow[m] joins (~icrbowmat@2001:470:69fc:105::ee3) |
| 10:28:10 | → | reactormonk[m] joins (~reactormo@2001:470:69fc:105::3c24) |
| 10:28:11 | → | kalxd[m] joins (~kalxdmatr@2001:470:69fc:105::1:576e) |
| 10:28:11 | → | thejuan24f[m] joins (~thejuan2m@2001:470:69fc:105::1:6569) |
| 10:28:11 | → | cstml[m] joins (~cstmlmatr@2001:470:69fc:105::1:5c07) |
| 10:28:11 | → | VanceIsM7[m] joins (~vanceism7@2001:470:69fc:105::3ad) |
| 10:28:11 | → | jkaye[m] joins (~jkayematr@2001:470:69fc:105::1:86f7) |
| 10:28:11 | → | euphrates[m] joins (~euphrates@2001:470:69fc:105::fbb5) |
| 10:28:11 | → | mmos[m] joins (~mmosmatri@2001:470:69fc:105::1:8340) |
| 10:28:11 | → | jneira[m] joins (~jneiramat@2001:470:69fc:105::d729) |
| 10:28:11 | → | zwro[m] joins (~zwromatri@2001:470:69fc:105::1d4) |
| 10:28:20 | → | soft joins (~soft@2001:470:69fc:105::c75) |
| 10:28:20 | → | sjanssen joins (~sjanssenm@2001:470:69fc:105::1:61d8) |
| 10:28:20 | → | Michal[m] joins (~oomiguelm@2001:470:69fc:105::1:5ab0) |
| 10:28:20 | → | sekun[m] joins (~hsekmatri@2001:470:69fc:105::d18f) |
| 10:28:21 | → | Drew[m] joins (~drewefenw@2001:470:69fc:105::c8c4) |
| 10:28:21 | → | craige[m] joins (~craigemcw@2001:470:69fc:105::35f1) |
| 10:28:21 | → | justosophy[m] joins (~justosoph@2001:470:69fc:105::572f) |
| 10:28:22 | → | oak- joins (~oakuniver@2001:470:69fc:105::fcd) |
| 10:28:22 | → | sofviic[m] joins (~sofviicma@2001:470:69fc:105::1:51fd) |
| 10:28:22 | → | marijan joins (~marijanma@2001:470:69fc:105::1:6cce) |
| 10:28:22 | → | MosheTeutsch[m] joins (~moteutsch@2001:470:69fc:105::1:c250) |
| 10:28:22 | → | Inst[m] joins (~instrmatr@2001:470:69fc:105::1:903e) |
| 10:28:22 | → | bb010g joins (~bb010g@2001:470:69fc:105::9a5) |
| 10:28:22 | → | RosarioPulella[m joins (~rosariopu@2001:470:69fc:105::a57) |
| 10:28:22 | → | octeep[m] joins (~octeepoct@2001:470:69fc:105::1:3dbf) |
| 10:28:22 | → | wysteriary[m] joins (~wysteriar@2001:470:69fc:105::a42e) |
| 10:28:22 | → | afotgkmnzj7asv3r joins (~afotgkmnz@2001:470:69fc:105::c24b) |
| 10:28:22 | → | cherryblossom[m] joins (~cherryblo@2001:470:69fc:105::b789) |
| 10:28:22 | → | phuegrvs[m] joins (~phuegrvsm@2001:470:69fc:105::1:65e4) |
| 10:28:23 | → | throwaaaa[m] joins (~throwaaaa@2001:470:69fc:105::1:6fe6) |
| 10:28:23 | → | Sixto[m] joins (~provornyc@2001:470:69fc:105::1:74df) |
| 10:28:23 | → | litharn[m] joins (~litharnma@2001:470:69fc:105::1:8336) |
| 10:28:24 | → | james[m]123 joins (~jamesnina@2001:470:69fc:105::1:4203) |
| 10:28:24 | → | EkaiZend[m] joins (~ekai-zend@2001:470:69fc:105::1:7756) |
| 10:28:24 | → | simmsb joins (~simmsb@2001:470:69fc:105::1:55c3) |
| 10:28:24 | → | FernandoChu[m] joins (~ryunaqmat@2001:470:69fc:105::1:4dc0) |
| 10:28:24 | → | Joe[m]12 joins (~jsricemat@2001:470:69fc:105::1:b4ce) |
| 10:28:24 | → | benjamin[m]123 joins (~benjaminm@2001:470:69fc:105::1:3f2f) |
| 10:28:25 | → | oberblastmeister joins (~oberblast@2001:470:69fc:105::3a60) |
| 10:28:25 | → | jaror[m] joins (~jaror@2001:470:69fc:105::265) |
| 10:31:00 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 10:33:21 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 10:34:22 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 10:34:36 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 240 seconds) |
| 10:36:52 | → | EvanR joins (~EvanR@user/evanr) |
| 10:41:57 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:43:39 | → | zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:252f:1c34:e1bf:7de2) |
| 10:43:48 | × | chomwitt quits (~chomwitt@2a02:587:dc15:800:87d7:2f36:90bc:5b10) (Ping timeout: 252 seconds) |
| 10:46:11 | <chronon> | dminuoso, there's more than one yq. Which one are you referring to? |
| 10:46:25 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:49:38 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 10:55:00 | <chronon> | Wow, there are a *lot* of books on Haskell. Which books would people here recommend for an experienced programmer with little to no experience of functional programming? |
| 10:55:18 | <chronon> | You'll probably say that's an oxymoron, right? :-) |
| 10:59:58 | <merijn> | chronon: tbh, the same ones as for complete beginners :) |
| 11:01:12 | <chronon> | I often find books aimed at complete beginners spend too much time labouring the point on basic stuff, which is fine, but if boredom sets in then the book won't get read. |
| 11:01:36 | <chronon> | I like a fast paced and challenging read, because the very challenge of it keeps me motivated. |
| 11:01:59 | <merijn> | chronon: In many ways learning Haskell as exerpeinced feels the opposite to other languages. Where normally you get a "head start" where you get to reuse a lot you know, you can't really reuse anything you know at the start, but as you get further you get more use out of your experience (arrays, maps, etc. and advanced data structures are the same everywhere) |
| 11:02:27 | <chronon> | Right. |
| 11:02:43 | <chronon> | Does it count that I am pretty good at jq? |
| 11:02:46 | <merijn> | chronon: tbh, if you like it "fast and painful" and are somewhat used to like, browsing/scanning specs like the C spec, etc. you could try the tutorial + report way :p |
| 11:03:07 | → | alx741 joins (~alx741@157.100.197.240) |
| 11:03:14 | <merijn> | But... |
| 11:03:17 | <merijn> | @quote Brend whoever |
| 11:03:17 | <lambdabot> | Brend says: Whoever chose the title "A Gentle Introduction to Haskell" is obviously accustomed to wrestling bears in piranha pits or something. |
| 11:03:25 | <merijn> | @where tutorial |
| 11:03:25 | <lambdabot> | http://www.haskell.org/tutorial/ |
| 11:03:28 | <merijn> | @where report |
| 11:03:28 | <lambdabot> | http://www.haskell.org/onlinereport/haskell2010/ (more: http://www.haskell.org/haskellwiki/Definition) |
| 11:03:53 | <merijn> | As far as language specs go, the Haskell Report is one of the most readable ones ever written :p |
| 11:04:52 | <chronon> | Yes, I must say I often prefer leaning heavily on spec to get the nitty gritty that books tend to gloss over. But it is still valuable to have a book take you through the core concepts in the right order so you don't get lost during the botostepping phase. |
| 11:05:00 | × | off^ quits (~off@12.163.216.98) (Ping timeout: 240 seconds) |
| 11:05:02 | <chronon> | boot strapping |
| 11:05:05 | <[exa]> | chronon: you might experience fast-paced and challenging removal of no-longer-valid habits from other programming languages |
| 11:05:08 | <merijn> | "Haskell from First Principles" is comprehensive, but, eh, rather verbose |
| 11:05:08 | <maerwald> | merijn: I think the Go "spec" is more readable |
| 11:05:14 | <merijn> | and slow |
| 11:05:31 | <merijn> | Possiblye the Bird and Hutton books are better, since I think they're fairly short in comparison? |
| 11:05:39 | <merijn> | @where books |
| 11:05:39 | <lambdabot> | https://www.extrema.is/articles/haskell-books, see also @where LYAH, RWH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, HTAC, TwT, FoP, PFAD, WYAH, non-haskell-books |
| 11:05:41 | <chronon> | Verbose is a kill, it should be tight and focussed, and demonstrate exciting things along the way. |
| 11:05:43 | <merijn> | @where tfwh |
| 11:05:44 | <lambdabot> | "Thinking Functionally with Haskell" by Richard Bird in Oct 2014 at <http://www.cs.ox.ac.uk/publications/books/functional/> |
| 11:05:52 | <merijn> | @where PIH |
| 11:05:52 | <lambdabot> | "Programming in Haskell" by Graham Hutton in 2007-01-15,2016-09-01 at <http://www.cs.nott.ac.uk/~pszgmh/pih.html> |
| 11:06:35 | <merijn> | chronon: Sadly, the things that are (long-term) exciting appear very boring in the short term :p |
| 11:06:42 | × | Kaipi quits (~Kaiepi@156.34.47.253) (Quit: Leaving) |
| 11:06:56 | <merijn> | Except maybe recursive fibonacci, which stays exciting foreve :p |
| 11:06:56 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 11:07:03 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 11:07:04 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 11:07:22 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 11:07:24 | <merijn> | > let fibonacci = 0 : 1 : zipWith (+) fibonacci (drop 1 fibonacci) in fibonacci |
| 11:07:25 | <lambdabot> | [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... |
| 11:07:26 | <chronon> | You mean doubly recursive Fibbonacci? I thought that was a known tarpit. |
| 11:07:31 | → | off^ joins (~off@12.163.216.98) |
| 11:07:42 | <merijn> | chronon: Naah, double recursive fibonacci is boring and slow :) |
| 11:08:16 | <chronon> | Singly recursive fibbonacci is just a disguised loop though. |
| 11:08:18 | <merijn> | > let fibonacci = 0 : 1 : zipWith (+) fibonacci (drop 1 fibonacci) in drop 10000 fibonacci |
| 11:08:20 | <lambdabot> | [336447648764317832666216120051075433103021484606800639065647699746800814421... |
| 11:08:24 | <merijn> | hmm |
| 11:08:34 | <merijn> | I seem to have underestimated how fast fibonacci numbers get big xD |
| 11:08:46 | <merijn> | Can't even fit a single result |
| 11:08:55 | <merijn> | Pleasantly fast, though! |
| 11:09:05 | <chronon> | Cool indeed. |
| 11:09:12 | <byorgey> | F(n) is approximately phi^n, where phi = (1 + sqrt 5)/2 |
| 11:09:38 | <byorgey> | phi^10000 is going to have... thousands of digits, I guess |
| 11:09:43 | <chronon> | Which of the two books you recommended do you think is the more motivational read, keeping the pace and excitement up? |
| 11:09:55 | <[exa]> | chronon: what languages do you know now? |
| 11:10:17 | <merijn> | chronon: tbh, I read neither of them. But both are written by people who've been teaching Haskell at uni for ages, so... |
| 11:10:18 | <chronon> | Well, jq is the only functional language and it's obviously nothing like Haskell. |
| 11:10:36 | <[exa]> | jq? |
| 11:10:43 | <[exa]> | oh the json query tool? |
| 11:10:53 | <[exa]> | I mean also non-functional languages :] |
| 11:11:20 | <chronon> | I know quite a wide range of different languages with different approaches, some quite esoteric by today's standards. I've done a smattering of all the common modern general purpose langauges. |
| 11:11:48 | <chronon> | Yes, jq the json based language. |
| 11:13:14 | <chronon> | Actualy I enjoy learning odd languages. I wrote a mini Turing maching language, and then wrote some programs in it, for example. I have high confidence that I can program in anything. |
| 11:13:37 | <[exa]> | I'd give a shot to LYAH, you can skip the first few sections and you should be able to make your own small exercises as well I guess, and it's a quick read with pictures |
| 11:14:07 | <chronon> | So yes, a book recommendation that never talks down to the reader, keeps the pace up, throws in a bit of humour and excitement, would all be good. |
| 11:14:19 | <[exa]> | oh yes it has funny pictures |
| 11:16:22 | <chronon> | So final recommendation for a fast fun read would be "Learn You a Haskell"???? |
| 11:16:36 | <[exa]> | if you need examples/exercises for anything, it's useful to pick them from another book or typeclassopaedia or something. the point of LYAH is that it throws you over the initial learning shock quite quickly, and if you struggle you can always come here :D |
| 11:16:56 | <chronon> | Ok, sounds good. |
| 11:17:15 | → | jalil joins (~jalil@2a01:e0a:277:4100:5321:349f:8c6a:80f8) |
| 11:17:36 | <[exa]> | just remember to try everything, lyah unfortunately doesn't come with many exercises that would make the stuff 'intuitive' |
| 11:17:43 | <chronon> | 290 pages. Nice. |
| 11:17:44 | <merijn> | LYAH is kinda bad, imo |
| 11:17:50 | <[exa]> | I expected this ^ |
| 11:17:51 | <[exa]> | D |
| 11:17:53 | <[exa]> | :D |
| 11:18:01 | <merijn> | It's great at showing some fun things |
| 11:18:03 | <chronon> | Oh really, what is your view on it? |
| 11:18:17 | <merijn> | but bad at teaching you how to *do* something with those things |
| 11:18:20 | <chronon> | That's a good start. Showing off fun things creates motivation. |
| 11:18:48 | <chronon> | So if you had to choose one, other than LYAH, which would it be? |
| 11:19:21 | <merijn> | The Hutton or Bird books are probably a safe bet and should be fairly short too |
| 11:19:26 | <merijn> | But a bit more rigorous |
| 11:19:58 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
| 11:20:22 | <chronon> | Ok, I'll check out all three and see how I go. Thanks guys! |
| 11:21:12 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 11:23:08 | → | alx741 joins (~alx741@157.100.197.240) |
| 11:24:22 | <dminuoso> | chronon: Okay, I skipped some gory details because they were not relevant to the discussion |
| 11:25:04 | <dminuoso> | chronon: Right now the best path I have is using json2yaml (the deprecated haskell package), and then into yq-go |
| 11:25:05 | → | ph88^ joins (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 11:25:30 | <dminuoso> | This is because yc-go with `.. style="double"` will keep double quots around the attribute names |
| 11:25:42 | <dminuoso> | If the input is just json |
| 11:26:26 | <dminuoso> | Or I guess I could use yq-go twice |
| 11:26:41 | <dminuoso> | Yes that would actually work out nicely |
| 11:26:41 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 11:27:16 | <chronon> | But isn't the point of YAML that is drops all such unnecessary verbosity? I would only wish to quote keys with spaces or other special chars in them, and who names their keys like that anyway? |
| 11:27:32 | <dminuoso> | chronon: So my target config language is not YAML but config-value |
| 11:27:53 | <dminuoso> | Which due to a recent request accepts one style that happens to be valid YAML. |
| 11:28:15 | <chronon> | Ah. |
| 11:28:43 | <dminuoso> | So if you can make your YAML formatter output that exact format, then you can use nix `builtins.toJSON`, feed it into jq-go first to get the "unacceptable" yaml with double quotes removed on both attr names and values, and then into yq-go again to put quotes on the values back |
| 11:28:54 | × | ph88_ quits (~ph88@2a02:8109:9e00:71d0:885b:9523:dc87:45b3) (Ping timeout: 252 seconds) |
| 11:29:01 | <dminuoso> | chronon: THe thing is, in config-value `foo` and `"foo"` are separate things. the first is considered an atom, the latter a text. |
| 11:29:19 | <dminuoso> | So strictly speaking the casual YAML output is syntactically valid config-value, but most likely not what you want |
| 11:30:07 | <chronon> | I see. |
| 11:30:41 | <chronon> | I always liked what YAML was trying to achieve, but disliked the complexity that they came up with. |
| 11:30:45 | <dminuoso> | Are you familiar with nix/nixos? |
| 11:31:05 | <chronon> | Only in passing. I'm very curious about it though. |
| 11:31:37 | <chronon> | Perhpas once I am up to speed with Haskell I shall start to "get" what nixos is all about. |
| 11:32:07 | <dminuoso> | Skipping loads of information, but broadly you can define an nested attribute set comfortably by just saying `{ foo.bar.quux = [1 2]; foo.bar.baz = "foobar"; }` |
| 11:33:19 | <dminuoso> | And not only that, but in nixos modules you get merging semantics, so you can define dafault values, and simply "update" some nested config by just saying `{ foo.settings.my.config = "I want this instead"; }`. So if we could say `settings` is an arbitrary nix type that is just turned into the correct output format |
| 11:33:26 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 11:33:44 | <chronon> | Sounds nice. |
| 11:33:48 | <dminuoso> | So now I dont need to keep the nixos settings in sync with whatever my program accepts, and I can directly match my nix expressions in |
| 11:34:18 | <dminuoso> | config-schema/config-value gets me the benefit of applicatively parsing and automatically verifying it against a schema |
| 11:34:40 | <dminuoso> | so yeah.. Im just missing out on atoms right now |
| 11:34:59 | <chronon> | I am intrigued to see tha Bird's book Programming Haskell went from just 171 pages to 318 between 1st and 2nd edition. That's a lot to add that hadn't seemed essential first time round. |
| 11:35:11 | <dminuoso> | (their usecase is usually for enums where you know the possbile values beforehand, so the doc generator or error diagnostics can tell you about it) |
| 11:36:03 | <dminuoso> | i.e. `mode: sensitive` where mode might be any of `min`, `max`, `sensitive`, `interactive`, moderate` |
| 11:36:09 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 11:36:13 | <chronon> | Oh, time passed, I gotta go, sorry. Bye. |
| 11:36:33 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 11:37:40 | <absence> | occasionally i stumble across "fmap join . traverse f" or "fmap join . sequenceA", and i wonder if this is a structure/concept that has a name, or if it's just one of those coincidental patterns? |
| 11:38:03 | <dminuoso> | absence: in your own code? |
| 11:39:18 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 11:44:32 | → | alx741 joins (~alx741@157.100.197.240) |
| 11:46:17 | <absence> | i haven't kept a tally, but mostly at work i guess |
| 11:48:49 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 11:53:59 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 11:56:05 | → | jackson99 joins (~bc8147f2@cerf.good1.com) |
| 11:58:34 | → | polezaivsani joins (~polezaivs@orangeshoelaces.net) |
| 11:59:40 | → | deadmarshal joins (~deadmarsh@95.38.231.188) |
| 12:03:48 | × | deadmarshal quits (~deadmarsh@95.38.231.188) (Ping timeout: 240 seconds) |
| 12:07:02 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:09:47 | → | acidjnk joins (~acidjnk@p200300d0c71a5a004439604b3304a9e4.dip0.t-ipconnect.de) |
| 12:10:54 | → | acidjnk_new joins (~acidjnk@p200300d0c71a5a0098935a5ed84a0ff1.dip0.t-ipconnect.de) |
| 12:10:55 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:12:57 | × | OscarH quits (~OscarH@90.201.86.195) (Ping timeout: 240 seconds) |
| 12:14:20 | × | acidjnk quits (~acidjnk@p200300d0c71a5a004439604b3304a9e4.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 12:17:28 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 12:19:36 | × | phma quits (phma@2001:5b0:210b:91b8:23dc:49ad:cfaa:844c) (Read error: Connection reset by peer) |
| 12:20:59 | → | phma joins (phma@2001:5b0:211c:8bf8:1555:98c1:2056:8534) |
| 12:23:54 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) |
| 12:27:12 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 12:27:57 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) (Ping timeout: 240 seconds) |
| 12:28:27 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:28:50 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 12:29:27 | × | raym quits (~raym@user/raym) (Remote host closed the connection) |
| 12:32:11 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:34:30 | → | raym joins (~raym@user/raym) |
| 12:39:48 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 12:45:06 | × | acidjnk_new quits (~acidjnk@p200300d0c71a5a0098935a5ed84a0ff1.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 12:47:38 | → | notzmv joins (~zmv@user/notzmv) |
| 12:49:50 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:50:17 | × | idnar quits (sid12240@debian/mithrandi) (Ping timeout: 250 seconds) |
| 12:51:31 | → | idnar joins (sid12240@debian/mithrandi) |
| 12:53:03 | × | chenqisu1 quits (~chenqisu1@183.217.200.249) (Remote host closed the connection) |
| 12:53:50 | × | ph88^ quits (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 12:54:14 | <romesrf> | o/ |
| 12:55:16 | <[exa]> | \o |
| 12:57:12 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:02:51 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 13:05:57 | → | w1n5t0n joins (~w1n5t0n@87.74.143.200) |
| 13:07:08 | × | mbuf quits (~Shakthi@223.178.123.144) (Quit: Leaving) |
| 13:07:28 | <w1n5t0n> | Hello peeps, I have an issue getting Stack to build a project that, as far as I remember, used to build fine a year or two ago |
| 13:08:02 | <w1n5t0n> | There is a dependency on the package hsndfile, which in turn depends on the C library libsndfile, and during `stack build` I get this: |
| 13:08:03 | <w1n5t0n> | hsndfile > configure |
| 13:08:03 | <w1n5t0n> | hsndfile > Configuring hsndfile-0.8.0... |
| 13:08:04 | <w1n5t0n> | hsndfile > build |
| 13:08:04 | <w1n5t0n> | hsndfile > Preprocessing library for hsndfile-0.8.0.. |
| 13:08:05 | <w1n5t0n> | hsndfile > c2hs: C header contains errors: |
| 13:08:05 | <w1n5t0n> | hsndfile > |
| 13:08:06 | <w1n5t0n> | hsndfile > .stack-work/dist/x86_64-linux-tinfo6/Cabal-2.4.0.1/build/Sound/File/Sndfile/Interface.i:1: (column 1) [ERROR] >>> Lexical error ! |
| 13:08:06 | <w1n5t0n> | hsndfile > The character '#' does not fit here. |
| 13:08:07 | <w1n5t0n> | hsndfile > |
| 13:08:07 | <w1n5t0n> | Progress 1/2 |
| 13:08:08 | <w1n5t0n> | -- While building package hsndfile-0.8.0 (scroll up to its section to see the error) using: |
| 13:08:08 | <w1n5t0n> | /home/w1n5t0n/.stack/setup-exe-cache/x86_64-linux-tinfo6/Cabal-simple_mPHDZzAJ_2.4.0.1_ghc-8.6.5 --builddir=.stack-work/dist/x86_64-linux-tinfo6/Cabal-2.4.0.1 build --ghc-options " -fdiagnostics-color=always" |
| 13:08:09 | <w1n5t0n> | Process exited with code: ExitFailure 1 |
| 13:08:11 | <[exa]> | w1n5t0n: oh please do not paste code here |
| 13:08:21 | <[exa]> | there's pastebin in the /topic :] |
| 13:08:24 | <merijn> | technically that's an error, but yeah :p |
| 13:08:28 | <w1n5t0n> | There is a dependency on the package hsndfile, which in turn depends on the C library libsndfile, and during `stack build` I get this |
| 13:08:38 | <w1n5t0n> | Sorry, tried to edit the message but apparently that's not possible |
| 13:08:52 | <[exa]> | no, sent stuff is sent |
| 13:09:09 | <w1n5t0n> | https://pastebin.com/ZbbHwhHC |
| 13:09:37 | <w1n5t0n> | Sorry I'm a bit stressed at the moment and wasn't thinking straight :( |
| 13:09:45 | <[exa]> | no problem |
| 13:09:57 | <w1n5t0n> | My question is, how can this not work when everything else in the Stack package's configuration has remained the same? |
| 13:10:12 | <w1n5t0n> | Could it have something to do with my local version of the library? |
| 13:10:24 | <[exa]> | are you sure that both c2hs and libsndfile "source" is the same version? |
| 13:10:27 | <merijn> | ah, I see the problem |
| 13:10:34 | <merijn> | c2hs isn't robust |
| 13:10:40 | <romesrf> | (is there an Id for constraints? Id m => m would be the same as m) |
| 13:10:44 | <merijn> | It was never intended as automated translation |
| 13:10:54 | <merijn> | It was a "first pass you fix up manually" kinda tool |
| 13:10:56 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:11:06 | <merijn> | (or was that c2hsc?) |
| 13:11:13 | <c_wraith> | romesrf: there's the empty constraint, () |
| 13:11:20 | <merijn> | Anyway, looks like it's barfing on the syntax of the libsndfile headers |
| 13:11:35 | <merijn> | So your system probably has a newer libsndfile with different headers |
| 13:12:06 | <c_wraith> | romesrf: if you need something with the kind Type -> Constraint you could write a type family that returns () for anything |
| 13:12:14 | <romesrf> | ty c_wraith :) |
| 13:12:58 | <w1n5t0n> | merijn Yes that's what I get from it too. If I were to get an older version of the library locally and add it to the `extra-lib-dirs`, would that take precedence over the system-installed version? |
| 13:13:20 | <merijn> | If you fiddle with all the flags, yes |
| 13:14:03 | <w1n5t0n> | what flags would those be? |
| 13:14:04 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:14:25 | <merijn> | It Depends (TM) |
| 13:14:29 | × | erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 256 seconds) |
| 13:15:08 | <w1n5t0n> | hehe |
| 13:15:40 | → | erisco joins (~erisco@d24-57-249-233.home.cgocable.net) |
| 13:15:43 | <w1n5t0n> | oh god this is turning into a nightmare |
| 13:15:52 | <w1n5t0n> | all I wanted was to be able to write arbitrary floating numbers to a wav file :( |
| 13:16:18 | <w1n5t0n> | I tried using the WAVE library which is Haskell-only and it works well, but doesn't do floats |
| 13:16:35 | <merijn> | tbh, WAVE files are pretty simple |
| 13:16:54 | <merijn> | I recall writing my own implementation in C for a university project |
| 13:17:04 | <merijn> | took less than an afternoon, I think |
| 13:17:10 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:17:54 | <w1n5t0n> | Yes I've heard that, the problem is I haven't written anything like that before and I definitely don't have the time to try my hand at it now if I want to be able to deliver this workshop tomorrow morning |
| 13:22:47 | <leah2> | cant you prescale them? |
| 13:24:01 | <w1n5t0n> | how do you mean? |
| 13:24:05 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:24:08 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 13:24:11 | <leah2> | if the library old does, say, 16-bit WAV |
| 13:24:30 | <leah2> | just multiply the float with 65536 and truncate to integer? |
| 13:25:18 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 13:25:34 | <w1n5t0n> | What I basically want is to be able to take arbitrary Haskell lists, like [1..5000] or [5.1, 5.2..10.0] and write them into wav files in a way that another program (SuperCollider) can read them back and get those exact values |
| 13:26:12 | <w1n5t0n> | This used to work fine with hsndfile, but now with this solution not only will I have to set a fixed range and prescale them, but also change the SuperCollider code so that it knows how to interpret them |
| 13:27:40 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 13:28:11 | × | sprout_ quits (~quassel@2a02:a467:ccd6:1:3933:29:5fe1:cb6b) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 13:29:28 | → | zeenk joins (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 13:30:18 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:32:01 | → | k8yun joins (~k8yun@user/k8yun) |
| 13:33:01 | × | Inoperable quits (~PLAYER_1@fancydata.science) (Read error: Connection reset by peer) |
| 13:33:01 | <[exa]> | w1n5t0n: there might be other libraries for writing wavs, have a look at Codec.Wav, Codec.Audio.Wave (looks newer), and perhaps Sound.Sox.Format |
| 13:35:34 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:36:35 | → | sheb joins (~sheb@31.223.228.71) |
| 13:37:07 | → | Inoperable joins (~PLAYER_1@fancydata.science) |
| 13:37:18 | × | sheb quits (~sheb@31.223.228.71) (Remote host closed the connection) |
| 13:37:43 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 13:38:41 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:39:37 | → | vorpuni joins (~pvorp@2001:861:3881:c690:d322:f659:136d:eef6) |
| 13:41:26 | × | Profpatsch quits (~Profpatsc@static.88-198-193-255.clients.your-server.de) (Ping timeout: 252 seconds) |
| 13:45:57 | <w1n5t0n> | [exa] I can't find Codec.Wav or Codec.Audio.Wave - there's a codec package on hackage but it doesn't seem to have anything to do with wavs |
| 13:46:01 | × | Inoperable quits (~PLAYER_1@fancydata.science) (Ping timeout: 272 seconds) |
| 13:46:34 | <w1n5t0n> | It's quite likely that I just don't understand how hackage works |
| 13:46:57 | → | sprout joins (~quassel@2a02:a467:ccd6:1:3d23:94e0:3c0f:8df3) |
| 13:49:42 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 252 seconds) |
| 13:49:48 | <leah2> | Data.WAVE has a doubleToSample, dont you think that will do the job |
| 13:50:18 | → | dwt_ joins (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 13:50:34 | <[exa]> | w1n5t0n: I meant this pkg https://hackage.haskell.org/package/wave |
| 13:50:43 | <[exa]> | (use hoogle to match packages to modules) |
| 13:51:30 | <w1n5t0n> | leah2 I tried it, it assumes that the doubles are normalised bipolar waves in the range of -1 to 1 |
| 13:51:48 | → | acidjnk joins (~acidjnk@200116b8677273009c8f7d913250827a.dip.versatel-1u1.de) |
| 13:51:59 | <w1n5t0n> | which mine are most often not, so it just chops off everything else |
| 13:52:04 | <leah2> | tbh i dont see much sense in having full floats for a waveform oO |
| 13:53:20 | <w1n5t0n> | It's not for a waveform meant to represent audio, it's for a waveform meant to represent arbitrary signals |
| 13:53:31 | <w1n5t0n> | which are then used to control various arbitrary synthesis parameters |
| 13:53:34 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Remote host closed the connection) |
| 13:53:47 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 13:53:48 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 13:54:04 | <w1n5t0n> | [exa] thanks, that seems like it should work |
| 13:54:59 | → | xkuru joins (~xkuru@user/xkuru) |
| 13:56:58 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:59:36 | <merijn> | How's GHC 9.2 support? Should I have any hope of stuff compiling with 9.2 without too much pain yet? |
| 13:59:49 | → | chomwitt joins (~chomwitt@2a02:587:dc15:800:4308:c5a2:39b7:2fb7) |
| 14:00:03 | × | Ariakenom quits (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 14:00:47 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:02:18 | → | dhil joins (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 14:03:31 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 14:04:20 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 14:06:34 | × | acidjnk quits (~acidjnk@200116b8677273009c8f7d913250827a.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 14:06:49 | → | Inoperable joins (~PLAYER_1@fancydata.science) |
| 14:07:18 | → | deadmarshal joins (~deadmarsh@95.38.231.188) |
| 14:08:54 | <w1n5t0n> | [exa] so apparently Codec.Audio.Wave.writeWaveFile needs me to provide a (Handle -> IO ()) to do the actual writing of the data |
| 14:09:29 | × | vpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 14:09:53 | <w1n5t0n> | Assuming that all the info I passed in the header is correct, would that function just take a float array and write the raw bytes to the handle? |
| 14:09:58 | <w1n5t0n> | I'm just a bit confused as to how to use it |
| 14:11:12 | → | Topsi joins (~Tobias@dyndsl-095-033-091-109.ewe-ip-backbone.de) |
| 14:14:00 | <w1n5t0n> | float list*, sorry |
| 14:14:13 | <geekosaur> | that doesn't look like a writing function. that type looks like all it could do is closethe Handle |
| 14:14:30 | → | AkechiShiro joins (~licht@user/akechishiro) |
| 14:14:50 | <w1n5t0n> | Yes it's a bit confusing, I don't see another "proper" writing function though |
| 14:17:57 | × | xff0x quits (~xff0x@2001:1a81:5290:8400:55c0:f8c1:431:6807) (Ping timeout: 240 seconds) |
| 14:18:35 | → | alx741 joins (~alx741@157.100.197.240) |
| 14:18:59 | <merijn> | geekosaur: Yeah, I saw that API and was like "??" |
| 14:19:03 | <merijn> | I tried looking at the source |
| 14:19:08 | <merijn> | I am still very confused |
| 14:19:53 | → | jgeerds joins (~jgeerds@55d4b9df.access.ecotel.net) |
| 14:19:53 | → | xff0x joins (~xff0x@2001:1a81:5290:8400:55c0:f8c1:431:6807) |
| 14:21:54 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:24:17 | <[exa]> | ah looks like you're supposed to do the writing of the raw data yourself, presumably for efficiency |
| 14:25:19 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) |
| 14:25:31 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 14:29:13 | × | ubert quits (~Thunderbi@86.107.21.10) (Ping timeout: 256 seconds) |
| 14:29:24 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) (Ping timeout: 240 seconds) |
| 14:29:25 | × | ubert1 quits (~Thunderbi@p200300ecdf0994ec6d4ec32f6f41158b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 14:30:20 | → | ubert joins (~Thunderbi@5.253.207.46) |
| 14:31:26 | <w1n5t0n> | Yes, but how does that work? |
| 14:31:42 | <w1n5t0n> | Do I just provide a function that takes the handle and dumps the raw bytes for all the floats in a list? |
| 14:31:56 | ← | coot parts (~coot@213.134.190.95) () |
| 14:31:59 | <w1n5t0n> | I haven't done anything like that before so I'm not really sure how it's meant to work |
| 14:33:47 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 14:34:04 | → | fef joins (~thedawn@user/thedawn) |
| 14:38:16 | → | jtomas joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 14:39:44 | <janus> | merijn: there is one compiler crash that is fixed in 9.0.2 but not in 9.2.1, and it bit swagger2: https://github.com/GetShopTV/swagger2/pull/233#issuecomment-1029462730 |
| 14:39:58 | → | alx741 joins (~alx741@157.100.197.240) |
| 14:40:33 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 14:40:36 | × | `2jt quits (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 14:41:04 | <janus> | funny how that bug appeared just as GHC 9.2.1 enabled PolyKinds by default |
| 14:41:11 | <maerwald[m]> | merijn: i haven't even tried and have little interest in testing any of the 9.x series :o |
| 14:41:41 | <maerwald[m]> | I think only M1 users are excited about ghc 9 |
| 14:42:22 | <merijn> | maerwald[m]: 9 has -XNoFieldSelectors! |
| 14:42:43 | × | Typedfern quits (~Typedfern@75.red-88-22-25.staticip.rima-tde.net) (Ping timeout: 268 seconds) |
| 14:42:43 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:42:49 | <merijn> | And 9.0 had a bunch of performance improvements |
| 14:43:07 | <yushyin> | -XNoFieldSelectors is ♥ |
| 14:43:09 | <janus> | anybody who hates a the giant list of language extensions should love GHC2021 and therefore GHC9.2.1 |
| 14:43:17 | <geekosaur> | and gc improvements |
| 14:43:19 | <merijn> | janus: |
| 14:43:25 | × | texasmynsted_ quits (~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in) |
| 14:43:28 | <merijn> | GHC2021 I find rather unappealing, tbh |
| 14:43:56 | <merijn> | geekosaur: For the normal one or just the new low-latency one? |
| 14:44:02 | × | vorpuni quits (~pvorp@2001:861:3881:c690:d322:f659:136d:eef6) (Remote host closed the connection) |
| 14:44:16 | <geekosaur> | they fixed a shitton of performance issues witrh the parallel gc |
| 14:44:21 | <janus> | everybody disagrees with some part of GHC2021. but i choose to be an optimist ;) |
| 14:44:28 | <merijn> | I don't use the paralle GC anyway, tbh |
| 14:45:28 | <maerwald[m]> | This is why we need --std=haskell2020 flag, so you can update GHC to get platform support improvements, without buying into all the language breaking changes |
| 14:45:53 | <merijn> | maerwald[m]: cabal already does that for you? |
| 14:46:04 | <maerwald[m]> | Huh? |
| 14:46:16 | <merijn> | You can specify default language and just use Haskell2010 |
| 14:46:33 | <merijn> | Just like Haskell98 (and now GHC2021) are options |
| 14:47:02 | <maerwald[m]> | I don't think that does what I meant |
| 14:47:10 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 14:47:12 | <merijn> | What did you mean, then? |
| 14:47:28 | <maerwald[m]> | E.g. in c compilers, compilation will fail if a source file doesn't adhere to the standard |
| 14:48:39 | → | doyougnu joins (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 14:48:42 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 14:48:43 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 14:48:43 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:48:50 | <maerwald[m]> | I want to opt out of ALL language changes |
| 14:50:17 | <maerwald[m]> | E.g. simplified subsumption in ghc 9.0.1 |
| 14:51:39 | × | off^ quits (~off@12.163.216.98) (Remote host closed the connection) |
| 14:52:05 | → | off^ joins (~off@12.163.216.98) |
| 14:52:22 | × | hololeap quits (~hololeap@user/hololeap) (Quit: Bye) |
| 14:53:33 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 14:54:11 | <janus> | is simplified subsumption something haskell98 users can encounter? |
| 14:54:57 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 14:54:58 | <geekosaur> | yes |
| 14:55:02 | × | jgeerds quits (~jgeerds@55d4b9df.access.ecotel.net) (Ping timeout: 272 seconds) |
| 14:55:05 | <maerwald[m]> | I think it's just underspecified |
| 14:55:08 | → | Typedfern joins (~Typedfern@170.red-88-24-162.staticip.rima-tde.net) |
| 14:55:20 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 14:55:43 | <janus> | ooh, so with a sufficiently specified language, you'd get what you want, maerwald? |
| 14:55:58 | × | chomwitt quits (~chomwitt@2a02:587:dc15:800:4308:c5a2:39b7:2fb7) (Ping timeout: 250 seconds) |
| 14:56:09 | <janus> | but nobody is interested in pinning down these aspects, i guess |
| 14:56:20 | <maerwald[m]> | Yes, I want to get bugfixes and platform improvements, but I don't care for any of the language changes |
| 14:56:39 | <maerwald[m]> | I thinl there is interest, it's just an insane amount of work |
| 14:57:22 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 14:57:37 | <geekosaur> | simplified subsumption and parsing changes are things that aren't hidden behind LANGUAGE pragmas |
| 14:57:57 | <geekosaur> | (spaces are significant in more places) |
| 14:59:29 | <maerwald[m]> | The alternative would be to do GHC LTS and burn out backporting things between GHC HEAD and 8.10.x |
| 15:00:28 | → | alx741 joins (~alx741@181.199.42.143) |
| 15:01:55 | <janus> | maerwald[m]: which is the most haskell-like language that is totally specified as you wish for? you mentioned C but i wonder which others there are |
| 15:02:23 | <maerwald[m]> | C is not really well specified xD |
| 15:03:13 | <merijn> | maerwald[m]: It is "well specified", it's just not specified "well" :p |
| 15:03:30 | <maerwald[m]> | Afair even pointers are implementation defined |
| 15:03:47 | <merijn> | Ah...persistent doesn't support GHC 9.0, lemme nope the fuck out of supporting 9.x for this code... |
| 15:05:39 | <maerwald[m]> | merijn: https://github.com/yesodweb/persistent/pull/1265 |
| 15:05:49 | <maerwald[m]> | Seems supported |
| 15:06:30 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 15:06:47 | <maerwald[m]> | janus: well, I don't care for specifications much, except that they are a proxy for stability |
| 15:07:18 | <merijn> | maerwald[m]: No, because it doesn't support template-haskell 2.18, which ships with 9.2 |
| 15:07:38 | <merijn> | oh, I typed 9.0 instead of 9.2 |
| 15:07:43 | <maerwald[m]> | merijn: https://github.com/yesodweb/persistent/pull/1338 |
| 15:08:15 | <merijn> | Yeah, but I spent 5 years babysitting persistent updates until things were fixed for me |
| 15:08:20 | <hud> | Hello, trying to create haddock docs according to https://github.com/coot/haddock-example - does anyone know where ghcup installs the haddock-api resource directory |
| 15:08:38 | <merijn> | I'll just deem GHC 8.10 the canonical only supported GHC version before archiving this stuff |
| 15:08:42 | <maerwald[m]> | hud: which ghc version? |
| 15:11:28 | × | w1n5t0n quits (~w1n5t0n@87.74.143.200) (Ping timeout: 256 seconds) |
| 15:12:25 | <hud> | 8.10.7 |
| 15:12:25 | <maerwald[m]> | hud: here is a list of installed files https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/.gitlab/ghc-8.10.3-linux.files |
| 15:13:01 | <maerwald[m]> | So somewhere in ~/.ghcup/ghc/8.10.7 |
| 15:14:01 | → | hololeap joins (~hololeap@user/hololeap) |
| 15:14:33 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 15:17:10 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 15:17:23 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 15:18:04 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 15:21:43 | → | vorpuni joins (~pvorp@2001:861:3881:c690:d322:f659:136d:eef6) |
| 15:21:49 | <hud> | cheers maerwald! |
| 15:22:52 | × | k8yun quits (~k8yun@user/k8yun) (Read error: Connection reset by peer) |
| 15:23:15 | → | k8yun joins (~k8yun@user/k8yun) |
| 15:23:24 | × | deadmarshal quits (~deadmarsh@95.38.231.188) (Ping timeout: 240 seconds) |
| 15:23:25 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 15:23:26 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 15:23:26 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:23:36 | → | jao joins (~jao@68.235.43.172) |
| 15:23:53 | → | alx741 joins (~alx741@157.100.197.240) |
| 15:24:08 | × | vorpuni quits (~pvorp@2001:861:3881:c690:d322:f659:136d:eef6) (Client Quit) |
| 15:24:17 | → | etadifficult joins (~etadiffic@95.155.49.108) |
| 15:24:23 | → | vorpuni joins (~pvorp@2001:861:3881:c690:d322:f659:136d:eef6) |
| 15:25:44 | etadifficult | is now known as exadifficult |
| 15:27:31 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 15:27:52 | × | vorpuni quits (~pvorp@2001:861:3881:c690:d322:f659:136d:eef6) (Client Quit) |
| 15:27:59 | → | deadmarshal joins (~deadmarsh@95.38.231.188) |
| 15:28:08 | → | vorpuni joins (~pvorp@2001:861:3881:c690:d322:f659:136d:eef6) |
| 15:28:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 15:30:12 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 240 seconds) |
| 15:30:37 | × | gmc quits (sid58314@id-58314.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
| 15:30:37 | × | gregberns__ quits (sid315709@id-315709.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 15:31:03 | → | gregberns__ joins (sid315709@id-315709.helmsley.irccloud.com) |
| 15:31:04 | → | gmc joins (sid58314@id-58314.ilkley.irccloud.com) |
| 15:31:11 | × | iphy quits (sid67735@id-67735.lymington.irccloud.com) (Ping timeout: 245 seconds) |
| 15:31:20 | → | taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com) |
| 15:31:24 | × | rtpg quits (sid443069@id-443069.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
| 15:31:24 | × | alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 240 seconds) |
| 15:32:04 | → | alanz joins (sid110616@id-110616.uxbridge.irccloud.com) |
| 15:32:04 | → | rtpg joins (sid443069@id-443069.ilkley.irccloud.com) |
| 15:33:40 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:34:09 | → | acidjnk joins (~acidjnk@200116b8677273009c8f7d913250827a.dip.versatel-1u1.de) |
| 15:34:21 | → | iphy joins (sid67735@id-67735.lymington.irccloud.com) |
| 15:36:13 | × | alp quits (~alp@user/alp) (Remote host closed the connection) |
| 15:38:12 | → | alp joins (~alp@user/alp) |
| 15:40:58 | → | Guest89 joins (~Guest89@2a01:41e1:45f8:d600:cf73:c87f:80cc:d6bb) |
| 15:44:40 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 15:45:17 | → | alx741 joins (~alx741@157.100.197.240) |
| 15:46:18 | × | deadmarshal quits (~deadmarsh@95.38.231.188) (Ping timeout: 256 seconds) |
| 15:48:57 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 15:50:21 | × | off^ quits (~off@12.163.216.98) (Remote host closed the connection) |
| 15:50:23 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:52:41 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:3279:5094:80d0:564b) (Quit: WeeChat 2.8) |
| 15:55:33 | → | arcadiancomp joins (~anon626@96-91-245-193-static.hfc.comcastbusiness.net) |
| 15:55:48 | → | jacobjacobjacob joins (~jacobjaco@207.38.150.86) |
| 15:57:07 | → | Midjak joins (~Midjak@82.66.147.146) |
| 16:01:19 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 16:02:39 | → | dolio joins (~dolio@130.44.130.54) |
| 16:05:18 | → | alx741 joins (~alx741@157.100.197.240) |
| 16:08:31 | × | jacobjacobjacob quits (~jacobjaco@207.38.150.86) (Quit: Client closed) |
| 16:08:45 | → | jacobjacobjacob joins (~jacobjaco@207.38.150.86) |
| 16:08:57 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 16:09:12 | × | acidjnk quits (~acidjnk@200116b8677273009c8f7d913250827a.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 16:10:12 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 16:10:27 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 16:10:47 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 16:11:01 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 16:14:10 | × | jacobjacobjacob quits (~jacobjaco@207.38.150.86) (Quit: Client closed) |
| 16:14:11 | → | arjun joins (~user@user/arjun) |
| 16:14:32 | → | jcob joins (~jcob@207.38.150.86) |
| 16:15:10 | → | acidjnk joins (~acidjnk@200116b8677273009c8f7d913250827a.dip.versatel-1u1.de) |
| 16:18:12 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 240 seconds) |
| 16:18:12 | × | teehemkay_ quits (sid14792@id-14792.lymington.irccloud.com) (Ping timeout: 240 seconds) |
| 16:18:42 | → | teehemkay_ joins (sid14792@id-14792.lymington.irccloud.com) |
| 16:19:36 | → | taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com) |
| 16:21:49 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 16:23:25 | × | tdammers quits (~tdammers@77.109.72.177.res.static.edpnet.net) (Ping timeout: 240 seconds) |
| 16:25:37 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 16:26:42 | → | alx741 joins (~alx741@157.100.197.240) |
| 16:26:50 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) |
| 16:27:13 | → | deadmarshal joins (~deadmarsh@95.38.231.188) |
| 16:28:23 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 16:29:30 | → | Ariakenom joins (~Ariakenom@2001:9b1:efe:9d00:e8b6:fb9b:140c:6089) |
| 16:30:04 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 16:30:57 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) (Ping timeout: 240 seconds) |
| 16:31:07 | × | teehemkay_ quits (sid14792@id-14792.lymington.irccloud.com) (Ping timeout: 256 seconds) |
| 16:31:23 | → | teehemkay_ joins (sid14792@id-14792.lymington.irccloud.com) |
| 16:32:26 | × | aeka quits (~aeka@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:33:53 | × | deadmarshal quits (~deadmarsh@95.38.231.188) (Ping timeout: 256 seconds) |
| 16:35:48 | → | considerate[m] joins (~considera@2001:470:69fc:105::1:c2aa) |
| 16:36:33 | → | tdammers joins (~tdammers@77.109.72.177.res.static.edpnet.net) |
| 16:37:14 | → | aeka joins (~aeka@user/hiruji) |
| 16:39:38 | → | Ariakenom_ joins (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
| 16:43:23 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 16:43:50 | × | Ariakenom quits (~Ariakenom@2001:9b1:efe:9d00:e8b6:fb9b:140c:6089) (Ping timeout: 260 seconds) |
| 16:47:47 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) |
| 16:48:02 | geekosaur | is now known as sequell-clippy |
| 16:48:06 | → | alx741 joins (~alx741@181.199.42.143) |
| 16:50:39 | → | alt-romes joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 16:51:26 | sequell-clippy | is now known as geekosaur |
| 16:51:26 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 16:53:29 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 16:54:03 | <justsomeguy> | I couldn't figure out how to implement reverse without using (++), so I looked it up, and now I feel dumb for not coming up with it on my own. |
| 16:56:04 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 16:58:41 | → | rusrushal13 joins (~rusrushal@103.85.18.43) |
| 16:59:53 | → | deadmarshal joins (~deadmarsh@95.38.231.188) |
| 17:00:46 | → | little_mac joins (~little_ma@2601:410:4300:3ce0:3581:2989:c5ee:9353) |
| 17:01:05 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 17:01:57 | × | alt-romes quits (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 17:03:27 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 17:04:17 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 17:05:42 | <merijn> | It happens :) |
| 17:05:51 | <vaibhavsagar[m]> | there are several things in Haskell that make me feel like this, such as implementing continuations and implementing `foldl` in terms of `foldr` |
| 17:05:51 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) (Remote host closed the connection) |
| 17:06:07 | <merijn> | vaibhavsagar[m]: "staring at ContT"? |
| 17:06:15 | × | jcob quits (~jcob@207.38.150.86) (Quit: Client closed) |
| 17:06:48 | <vaibhavsagar[m]> | yeah, I mean rewriting it on my own without looking at the source beforehand |
| 17:07:14 | <vaibhavsagar[m]> | and then when I finally reference it it's like "oh, of course" |
| 17:07:21 | <merijn> | I will never not be confused by ContT :p |
| 17:07:43 | <geekosaur> | I worked it through once.I plan to not need to do so again |
| 17:08:28 | → | lottaquestions_ joins (~nick@2607:fa49:5041:a200:60ac:5115:d501:c1e2) |
| 17:08:33 | <merijn> | geekosaur: For me it's just an infinite loop of "I don't understand this" -> "oh, this makes sense" -> '...wait' -> "????" -> repeat |
| 17:08:35 | → | alx741 joins (~alx741@181.199.42.143) |
| 17:08:42 | <vaibhavsagar[m]> | https://www.haskellforall.com/2014/04/how-continuation-monad-works.html is my farouvite |
| 17:08:53 | <vaibhavsagar[m]> | typed holes are nice too for this https://vaibhavsagar.com/blog/2017/05/22/discovering-continuations/ |
| 17:11:38 | → | zebrag joins (~chris@user/zebrag) |
| 17:11:55 | × | acidjnk quits (~acidjnk@200116b8677273009c8f7d913250827a.dip.versatel-1u1.de) (Ping timeout: 256 seconds) |
| 17:15:01 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 17:15:36 | <sm> | merijn: argh that's too familiar |
| 17:16:15 | <sm> | sounds like my week |
| 17:18:06 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 17:18:42 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 17:18:58 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 17:21:00 | × | deadmarshal quits (~deadmarsh@95.38.231.188) (Ping timeout: 240 seconds) |
| 17:23:16 | → | alt-romes joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 17:23:26 | × | turlando quits (~turlando@user/turlando) (Quit: turlando) |
| 17:24:40 | → | Tuplanolla joins (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 17:26:01 | × | alphabeta quits (~kilolympu@vpn-fn-230.net.ed.ac.uk) (Ping timeout: 256 seconds) |
| 17:26:43 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 17:26:43 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 17:26:43 | → | turlando joins (~turlando@user/turlando) |
| 17:28:12 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 17:28:33 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 17:28:36 | → | acidjnk joins (~acidjnk@200116b8677273009c8f7d913250827a.dip.versatel-1u1.de) |
| 17:28:37 | × | hueso quits (~root@user/hueso) (Quit: hueso) |
| 17:29:41 | → | kilolympus joins (~kilolympu@vpn-fn-230.net.ed.ac.uk) |
| 17:31:05 | → | jackson99 joins (~bc8147f2@cerf.good1.com) |
| 17:32:40 | → | bjobjo joins (~bjobjo@user/bjobjo) |
| 17:33:05 | <chronon> | As I am just starting out on my Haskell learning adventure, I am wondering what I actually need to install to be able to try out tutorial examples. |
| 17:33:30 | <chronon> | On my Ubuntu system I see packages for ghc and also haskell-platform and similar. |
| 17:33:34 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 17:34:04 | <chronon> | What would be a good starting point for a hassle-free batteries included kind of experience. |
| 17:34:44 | → | alx741 joins (~alx741@157.100.197.240) |
| 17:35:18 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 17:35:21 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Read error: Connection reset by peer) |
| 17:35:33 | <geekosaur> | there isn't really a batteries-included setup, but both stack and cabal manage the batteries for you so you usually don't need to care |
| 17:35:36 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 17:35:40 | <vaibhavsagar[m]> | chronon: `ghcup` |
| 17:36:14 | <geekosaur> | we usually start with ghcup. install a ghc version (typically 8.10.7 as the ecosystem is still adapting to 9.x) and either stack or cabal (which is up to personal taste) |
| 17:36:15 | <vaibhavsagar[m]> | it should install `ghc` and `cabal-install` (or `stack`) for you, and then you're off to the races |
| 17:36:26 | <geekosaur> | stack and cabal both manage libraries for ypu |
| 17:37:11 | <geekosaur> | personally I prefer cabal-install. others prefer stack. (it's about a 50-50 split) |
| 17:37:12 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 17:37:15 | <chronon> | Ok, I see a debian package called haskell-stack. |
| 17:37:30 | × | acidjnk quits (~acidjnk@200116b8677273009c8f7d913250827a.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 17:37:36 | <chronon> | There is no package called ghcup |
| 17:37:55 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 17:38:01 | <[exa]> | chronon: ghcup is like a rustup, a small maintenance thingy that manages your local installation of the ghc and tooling around |
| 17:38:30 | <geekosaur> | and debian is as usualancient and won't have it |
| 17:38:49 | <Clint> | and doesn't need to because you can just `apt install ghc cabal-install ` |
| 17:39:03 | <geekosaur> | https://www.haskell.org/ghcup/install/ |
| 17:39:14 | <[exa]> | chronon: this way it dodges the concerns of debian packaging (that usually prefers to have an older ghc and a different management of packages) |
| 17:39:23 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:a0be:91d2:ac63:61de) |
| 17:39:31 | <chronon> | I see. I'm folloing that link now.. |
| 17:40:11 | <[exa]> | otoh honestly, ghc and cabal-install from debian could work at least for the first few days... at least until you hit the first packaging incompatibility with debian :D |
| 17:40:12 | <chronon> | I generally prefer to lean on my package manager for an easy life, but if it's all too out of date... |
| 17:40:39 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 17:40:42 | <Clint> | depends how you define "out of date" |
| 17:41:29 | <chronon> | Wait, is this ghcup thing going to create containers, and manage different versions of ghc in a way that prevents me from just maintaining a single version system-wide? |
| 17:41:53 | <sclv> | it installs ghc versions in ~/.ghcup |
| 17:42:01 | <[exa]> | chronon: it installs a single-user version into a single well-maintainable directory |
| 17:42:05 | <sclv> | and lets you manage which version is in your path |
| 17:42:09 | <Clint> | there's also https://launchpad.net/~hvr/+archive/ubuntu/ghc if you need "bleeding edge" |
| 17:43:04 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 17:43:06 | <sclv> | the hvr ppa used to be good, but it no longer gets bleeding edge updates |
| 17:43:18 | <sclv> | so its no longer a top choice pick, sadly |
| 17:43:32 | <chronon> | I've traditionally preferred to maintain a single stable version (of nearly everything) system wide rather than try to have special bleeding edge stuff in different environments. I'm not a bleeding edge kinda guy by nature. |
| 17:44:00 | <Clint> | i'm still on 8.8 since more than one of my dependencies doesn't work with newer ghc yet |
| 17:45:33 | <chronon> | What is the main difference between cabal and stack, and how does ghcup relate? (Sorry if these are dumb questions.) |
| 17:45:45 | <geekosaur> | ghcup is just an installer |
| 17:45:48 | <sclv> | ghcup is just a tool to ease installation and management of other tools |
| 17:45:54 | <sclv> | the core choice is cabal and stack |
| 17:46:03 | <chronon> | Ok |
| 17:46:18 | <sclv> | stack is designed to use only a fixed set of libraries at fixed versions (stackage) |
| 17:46:21 | <chronon> | And the difference? The reasons one might choose one over the other? |
| 17:46:36 | <sclv> | cabal is designed to let you use all libraries, at all versions, and runs a solver to figure out compatible plans. |
| 17:47:02 | <chronon> | Wow, you need a solver to make things compatible? |
| 17:47:14 | <sclv> | chronon: well that's no different than any os distro |
| 17:47:32 | <sclv> | all modern package managers run solvers under the ood |
| 17:47:57 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 17:48:22 | <chronon> | Typically, a Linux package manager is able to use the latest versions of packages, because typically people don't break backwards compatibility (or at least only do so temprarily) |
| 17:49:04 | <sclv> | "typically" is because the distro packages are all maintained by a huge team of volunteers. |
| 17:49:07 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) |
| 17:49:17 | <sclv> | and they still mainly use solvers because "typical" isn't always. |
| 17:49:31 | <chronon> | But if cabal is going to let this total newb get things done without having to fix complex module compatibility issues, I guess I should place my trust in it. |
| 17:49:35 | → | trriplex joins (~trriplex@user/trriplex) |
| 17:49:38 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 17:49:48 | <geekosaur> | and if you pay attention you''ll notice that for example a lot of distros took a lot of time to move to ncurses 6 because of all the breakage |
| 17:49:56 | <sclv> | cabal is the easiest way if you want to use any old (not bitrotted) package off the main package repository to experiment. |
| 17:50:43 | <chronon> | Ok, so do I apt install the package called cabal-install first? |
| 17:51:14 | <sclv> | chronon: if you want to stick to just what your system provides without newer versions, then just apt installing ghc and cabal-install will suffice. |
| 17:51:42 | <chronon> | It seems to have dpendencies on ghc v8.8.1 and libncurses5 amongst a few other things. |
| 17:51:46 | × | yauhsienhuangtw quits (~Yau-Hsien@61-231-37-106.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 17:51:59 | <sclv> | ok so then it'll pull in ghc for you too, which is fine. |
| 17:52:05 | <geekosaur> | that sounds very debian :) |
| 17:52:18 | <sclv> | note that 8.8 is at the tail end of "ghc that people still actively use and support" |
| 17:52:19 | <chronon> | Ok, I'll start there. Thanks. |
| 17:52:26 | <sclv> | but for learning it should be fine! |
| 17:52:42 | × | Guest89 quits (~Guest89@2a01:41e1:45f8:d600:cf73:c87f:80cc:d6bb) (Quit: Client closed) |
| 17:53:11 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 17:54:29 | → | econo joins (uid147250@user/econo) |
| 17:54:36 | <chronon> | It's installed. Do I need any further step, libraries, docs, etc? |
| 17:55:01 | <sclv> | nope. |
| 17:55:14 | → | alx741 joins (~alx741@181.199.42.143) |
| 17:55:16 | <sclv> | if you have ghci in your path, try to launch it, and you'll have a repl |
| 17:55:30 | <sclv> | you can enter a new project directory and run `cabal init` to create a project, and start experimenting. |
| 17:56:03 | <sclv> | chronon: which version of cabal-install did you get by the way? |
| 17:56:41 | <chronon> | It says 2.4.0 |
| 17:56:44 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:56:46 | <chronon> | Is that good enough? |
| 17:57:23 | <sclv> | errr... i'd recommend something in the 3.0 series |
| 17:57:33 | <chronon> | Yes, I have ghc and ghci in my path. What's the difference? |
| 17:57:52 | <sclv> | ghc is a compiler, ghci launches a python-style interactive repl |
| 17:58:04 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 17:58:25 | <sclv> | you can always just download a generic unix compat cabal-install binary from https://www.haskell.org/cabal/download.html |
| 17:58:42 | → | alx741 joins (~alx741@157.100.197.240) |
| 17:58:53 | <chronon> | Is it possible to run Haskell as an interpreter, ie. using shebang lines #!/usr/bin/ghc or similar? |
| 17:59:02 | <[exa]> | yes, there's ghci |
| 17:59:11 | <geekosaur> | sounds more like runhaskell |
| 17:59:25 | <chronon> | So that would be #!/usr/bin/ghci at the top of the script? |
| 17:59:28 | <geekosaur> | cabal and stack also have "script mode" |
| 17:59:45 | <sclv> | (using cabal 2.4, the commands people describe as modern cabal commands are still going to need to be prefixed with `v2` so you'll need to run `v2-build` instead of `build` etc to get more modern behavior) |
| 18:00:01 | <chronon> | Oh. |
| 18:00:05 | × | alp quits (~alp@user/alp) (Ping timeout: 256 seconds) |
| 18:00:25 | <sclv> | not ghci. ghci is an interactive setting where you type and it responds. you would put runhaskell at the top of the script, iirc. |
| 18:00:27 | <chronon> | Hmm, is there a PPA fr more up to date package versions maybe? |
| 18:00:33 | <sclv> | yes -- somebody linked above |
| 18:00:50 | <sclv> | https://launchpad.net/~hvr/+archive/ubuntu/ghc |
| 18:01:04 | <chronon> | Ah, ok. Then perhaps that's my best approach. |
| 18:01:05 | <sclv> | its not super up to date, but certainly more up to date than what you're going to get from debian directly |
| 18:03:52 | <chronon> | I notice there's a ghc-doc tool that was not brought in as a dependency. I assume that's a perldoc, pydoc kind of tool that I would likely need. Right? |
| 18:04:03 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 18:04:04 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 18:04:04 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:04:27 | × | trriplex quits (~trriplex@user/trriplex) (Quit: Leaving) |
| 18:04:27 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:05:49 | <sclv> | i think that's just docs for ghc |
| 18:05:51 | <sclv> | you can find them online |
| 18:06:01 | <sclv> | the tool we use for documentation is called "haddock" and it should come with ghc? |
| 18:06:23 | <sclv> | or cabal should be able to pull it in for builds as needed |
| 18:06:43 | <sclv> | i think its much better at this point if you just start doing stuff and learning |
| 18:06:49 | <sclv> | and then discover what else you may want as you go. |
| 18:07:04 | → | alp joins (~alp@user/alp) |
| 18:08:00 | <sm> | stack's shebang support is the most mature, see "stack script interpreter" in manual |
| 18:08:18 | <sclv> | at this point i think cabal's is just as nice as stacks's |
| 18:08:54 | <sclv> | the differences that exist are in philosophy not features |
| 18:08:54 | <sm> | does it avoid compiling each time, sclv ? |
| 18:09:05 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 18:09:09 | <sclv> | we have a pr merged that does that now. |
| 18:09:23 | <sm> | ok.. not released yet ? |
| 18:09:24 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 18:09:32 | <sclv> | released in HEAD :-P |
| 18:09:53 | <sm> | 👍🏻😎 |
| 18:10:14 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) (Remote host closed the connection) |
| 18:14:57 | <chronon> | I prefer having local docs. I don't like to be too dependent on an internet connection for getting work done. Also local docs can be grepped and scanned in ways that someone else's website can't. |
| 18:15:18 | <monochrom> | haddock comes with GHC, and you are really better off using the haddock that comes with GHC as a matter of pairing. |
| 18:17:11 | <chronon> | Ok, and I see that the PPA contains cabal-install various versions, then cabal-install-head which I presume to be latest. Is that the one I want? |
| 18:17:37 | <sclv> | no, just pick the latest actually numbered version. |
| 18:18:02 | <sclv> | head would, I believe, be the one from the github repo, last time the ppa actually was updated (which is not continously) |
| 18:18:08 | <chronon> | The PPA has various versions of GHC up to 9.0.1 what might be the problem with the latest? |
| 18:18:25 | <sclv> | on linux you're fine with the that |
| 18:18:43 | × | Major_Biscuit quits (~MajorBisc@c-001-017-054.client.tudelft.eduvpn.nl) (Ping timeout: 256 seconds) |
| 18:18:51 | <sclv> | a lot of production code is still stabilized on 8.10.7 too |
| 18:19:06 | <geekosaur> | the main feature of 9.2.1 is native support for Apple M1 |
| 18:19:17 | <chronon> | And you would recommend cabal-install-3.4 rather than cabal-install-latest? |
| 18:19:26 | <sclv> | latest is fine, should be an alias |
| 18:19:54 | → | deadmarshal joins (~deadmarsh@95.38.231.188) |
| 18:20:16 | <chronon> | Right. |
| 18:20:46 | <chronon> | Actually I meant ..-head not ..-latest but same thing I presume. |
| 18:21:49 | → | alphabeta joins (~kilolympu@31.205.200.235) |
| 18:21:52 | <sclv> | no, don't use head. |
| 18:22:04 | → | alx741 joins (~alx741@157.100.197.240) |
| 18:22:06 | <sclv> | head is not a named release. it is built directly from the github development repo |
| 18:22:07 | × | kilolympus quits (~kilolympu@vpn-fn-230.net.ed.ac.uk) (Ping timeout: 256 seconds) |
| 18:22:25 | <sclv> | use the latest numbered release |
| 18:22:30 | → | acidjnk joins (~acidjnk@200116b8677273009c8f7d913250827a.dip.versatel-1u1.de) |
| 18:22:31 | <chronon> | Oh, I'll rollback... |
| 18:23:21 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 18:24:41 | × | deadmarshal quits (~deadmarsh@95.38.231.188) (Ping timeout: 272 seconds) |
| 18:26:31 | → | prolic joins (~prolic@181.122.131.227) |
| 18:26:32 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:27:26 | × | acidjnk quits (~acidjnk@200116b8677273009c8f7d913250827a.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 18:28:05 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 18:28:06 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 18:28:56 | <chronon> | I now have /opt/cabal/bin containing cabal, and /opt/ghc/bin contining ghc AND cabal. Presumably it is sufficient to add only /opt/ghc/bin to my $PATH |
| 18:29:54 | <sclv> | yes, this is what the documentation describes on the ppa page. |
| 18:30:40 | <chronon> | Ah, so it does. :) |
| 18:30:55 | <chronon> | I should rtfm clearly. |
| 18:31:19 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 18:34:25 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 18:36:32 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 18:43:05 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Remote host closed the connection) |
| 18:43:33 | <chronon> | All setup nicely now. Thanks all. |
| 18:43:54 | → | Null_A joins (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 18:44:36 | → | alx741 joins (~alx741@157.100.197.240) |
| 18:45:16 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 18:46:17 | → | Batzy joins (~quassel@user/batzy) |
| 18:47:24 | × | jao quits (~jao@68.235.43.172) (Ping timeout: 240 seconds) |
| 18:49:55 | → | notzmv joins (~zmv@user/notzmv) |
| 18:50:28 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:56:24 | → | yauhsien joins (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) |
| 18:57:48 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 18:58:53 | → | wonko_ joins (~wjc@2a0e:1c80:11::50) |
| 19:00:14 | × | Null_A quits (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 19:00:24 | × | rusrushal13 quits (~rusrushal@103.85.18.43) (Ping timeout: 256 seconds) |
| 19:00:29 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 19:01:31 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 256 seconds) |
| 19:03:34 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 19:04:28 | → | hololeap joins (~hololeap@user/hololeap) |
| 19:05:07 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 19:06:56 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b580:ab83:1b56:af3b) |
| 19:08:02 | → | alx741 joins (~alx741@157.100.197.240) |
| 19:10:51 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Remote host closed the connection) |
| 19:11:30 | × | yauhsien quits (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 19:11:44 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 19:12:20 | → | yauhsien joins (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) |
| 19:17:05 | × | yauhsien quits (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 19:25:19 | → | c209e6dc-4d76-47 joins (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 19:25:37 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:26:37 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 19:29:25 | → | alx741 joins (~alx741@181.199.42.143) |
| 19:31:00 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Ping timeout: 240 seconds) |
| 19:31:27 | × | alt-romes quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 19:32:55 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 19:34:36 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 19:35:16 | → | acidjnk joins (~acidjnk@200116b86772730041d55f290efc04ff.dip.versatel-1u1.de) |
| 19:36:09 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 19:40:20 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 19:40:34 | × | arjun quits (~user@user/arjun) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 19:41:31 | × | acidjnk quits (~acidjnk@200116b86772730041d55f290efc04ff.dip.versatel-1u1.de) (Ping timeout: 256 seconds) |
| 19:42:32 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:43:51 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 19:45:16 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:46:06 | → | shiraeeshi joins (~shiraeesh@109.166.56.8) |
| 19:50:07 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 19:50:27 | <romesrf> | hi |
| 19:50:29 | → | alx741 joins (~alx741@157.100.197.240) |
| 19:50:47 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 19:50:51 | <romesrf> | i'm trying to make a Digest SHA256 out of a hash, but I always get "Nothing" |
| 19:51:06 | <romesrf> | digestFromByteString ("f9c5215545f1ab634bfed5e795815395840fac03848fb59d095ba32d12b061dca" :: ByteString) :: Maybe (Digest SHA256) |
| 19:51:22 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 19:55:03 | <joel135> | https://hackage.haskell.org/package/cryptonite-0.29/docs/Crypto-Hash.html ? |
| 19:55:36 | <tomsmeding> | romesrf: perhaps you need to hex decode first? |
| 19:56:00 | <tomsmeding> | the fact that it is a bytestring and not a String or Text makes it likely that it expects the digest in byte form |
| 19:56:37 | × | shailangsa quits (~shailangs@host86-186-127-164.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 19:59:01 | <romesrf> | ah! right, f9 should be f9 not ascii values for f9 |
| 19:59:07 | <romesrf> | ty :) |
| 20:01:09 | → | jao joins (~jao@static-68-235-44-54.cust.tzulo.com) |
| 20:01:46 | <tomsmeding> | sclv: is that https://github.com/haskell/cabal/pull/7851 ? |
| 20:02:12 | tomsmeding | is excited for caching script support |
| 20:02:13 | × | Topsi quits (~Tobias@dyndsl-095-033-091-109.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 20:02:37 | × | k8yun quits (~k8yun@user/k8yun) (Read error: Connection reset by peer) |
| 20:03:34 | → | Null_A joins (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 20:05:24 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 20:05:33 | × | juhp quits (~juhp@128.106.188.82) (Ping timeout: 256 seconds) |
| 20:06:49 | → | juhp joins (~juhp@128.106.188.82) |
| 20:07:29 | → | alx741 joins (~alx741@157.100.197.240) |
| 20:09:37 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 20:10:35 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 20:16:09 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 20:17:49 | → | deadmarshal joins (~deadmarsh@95.38.231.188) |
| 20:27:18 | → | prolic joins (~prolic@181.122.131.227) |
| 20:28:26 | → | waleee joins (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 20:29:06 | → | alx741 joins (~alx741@157.100.197.240) |
| 20:30:09 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 20:30:15 | × | econo quits (uid147250@user/econo) (Ping timeout: 256 seconds) |
| 20:31:16 | → | econo joins (uid147250@user/econo) |
| 20:33:20 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 20:35:34 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 20:35:52 | → | prolic joins (~prolic@181.122.131.227) |
| 20:37:32 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 20:37:51 | → | prolic joins (~prolic@181.122.131.227) |
| 20:39:23 | → | shailangsa joins (~shailangs@host86-186-127-164.range86-186.btcentralplus.com) |
| 20:40:36 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:a0be:91d2:ac63:61de) (Ping timeout: 240 seconds) |
| 20:41:36 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 20:41:42 | → | hueso joins (~root@user/hueso) |
| 20:43:47 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 20:47:09 | → | jgeerds joins (~jgeerds@55d4b9df.access.ecotel.net) |
| 20:49:11 | → | pavonia joins (~user@user/siracusa) |
| 20:50:31 | <shiraeeshi> | btw |
| 20:51:15 | <shiraeeshi> | every time I run "stack new some-project" stack downloads something |
| 20:51:39 | → | alx741 joins (~alx741@181.199.42.143) |
| 20:51:47 | <shiraeeshi> | is there a way to cache that thing that it downloads? |
| 20:52:34 | <shiraeeshi> | so that I can create projects even with no internet connection |
| 20:53:00 | → | acidjnk joins (~acidjnk@200116b86772730041d55f290efc04ff.dip.versatel-1u1.de) |
| 20:53:55 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 20:54:52 | <janus> | shiraeeshi: looks like no: https://github.com/commercialhaskell/stack/issues/1594 |
| 20:55:35 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 20:57:08 | <shiraeeshi> | that's weird |
| 20:57:35 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 20:58:26 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 20:59:43 | × | acidjnk quits (~acidjnk@200116b86772730041d55f290efc04ff.dip.versatel-1u1.de) (Ping timeout: 256 seconds) |
| 20:59:50 | <shiraeeshi> | I guess I can create a project using "stack new", then stash it somewhere, that way I can copy a folder and replace the project name using sed or something |
| 21:01:54 | <shiraeeshi> | or I can create a folder and then run "stack init", right? |
| 21:04:28 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 21:04:46 | → | prolic joins (~prolic@181.122.131.227) |
| 21:06:28 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 21:06:47 | → | prolic joins (~prolic@181.122.131.227) |
| 21:09:51 | × | dolio quits (~dolio@130.44.130.54) (Ping timeout: 256 seconds) |
| 21:10:57 | → | alx741 joins (~alx741@157.100.197.240) |
| 21:11:43 | → | dolio joins (~dolio@130.44.130.54) |
| 21:12:06 | × | vorpuni quits (~pvorp@2001:861:3881:c690:d322:f659:136d:eef6) (Ping timeout: 250 seconds) |
| 21:12:13 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:12:38 | × | hueso quits (~root@user/hueso) (Quit: hueso) |
| 21:13:03 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 21:14:24 | × | jtomas quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 21:14:35 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 21:16:10 | <maerwald> | wouldn't be surprised if stack also uploads usage statistics |
| 21:16:15 | × | c209e6dc-4d76-47 quits (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 21:17:24 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 21:18:34 | × | dcoutts_ quits (~duncan@host86-144-78-249.range86-144.btcentralplus.com) (Remote host closed the connection) |
| 21:18:56 | → | dcoutts_ joins (~duncan@host86-144-78-249.range86-144.btcentralplus.com) |
| 21:22:01 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 21:22:28 | × | rtsn quits (~nstr@user/rtsn) (Remote host closed the connection) |
| 21:22:29 | <shiraeeshi> | lol |
| 21:22:55 | <shiraeeshi> | also shows a dialog window informing about cookie usage |
| 21:24:36 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 21:24:39 | <maerwald> | yeah, european law basically broke the internet with those annoying cookie popups |
| 21:24:55 | → | prolic joins (~prolic@181.122.131.227) |
| 21:25:59 | → | chomwitt joins (~chomwitt@2a02:587:dc15:800:fd31:6830:eca:6aa3) |
| 21:26:10 | → | hueso joins (~root@user/hueso) |
| 21:28:59 | × | dolio quits (~dolio@130.44.130.54) (Ping timeout: 272 seconds) |
| 21:31:06 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 21:31:25 | → | prolic joins (~prolic@181.122.131.227) |
| 21:31:27 | → | c209e6dc-4d76-47 joins (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 21:32:22 | → | alx741 joins (~alx741@181.199.42.143) |
| 21:32:35 | × | alp quits (~alp@user/alp) (Ping timeout: 256 seconds) |
| 21:35:11 | → | dolio joins (~dolio@130.44.130.54) |
| 21:35:49 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 21:39:16 | → | tremon joins (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 21:39:28 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:41:52 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 21:42:11 | → | prolic joins (~prolic@181.122.131.227) |
| 21:42:57 | × | dolio quits (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:48:23 | <hpc> | let's be honest, it was already broken |
| 21:49:05 | → | jtomas joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 21:50:49 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 21:51:08 | → | prolic joins (~prolic@181.122.131.227) |
| 21:52:05 | × | hueso quits (~root@user/hueso) (Ping timeout: 256 seconds) |
| 21:52:38 | → | alx741 joins (~alx741@157.100.197.240) |
| 21:54:54 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 22:00:11 | × | zeenk quits (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 22:03:59 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 22:05:17 | × | chomwitt quits (~chomwitt@2a02:587:dc15:800:fd31:6830:eca:6aa3) (Ping timeout: 240 seconds) |
| 22:06:23 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 22:07:13 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 22:09:48 | × | Null_A quits (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 22:10:43 | × | polezaivsani quits (~polezaivs@orangeshoelaces.net) (Quit: rcirc on GNU Emacs 27.2) |
| 22:19:24 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 22:19:50 | × | zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:252f:1c34:e1bf:7de2) (Ping timeout: 260 seconds) |
| 22:19:55 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:20:37 | × | lottaquestions_ quits (~nick@2607:fa49:5041:a200:60ac:5115:d501:c1e2) (Ping timeout: 240 seconds) |
| 22:21:26 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:22:24 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 22:22:32 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 22:22:45 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 22:23:15 | → | acidjnk joins (~acidjnk@200116b86772730041d55f290efc04ff.dip.versatel-1u1.de) |
| 22:23:19 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 22:23:25 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 22:24:14 | → | alx741 joins (~alx741@157.100.197.240) |
| 22:26:48 | × | ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:9be7:a233:2613:fd84) (Remote host closed the connection) |
| 22:28:12 | × | cyphase_eviltwin quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 22:28:37 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Ping timeout: 240 seconds) |
| 22:28:37 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 22:31:14 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 22:31:30 | × | acidjnk quits (~acidjnk@200116b86772730041d55f290efc04ff.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 22:32:19 | × | zebrag quits (~chris@user/zebrag) (Ping timeout: 272 seconds) |
| 22:33:21 | → | zebrag joins (~chris@user/zebrag) |
| 22:34:23 | → | yauhsien joins (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) |
| 22:35:22 | → | cyphase_eviltwin joins (~cyphase@user/cyphase) |
| 22:38:10 | × | jao quits (~jao@static-68-235-44-54.cust.tzulo.com) (Remote host closed the connection) |
| 22:38:29 | → | chomwitt joins (~chomwitt@2a02:587:dc15:800:53f7:4b4c:ef86:ecad) |
| 22:39:12 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 22:42:56 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 22:43:02 | × | michalz quits (~michalz@185.246.204.61) (Remote host closed the connection) |
| 22:43:52 | → | irishman joins (~vshev4enk@178.151.117.243) |
| 22:46:46 | → | alx741 joins (~alx741@157.100.197.240) |
| 22:49:36 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 22:50:09 | × | irishman quits (~vshev4enk@178.151.117.243) (Ping timeout: 256 seconds) |
| 22:52:35 | × | deadmarshal quits (~deadmarsh@95.38.231.188) (Ping timeout: 272 seconds) |
| 22:53:36 | → | prolic joins (~prolic@181.122.131.227) |
| 22:55:16 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 22:55:34 | → | prolic joins (~prolic@181.122.131.227) |
| 22:55:45 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 22:57:27 | → | acidjnk joins (~acidjnk@p200300d0c71a5a00cca7d468eb16bc46.dip0.t-ipconnect.de) |
| 22:59:08 | → | acidjnk_new joins (~acidjnk@p200300d0c71a5a00a926c52c5a33de35.dip0.t-ipconnect.de) |
| 23:03:01 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1)) |
| 23:03:14 | × | acidjnk quits (~acidjnk@p200300d0c71a5a00cca7d468eb16bc46.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 23:03:49 | → | alp joins (~alp@user/alp) |
| 23:04:06 | × | wonko quits (~wjc@user/wonko) (Ping timeout: 252 seconds) |
| 23:04:50 | → | cheater joins (~Username@user/cheater) |
| 23:06:16 | → | jao joins (~jao@static-68-235-44-54.cust.tzulo.com) |
| 23:06:24 | × | c209e6dc-4d76-47 quits (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 23:06:58 | × | acidjnk_new quits (~acidjnk@p200300d0c71a5a00a926c52c5a33de35.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 23:07:12 | → | wonko joins (~wjc@user/wonko) |
| 23:07:17 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 23:07:30 | → | alx741 joins (~alx741@157.100.197.240) |
| 23:07:50 | × | Tuplanolla quits (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:10:50 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 23:11:13 | → | prolic joins (~prolic@181.122.131.227) |
| 23:11:42 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 23:13:14 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 23:15:19 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 23:15:27 | × | jao quits (~jao@static-68-235-44-54.cust.tzulo.com) (Remote host closed the connection) |
| 23:16:03 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 23:17:09 | → | TonyStone joins (~TonyStone@2603-7080-8607-c36a-b0ed-1a92-719b-f6c2.res6.spectrum.com) |
| 23:17:14 | → | hueso joins (~root@user/hueso) |
| 23:17:59 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Ping timeout: 256 seconds) |
| 23:18:24 | × | wonko- quits (~wjc@user/wonko) (Ping timeout: 252 seconds) |
| 23:19:07 | × | wonko quits (~wjc@user/wonko) (Ping timeout: 256 seconds) |
| 23:20:17 | × | wonko_ quits (~wjc@2a0e:1c80:11::50) (Ping timeout: 240 seconds) |
| 23:21:32 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 23:22:23 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:41b:9f3:a75a:9b8b) |
| 23:24:52 | <prolic> | I still have this problem with stack, stack build works just fine, but stack test fails during the build process, the linker cannot find the c-lib apperently (this one that just worked fine using stack build). I have an open issue here https://github.com/prolic/secp256k1-schnorr/issues/1#issuecomment-1044972716 giving a bit more details about how the config files look like, etc. I hope someone can help me out. |
| 23:25:32 | → | jao joins (~jao@static-68-235-44-54.cust.tzulo.com) |
| 23:25:32 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 23:29:10 | × | prolic quits (~prolic@181.122.131.227) (Remote host closed the connection) |
| 23:29:28 | → | prolic joins (~prolic@181.122.131.227) |
| 23:29:57 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 23:30:00 | → | alx741 joins (~alx741@157.100.197.240) |
| 23:31:22 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 23:33:17 | × | yauhsien quits (~yauhsien@61-231-37-106.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 23:33:21 | → | jackalope joins (~jackalope@user/jackal0pe) |
| 23:33:35 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 23:34:33 | × | jackalope quits (~jackalope@user/jackal0pe) (Client Quit) |
| 23:34:48 | → | jackalope joins (~jackalope@user/jackal0pe) |
| 23:35:24 | × | jackalope quits (~jackalope@user/jackal0pe) (Client Quit) |
| 23:35:38 | → | jackalope joins (~jackalope@user/jackal0pe) |
| 23:36:17 | × | chomwitt quits (~chomwitt@2a02:587:dc15:800:53f7:4b4c:ef86:ecad) (Ping timeout: 240 seconds) |
| 23:37:36 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 23:38:31 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:38:37 | × | prolic quits (~prolic@181.122.131.227) (Ping timeout: 256 seconds) |
| 23:39:15 | × | jackalope quits (~jackalope@user/jackal0pe) (Client Quit) |
| 23:42:55 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 23:43:22 | <shiraeeshi> | prolic: at risk of stating the obvious may I remind you that "executable" and "test" may have different dependencies in configs |
| 23:47:39 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 23:48:11 | → | Null_A joins (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) |
| 23:48:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:49:06 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Client Quit) |
| 23:49:23 | × | jgeerds quits (~jgeerds@55d4b9df.access.ecotel.net) (Ping timeout: 256 seconds) |
| 23:50:15 | → | alx741 joins (~alx741@181.199.42.143) |
| 23:52:42 | × | Null_A quits (~null_a@2601:645:8700:2290:890f:d3a0:aab0:f3f) (Ping timeout: 260 seconds) |
| 23:52:47 | → | dolio joins (~dolio@130.44.130.54) |
| 23:53:49 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 23:58:42 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:59:43 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 272 seconds) |
All times are in UTC on 2022-02-18.