| 2023-09-24 00:01:08 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 00:02:06 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 00:03:19 +0200 | ph88 | (~ph88@2a01:598:d030:659b:b550:a1b2:9351:6a58) (Ping timeout: 264 seconds) |
| 2023-09-24 00:04:25 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 00:07:26 +0200 | shef | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2023-09-24 00:08:39 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 2023-09-24 00:09:20 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 00:12:19 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-24 00:17:35 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-24 00:21:20 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-24 00:26:07 +0200 | chomwitt | (~chomwitt@2a02:587:7a2f:d000:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-09-24 00:28:55 +0200 | ph88 | (~ph88@ip5b406c07.dynamic.kabel-deutschland.de) |
| 2023-09-24 00:32:54 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-09-24 00:33:58 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-24 00:37:13 +0200 | xmachina | (xmachina@gateway/vpn/protonvpn/xmachina) (Quit: WeeChat 4.0.4) |
| 2023-09-24 00:37:45 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-24 00:38:04 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-09-24 00:38:19 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-24 00:38:19 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-24 00:38:19 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-24 00:42:10 +0200 | billchenchina | (~billchenc@103.152.35.21) (Ping timeout: 255 seconds) |
| 2023-09-24 00:42:36 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-24 00:42:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2023-09-24 00:45:21 +0200 | stefan-__ | (~m-ohzqow@42dots.de) (Remote host closed the connection) |
| 2023-09-24 00:45:51 +0200 | stefan-__ | (~m-ohzqow@42dots.de) |
| 2023-09-24 00:46:07 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-24 00:52:52 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds) |
| 2023-09-24 00:56:27 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 00:57:42 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 01:10:17 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 01:11:29 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 01:18:25 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 2023-09-24 01:21:06 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 01:26:14 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 01:27:00 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-24 01:29:29 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 255 seconds) |
| 2023-09-24 01:37:07 +0200 | phma | (phma@2001:5b0:210d:9478:bc47:d0f:e755:6447) (Read error: Connection reset by peer) |
| 2023-09-24 01:37:34 +0200 | phma | (~phma@host-67-44-208-160.hnremote.net) |
| 2023-09-24 01:43:33 +0200 | xmachina | (xmachina@gateway/vpn/protonvpn/xmachina) |
| 2023-09-24 01:47:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) (Remote host closed the connection) |
| 2023-09-24 01:53:52 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-24 01:56:47 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-24 02:02:00 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-24 02:06:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) |
| 2023-09-24 02:11:23 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-09-24 02:12:51 +0200 | califax | (~califax@user/califx) |
| 2023-09-24 02:24:27 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 258 seconds) |
| 2023-09-24 02:28:00 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-24 02:28:40 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-24 02:32:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-24 02:32:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-09-24 02:34:50 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 02:36:04 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 02:37:32 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-24 02:38:39 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 02:40:14 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 02:41:00 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 02:41:26 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2023-09-24 02:42:32 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-09-24 02:43:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-24 02:45:26 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 02:50:25 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-09-24 02:51:00 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-24 02:52:25 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-24 02:54:35 +0200 | ftworld | (uid620977@id-620977.hampstead.irccloud.com) |
| 2023-09-24 02:54:44 +0200 | <ftworld> | Help |
| 2023-09-24 02:55:23 +0200 | <geekosaur> | with what? |
| 2023-09-24 02:56:00 +0200 | <ftworld> | Oh sorry first time here and I though that was a command |
| 2023-09-24 02:56:36 +0200 | <ftworld> | I'm learning Haskell and heard about this chat |
| 2023-09-24 02:57:44 +0200 | <geekosaur> | bot commands start with @ in here but it won't be very helpful, it has too many commands to list out in chat |
| 2023-09-24 02:58:16 +0200 | <ftworld> | Oh thanks for the info |
| 2023-09-24 02:58:19 +0200 | <ftworld> | @help |
| 2023-09-24 02:58:19 +0200 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2023-09-24 02:58:34 +0200 | <ftworld> | @list |
| 2023-09-24 02:58:34 +0200 | <lambdabot> | What module? Try @listmodules for some ideas. |
| 2023-09-24 02:58:52 +0200 | <ftworld> | @listmodules |
| 2023-09-24 02:58:53 +0200 | <lambdabot> | activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search |
| 2023-09-24 02:58:53 +0200 | <lambdabot> | seen slap source spell system tell ticker todo topic type undo unlambda unmtl version where |
| 2023-09-24 02:59:11 +0200 | <ftworld> | @help pretty |
| 2023-09-24 02:59:11 +0200 | <lambdabot> | pretty <expr>. Display haskell code in a pretty-printed manner |
| 2023-09-24 02:59:58 +0200 | <ftworld> | @help Prelude |
| 2023-09-24 02:59:58 +0200 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2023-09-24 03:00:10 +0200 | <geekosaur> | https://github.com/geekosaur/lambdabot/blob/command-doc/doc/commands.md |
| 2023-09-24 03:00:20 +0200 | <geekosaur> | (which is waiting to be merged) |
| 2023-09-24 03:00:36 +0200 | <ftworld> | Thanks for that I'm going to read it |
| 2023-09-24 03:01:00 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-24 03:06:19 +0200 | <ftworld> | @learn |
| 2023-09-24 03:06:19 +0200 | <lambdabot> | https://wiki.haskell.org/Learning_Haskell |
| 2023-09-24 03:13:02 +0200 | xmachina | (xmachina@gateway/vpn/protonvpn/xmachina) (Quit: WeeChat 4.0.4) |
| 2023-09-24 03:14:12 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-09-24 03:19:39 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 2023-09-24 03:19:47 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-24 03:20:52 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-24 03:21:20 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2023-09-24 03:21:34 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-09-24 03:22:01 +0200 | phma | (~phma@host-67-44-208-160.hnremote.net) (Read error: Connection reset by peer) |
| 2023-09-24 03:22:27 +0200 | phma | (phma@2001:5b0:210d:9478:bc47:d0f:e755:6447) |
| 2023-09-24 03:29:03 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-24 03:30:06 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd8:7100:f548:bdaf:20b:8afd) |
| 2023-09-24 03:30:54 +0200 | xmachina | (xmachina@gateway/vpn/protonvpn/xmachina) |
| 2023-09-24 03:30:57 +0200 | aforemny | (~aforemny@2001:9e8:6cff:bd00:8bde:c93:4a0a:81b5) (Ping timeout: 260 seconds) |
| 2023-09-24 03:32:22 +0200 | pavonia | (~user@user/siracusa) |
| 2023-09-24 03:34:03 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-24 03:41:09 +0200 | Square | (~Square@user/square) |
| 2023-09-24 03:42:55 +0200 | otto_s | (~user@p4ff27c82.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-09-24 03:43:09 +0200 | bilegeek | (~bilegeek@2600:1008:b016:85b7:5ad4:2236:4751:10dd) |
| 2023-09-24 03:44:40 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-24 03:44:44 +0200 | otto_s | (~user@p5de2fc3c.dip0.t-ipconnect.de) |
| 2023-09-24 03:47:27 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 03:48:40 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 03:49:09 +0200 | privacy | (~privacy@47.219.84.6) (Remote host closed the connection) |
| 2023-09-24 03:53:49 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2023-09-24 03:56:26 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-24 03:57:35 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2023-09-24 04:00:00 +0200 | bienjensu | (~user@user/bienjensu) |
| 2023-09-24 04:00:12 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 2023-09-24 04:05:51 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-09-24 04:10:54 +0200 | pyooque | (~puke@user/puke) |
| 2023-09-24 04:10:55 +0200 | puke | (~puke@user/puke) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2023-09-24 04:10:55 +0200 | pyooque | puke |
| 2023-09-24 04:13:19 +0200 | td_ | (~td@i5387093D.versanet.de) (Ping timeout: 258 seconds) |
| 2023-09-24 04:15:15 +0200 | td_ | (~td@i5387092C.versanet.de) |
| 2023-09-24 04:18:54 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-24 04:21:13 +0200 | space100044 | (~space1000@user/space1000) |
| 2023-09-24 04:22:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-09-24 04:22:47 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-24 04:22:47 +0200 | finn_elija | FinnElija |
| 2023-09-24 04:24:17 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 04:25:56 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 04:35:09 +0200 | <pony> | since (*)'s type is a -> a -> a, what would be a good way to do generic multiplication between two different types? |
| 2023-09-24 04:38:55 +0200 | <geekosaur> | there isn't one; "generic multiplication" is too general. multiplying a matrix by a scalar vs. amother matrix are two very different things, for example |
| 2023-09-24 04:39:22 +0200 | <geekosaur> | even if you stick to scalar types, about your only option is to promote to Double and risk losing precision |
| 2023-09-24 04:39:28 +0200 | <pony> | ok but, I can't have the same name or (new) operator for both of those things? |
| 2023-09-24 04:39:42 +0200 | <geekosaur> | (the php and javascript solution) |
| 2023-09-24 04:39:45 +0200 | <geekosaur> | no, you can't |
| 2023-09-24 04:39:48 +0200 | <pony> | ok |
| 2023-09-24 04:42:07 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 04:52:17 +0200 | <EvanR> | you could use *. or .* to indicate scaling a vector by a scalar |
| 2023-09-24 04:52:35 +0200 | <EvanR> | ./ to anti-scale xD |
| 2023-09-24 04:55:27 +0200 | <pony> | I think I will just call that scale :P |
| 2023-09-24 04:59:38 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-24 05:00:07 +0200 | <pony> | not sure what I'll call tuple vs. matrix multiplication |
| 2023-09-24 05:04:05 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-09-24 05:07:00 +0200 | aforemny | (~aforemny@i59F516EA.versanet.de) |
| 2023-09-24 05:07:22 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd8:7100:f548:bdaf:20b:8afd) (Ping timeout: 258 seconds) |
| 2023-09-24 05:08:59 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-09-24 05:08:59 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2023-09-24 05:08:59 +0200 | Feuermagier_ | Feuermagier |
| 2023-09-24 05:11:15 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-24 05:14:47 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-09-24 05:15:36 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 2023-09-24 05:15:41 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-09-24 05:16:42 +0200 | <jackdk> | The operator names in https://hackage.haskell.org/package/linear may give you some inspiration, ironically also by an "Ed". |
| 2023-09-24 05:16:48 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2023-09-24 05:16:52 +0200 | <Axman6> | pony: do you have a more concrete example? |
| 2023-09-24 05:17:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2023-09-24 05:17:34 +0200 | <Axman6> | you could define something like class Mul a b c | a b -> c where (.*.) :: a -> b -> c. Not particularly easy to define laws for that |
| 2023-09-24 05:17:47 +0200 | <Axman6> | Yeah i was going to suggest linear too |
| 2023-09-24 05:18:00 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
| 2023-09-24 05:19:08 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-24 05:19:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-24 05:20:22 +0200 | <pony> | ahh |
| 2023-09-24 05:20:27 +0200 | <pony> | yeah, that looks handy, thanks |
| 2023-09-24 05:23:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-24 05:23:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-24 05:26:34 +0200 | srk | (~sorki@user/srk) (Remote host closed the connection) |
| 2023-09-24 05:26:53 +0200 | srk | (~sorki@user/srk) |
| 2023-09-24 05:27:03 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-24 05:30:21 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-24 05:32:07 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2023-09-24 05:32:17 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-24 05:33:49 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 2023-09-24 05:34:10 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-24 05:34:39 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-09-24 05:36:57 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-09-24 05:44:52 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-24 05:45:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-24 05:45:56 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-24 05:46:54 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Max SendQ exceeded) |
| 2023-09-24 05:48:05 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-24 05:50:01 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2023-09-24 05:51:18 +0200 | space100044 | (~space1000@user/space1000) (Ping timeout: 255 seconds) |
| 2023-09-24 06:01:06 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-24 06:02:48 +0200 | noxp | (~noxp@2600:1700:2050:1040::49) |
| 2023-09-24 06:02:59 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 06:04:54 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-24 06:05:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-24 06:06:04 +0200 | pavonia | (~user@user/siracusa) |
| 2023-09-24 06:10:42 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-09-24 06:10:42 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-24 06:12:13 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-09-24 06:13:24 +0200 | pyooque | (~puke@user/puke) |
| 2023-09-24 06:13:24 +0200 | puke | Guest7000 |
| 2023-09-24 06:13:24 +0200 | Guest7000 | (~puke@user/puke) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 2023-09-24 06:13:24 +0200 | pyooque | puke |
| 2023-09-24 06:14:24 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 2023-09-24 06:21:49 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-24 06:26:43 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-09-24 06:27:57 +0200 | noxp | (~noxp@2600:1700:2050:1040::49) (Quit: WeeChat 4.0.4) |
| 2023-09-24 06:36:02 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-24 06:37:34 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 06:38:54 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 06:39:01 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-24 06:40:52 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-24 06:43:45 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-24 06:45:36 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-09-24 06:45:37 +0200 | vglfr | (~vglfr@188.239.201.89) (Remote host closed the connection) |
| 2023-09-24 06:46:00 +0200 | Feuermagier | Guest1803 |
| 2023-09-24 06:46:00 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-09-24 06:46:00 +0200 | Guest1803 | (~Feuermagi@user/feuermagier) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2023-09-24 06:46:00 +0200 | Feuermagier_ | Feuermagier |
| 2023-09-24 06:46:22 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-24 06:48:52 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Client Quit) |
| 2023-09-24 06:55:24 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-24 06:56:18 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-24 07:01:01 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-24 07:01:29 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-24 07:01:56 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 07:02:44 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-24 07:02:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-09-24 07:03:47 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-24 07:05:39 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 07:27:59 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5520:f57a:a6e0:cbf2) (Ping timeout: 245 seconds) |
| 2023-09-24 07:28:23 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-09-24 07:34:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-24 07:35:07 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2023-09-24 07:44:40 +0200 | raym | (~ray@user/raym) (Quit: Update to FreeBSD 14.0-BETA3) |
| 2023-09-24 07:51:42 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 260 seconds) |
| 2023-09-24 07:53:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f82f:6ce5:c48f:9c06) |
| 2023-09-24 07:55:15 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-24 07:57:03 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 2023-09-24 08:02:11 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f23c50abffc6610bd44.dip0.t-ipconnect.de) |
| 2023-09-24 08:03:07 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-24 08:03:50 +0200 | <haskellbridge> | <tewuzij> Can Haskell multiply tensors? |
| 2023-09-24 08:04:29 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-09-24 08:05:00 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-09-24 08:05:13 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-09-24 08:05:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-24 08:05:49 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Client Quit) |
| 2023-09-24 08:11:23 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-24 08:13:32 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-24 08:15:08 +0200 | <tomsmeding> | tewuzij: what do you mean with multiplying tensors? |
| 2023-09-24 08:15:09 +0200 | <EvanR> | yes haskell can do that! |
| 2023-09-24 08:15:21 +0200 | <tomsmeding> | both "tensor" and "multiply" have various meanings in this context |
| 2023-09-24 08:15:40 +0200 | <tomsmeding> | I mean, haskell is a turing-complete language so "yes", but that's not the answer you're looking for |
| 2023-09-24 08:15:50 +0200 | <EvanR> | figured tewuzij meant composing tensors |
| 2023-09-24 08:16:10 +0200 | <EvanR> | in the sense that multiplying matrices is linear function composition |
| 2023-09-24 08:18:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-24 08:21:04 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-24 08:22:23 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 08:24:18 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Ping timeout: 245 seconds) |
| 2023-09-24 08:24:38 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-09-24 08:24:50 +0200 | <phma> | int-e: I applied the patch, manually edited some hunks (I was working on some code I hadn't pushed yet), and got it to compile, but when I ran test.sh, it failed. |
| 2023-09-24 08:25:20 +0200 | <Inst> | tomsmeding: tensorflow bindings are still being updated, but not sure whether they'll dump it onto Hackage. |
| 2023-09-24 08:25:46 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 08:25:52 +0200 | <phma> | int-e: Could you try again, make sure it passes test.sh, and submit a pull request? |
| 2023-09-24 08:27:27 +0200 | <tomsmeding> | Inst: how did you go from "multiplying tensors" to "tensorflow"? :p |
| 2023-09-24 08:27:39 +0200 | <tomsmeding> | that's another meaning of "tensor" that I didn't even think of just no |
| 2023-09-24 08:27:41 +0200 | <tomsmeding> | *now |
| 2023-09-24 08:27:56 +0200 | <tomsmeding> | the tensorflow-haskell bindings in their github repository work fine |
| 2023-09-24 08:27:59 +0200 | jjhoo | (jahakala@user/jjhoo) (Ping timeout: 245 seconds) |
| 2023-09-24 08:28:03 +0200 | <tomsmeding> | (with TF 2.10.1) |
| 2023-09-24 08:28:14 +0200 | jjhoo | (~jahakala@user/jjhoo) |
| 2023-09-24 08:28:17 +0200 | <tomsmeding> | EvanR: do you mean hadamard multiplication? |
| 2023-09-24 08:28:21 +0200 | <tomsmeding> | or something else |
| 2023-09-24 08:28:22 +0200 | apache2 | (apache2@anubis.0x90.dk) (Read error: Connection reset by peer) |
| 2023-09-24 08:28:31 +0200 | apache2 | (apache2@anubis.0x90.dk) |
| 2023-09-24 08:29:25 +0200 | <tomsmeding> | people should get more precise what they mean with a "tensor" and its operations, it can mean like 3+ different things |
| 2023-09-24 08:32:19 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-24 08:32:34 +0200 | forell | (~forell@user/forell) (Ping timeout: 245 seconds) |
| 2023-09-24 08:33:21 +0200 | forell | (~forell@user/forell) |
| 2023-09-24 08:36:15 +0200 | raym | (~ray@user/raym) |
| 2023-09-24 08:36:19 +0200 | dminuoso | (~dminuoso@user/dminuoso) (Ping timeout: 245 seconds) |
| 2023-09-24 08:36:25 +0200 | <Inst> | https://dev.to/piq9117/using-github-repos-as-haskell-dependency-m2o |
| 2023-09-24 08:37:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-09-24 08:38:24 +0200 | mhatta_ | (~mhatta@www21123ui.sakura.ne.jp) (Ping timeout: 245 seconds) |
| 2023-09-24 08:38:39 +0200 | <Inst> | so it should be possible to get that to work... the only annoying thing is that I think Haskell is hard enough to pick up, learning the build tools as well is annoying |
| 2023-09-24 08:38:48 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection) |
| 2023-09-24 08:39:14 +0200 | ario | (~ario@159.65.220.102) (Ping timeout: 245 seconds) |
| 2023-09-24 08:39:22 +0200 | ario | (~ario@159.65.220.102) |
| 2023-09-24 08:39:42 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-24 08:40:09 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2023-09-24 08:40:22 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-24 08:40:31 +0200 | jinsun | (~jinsun@user/jinsun) (Client Quit) |
| 2023-09-24 08:41:11 +0200 | dminuoso | (~dminuoso@user/dminuoso) |
| 2023-09-24 08:42:30 +0200 | <tomsmeding> | Inst: that looks like precisely what you need to do, indeed |
| 2023-09-24 08:42:44 +0200 | <tomsmeding> | although the packages: line can be shortened to just 'packages: .' |
| 2023-09-24 08:42:55 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2023-09-24 08:43:42 +0200 | <tomsmeding> | you may need this commit though https://github.com/tomsmeding/tensorflow-haskell/commit/a4dc584652cfeeb15c27c4408c68aa4b4134a4b1 |
| 2023-09-24 08:45:40 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) |
| 2023-09-24 08:46:37 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-09-24 08:47:09 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:5e6c:473d:21cf:e624) (Ping timeout: 245 seconds) |
| 2023-09-24 08:49:37 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-24 08:49:49 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-24 08:49:57 +0200 | <Inst> | I'm not really into Tensorflow, more over whether it's usable or not. And I notice your help with accelerate, which I'd consider more of a key package, so thank you for that. |
| 2023-09-24 08:49:57 +0200 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) |
| 2023-09-24 08:50:27 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-09-24 08:50:49 +0200 | <tomsmeding> | Inst: I'm in the same office at work as the people who currently work on accelerate, even if I'm not currently doing much on it code-wise |
| 2023-09-24 08:51:09 +0200 | <tomsmeding> | and since they're not in this channel I like to do some of the tech support here :p |
| 2023-09-24 08:51:28 +0200 | <Inst> | Is there any time table for the accelerate hackage to be usable? I'm under the impression that accelerate is labor starved, and while I'm willing to risk trying to work on Cabal, accelerate and CUDA is totally beyond my ken. |
| 2023-09-24 08:51:58 +0200 | jackneill__ | (~Jackneill@20014C4E1E0E9600293BD241892EEBEE.dsl.pool.telekom.hu) |
| 2023-09-24 08:52:08 +0200 | <tomsmeding> | labor starved yes, there were plans a month or 3 ago to just push an update, but that never materialised |
| 2023-09-24 08:52:16 +0200 | <tomsmeding> | I can push a bit again :p |
| 2023-09-24 08:52:28 +0200 | <tomsmeding> | Inst: are you a user of accelerate? |
| 2023-09-24 08:52:38 +0200 | <Inst> | I WANT to be a user, but not without going to stack or nix. :( |
| 2023-09-24 08:53:10 +0200 | <Inst> | What I'm thinking is, if you have a Rustacaean come in and complain that Haskell is slower than Rust, we can just drag out accelerate for "not if you cheat with GPU compute" |
| 2023-09-24 08:53:14 +0200 | <tomsmeding> | there are various accelerate-* packages on hackage, like accelerate-fft and others. Would you mind an accelerate update _without_ updating all the ancillary packages, updating those only following demand? |
| 2023-09-24 08:54:02 +0200 | <Inst> | My vision is more, Haskell's arrayfire exists, so does accelerate, but having accelerate be useful for general purpose GPU compute would be great, and that's all I think is needed. |
| 2023-09-24 08:54:10 +0200 | <Inst> | *so does Halide-haskell, but that's bound to nix |
| 2023-09-24 08:54:49 +0200 | <tomsmeding> | accelerate is not quite arrayfire, if that's what you're implying |
| 2023-09-24 08:54:54 +0200 | <tomsmeding> | but I get your point, I think |
| 2023-09-24 08:55:07 +0200 | <Inst> | In what sense is accelerate unlike arrayfire? |
| 2023-09-24 08:55:16 +0200 | <tomsmeding> | arrayfire has no 'run' method |
| 2023-09-24 08:55:44 +0200 | <tomsmeding> | in particular you can use arrayfire arrays as if they're usual arrays, and at the point you do something with them that arrayfire cannot stage in an AST, it'll evaluate and give you an actual array |
| 2023-09-24 08:55:44 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-24 08:55:51 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-24 08:56:02 +0200 | <tomsmeding> | accelerate requires you to build your whole model/program/thing in one go, submit it for execution ('run'), and obtain the result |
| 2023-09-24 08:56:15 +0200 | <tomsmeding> | which allows more optimisation budget |
| 2023-09-24 08:56:24 +0200 | <tomsmeding> | both models have upsides and downsides |
| 2023-09-24 08:56:33 +0200 | <tomsmeding> | @hackage repa |
| 2023-09-24 08:56:33 +0200 | <lambdabot> | https://hackage.haskell.org/package/repa |
| 2023-09-24 08:56:45 +0200 | <tomsmeding> | that has sorta more the arrayfire model, except it doesn't try doing anything with GPU |
| 2023-09-24 08:57:17 +0200 | <tomsmeding> | (but in haskell-style where the materialisation is type-driven instead of dynamically usage-driven) |
| 2023-09-24 08:58:36 +0200 | <tomsmeding> | as I understand it, massiv is similar to repa, but I dunno |
| 2023-09-24 08:59:56 +0200 | <Inst> | not sure whether it's nice to ask for accelerate to be updated on my part, i.e, it'd be nice for it to be usable and for parallel and concurrent programming in Haskell not to feature a library that's difficult to obtain and use with latest GHCs |
| 2023-09-24 09:00:11 +0200 | <Inst> | but for accelerate to be "great" given the existence of alternative options |
| 2023-09-24 09:00:19 +0200 | <tomsmeding> | Inst: would you consider having to manually install LLVM "usable" :p |
| 2023-09-24 09:00:59 +0200 | <Inst> | I know Columbia at least in the past, was teaching a Haskell course based on Parallel and Concurrent Programming |
| 2023-09-24 09:01:05 +0200 | <tomsmeding> | there is long-term talk of making accelerate talk to the LLVM command-line tools instead of binding too libLLVM.so in order to be more flexible in how LLVM is installed |
| 2023-09-24 09:01:12 +0200 | <Inst> | I don't know if anyone else is doing so, and I have no idea what's going on in the education sector |
| 2023-09-24 09:01:37 +0200 | <tomsmeding> | Inst: our university has a Concurrency course in the bachelor that uses haskell, and has one assignment using accelerate :p |
| 2023-09-24 09:01:41 +0200 | <tomsmeding> | (at least currently) |
| 2023-09-24 09:01:51 +0200 | <Inst> | for accelerate to be great you'd need lots more labor |
| 2023-09-24 09:01:59 +0200 | <tomsmeding> | yeah |
| 2023-09-24 09:02:10 +0200 | <Inst> | and on my part, I can't provide it, even trying to help with Cabal is a bit of a reach |
| 2023-09-24 09:02:31 +0200 | <tomsmeding> | yeah accelerate is unfortunately quite a difficult project to get involved in |
| 2023-09-24 09:02:33 +0200 | <Inst> | I'm wondering, one thing I was thinking about was whether it's possible to round up undergrads and use them as cheap labor? |
| 2023-09-24 09:03:14 +0200 | <tomsmeding> | for various reasons; the well-typed setup is a barrier, but also just the domain (staged programming) is not simple, and the backends deal with LLVM and code generation and CUDA interfacing and are thus also not simple |
| 2023-09-24 09:03:23 +0200 | <Inst> | I mean, not for accelerate, but in general |
| 2023-09-24 09:03:38 +0200 | <Inst> | I was looking at Codesmith.io, but it turns out they're running sort of a scam |
| 2023-09-24 09:03:55 +0200 | <tomsmeding> | there are multiple master student theses on accelerate per year |
| 2023-09-24 09:04:03 +0200 | <Inst> | their bootcamp involves having their students "work" at a private FOSS |
| 2023-09-24 09:04:07 +0200 | <tomsmeding> | but they typically don't end up with production code yet |
| 2023-09-24 09:04:13 +0200 | <Inst> | hmmm |
| 2023-09-24 09:04:15 +0200 | <tomsmeding> | going the last mile is not research work |
| 2023-09-24 09:04:20 +0200 | <Inst> | I'm wondering if accelerate team, if there's enough labor to care about it |
| 2023-09-24 09:04:20 +0200 | <tomsmeding> | so hard to ask from students |
| 2023-09-24 09:04:32 +0200 | <Inst> | is willing to help support those students in return for some labor work? |
| 2023-09-24 09:04:38 +0200 | <tomsmeding> | > private FOSS |
| 2023-09-24 09:04:42 +0200 | <tomsmeding> | what even is that |
| 2023-09-24 09:04:50 +0200 | <Inst> | they set up a foundation that purportedly does FOSS |
| 2023-09-24 09:05:05 +0200 | <Inst> | part of attending their boot camp, you contribute to that foundation, possibly with junk projects of low quality |
| 2023-09-24 09:05:09 +0200 | <Inst> | but it gets into your resume |
| 2023-09-24 09:05:17 +0200 | <Inst> | and it looks like you have FOSS experience, which makes you a more desirable hire |
| 2023-09-24 09:05:30 +0200 | <tomsmeding> | Inst: I mean, a master thesis is supposed to be researchy, so we could well ask them to do engineering work and they may well be happy, but we'd have to grade that and judge its research value and have to judge low, and it'd be our fault |
| 2023-09-24 09:05:40 +0200 | <tomsmeding> | getting them to do the work outside of a thesis is harder :p |
| 2023-09-24 09:05:50 +0200 | <tomsmeding> | Inst: I see |
| 2023-09-24 09:05:56 +0200 | <tomsmeding> | that sounds like a scam lol |
| 2023-09-24 09:06:01 +0200 | <Inst> | ummm, it 100% is a scam? |
| 2023-09-24 09:06:07 +0200 | <tomsmeding> | right |
| 2023-09-24 09:06:37 +0200 | <Inst> | but it sounds like, say, if someone wants to FOSS work on accelerate, complete the engineering work so they can put it on their resume, I'm not sure if that would be sufficient incentive? |
| 2023-09-24 09:07:02 +0200 | <Inst> | and in general, for UGs, whether they'd be willing to trade labor for being able to staple FOSS work onto their resume? |
| 2023-09-24 09:07:11 +0200 | <tomsmeding> | if they want to do some of the engineering work, that would be great, but who's going to pay for that |
| 2023-09-24 09:07:25 +0200 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-24 09:07:27 +0200 | <tomsmeding> | again, accelerate is _not_ an easy project to get into |
| 2023-09-24 09:07:30 +0200 | <Inst> | their remuneration comes from a resume booster, but the assumption I'm making is that companies still value FOSS work |
| 2023-09-24 09:07:48 +0200 | <tomsmeding> | if the point is stapling FOSS to their resume, I would advise them, for their own sakes, to not do that with Acc :p |
| 2023-09-24 09:08:13 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-24 09:08:21 +0200 | <tomsmeding> | there must be intrinsic motivation to do work on Acc and not be scared away |
| 2023-09-24 09:09:16 +0200 | <tomsmeding> | code review time budgets are not any higher than development time budgets (which are currently all going to a complete rearchitecturing of compilation pipeline, by the way -- there's lots of work going on, it's just not visible) |
| 2023-09-24 09:09:24 +0200 | <Inst> | So I'm assuming there's a big leap from a research paper on accelerate to actually working on the FOSS project? |
| 2023-09-24 09:09:35 +0200 | <tomsmeding> | but if a capable person shows up who wants to do engineering work, I'm fairly sure we won't say no :p |
| 2023-09-24 09:09:39 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-09-24 09:09:41 +0200 | <tomsmeding> | Inst: yeah |
| 2023-09-24 09:10:02 +0200 | <Inst> | Sort of disappointing, to have people write masters thesis without a strong understanding of the codebase |
| 2023-09-24 09:10:26 +0200 | <tomsmeding> | I mean in a masters thesis they get 6 months or so of ~uninterrupted time to work on this |
| 2023-09-24 09:10:45 +0200 | <tomsmeding> | that's sufficient to get at least familiarity with the part of the codebase you're to be working on |
| 2023-09-24 09:11:01 +0200 | <tomsmeding> | and do useful work there |
| 2023-09-24 09:11:13 +0200 | <tomsmeding> | but that's an unusual amount of time to have for stuff like this, in general |
| 2023-09-24 09:13:41 +0200 | <tomsmeding> | Inst: another barrier for adoption for accelerate is that using it on windows is a PITA |
| 2023-09-24 09:13:47 +0200 | <tomsmeding> | WSL2 works fine |
| 2023-09-24 09:17:00 +0200 | CAT_S | (~apic@brezn3.muc.ccc.de) (Ping timeout: 248 seconds) |
| 2023-09-24 09:17:14 +0200 | <tomsmeding> | (but PSA: if you want to help with accelerate, that's great, but _contact us first_, the consequence of being a small team means that there's rearchitecturing stuff going on that's not publicly documented, even if the code is public on some fork -- we can tell you which fork) |
| 2023-09-24 09:17:30 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-09-24 09:19:32 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:b656:ed01:fb92:fb26) |
| 2023-09-24 09:20:15 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-09-24 09:21:19 +0200 | dsrt^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) (Ping timeout: 245 seconds) |
| 2023-09-24 09:21:43 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (Ping timeout: 252 seconds) |
| 2023-09-24 09:22:09 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 245 seconds) |
| 2023-09-24 09:25:58 +0200 | dsrt^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) |
| 2023-09-24 09:26:42 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-09-24 09:27:41 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-24 09:28:05 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-09-24 09:29:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2023-09-24 09:29:39 +0200 | masterbuilder | (~masterbui@user/masterbuilder) (Ping timeout: 245 seconds) |
| 2023-09-24 09:29:47 +0200 | Inst | (~Inst@120.244.192.250) (Remote host closed the connection) |
| 2023-09-24 09:29:56 +0200 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-09-24 09:30:13 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-24 09:30:43 +0200 | dsrt^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) (Ping timeout: 258 seconds) |
| 2023-09-24 09:31:09 +0200 | dsrt^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) |
| 2023-09-24 09:32:33 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) |
| 2023-09-24 09:32:58 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-09-24 09:39:51 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-24 09:40:14 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2023-09-24 09:40:41 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-09-24 09:40:50 +0200 | Pixi | (~Pixi@user/pixi) |
| 2023-09-24 09:42:59 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2023-09-24 09:47:30 +0200 | bilegeek | (~bilegeek@2600:1008:b016:85b7:5ad4:2236:4751:10dd) (Quit: Leaving) |
| 2023-09-24 09:55:26 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-09-24 10:05:52 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 260 seconds) |
| 2023-09-24 10:07:01 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-24 10:08:41 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-09-24 10:09:29 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-24 10:11:36 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-24 10:18:06 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-24 10:18:49 +0200 | smoothdev_ | (~smoothdev@2a01:e0a:279:fb20:6d80:c1eb:8ee0:d389) (Ping timeout: 245 seconds) |
| 2023-09-24 10:20:05 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-24 10:20:23 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-24 10:20:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-24 10:20:58 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-24 10:22:41 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-24 10:24:05 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-24 10:29:29 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-24 10:29:45 +0200 | vglfr | (~vglfr@188.239.201.89) |
| 2023-09-24 10:30:03 +0200 | vglfr | (~vglfr@188.239.201.89) (Remote host closed the connection) |
| 2023-09-24 10:30:19 +0200 | igghibu | (~igghibu@146.70.225.10) |
| 2023-09-24 10:31:04 +0200 | vglfr | (~vglfr@188.239.201.89) |
| 2023-09-24 10:31:45 +0200 | vglfr | (~vglfr@188.239.201.89) (Remote host closed the connection) |
| 2023-09-24 10:32:08 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-24 10:32:32 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-24 10:33:09 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-24 10:33:34 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-24 10:33:39 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2023-09-24 10:33:40 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-24 10:33:55 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-09-24 10:34:59 +0200 | <lockywolf> | Can someone explain to me what is happening here? https://paste.debian.net/1292946/ |
| 2023-09-24 10:35:52 +0200 | <lockywolf> | Seemingly says that "if ghc is new, require older Cabal, and if ghc is old, use new Cabal" |
| 2023-09-24 10:35:59 +0200 | <lockywolf> | which seems to make no sense |
| 2023-09-24 10:36:14 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-24 10:36:33 +0200 | <lockywolf> | this is a fragment of hackage-security |
| 2023-09-24 10:36:55 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-24 10:37:23 +0200 | vglfr | (~vglfr@188.239.201.89) |
| 2023-09-24 10:38:08 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-24 10:38:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) (Remote host closed the connection) |
| 2023-09-24 10:40:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-24 10:42:13 +0200 | <tomsmeding> | lockywolf: see https://hackage.haskell.org/package/Cabal-syntax-3.6.0.0 |
| 2023-09-24 10:42:28 +0200 | <tomsmeding> | Cabal split out the syntax portion in 3.8 (there is no 3.7) |
| 2023-09-24 10:42:57 +0200 | <tomsmeding> | so if the flag is true, we're in the new world with new everything; if the flag is false or ghc is old, we're in the old world pre-split |
| 2023-09-24 10:43:35 +0200 | <mauke> | lockywolf: which version are you calling "new Cabal"? |
| 2023-09-24 10:45:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-09-24 10:45:31 +0200 | <lockywolf> | hm... |
| 2023-09-24 10:46:17 +0200 | <lockywolf> | mauke: 3.10 |
| 2023-09-24 10:47:19 +0200 | <mauke> | then nothing in there says "use new Cabal" |
| 2023-09-24 10:47:48 +0200 | <lockywolf> | hm... |
| 2023-09-24 10:47:51 +0200 | <mauke> | it is: if ghc is new, require older Cabal, and if ghc is old, use even olderer Cabal |
| 2023-09-24 10:50:01 +0200 | <tomsmeding> | the conditional makes much more sense when viewed from the perspective of: if flag is on, use newer Cabal; if flag is off, use older Cabal. It's just that newer Cabal requires a non-ancient ghc, so with ancient ghc, we are in the old world anyway |
| 2023-09-24 10:51:01 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-24 10:51:56 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-09-24 10:52:10 +0200 | igghibu_ | (~igghibu@146.70.225.100) |
| 2023-09-24 10:54:36 +0200 | igghibu | (~igghibu@146.70.225.10) (Ping timeout: 255 seconds) |
| 2023-09-24 10:55:04 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-09-24 10:57:10 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-09-24 11:01:44 +0200 | igghibu_ | (~igghibu@146.70.225.100) (Quit: igghibu_) |
| 2023-09-24 11:12:25 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-24 11:12:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) |
| 2023-09-24 11:15:30 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:18ad:f738:7220:a150) |
| 2023-09-24 11:17:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf6:ef07:6cb0:a65a) (Ping timeout: 240 seconds) |
| 2023-09-24 11:19:12 +0200 | sagax | (~sagax_nb@user/sagax) (Ping timeout: 258 seconds) |
| 2023-09-24 11:19:39 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:18ad:f738:7220:a150) (Ping timeout: 245 seconds) |
| 2023-09-24 11:28:47 +0200 | qqq | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2023-09-24 11:31:33 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-24 11:33:02 +0200 | <dminuoso> | Curious, whats the point of separating the Cabal-syntax library, if it depends on Cabal itself anyway? |
| 2023-09-24 11:33:27 +0200 | <dminuoso> | At first glance it appears they are released in tandem at the same versions too. |
| 2023-09-24 11:34:19 +0200 | <dminuoso> | Ohh hold on, tomsmeding's link was to the old 3.6.0.0 library, nevermind me. |
| 2023-09-24 11:38:16 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 255 seconds) |
| 2023-09-24 11:56:07 +0200 | <tomsmeding> | dminuoso: 3.6 had relevant text in the package description that I wanted to link to |
| 2023-09-24 11:58:42 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-24 12:04:03 +0200 | privacy | (~privacy@47.219.84.6) (Remote host closed the connection) |
| 2023-09-24 12:07:07 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:b656:ed01:fb92:fb26) (Ping timeout: 258 seconds) |
| 2023-09-24 12:08:24 +0200 | talismanick | (~user@76.133.152.122) (Ping timeout: 255 seconds) |
| 2023-09-24 12:08:34 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-09-24 12:09:57 +0200 | malte | (~malte@mal.tc) |
| 2023-09-24 12:09:57 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-24 12:10:46 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-09-24 12:13:08 +0200 | <lockywolf> | dminuoso: Cabal depends on Cabal-syntax, not the other way round |
| 2023-09-24 12:13:27 +0200 | jackneill__ | (~Jackneill@20014C4E1E0E9600293BD241892EEBEE.dsl.pool.telekom.hu) (Quit: Leaving) |
| 2023-09-24 12:16:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18ad:f738:7220:a150) |
| 2023-09-24 12:18:38 +0200 | <lockywolf> | One more question: hackage-security page https://hackage.haskell.org/package/hackage-security is saying that it wants Cabal <3.7 . Why stick to an older version? |
| 2023-09-24 12:19:13 +0200 | <lockywolf> | Meanwhile when I am trying to build it, it is saying Encountered missing or private dependencies: Cabal-syntax <3.10. So that <3.7 is misleading? |
| 2023-09-24 12:25:28 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:b656:ed01:fb92:fb26) |
| 2023-09-24 12:25:38 +0200 | <tomsmeding> | lockywolf: that's the Cabal-syntax flag |
| 2023-09-24 12:25:45 +0200 | <tomsmeding> | re-read what I wrote above |
| 2023-09-24 12:26:22 +0200 | <tomsmeding> | hackage seems to default the cabal-syntax flag to off |
| 2023-09-24 12:26:41 +0200 | <tomsmeding> | in which case it will go to the 'else' part of the conditional, which is Cabal<3.7 |
| 2023-09-24 12:27:23 +0200 | <tomsmeding> | but locally on your system, Cabal sees that we're building against a newer Cabal, and because 'cabal-syntax' is an automatic flag of hackage-security, Cabal is allowed to switch that flag to get a working configuration |
| 2023-09-24 12:27:37 +0200 | pounce | (~pounce@user/cute/pounce) (Ping timeout: 260 seconds) |
| 2023-09-24 12:27:40 +0200 | <tomsmeding> | hence, assuming you have ghc >= 8.2, getting you the 'then' branch of the conditional |
| 2023-09-24 12:28:03 +0200 | <lockywolf> | Is it even possible to build hackage-security with a newer Cabal? |
| 2023-09-24 12:28:12 +0200 | <tomsmeding> | yes, just do it |
| 2023-09-24 12:28:32 +0200 | <lockywolf> | "Encountered missing or private dependencies: Cabal-syntax <3.10" |
| 2023-09-24 12:28:43 +0200 | <tomsmeding> | Cabal will, in its dependency/flag solving process, determine that the 'cabal-syntax' flag should be on, and set it to that |
| 2023-09-24 12:28:49 +0200 | <tomsmeding> | lockywolf: now you'll need to post the full cabal output |
| 2023-09-24 12:29:31 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2023-09-24 12:29:43 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-24 12:31:17 +0200 | <lockywolf> | https://paste.debian.net/1292952/ |
| 2023-09-24 12:31:34 +0200 | <lockywolf> | not sure what you mean by "full cabal output" |
| 2023-09-24 12:32:30 +0200 | <tomsmeding> | lockywolf: are you using a cabal command to build something? If so, what's that command and what's its output? |
| 2023-09-24 12:32:38 +0200 | <tomsmeding> | What command produced the output that you've just posted? |
| 2023-09-24 12:32:52 +0200 | <lockywolf> | ./my_buildscript.sh |
| 2023-09-24 12:33:02 +0200 | <tomsmeding> | I see |
| 2023-09-24 12:33:33 +0200 | <lockywolf> | https://paste.debian.net/1292953/ |
| 2023-09-24 12:33:56 +0200 | <tomsmeding> | turn on -fcabal-syntax |
| 2023-09-24 12:34:02 +0200 | <tomsmeding> | I'm not sure how to do that with plain Setup.hs |
| 2023-09-24 12:34:31 +0200 | <tomsmeding> | and make sure that the build process can find Cabal-syntax, because it is a dependency |
| 2023-09-24 12:34:45 +0200 | <tomsmeding> | wait with what ghc are you trying to build this |
| 2023-09-24 12:35:05 +0200 | <tomsmeding> | 'base >=4.5 && <4.8' looks highly suspicious |
| 2023-09-24 12:36:15 +0200 | <lockywolf> | 8.10.4 |
| 2023-09-24 12:38:04 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-09-24 12:39:14 +0200 | <tomsmeding> | lockywolf: have you managed to pass -fcabal-syntax to something, perhaps that 'Setup configure' command? |
| 2023-09-24 12:39:41 +0200 | <tomsmeding> | by the way, side note: always mention you're using plain Setup.hs when asking about something here, because people will _not_ assume that's the case and miscommunications can occur :p |
| 2023-09-24 12:40:10 +0200 | <lockywolf> | 🤷 |
| 2023-09-24 12:40:14 +0200 | <tomsmeding> | I have no clue if Setup.hs does automatic flag assignment, and this hackage-security package kind of relies on that |
| 2023-09-24 12:40:18 +0200 | <tomsmeding> | so you'll need to do it manually |
| 2023-09-24 12:40:21 +0200 | <lockywolf> | that's how all packages are built in our distro |
| 2023-09-24 12:40:50 +0200 | <tomsmeding> | right, but nobody but almost nobody except distro package maintainers or cabal devs deal with Setup.hs |
| 2023-09-24 12:42:10 +0200 | <lockywolf> | https://paste.debian.net/1292954/ |
| 2023-09-24 12:42:30 +0200 | <lockywolf> | well, I know no other way |
| 2023-09-24 12:42:35 +0200 | <tomsmeding> | `cabal build` :p |
| 2023-09-24 12:42:39 +0200 | <tomsmeding> | that's what normal people use |
| 2023-09-24 12:42:44 +0200 | <tomsmeding> | anyway |
| 2023-09-24 12:42:57 +0200 | <lockywolf> | to get that command to work, you first need to build cabal |
| 2023-09-24 12:43:07 +0200 | <tomsmeding> | lockywolf: in other situations, when you got this "Encountered missing or privte dependencies" error, what was the solution? |
| 2023-09-24 12:43:24 +0200 | <tomsmeding> | right |
| 2023-09-24 12:43:31 +0200 | <lockywolf> | I never met that error before |
| 2023-09-24 12:44:28 +0200 | <tomsmeding> | lockywolf: what if you enable -fbase48 |
| 2023-09-24 12:45:03 +0200 | <lockywolf> | the missing dependency for base disappears |
| 2023-09-24 12:45:07 +0200 | <tomsmeding> | that's good! |
| 2023-09-24 12:45:13 +0200 | <lockywolf> | Encountered missing or private dependencies: Cabal-syntax >=3.7 && <3.10, network >=2.5 && <2.6 |
| 2023-09-24 12:45:40 +0200 | <tomsmeding> | lockywolf: -fuse-network-uri |
| 2023-09-24 12:46:16 +0200 | <lockywolf> | network dep disappears |
| 2023-09-24 12:46:42 +0200 | <tomsmeding> | do you have Cabal-syntax available as a dependency for this build? If so, at what version? |
| 2023-09-24 12:46:55 +0200 | <lockywolf> | I have built it myself |
| 2023-09-24 12:47:06 +0200 | <tomsmeding> | sure, which version? |
| 2023-09-24 12:47:53 +0200 | <tomsmeding> | I wonder where that <3.10 constraint comes from |
| 2023-09-24 12:48:04 +0200 | <lockywolf> | 3.10.1.0 |
| 2023-09-24 12:48:34 +0200 | <tomsmeding> | right, that doesn't match the <3.10 constraint, hence Setup not succeeding. But it's weird, because hackage-security declares >=3.7 && <3.12 |
| 2023-09-24 12:48:36 +0200 | <tomsmeding> | not <3.10 |
| 2023-09-24 12:48:45 +0200 | <tomsmeding> | what version of Cabal are you building with? |
| 2023-09-24 12:48:58 +0200 | chomwitt | (~chomwitt@2a02:587:7a2f:d000:1ac0:4dff:fedb:a3f1) |
| 2023-09-24 12:49:02 +0200 | <lockywolf> | same as Cabal-syntax |
| 2023-09-24 12:49:25 +0200 | <lockywolf> | 3.10.1.0 |
| 2023-09-24 12:49:38 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-24 12:50:04 +0200 | <tomsmeding> | side note about those flags: if you look here https://hackage.haskell.org/package/hackage-security and open the "Automatic Flags" box, you'll see there are a bunch of flags that Cabal is supposed to automatically solve for when building a package. You don't have cabal-install yet, so you have to do this manually |
| 2023-09-24 12:50:14 +0200 | <tomsmeding> | hence needing to -f a few well-chosen things |
| 2023-09-24 12:50:33 +0200 | <lockywolf> | hah, thank you for telling me |
| 2023-09-24 12:50:53 +0200 | <lockywolf> | are there some transitive flags? |
| 2023-09-24 12:51:04 +0200 | <tomsmeding> | if you clock the "Package description" link you get the hackage-security.cabal file, which has (fortunately!) plentiful comments about why exactly those flags are there and what they do |
| 2023-09-24 12:51:10 +0200 | <tomsmeding> | what do you mean with transitive? |
| 2023-09-24 12:51:31 +0200 | <tomsmeding> | (those comments in the .cabal file are how I even came up with these suggestions) |
| 2023-09-24 12:52:33 +0200 | <lockywolf> | I mean, if a package A depends on package B built with flag F, which makes it use package C, not package D, will A become transitively dependent on C? |
| 2023-09-24 12:52:41 +0200 | <tomsmeding> | can you grep for the string "3.10" or something :p |
| 2023-09-24 12:52:47 +0200 | <tomsmeding> | in sources of stuff you've already built |
| 2023-09-24 12:53:14 +0200 | <tomsmeding> | flags can be used in conditionals in the .cabal file (the build spec), hence can influence dependencies, yes |
| 2023-09-24 12:53:44 +0200 | <lockywolf> | I see |
| 2023-09-24 12:56:28 +0200 | <tomsmeding> | lockywolf: _something_ is constraining Cabal-syntax < 3.10, but you don't want that because you want to build with 3.10, to match Cabal |
| 2023-09-24 12:56:36 +0200 | <tomsmeding> | I just have no clue what that something would be |
| 2023-09-24 12:56:47 +0200 | <tomsmeding> | hence my hope that you can find something by grepping for "3.10" |
| 2023-09-24 12:56:59 +0200 | <lockywolf> | it would have been nice if the build system could print the name of that "something" |
| 2023-09-24 12:57:20 +0200 | <tomsmeding> | it would, wouldn't it? |
| 2023-09-24 12:57:25 +0200 | <tomsmeding> | does Setup have some kind of --verbose |
| 2023-09-24 13:04:17 +0200 | <lockywolf> | I am trying to rebuild haskell-Cabal-syntax, and it is complaining: Something is amiss; requested module mtl-2.2.2:Control.Monad.State.Class differs from name found in the interface file mtl-2.2.2:Control.Monad.State.Class |
| 2023-09-24 13:05:40 +0200 | <lockywolf> | and Cabal-syntax, seemingly, has no flags |
| 2023-09-24 13:05:56 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-24 13:06:24 +0200 | <tomsmeding> | lockywolf: is there a particular reason why you're using mtl 2.2.2 and not 2.3.1? |
| 2023-09-24 13:07:42 +0200 | <lockywolf> | yeah, it's in my repo by default |
| 2023-09-24 13:07:46 +0200 | <tomsmeding> | but in general this sounds like "rebuild mtl, something changed in the dependencies that changed flags / hashes" |
| 2023-09-24 13:07:50 +0200 | <tomsmeding> | I see |
| 2023-09-24 13:08:01 +0200 | <tomsmeding> | not that I expect the mtl _version_ to be the problem here, 2.2.2 is new enough |
| 2023-09-24 13:09:42 +0200 | <lockywolf> | this versioning thing seems to be a big part of haskell's cultulre |
| 2023-09-24 13:10:37 +0200 | <tomsmeding> | there is a haskell "subculture" that revolves around stackage, which is a versioned _snapshot_: you choose a stackage version, and you get a list of packages including versions and flag configuration that work together |
| 2023-09-24 13:10:54 +0200 | <tomsmeding> | this came later as a response to not wanting to deal with versions |
| 2023-09-24 13:11:01 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-24 13:11:26 +0200 | <tomsmeding> | luckily packages written with stackage in mind are not _too_ incompatible with the cabal-install world, so it's not a full ecosystem fork |
| 2023-09-24 13:12:53 +0200 | <tomsmeding> | lockywolf: essentially the source of the "trouble" is that we care about having built against source code artifact X, so later being presented with source code artifact Y and being told it's the same-ish as X we refuse to be compiled instead of saying "sure" |
| 2023-09-24 13:13:20 +0200 | <tomsmeding> | this is different from e.g. the NodeJS culture where, due to being in an untyped language, people just push stuff together and hope it works |
| 2023-09-24 13:13:39 +0200 | <tomsmeding> | also from C culture where it's a common expectation to be able to update dynamically linked libraries from under your feet |
| 2023-09-24 13:14:02 +0200 | <tomsmeding> | this is also the reason why haskell does NOT go well with dynamic linking (of haskell dependencies) |
| 2023-09-24 13:14:08 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-24 13:14:37 +0200 | <tomsmeding> | because you cannot just exchange dep A-2.1 for dep A-2.2, or even dep A-2.1 with some other flag set |
| 2023-09-24 13:15:20 +0200 | <tomsmeding> | because there is no fixed ABI, so those versions are probably _not_ going to be compatible, even if at source-code level, A didn't relevantly change between those versions |
| 2023-09-24 13:15:28 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-24 13:15:36 +0200 | <lockywolf> | I see |
| 2023-09-24 13:15:40 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-24 13:15:55 +0200 | <lockywolf> | but Go and Rust allow "vendored builds" |
| 2023-09-24 13:16:20 +0200 | <lockywolf> | where I can just download everything needed into a single directory, all the dependency tree, and ignore systemwide deps |
| 2023-09-24 13:16:33 +0200 | <lockywolf> | well, ignore systemwide Go/Rust deps |
| 2023-09-24 13:16:57 +0200 | <lockywolf> | low-level C/C++ shared libraries will still have to be compatible |
| 2023-09-24 13:17:38 +0200 | <tomsmeding> | cabal also allows this, if you write a cabal.project file :p |
| 2023-09-24 13:17:40 +0200 | <tomsmeding> | but then you need cabal |
| 2023-09-24 13:18:26 +0200 | <lockywolf> | yes, building cabal would have been nice |
| 2023-09-24 13:18:48 +0200 | <lockywolf> | I can try rebuilding mtl |
| 2023-09-24 13:20:34 +0200 | <tomsmeding> | yeah |
| 2023-09-24 13:23:43 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2023-09-24 13:30:28 +0200 | <lockywolf> | What are "show off" projects written in Haskell? Are there any other than pandoc? |
| 2023-09-24 13:36:14 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 2023-09-24 13:36:41 +0200 | <lockywolf> | yes, seems to work |
| 2023-09-24 13:37:42 +0200 | <yushyin> | xmonad, shellcheck, hledger, agda, purescript, elm are some of the well-known haskell projects, i guess |
| 2023-09-24 13:38:01 +0200 | <ncf> | don't forget pandoc |
| 2023-09-24 13:38:51 +0200 | <haskellbridge> | <sm> postgrest, facebook's spam checker, cardano ... |
| 2023-09-24 13:39:02 +0200 | <haskellbridge> | <sm> idris |
| 2023-09-24 13:39:21 +0200 | <ncf> | ghc |
| 2023-09-24 13:40:10 +0200 | <ncf> | hakyll, darcs |
| 2023-09-24 13:43:39 +0200 | <Rembane> | Dhall IIRC |
| 2023-09-24 13:43:59 +0200 | <ncf> | glirc |
| 2023-09-24 13:45:05 +0200 | <tomsmeding> | Futhark |
| 2023-09-24 13:47:25 +0200 | <tomsmeding> | lockywolf: re "Go and Rust allow "vendored builds"" -- for rust, also if you build cargo manually? Cargo has a bunch of dependencies, and surely those are not all vendored in |
| 2023-09-24 13:47:56 +0200 | <lockywolf> | tomsmeding: I am fine with building cabal by hand |
| 2023-09-24 13:48:22 +0200 | <lockywolf> | if that lets me create "static" packages, similar to what cargo does |
| 2023-09-24 13:48:42 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-09-24 13:48:42 +0200 | <tomsmeding> | "static" meaning "having no dynamically-linked dependencies"? |
| 2023-09-24 13:49:45 +0200 | <tomsmeding> | haskell packages are linked statically by default, but any C dependencies are linked dynamically by default. Changing that is hard, and sometimes not even supported by the C dependency in question (glibc cannot be linked statically, or you will suffer) |
| 2023-09-24 13:49:53 +0200 | <haskellbridge> | <sm> shelltestrunner, Co-Star, Facebook's Glean, Microsoft's Bond, Galois' Copilot, Freckle |
| 2023-09-24 13:50:27 +0200 | <haskellbridge> | <sm> Southern Exposure, Seed Exchange, Bazqux |
| 2023-09-24 13:50:39 +0200 | <haskellbridge> | <sm> Southern Exposure Seed Exchange, Bazqux |
| 2023-09-24 13:53:20 +0200 | <lockywolf> | wait, ghc contains mtl? |
| 2023-09-24 13:54:06 +0200 | liamzy__ | (~Inst@120.244.192.250) |
| 2023-09-24 13:54:09 +0200 | liamzy__ | Inst |
| 2023-09-24 13:56:37 +0200 | <lockywolf> | Well, I was imprecise. Static meaning it won't link in systemwide libs, even though those are static libs |
| 2023-09-24 13:57:38 +0200 | <tomsmeding> | lockywolf: what do you mean with "systemwide libs"? Haskell libraries or C libraries? |
| 2023-09-24 13:57:46 +0200 | <lockywolf> | haskell libraries |
| 2023-09-24 13:58:11 +0200 | <tomsmeding> | a distinction is made there because Haskell libraries follow GHC's internal calling convention, which is unstable over recompilations and GHC versions, whereas C libraries follow ccall which is stable |
| 2023-09-24 13:58:18 +0200 | <tomsmeding> | haskell libraries are always linked statically |
| 2023-09-24 13:58:30 +0200 | <tomsmeding> | unless you pass -dynamic, but then good luck, you're (mostly) on your own |
| 2023-09-24 13:59:08 +0200 | <tomsmeding> | (in particular, do not expect to be able to exchange dependency version X with dependency version X', as I explained above) |
| 2023-09-24 13:59:12 +0200 | <lockywolf> | I mean, that if I can ignore systemwide-installed (static) libs, it would be okay |
| 2023-09-24 13:59:34 +0200 | <tomsmeding> | any haskell executable will depend only on C libraries if you don't pass -dynamic to GHC, and I hope you don't |
| 2023-09-24 13:59:57 +0200 | <lockywolf> | it will use systemwide haskell libs when built |
| 2023-09-24 13:59:58 +0200 | <tomsmeding> | "systemwide-installed" and "static" are two orthogonal properties |
| 2023-09-24 14:00:22 +0200 | <lockywolf> | well... if you want to be pedantic |
| 2023-09-24 14:00:29 +0200 | <tomsmeding> | "systemwide" contrasts with "local" (as in, not in a well-known folder near /), whereas "static" (typically .a) contrasts with "dynamic" (typically .so) |
| 2023-09-24 14:00:36 +0200 | <lockywolf> | static libraries are usually not installed systemwide |
| 2023-09-24 14:00:36 +0200 | <tomsmeding> | hence my clarifying questions :p |
| 2023-09-24 14:00:40 +0200 | <tomsmeding> | sure |
| 2023-09-24 14:00:54 +0200 | <lockywolf> | unless it is haskell |
| 2023-09-24 14:01:05 +0200 | <tomsmeding> | indeed, because haskell wants to link statically |
| 2023-09-24 14:01:09 +0200 | <tomsmeding> | so it needs the .a's of dependencies |
| 2023-09-24 14:01:16 +0200 | <tomsmeding> | haskell dependencies, that is |
| 2023-09-24 14:02:05 +0200 | <lockywolf> | so my point is for packaging software, I would prefer ignoring systemwide haskell libraries entirely, and just download everything into ./vendor/ and build from scratch |
| 2023-09-24 14:04:21 +0200 | <tomsmeding> | right |
| 2023-09-24 14:04:29 +0200 | <tomsmeding> | I think you can do that, right? |
| 2023-09-24 14:04:37 +0200 | <yushyin> | i would just use cabal v2- |
| 2023-09-24 14:04:42 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-24 14:04:45 +0200 | <tomsmeding> | yushyin: they're trying to build cabal |
| 2023-09-24 14:04:51 +0200 | <tomsmeding> | there is no cabal yet |
| 2023-09-24 14:05:04 +0200 | <tomsmeding> | they're a package maintainer for a linux distro |
| 2023-09-24 14:05:07 +0200 | <yushyin> | ah |
| 2023-09-24 14:05:09 +0200 | <yushyin> | i see |
| 2023-09-24 14:05:17 +0200 | <tomsmeding> | as I said before, this is important context :p |
| 2023-09-24 14:05:41 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-09-24 14:05:52 +0200 | <yushyin> | yeah, sorry, i didn't follow the whole conversation |
| 2023-09-24 14:06:10 +0200 | <lockywolf> | I wouldn't call myself a "package maintainer" :D |
| 2023-09-24 14:06:31 +0200 | <lockywolf> | those people usually are employed by distro companies and get money for their job |
| 2023-09-24 14:08:11 +0200 | <lockywolf> | whereas I am just installing some software on my own machine |
| 2023-09-24 14:09:10 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-24 14:17:49 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2023-09-24 14:18:58 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-09-24 14:19:07 +0200 | <tomsmeding> | lockywolf: "get money" welcome to the real world |
| 2023-09-24 14:19:23 +0200 | <lockywolf> | :D |
| 2023-09-24 14:19:26 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-24 14:19:49 +0200 | <tomsmeding> | is there really no pre-built cabal executable that you can download from somewhere that will work? |
| 2023-09-24 14:20:07 +0200 | <tomsmeding> | if this is not for some well-intentioned but overly principled package system that does not allow downloaded binaries |
| 2023-09-24 14:20:27 +0200 | <tomsmeding> | what about "download ghcup" does not work for you |
| 2023-09-24 14:20:58 +0200 | <tomsmeding> | ghcup is probably not tested on slackware, but if ghc works (apparently it does), you may have some success |
| 2023-09-24 14:21:27 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-09-24 14:21:52 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-24 14:23:00 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-24 14:23:26 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-24 14:35:49 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-24 14:36:58 +0200 | <lockywolf> | no, this is really weird for hackage-security |
| 2023-09-24 14:37:22 +0200 | <lockywolf> | why would it have build-depends: Cabal-syntax >= 3.7 && < 3.10 ? |
| 2023-09-24 14:40:31 +0200 | <lockywolf> | is there a way to unset a flag? |
| 2023-09-24 14:42:30 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-24 14:43:49 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-09-24 14:47:21 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-09-24 14:49:00 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-24 14:49:27 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-24 14:51:38 +0200 | bloot | (~bloot@host-2-100-36-80.as13285.net) |
| 2023-09-24 14:51:42 +0200 | bloot | (~bloot@host-2-100-36-80.as13285.net) (Client Quit) |
| 2023-09-24 14:57:19 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-09-24 14:57:39 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-24 14:59:22 +0200 | <tomsmeding> | ... with cabal there is |
| 2023-09-24 15:00:19 +0200 | <tomsmeding> | lockywolf: ah |
| 2023-09-24 15:00:27 +0200 | <tomsmeding> | https://hackage.haskell.org/package/hackage-security-0.6.2.3/revisions/ see -r2 |
| 2023-09-24 15:00:46 +0200 | <tomsmeding> | er, -r1, not -r2 |
| 2023-09-24 15:01:03 +0200 | <tomsmeding> | lockywolf: where did you get the Cabal-syntax source tarball from? |
| 2023-09-24 15:01:09 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-46-67-70-100-114.dsl.bell.ca) (Ping timeout: 246 seconds) |
| 2023-09-24 15:01:57 +0200 | <tomsmeding> | ah hackage serves the original upload |
| 2023-09-24 15:02:14 +0200 | <tomsmeding> | lockywolf: replace the hackage-security.cabal file with this one https://hackage.haskell.org/package/hackage-security-0.6.2.3/revision/6.cabal |
| 2023-09-24 15:04:08 +0200 | <lockywolf> | o_0 |
| 2023-09-24 15:05:00 +0200 | <tomsmeding> | https://github.com/haskell-infra/hackage-trustees/blob/master/revisions-information.md |
| 2023-09-24 15:06:00 +0200 | <tomsmeding> | again, cabal would have handled this transparently :p |
| 2023-09-24 15:06:53 +0200 | <Inst> | curious about the arch disaster with GHC |
| 2023-09-24 15:06:56 +0200 | <Inst> | that's Felix Yan? |
| 2023-09-24 15:07:00 +0200 | <Inst> | The Wuhan-based developer? |
| 2023-09-24 15:08:21 +0200 | <lockywolf> | still looking at the wrong mtl |
| 2023-09-24 15:08:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-24 15:13:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-24 15:13:47 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-46-67-70-100-188.dsl.bell.ca) |
| 2023-09-24 15:17:17 +0200 | <[exa]> | Inst: not quite a disaster tbh, actually it helped ghcup et al. a lot |
| 2023-09-24 15:17:39 +0200 | <Axman6> | Happy little accident |
| 2023-09-24 15:17:56 +0200 | <Inst> | What happened? |
| 2023-09-24 15:18:18 +0200 | <Inst> | The way I recall, something was wrong with the Arch pacman repo (even though all of the distro-based deployments of GHC are flawed in some way) |
| 2023-09-24 15:18:29 +0200 | <yushyin> | Inst: I wouldn't call it a disaster (but quite unfavorable). The arch packages around haskell are just not suitable for haskell development and for that I would always prefer ghcup anyway, where I can decide myself which and how many ghc toolchains I have installed and use. |
| 2023-09-24 15:19:14 +0200 | <Inst> | I'm just more embarrassed because Felix Yan is... umm, well |
| 2023-09-24 15:19:30 +0200 | <yushyin> | Inst: https://wiki.archlinux.org/title/Haskell#Configuration explains it |
| 2023-09-24 15:19:59 +0200 | <Axman6> | Why you gotta make things personal? |
| 2023-09-24 15:20:41 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-24 15:21:26 +0200 | <Axman6> | I've known about then issues with Arch for years but never heard the name of anyone - engineering mistakes can be discussed without blaming engineers |
| 2023-09-24 15:21:40 +0200 | <Inst> | I'm not even sure if it's an engineering mistake. |
| 2023-09-24 15:23:33 +0200 | <Inst> | As to ask about Mr. Yan, I was more wondering whether the online information about him and his background makes sense, and I'd think, his choice isn't bad, actually, but it's more specific to his local circumstances than overseas. |
| 2023-09-24 15:25:03 +0200 | <Inst> | He's operating in a country where computing is expensive relative to incomes compared to overseas, there's also import taxes and sanctions on certain types of hardware, so it's reasonable for him to choose a less stable, less resource-consuming configuration. |
| 2023-09-24 15:25:18 +0200 | <Inst> | But obviously, not everyone's operating under his resource constraints, so... |
| 2023-09-24 15:26:20 +0200 | <Inst> | Anyways, GHCup for everyone, unless Nix, then presumably Haskell.nix or something like that. What's the problem? |
| 2023-09-24 15:27:19 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-09-24 15:27:52 +0200 | stefan-__ | (~m-ohzqow@42dots.de) (Remote host closed the connection) |
| 2023-09-24 15:28:39 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-09-24 15:28:41 +0200 | stefan-__ | (~m-ohzqow@42dots.de) |
| 2023-09-24 15:31:13 +0200 | <Inst> | I'm just surprised he's Chinese, I heard horrible stories about what was going on, but if he's Chinese and I know where he's approximately based, I might be able to find him in Haskell QQ or Haskell Wechat |
| 2023-09-24 15:32:20 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-24 15:32:27 +0200 | <yushyin> | With the increase in go and rust tools, arch also abandoned the idea of dynamic-linking everything. Perhaps they could reverse their decision on haskell packages after all. ;) |
| 2023-09-24 15:32:48 +0200 | <Inst> | Why does it matter? |
| 2023-09-24 15:33:04 +0200 | stefan-__ | (~m-ohzqow@42dots.de) (Remote host closed the connection) |
| 2023-09-24 15:34:16 +0200 | <Inst> | The way I understand it is that his preferences come from an environment where the benefits of dynamic linking outweigh the costs. |
| 2023-09-24 15:34:18 +0200 | stefan-__ | (~m-ohzqow@42dots.de) |
| 2023-09-24 15:34:44 +0200 | <haskellbridge> | <maerwald> That's not how distributors are supposed to make decisions |
| 2023-09-24 15:35:27 +0200 | <Inst> | Well, I'd rather see if I can reach him first and if he's willing to talk. |
| 2023-09-24 15:35:48 +0200 | <Inst> | You know the Arch GHC is 9.0.2, right? So that's why I don't really care about it, it's all antiquated stuff. |
| 2023-09-24 15:36:12 +0200 | <Inst> | and iirc 9.0.x was a lemon, everyone moved onto 9.2.x as soon as they could, or stuck with 8.10.7 |
| 2023-09-24 15:36:17 +0200 | euleritian | (~euleritia@77.22.252.18) |
| 2023-09-24 15:38:54 +0200 | <yushyin> | yeah, we would still recommend using ghcup anyway |
| 2023-09-24 15:40:54 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-09-24 15:53:59 +0200 | <[exa]> | Inst: I'd say that just submitting the new pacman recipes for the "good" way to do GHC would probably be best |
| 2023-09-24 15:54:34 +0200 | <Inst> | as in, ghcup as a separate package on pacman? |
| 2023-09-24 15:54:41 +0200 | <Inst> | (I'd think that'd be best too) |
| 2023-09-24 15:55:00 +0200 | <[exa]> | Inst: one of the problems there is that AFAIK the only "semi-reasonable" way to have actual distro packages for ghc is the debian way, which ain't quite optimal either |
| 2023-09-24 15:55:01 +0200 | <int-e> | phma: The first loop in `roundDecrypt` should subtract, not add. There won't be a pull request. |
| 2023-09-24 15:56:19 +0200 | <[exa]> | Inst: so maybe the best effort for Arch would be just to document stuff properly and tell everyone right on archwiki to just use ghcup for any development |
| 2023-09-24 15:56:25 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-24 15:56:28 +0200 | <[exa]> | afaik ghcup has arch package already |
| 2023-09-24 15:57:05 +0200 | <Inst> | probably on AUR |
| 2023-09-24 15:57:31 +0200 | <Inst> | https://aur.archlinux.org/packages/ghcup-hs-bin |
| 2023-09-24 15:58:14 +0200 | <[exa]> | yap |
| 2023-09-24 15:58:54 +0200 | <[exa]> | Inst: you have account on their wiki? I guess this can be much much improved just by phrasing that well in the introduction here https://wiki.archlinux.org/title/Haskell#ghcup |
| 2023-09-24 16:01:12 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-24 16:08:09 +0200 | <Inst> | Welp, cue edit war. |
| 2023-09-24 16:10:49 +0200 | <yushyin> | the note that you *need* to uninstall any arch related haskell packages first seems wrong to me. shouldn't matter if you use ghcup+cabal correctly |
| 2023-09-24 16:12:00 +0200 | <Inst> | Have you been able to get a Pacman-mediated Agda install working alongside Cabal? |
| 2023-09-24 16:12:32 +0200 | <Inst> | It also means if you Syu and get newer pacman-ghc, the package might end up blowing up your path |
| 2023-09-24 16:13:11 +0200 | <EvanR> | Inst are you on arch linux? |
| 2023-09-24 16:13:33 +0200 | <Inst> | Ya. |
| 2023-09-24 16:13:48 +0200 | <EvanR> | my sympathies xD |
| 2023-09-24 16:14:14 +0200 | tomsmeding | too |
| 2023-09-24 16:14:30 +0200 | <Inst> | What distro should I be using, then? I'd rather use NixOS, but I'm not familiar enough with the Nix toolchain, and too many people are on Cabal / Stack. |
| 2023-09-24 16:14:32 +0200 | euleritian | (~euleritia@77.22.252.18) (Ping timeout: 260 seconds) |
| 2023-09-24 16:14:39 +0200 | <EvanR> | ain't nobody got time dealing with distros when there's haskelling to do |
| 2023-09-24 16:14:50 +0200 | <[exa]> | Inst: actually checked the history on that page, looks like no drama present |
| 2023-09-24 16:15:09 +0200 | <EvanR> | arch is the only distro I hear regular complains about wrt haskell stuff |
| 2023-09-24 16:15:35 +0200 | <tomsmeding> | there are no problems if you avoid all distro packages that depend on / have haskell stuff |
| 2023-09-24 16:15:58 +0200 | <EvanR> | like pandoc? |
| 2023-09-24 16:16:02 +0200 | <tomsmeding> | yes |
| 2023-09-24 16:16:04 +0200 | <tomsmeding> | cabal install pandoc |
| 2023-09-24 16:16:18 +0200 | <Inst> | Yeah, sm proposed that IHP might do better if they weren't bound to Nix, I wonder if DigitallyInduced might ever be interested in supporting GHCup so they could deploy an env via it? |
| 2023-09-24 16:16:46 +0200 | <EvanR> | thanks to arch, pandoc users on arch need to know it was written in haskell and react accordingly |
| 2023-09-24 16:16:57 +0200 | <EvanR> | when normally you shouldn't care |
| 2023-09-24 16:17:03 +0200 | <tomsmeding> | I, as a haskell user, do not really care :p |
| 2023-09-24 16:17:35 +0200 | <Inst> | oh wait, so if you install pandoc, it ends up depending on the GHC 9.0.2 package, which should be past its support lifetime? |
| 2023-09-24 16:19:09 +0200 | <haskellbridge> | <maerwald> a project only working via nix is a great indicator that it's borked |
| 2023-09-24 16:21:38 +0200 | <Inst> | I mean, unless you have lots of spare time right now, I shouldn't be discussing any potential improvements for GHCup, especially since query_ didn't respond to my cold call... |
| 2023-09-24 16:23:49 +0200 | <Inst> | Only working with Nix reminds me of Joe Armstrong's quip about OOP being "You wanted the banana but what you got was a gorilla holding the banana and the entire jungle." |
| 2023-09-24 16:24:49 +0200 | <EvanR> | that's an evocative quotable. What does it even mean |
| 2023-09-24 16:25:35 +0200 | <Inst> | https://www.johndcook.com/blog/2011/07/19/you-wanted-banana/ |
| 2023-09-24 16:25:40 +0200 | Functionalley | (~al@82-69-116-36.dsl.in-addr.zen.co.uk) |
| 2023-09-24 16:26:52 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-24 16:28:28 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 245 seconds) |
| 2023-09-24 16:29:04 +0200 | <EvanR> | our nice abstract high level programs run on this tower of software technology, it's just that in this case it's not exactly the same tower everyone has stockholm syndrome on |
| 2023-09-24 16:29:16 +0200 | <EvanR> | so you don't always notice |
| 2023-09-24 16:30:54 +0200 | <EvanR> | until you need to bring your own tower |
| 2023-09-24 16:30:59 +0200 | <yushyin> | xD |
| 2023-09-24 16:49:48 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
| 2023-09-24 16:50:08 +0200 | <Hecate> | I need to add easy debugging to servant-client otherwise I'm going to go mad |
| 2023-09-24 16:50:13 +0200 | <Hecate> | this cannot go on |
| 2023-09-24 16:51:56 +0200 | <Rembane> | Hecate: What's driving you mad? |
| 2023-09-24 16:55:20 +0200 | Functionalley | (~al@82-69-116-36.dsl.in-addr.zen.co.uk) (Quit: Konversation terminated!) |
| 2023-09-24 16:56:29 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-24 16:56:29 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-24 16:56:29 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-24 16:57:03 +0200 | Guest|73 | (~Guest|73@5.151.91.129) |
| 2023-09-24 17:02:23 +0200 | hugo- | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-24 17:02:43 +0200 | solution | (~solution@77-234-80-135.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2023-09-24 17:03:10 +0200 | <Guest|73> | trying to install Haskell and failing miserably |
| 2023-09-24 17:03:15 +0200 | <Rembane> | Guest|73: On what system? |
| 2023-09-24 17:03:21 +0200 | <Guest|73> | mac |
| 2023-09-24 17:03:35 +0200 | <Guest|73> | [ Warn ] [GHCup-00110] ghc-9.2.8 is already installed; if you really want to reinstall it, you may want to run 'ghcup install ghc --force 9.2.8' |
| 2023-09-24 17:03:35 +0200 | <Guest|73> | [ Info ] GHC 9.2.8 successfully set as default version |
| 2023-09-24 17:03:36 +0200 | <Guest|73> | [ Warn ] [GHCup-00110] cabal-3.6.2.0 is already installed; if you really want to reinstall it, you may want to run 'ghcup install cabal --force 3.6.2.0' |
| 2023-09-24 17:03:36 +0200 | <Guest|73> | Could not deserialize <repo>/root.json: Malformed: (line 1, column 1): |
| 2023-09-24 17:03:37 +0200 | <Guest|73> | unexpected "<" |
| 2023-09-24 17:03:37 +0200 | <Guest|73> | expecting white space or JSON value |
| 2023-09-24 17:03:38 +0200 | <Guest|73> | "cabal update --ignore-project" failed! |
| 2023-09-24 17:03:44 +0200 | <Guest|73> | I keep getting this in my terminal |
| 2023-09-24 17:04:05 +0200 | <haskellbridge> | <maerwald> that's a cabal issue |
| 2023-09-24 17:04:21 +0200 | solution | (~solution@92-249-141-207.pool.digikabel.hu) |
| 2023-09-24 17:05:20 +0200 | <Guest|73> | how do I fix it? |
| 2023-09-24 17:05:58 +0200 | hiyori | (~hiyori@user/hiyori) (Ping timeout: 245 seconds) |
| 2023-09-24 17:06:54 +0200 | <haskellbridge> | <maerwald> what does this say: cat ~/.cabal/packages/hackage.haskell.org/root.json |
| 2023-09-24 17:07:33 +0200 | <Guest|73> | No such file or directory |
| 2023-09-24 17:09:57 +0200 | Square | (~Square@user/square) (Ping timeout: 258 seconds) |
| 2023-09-24 17:11:10 +0200 | <haskellbridge> | <maerwald> do you have a curl installed via brew? |
| 2023-09-24 17:11:23 +0200 | <Guest|73> | I don't think so |
| 2023-09-24 17:11:41 +0200 | <Guest|73> | but I think it said that was only for M1 and I'm on M2 |
| 2023-09-24 17:12:06 +0200 | <haskellbridge> | <maerwald> curl https://hackage.haskell.org/root.json |
| 2023-09-24 17:12:07 +0200 | <haskellbridge> | <maerwald> does this work? |
| 2023-09-24 17:18:49 +0200 | danza_ | (~francesco@151.35.131.226) |
| 2023-09-24 17:18:56 +0200 | <Guest|73> | no it just spams a bunch of random code |
| 2023-09-24 17:19:04 +0200 | <tomsmeding> | what random code :p |
| 2023-09-24 17:19:15 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Quit: Lost terminal) |
| 2023-09-24 17:19:26 +0200 | <EvanR> | that doesn't sound good. Are you being pwned by haxors |
| 2023-09-24 17:19:33 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-24 17:20:05 +0200 | <Hecate> | Rembane: the maze of bullshit that constitutes the implementation of servant-client |
| 2023-09-24 17:20:44 +0200 | <Guest|73> | I don't know what I should and shouldn't share online but its like a bunch of signatures and keys and just mumbo jumbo |
| 2023-09-24 17:20:55 +0200 | <Guest|73> | but its made no difference I don't think |
| 2023-09-24 17:20:56 +0200 | <tomsmeding> | does it start with < or with { |
| 2023-09-24 17:21:15 +0200 | <tomsmeding> | it definitely will not _do_ anything, the question is: is it JSON, or HTML/XML, or something else that you get |
| 2023-09-24 17:21:22 +0200 | <Rembane> | Hecate: Oh. That sounds painful in a very spaghetti way. |
| 2023-09-24 17:21:27 +0200 | <Hecate> | Rembane: :( |
| 2023-09-24 17:21:28 +0200 | <Hecate> | yes |
| 2023-09-24 17:21:34 +0200 | <Hecate> | I'm think I'll switch to `req` |
| 2023-09-24 17:21:48 +0200 | <Hecate> | no time for this bullshit anymore |
| 2023-09-24 17:21:57 +0200 | <Rembane> | Sounds reasonable. |
| 2023-09-24 17:22:04 +0200 | <Hecate> | I just want to print the generated Request |
| 2023-09-24 17:22:04 +0200 | <Rembane> | But sad. |
| 2023-09-24 17:22:07 +0200 | <Guest|73> | { |
| 2023-09-24 17:22:24 +0200 | <Hecate> | but the manual says I have to switch implementation and use a ClientF |
| 2023-09-24 17:22:48 +0200 | <Guest|73> | its all the code that you get if you open the link yourself in a browser |
| 2023-09-24 17:22:58 +0200 | <tomsmeding> | Guest|73: okay that sounds good |
| 2023-09-24 17:23:54 +0200 | <tomsmeding> | Guest|73: what happens if you rename ~/.ghcup to something else (i.e. remove it, but keep a backup), and then try installing ghcup again? |
| 2023-09-24 17:24:41 +0200 | <Guest|73> | How do I rename it? Sorry if my questions are really stupid this is my first time |
| 2023-09-24 17:25:06 +0200 | <tomsmeding> | Guest|73: mv ~/.ghcup ~/.ghcup-backup |
| 2023-09-24 17:26:21 +0200 | <Guest|73> | rename /Users/tomaz/.ghcup to /Users/tomaz/.ghcup-backup/.ghcup: No such file or directory |
| 2023-09-24 17:26:30 +0200 | <tomsmeding> | (you could also just do this in Finder, after showing hidden files -- perhaps it was cmd-shift-H, but it´s been a long time since I used mac) |
| 2023-09-24 17:26:37 +0200 | <tomsmeding> | Guest|73: oh so that folder already exists :p |
| 2023-09-24 17:26:41 +0200 | <tomsmeding> | something else then |
| 2023-09-24 17:27:06 +0200 | <haskellbridge> | <maerwald> the borked file is in the .cabal dir |
| 2023-09-24 17:27:08 +0200 | <haskellbridge> | <maerwald> not in .ghcup |
| 2023-09-24 17:27:29 +0200 | <tomsmeding> | ah |
| 2023-09-24 17:27:59 +0200 | <tomsmeding> | Guest|73: move ~/.ghcup away to something else as we discussed, and also move ~/.cabal to something else |
| 2023-09-24 17:28:05 +0200 | <tomsmeding> | _then_ try reinstalling |
| 2023-09-24 17:28:12 +0200 | <Guest|73> | okay ty |
| 2023-09-24 17:28:25 +0200 | <tomsmeding> | (afterwards, if you have a working system, all these backups can be deleted, of course) |
| 2023-09-24 17:32:12 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 240 seconds) |
| 2023-09-24 17:36:14 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-24 17:36:46 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
| 2023-09-24 17:37:40 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-24 17:39:09 +0200 | ircbrowse_tom | (~ircbrowse@static.162.49.55.162.clients.your-server.de) |
| 2023-09-24 17:39:15 +0200 | Server | +Cnt |
| 2023-09-24 17:39:29 +0200 | Guest|73 | (~Guest|73@5.151.91.129) (Ping timeout: 258 seconds) |
| 2023-09-24 17:40:07 +0200 | yahb2 | (~yahb2@static.56.27.47.78.clients.your-server.de) (Remote host closed the connection) |
| 2023-09-24 17:40:30 +0200 | yahb2 | (~yahb2@static.56.27.47.78.clients.your-server.de) |
| 2023-09-24 17:47:37 +0200 | euleritian | (~euleritia@77.22.252.18) |
| 2023-09-24 17:52:13 +0200 | euleritian | (~euleritia@77.22.252.18) (Ping timeout: 255 seconds) |
| 2023-09-24 17:57:01 +0200 | <Inst> | A question for Arch users, has anyone tried to go with Stack 2.7.5 via pacman? |
| 2023-09-24 17:57:07 +0200 | <Inst> | Does it continue to dynamically link? |
| 2023-09-24 18:03:54 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-09-24 18:05:03 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-09-24 18:07:31 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-24 18:08:17 +0200 | <yushyin> | you can tell stack to *not* use the system ghc and it should just work |
| 2023-09-24 18:09:51 +0200 | jackhill | (~jackhill@2604:180:f2::1a5) |
| 2023-09-24 18:10:04 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-09-24 18:10:17 +0200 | stefan-__ | (~m-ohzqow@42dots.de) (Remote host closed the connection) |
| 2023-09-24 18:11:34 +0200 | stefan-__ | (~m-ohzqow@42dots.de) |
| 2023-09-24 18:12:03 +0200 | stefan-__ | (~m-ohzqow@42dots.de) (Remote host closed the connection) |
| 2023-09-24 18:13:39 +0200 | <davean> | Yah the entire problem is around Arch's packaging, anything that avoids that disaster fixes it. You can use ghcup to get a properly configured GHC. |
| 2023-09-24 18:14:00 +0200 | stefan-__ | (~m-ohzqow@42dots.de) |
| 2023-09-24 18:23:07 +0200 | Inst | (~Inst@120.244.192.250) (Remote host closed the connection) |
| 2023-09-24 18:23:32 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-24 18:25:37 +0200 | <Inst> | davean: someone reverted my edit to wiki, and I'm asking if there are any solutions. I think it's just a feud, and there's no way around it other than, Haskell is going to be finicky for new users who try it via their distro's package manager, and hopefully they end up in IRC, Discord, or Matrix, or simply follow Haskell.org's instructions to use GHCup. |
| 2023-09-24 18:27:18 +0200 | <davean> | Hum? |
| 2023-09-24 18:27:35 +0200 | <Inst> | Arch Wiki, rather. |
| 2023-09-24 18:27:53 +0200 | <Inst> | But w/e, it's more like you get to watch me be naive / silly and just find this problem is still insoluable. |
| 2023-09-24 18:28:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-24 18:30:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-24 18:32:07 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-24 18:37:53 +0200 | Guest|73 | (~Guest|73@5.151.91.128) |
| 2023-09-24 18:38:10 +0200 | <Guest|73> | went for dinner and just came back |
| 2023-09-24 18:38:22 +0200 | <Guest|73> | I've tried to move the ghcup and cabal away |
| 2023-09-24 18:38:30 +0200 | <Guest|73> | still getting no directory |
| 2023-09-24 18:38:36 +0200 | <Guest|73> | so maybe it doesn't exist? |
| 2023-09-24 18:38:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-24 18:38:57 +0200 | <Guest|73> | mv ~/.cabal ~/.cabal-backup |
| 2023-09-24 18:38:57 +0200 | <Guest|73> | mv: rename /Users/tomaz/.cabal to /Users/tomaz/.cabal-backup/.cabal: No such file or directory |
| 2023-09-24 18:39:20 +0200 | <Inst> | This is implying that the /.cabal directory doesn't exist |
| 2023-09-24 18:39:28 +0200 | <Inst> | can you manually locate the /.cabal directory and rename it? |
| 2023-09-24 18:40:17 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-24 18:40:26 +0200 | <Guest|73> | how would I locate it? |
| 2023-09-24 18:40:48 +0200 | <tomsmeding> | Guest|73: perhaps you tried that move command twice? |
| 2023-09-24 18:40:56 +0200 | <tomsmeding> | the first time it should not give any output -- that means it succeeded |
| 2023-09-24 18:41:03 +0200 | <Guest|73> | ahh |
| 2023-09-24 18:41:05 +0200 | <Guest|73> | okay |
| 2023-09-24 18:41:10 +0200 | <Guest|73> | I've moved both then |
| 2023-09-24 18:41:23 +0200 | <tomsmeding> | the second time, because the destination already exists, it'll try to move the source _into_ that -backup directory, which yields the error you got |
| 2023-09-24 18:41:25 +0200 | <tomsmeding> | I see |
| 2023-09-24 18:41:28 +0200 | <Guest|73> | Now should I try and install it again |
| 2023-09-24 18:41:35 +0200 | <tomsmeding> | try the following first: |
| 2023-09-24 18:41:39 +0200 | <tomsmeding> | ls ~/.ghcup ~/.cabal |
| 2023-09-24 18:41:54 +0200 | <tomsmeding> | does that give "no such file or directory" twice? |
| 2023-09-24 18:42:30 +0200 | <Guest|73> | tomaz@Tommys-MacBook-Air-3 ~ % ls ~/.ghcup ~/.cabal |
| 2023-09-24 18:42:30 +0200 | <Guest|73> | ls: /Users/tomaz/.cabal: No such file or directory |
| 2023-09-24 18:42:31 +0200 | <Guest|73> | ls: /Users/tomaz/.ghcup: No such file or directory |
| 2023-09-24 18:42:36 +0200 | <tomsmeding> | cool |
| 2023-09-24 18:42:41 +0200 | <tomsmeding> | now retry install |
| 2023-09-24 18:43:06 +0200 | <Guest|73> | so just plug this in curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh |
| 2023-09-24 18:43:22 +0200 | <tomsmeding> | looks good |
| 2023-09-24 18:44:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-24 18:49:47 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-24 18:51:29 +0200 | <Guest|73> | tom you are a gem |
| 2023-09-24 18:51:35 +0200 | <Guest|73> | thank you so much |
| 2023-09-24 18:51:47 +0200 | <tomsmeding> | did it work? |
| 2023-09-24 18:51:59 +0200 | <Guest|73> | yes it did |
| 2023-09-24 18:52:02 +0200 | <tomsmeding> | yay |
| 2023-09-24 18:52:14 +0200 | <tomsmeding> | then you can clean up a bit of disk space and remove ~/.ghcup-backup and ~/.cabal-backup :) |
| 2023-09-24 18:52:47 +0200 | <tomsmeding> | tip: you can show hidden files in Finder by pressing command + shift + . |
| 2023-09-24 18:52:56 +0200 | <tomsmeding> | ~ is your home directory |
| 2023-09-24 18:55:40 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-24 18:58:40 +0200 | Guest|73 | (~Guest|73@5.151.91.128) (Ping timeout: 252 seconds) |
| 2023-09-24 18:59:13 +0200 | califax | (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2023-09-24 19:00:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18ad:f738:7220:a150) (Remote host closed the connection) |
| 2023-09-24 19:00:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-24 19:00:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18ad:f738:7220:a150) |
| 2023-09-24 19:14:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-09-24 19:23:59 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) () |
| 2023-09-24 19:24:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18ad:f738:7220:a150) (Remote host closed the connection) |
| 2023-09-24 19:25:00 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2023-09-24 19:25:15 +0200 | euleritian | (~euleritia@77.22.252.18) |
| 2023-09-24 19:25:47 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) |
| 2023-09-24 19:28:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:512e:bd53:61ed:4293) |
| 2023-09-24 19:29:19 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-09-24 19:31:26 +0200 | califax | (~califax@user/califx) |
| 2023-09-24 19:36:07 +0200 | euleritian | (~euleritia@77.22.252.18) (Read error: Connection reset by peer) |
| 2023-09-24 19:36:19 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-24 19:38:02 +0200 | cole-k | (~cole@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) |
| 2023-09-24 19:38:42 +0200 | danza_ | (~francesco@151.35.131.226) (Ping timeout: 260 seconds) |
| 2023-09-24 19:38:42 +0200 | cole-k | (~cole@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-09-24 19:40:20 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-24 19:40:50 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-24 19:40:58 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-24 19:49:05 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-09-24 19:49:36 +0200 | cole-k | (~cole@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) |
| 2023-09-24 19:51:51 +0200 | cole-k | (~cole@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-09-24 19:53:07 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) |
| 2023-09-24 19:53:07 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) (Client Quit) |
| 2023-09-24 19:53:36 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) |
| 2023-09-24 19:53:37 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) (Client Quit) |
| 2023-09-24 19:54:19 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) |
| 2023-09-24 19:54:24 +0200 | <Guest87> | Seems circe is being fickle today so i'm trying the web client... hope this isn't a dupe: I'm building on GHC 8.10 w/ cabal and I'm trying to enable profiling. I added the `-fprof-auto` flag + tried incandations like `cabal run --enable-profiling` but I can't seem to get the .prof file to generate. Any idea what I'm doing wrong? |
| 2023-09-24 19:55:17 +0200 | <Guest87> | (ah, looks like my internet connection keeps getting reset so my blame is misplaced. guess i'll have to figure that out later) |
| 2023-09-24 19:55:50 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) (Client Quit) |
| 2023-09-24 19:55:56 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-09-24 19:56:06 +0200 | <geekosaur> | you need to turn it on at runtime as well, selecting the profiling mode. https://downloads.haskell.org/ghc/9.6.2/docs/users_guide/profiling.html |
| 2023-09-24 19:56:17 +0200 | <geekosaur> | `+RTS -p` for basic profiling |
| 2023-09-24 19:57:32 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) |
| 2023-09-24 19:58:22 +0200 | <davean> | Which also requires RTS ops in a modern GHC - I've forgotten everything about 8.10 though so no idea if it needs it |
| 2023-09-24 19:58:32 +0200 | privacy | (~privacy@47.219.84.6) (Quit: Leaving) |
| 2023-09-24 19:58:32 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) (Client Quit) |
| 2023-09-24 19:58:44 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) |
| 2023-09-24 19:58:52 +0200 | <geekosaur> | iirc it does |
| 2023-09-24 19:59:03 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) (Client Quit) |
| 2023-09-24 19:59:10 +0200 | <geekosaur> | argh |
| 2023-09-24 19:59:32 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) |
| 2023-09-24 19:59:39 +0200 | <Guest87> | no clue what's up with my connection :( . anyway, I tried `-with-rtsopts=-N` under ghc-options |
| 2023-09-24 19:59:56 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) (Client Quit) |
| 2023-09-24 20:00:13 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) |
| 2023-09-24 20:00:21 +0200 | <davean> | Guest87: -N is parrallel, not profiling |
| 2023-09-24 20:00:31 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) (Client Quit) |
| 2023-09-24 20:00:50 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) |
| 2023-09-24 20:00:56 +0200 | <geekosaur> | -rtsopts, and you probably want to use +RTS instead of -with-rtsopts so you can select time vs. heap profiling etc. |
| 2023-09-24 20:00:58 +0200 | hugo- | hugo |
| 2023-09-24 20:00:58 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) (Client Quit) |
| 2023-09-24 20:01:32 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) |
| 2023-09-24 20:01:32 +0200 | Guest87 | (~Guest87@2603-8000-8f00-9f67-dedb-cd7c-b32e-82e2.res6.spectrum.com) (Client Quit) |
| 2023-09-24 20:04:43 +0200 | <geekosaur> | guess they're gone for good this time |
| 2023-09-24 20:05:10 +0200 | <davean> | Yah I was going to direct them to the step by step directions in the GHC manual ... |
| 2023-09-24 20:05:18 +0200 | <davean> | I don't know why they didn't just look at that |
| 2023-09-24 20:05:33 +0200 | <haskellbridge> | <cole-k> had to look for my haskell bridge so that i wasn't phasing in and out of existence. I meant `-p`, I copied the wrong part of my cabal file. |
| 2023-09-24 20:05:42 +0200 | <davean> | though 8.10 is old enough its giving a bit outdated cabal directions |
| 2023-09-24 20:06:07 +0200 | <davean> | cole-k, are you Guest87? |
| 2023-09-24 20:06:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-24 20:06:14 +0200 | <davean> | This is all well detailed in the GHC manual Guest87. https://downloads.haskell.org/~ghc/8.10.1/docs/html/users_guide/profiling.html#profiling is the step-by-step directions and will just load, when your connection resets again you'll still have it up. |
| 2023-09-24 20:06:17 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 258 seconds) |
| 2023-09-24 20:06:41 +0200 | <davean> | We're just repeating it to you basicly, other than the cabal directions being a touch old fashioned |
| 2023-09-24 20:06:47 +0200 | <EvanR> | Guest87 hologram |
| 2023-09-24 20:07:01 +0200 | <haskellbridge> | <cole-k> davean: Yes. Thanks for the link. I was getting confused at going from the ghc flags to the cabal flags. |
| 2023-09-24 20:07:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-24 20:08:22 +0200 | <davean> | cole-k: Yah, I think the GHC manual spells it out well myself but if anything is confusing, ask! |
| 2023-09-24 20:08:30 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-24 20:10:20 +0200 | <haskellbridge> | <cole-k> davean: got it. I merged the `./Main +RTS -p` and build lines in my head. I see now that it's an additional flag in the executable itself. RTFM indeed. |
| 2023-09-24 20:12:00 +0200 | <monochrom> | I wish people rtfm more too. But one day I realized that there is a selection bias. Those who rtfm wouldn't ask in the first place. |
| 2023-09-24 20:12:58 +0200 | <monochrom> | Those who ask have long already decided not to rtfm. |
| 2023-09-24 20:13:17 +0200 | <davean> | monochrom: I recently told some who wanted to understand how I managed to do stuff in Haskell compitently of certain types, and told them I read the Haskell report and the GHC manual and their response was that was a completely untenable solution. |
| 2023-09-24 20:13:38 +0200 | <davean> | I was like "welp ... then what could be?" |
| 2023-09-24 20:13:53 +0200 | <geekosaur> | srsly? |
| 2023-09-24 20:13:54 +0200 | <monochrom> | Heh. My sentiment is the opposite. Relying on hearsay is untentable for me. |
| 2023-09-24 20:14:06 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-09-24 20:14:18 +0200 | <davean> | geekosaur: srsly |
| 2023-09-24 20:14:43 +0200 | <monochrom> | (Well OK until it gets really tough, e.g., systemd, I just googled for hearsay. :) ) |
| 2023-09-24 20:14:44 +0200 | <haskellbridge> | <cole-k> hey now fellas, we all can't be geniuses here. I spent fifteen minutes reading the manual wrong :( |
| 2023-09-24 20:15:12 +0200 | <davean> | cole-k thats ok! |
| 2023-09-24 20:15:15 +0200 | <davean> | It happens |
| 2023-09-24 20:15:55 +0200 | <EvanR> | was holding the manual upside down |
| 2023-09-24 20:16:58 +0200 | <EvanR> | coming from a 90s windows environment where helpfiles had nothing of value in them, and wondering how the heck anyone knew how to program windows, I am amazed any time a manual exists |
| 2023-09-24 20:17:27 +0200 | <davean> | EvanR: Oh, uh, in the 90s I moved to POSIX because man did include useful info |
| 2023-09-24 20:18:00 +0200 | <monochrom> | Economically, I am not surprised that more people just ask. There are enough answerers who are easily nerd-sniped, or even better/worse, beg to help askers in exchange for the "you are so helpful" trophy. |
| 2023-09-24 20:19:03 +0200 | <davean> | monochrom: Eh, but you don't know all the questions to ask, thats why a good education is critical/` |
| 2023-09-24 20:19:57 +0200 | <EvanR> | yeah a badly formed question can pass through IRC without interacting |
| 2023-09-24 20:20:13 +0200 | <davean> | And that assumes you ask the question in the first place |
| 2023-09-24 20:20:20 +0200 | <monochrom> | Um that's not what I saw in this channel :) |
| 2023-09-24 20:20:45 +0200 | <davean> | It takes a lot of education to avoid the "you don't know what you don't know" problem |
| 2023-09-24 20:20:53 +0200 | <monochrom> | Badly formed questions in here always start long and multiply-branching conversations. |
| 2023-09-24 20:21:19 +0200 | <monochrom> | which is why I said "easily nerd-sniped, or even better/worse, beg to help askers in exchange for the "you are so helpful" trophy" |
| 2023-09-24 20:21:30 +0200 | migas | (~migas@astra4961.startdedicated.net) (Remote host closed the connection) |
| 2023-09-24 20:21:46 +0200 | migas | (~migas@astra4961.startdedicated.net) |
| 2023-09-24 20:22:22 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-24 20:22:30 +0200 | <Lears> | There's a second level of selection bias here, since good questions can usually be answered with a single response, whereas any bad question that isn't ignored is doomed to linger. |
| 2023-09-24 20:22:42 +0200 | <monochrom> | I discovered that right here. I didn't even know that it could be possible when I was in efnet #math where the regulars stood firm with the Socratic method. |
| 2023-09-24 20:23:56 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-24 20:24:31 +0200 | <monochrom> | (Don't get me wrong, some of the #math regulars were like "you need to think" or even "you just need to think" which was not good either.) |
| 2023-09-24 20:24:32 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-09-24 20:26:12 +0200 | <monochrom> | Lears, but there are no ignored bad questions ever in this channell. |
| 2023-09-24 20:27:49 +0200 | <monochrom> | (You can test that by changing you nick so we don't recognize you, hell call yourself newbie31415 or something, and ask "Hi I need help with monads" >:) ) |
| 2023-09-24 20:28:05 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-09-24 20:28:05 +0200 | <Lears> | It does happen sometimes, though I agree it's far too rare. |
| 2023-09-24 20:33:18 +0200 | califax | (~califax@user/califx) |
| 2023-09-24 20:38:14 +0200 | icebreaker | (~icebreake@user/icebreaker) |
| 2023-09-24 20:39:49 +0200 | icebreaker | (~icebreake@user/icebreaker) () |
| 2023-09-24 20:46:35 +0200 | <davean> | monochrom: Oh, I have bad questions - is that the procedure? |
| 2023-09-24 20:47:58 +0200 | <monochrom> | :) |
| 2023-09-24 20:53:38 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-24 20:58:49 +0200 | sabino | (~sabino@user/sabino) |
| 2023-09-24 21:01:04 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-09-24 21:04:31 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-09-24 21:04:59 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-09-24 21:06:27 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-09-24 21:16:06 +0200 | <mauke> | fortunately "I need help" is not a question |
| 2023-09-24 21:17:35 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-24 21:17:51 +0200 | califax | (~califax@user/califx) |
| 2023-09-24 21:19:20 +0200 | _0xa | (~user@user/0xa/x-3134607) |
| 2023-09-24 21:21:48 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Remote host closed the connection) |
| 2023-09-24 21:21:50 +0200 | <davean> | mauke: but "what should I do?" is. |
| 2023-09-24 21:22:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a9c5:696e:def0:9f21) |
| 2023-09-24 21:29:39 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 245 seconds) |
| 2023-09-24 21:32:02 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-24 21:35:42 +0200 | anderson_ | anderson |
| 2023-09-24 21:40:25 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-24 21:40:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a9c5:696e:def0:9f21) (Quit: WeeChat 2.8) |
| 2023-09-24 21:43:08 +0200 | hugo | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-09-24 21:46:50 +0200 | troydm1 | (~troydm@host-176-37-53-238.b025.la.net.ua) |
| 2023-09-24 21:47:07 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-24 21:47:35 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 240 seconds) |
| 2023-09-24 22:05:19 +0200 | hugo | (~hugo@verdigris.lysator.liu.se) |
| 2023-09-24 22:12:56 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-09-24 22:14:11 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-24 22:16:19 +0200 | hugo | (~hugo@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-09-24 22:16:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2023-09-24 22:17:15 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-09-24 22:22:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:512e:bd53:61ed:4293) (Remote host closed the connection) |
| 2023-09-24 22:22:58 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-09-24 22:23:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9164:1cf8:674e:b64a) |
| 2023-09-24 22:25:30 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-24 22:28:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9164:1cf8:674e:b64a) (Ping timeout: 255 seconds) |
| 2023-09-24 22:35:48 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) () |
| 2023-09-24 22:37:00 +0200 | xmachina | (xmachina@gateway/vpn/protonvpn/xmachina) (Ping timeout: 244 seconds) |
| 2023-09-24 22:41:47 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-24 22:46:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9164:1cf8:674e:b64a) |
| 2023-09-24 22:47:05 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-24 22:49:03 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-09-24 22:51:08 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-24 23:03:40 +0200 | Guest50 | (~Guest84@141.41.239.202) |
| 2023-09-24 23:06:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f23c50abffc6610bd44.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-24 23:06:07 +0200 | Guest50 | (~Guest84@141.41.239.202) (Client Quit) |
| 2023-09-24 23:10:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-09-24 23:25:23 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-09-24 23:26:39 +0200 | malte | (~malte@mal.tc) |
| 2023-09-24 23:29:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-24 23:38:56 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-24 23:39:31 +0200 | <mysl> | heh |
| 2023-09-24 23:58:22 +0200 | jjhoo | (~jahakala@user/jjhoo) (Remote host closed the connection) |