Logs on 2022-05-25 (liberachat/#haskell)
| 00:03:58 | × | gurkenglas quits (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 00:08:37 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 00:16:24 | <Axman6> | o/ |
| 00:19:27 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 00:19:48 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:21:28 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 00:24:29 | → | mmhat joins (~mmh@p200300f1c705846fee086bfffe095315.dip0.t-ipconnect.de) |
| 00:25:48 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 00:31:40 | → | Lemniscate joins (~sauvin@about/linux/staff/sauvin) |
| 00:34:23 | × | Sauvin quits (~sauvin@about/linux/staff/sauvin) (Ping timeout: 255 seconds) |
| 00:34:50 | × | Tuplanolla quits (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:36:00 | <dibblego> | g'morn |
| 00:38:16 | × | mmhat quits (~mmh@p200300f1c705846fee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5) |
| 00:39:35 | → | kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 00:40:17 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 00:40:24 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 00:41:32 | Lord_of_Life_ | is now known as Lord_of_Life |
| 00:42:01 | × | kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Client Quit) |
| 00:48:42 | × | zincy quits (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds) |
| 00:51:06 | × | xff0x quits (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 258 seconds) |
| 00:54:18 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 276 seconds) |
| 00:58:40 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 01:00:41 | → | gentauro joins (~gentauro@user/gentauro) |
| 01:01:39 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 01:04:55 | → | zmt01 joins (~zmt00@user/zmt00) |
| 01:07:58 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 258 seconds) |
| 01:10:59 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:14:59 | → | leah2 joins (~leah@vuxu.org) |
| 01:15:59 | <sm> | morning dibblego |
| 01:17:06 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:21 | → | zincy joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 01:18:50 | → | kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 01:20:11 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:24:08 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:30cf:ca81:9fb0:16f5) |
| 01:24:59 | <kenaryn> | Hello. I would like to install and use scientific package on stackage.org. I'm using voidLinux with musl. I run `stack upgrade` and `stack update`. I then typed `stack init` in my project and added `extra-deps: scientific-0.3.7.0@rev:2` in `stack.yaml` file and run `stack install scientific -v` but stack failed during building of hashable-1.3.5.0 package and I do not know what to do in order to fix it. |
| 01:25:05 | <kenaryn> | Can someone help me? maybe I need other dependencies or passing a flag to stack. The log is here: https://paste.tomsmeding.com/lyUx1NFK |
| 01:26:20 | <kenaryn> | I forgot to say "please". |
| 01:27:21 | <hololeap> | hm, is (forall a. a -> b) isomorphic to b? since you can only provide something that drops a |
| 01:27:24 | zzz | is now known as pax483--- |
| 01:27:34 | pax483--- | is now known as zzz |
| 01:27:40 | → | stackdroid18 joins (14094@user/stackdroid) |
| 01:29:56 | <hololeap> | kenaryn: ghc might have issues with musl. you'll have to wait for someone who knows about that stuff. and/or ask in #ghc |
| 01:32:03 | → | xff0x joins (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 01:32:57 | <kenaryn> | hololeap: Allright, thanks, I'll ask there too. |
| 01:32:58 | <dolio> | Whether they're isomorphic depends on how much you care about bottoms. |
| 01:33:29 | <hololeap> | dolio, can you explain what you mean? |
| 01:33:57 | <jackdk> | that's the coyoneda lemma for the identity functor, isn't it? |
| 01:35:22 | <jackdk> | kenaryn: I see errors in the trace about not being able to find libtinfo and libgmp; have you installed development versions of those packages? |
| 01:36:00 | <dolio> | Well, like, `\x -> seq x b` and `\_ -> b` are different values of that type that you'd probably expect to correspond to `b`. |
| 01:36:21 | <jackdk> | void + musl seems like a really niche combination. The only way I've ever built ghc-on-musl is by cross-compiling from a glibc system using nix, and all the nix means I don't think about how the magic actually happens |
| 01:36:36 | <hololeap> | hm, interesting example dolio. I hadn't thought of that |
| 01:36:38 | <dolio> | Also there's an extra level of indirection for bottoms. |
| 01:36:52 | <dolio> | undefined vs. \_ -> undefined |
| 01:38:12 | <monochrom> | The other day I heard of voidlinux and its runit. Had a good chuckle. :) |
| 01:41:19 | → | yauhsien joins (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 01:44:35 | <kenaryn> | jackdk: I have ncurses-libtinfo-devel-6.3_2 and gmp-devel-6.2.1.1 |
| 01:45:23 | <jackdk> | then I dunno. I don't know void, I don't know musl, and I don't know how stack passes paths to cabal-the-library :S |
| 01:45:55 | <kenaryn> | jackdk: but when I was trying to install it before, I got: Did not find shared library libgmp.so.3 and libftinfo.so.6 |
| 01:46:55 | <kenaryn> | I do have a symlink to /usr/lib/libncursesw.so.6.1 /usr/lib/libtinfow.so.6 /usr/lib/libncursesw.so.6 /usr/lib/libtinfo.so.6 but nothing of the sort regarding to lib-gmp |
| 01:47:23 | → | andrey__ joins (~andrey@p200300dbcf0c3500f9c88a1de397731a.dip0.t-ipconnect.de) |
| 01:49:38 | × | andrey_ quits (~andrey@p200300dbcf14f800f85ba15fc5bddcc0.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 01:50:13 | → | Guest9499 joins (~Guest94@modemcable185.196-58-74.mc.videotron.ca) |
| 01:51:36 | × | Guest9499 quits (~Guest94@modemcable185.196-58-74.mc.videotron.ca) (Client Quit) |
| 01:54:01 | × | shiraeeshi quits (~shiraeesh@46.34.206.185) (Quit: Leaving) |
| 01:55:50 | × | sammelweis_ quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 01:57:38 | → | hinny[m] joins (~hinnymatr@2001:470:69fc:105::2:18ed) |
| 01:59:03 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 01:59:45 | × | kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 02:00:22 | → | kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr) |
| 02:06:08 | → | vysn joins (~vysn@user/vysn) |
| 02:07:05 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 255 seconds) |
| 02:07:32 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 02:08:44 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 02:11:08 | → | Katarushisu0 joins (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 02:11:53 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 02:13:24 | × | Katarushisu quits (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 02:13:24 | Katarushisu0 | is now known as Katarushisu |
| 02:14:12 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 02:15:43 | → | seriously joins (~seriously@ool-18bd5811.dyn.optonline.net) |
| 02:21:34 | × | zincy quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 258 seconds) |
| 02:24:04 | → | frost joins (~frost@user/frost) |
| 02:27:07 | × | xff0x quits (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 02:28:48 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 02:32:17 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 02:36:02 | × | dsrt^ quits (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 02:38:21 | → | dsrt^ joins (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) |
| 02:40:50 | × | yauhsien quits (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 255 seconds) |
| 02:42:56 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 02:42:56 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 02:42:56 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:45:00 | → | z0k joins (~z0k@39.40.43.194) |
| 02:52:24 | → | jinsun joins (~jinsun@user/jinsun) |
| 02:53:50 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 02:55:44 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:55:44 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:55:44 | finn_elija | is now known as FinnElija |
| 02:57:37 | × | foul_owl quits (~kerry@23.82.193.89) (Ping timeout: 260 seconds) |
| 03:00:02 | × | haasn quits (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 03:00:19 | → | foul_owl joins (~kerry@23.82.193.89) |
| 03:01:24 | → | haasn joins (~nand@haasn.dev) |
| 03:01:27 | → | xff0x joins (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 03:06:56 | × | foul_owl quits (~kerry@23.82.193.89) (Ping timeout: 255 seconds) |
| 03:09:36 | → | foul_owl joins (~kerry@23.82.193.89) |
| 03:11:02 | × | seriously quits (~seriously@ool-18bd5811.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 03:11:25 | → | zincy joins (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 03:12:17 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:14:11 | → | seriously joins (~seriously@ool-18bd5811.dyn.optonline.net) |
| 03:14:28 | × | foul_owl quits (~kerry@23.82.193.89) (Ping timeout: 258 seconds) |
| 03:18:01 | → | foul_owl joins (~kerry@23.82.193.89) |
| 03:35:04 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 03:36:47 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:44:11 | → | coot joins (~coot@213.134.190.95) |
| 03:44:19 | → | raym joins (~raym@user/raym) |
| 03:46:56 | → | nate1 joins (~nate@98.45.169.16) |
| 03:47:28 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: Lost terminal) |
| 03:48:48 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 03:51:30 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 03:52:24 | × | haskl quits (~haskl@user/haskl) (Ping timeout: 276 seconds) |
| 03:55:25 | → | haskl joins (~haskl@user/haskl) |
| 03:59:47 | × | dsrt^ quits (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 03:59:57 | × | Inst quits (~Inst@2601:6c4:4080:3f80:8111:3b07:3cb:440e) (Read error: Connection reset by peer) |
| 04:00:45 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 04:01:26 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 04:01:37 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 04:02:01 | → | yauhsien joins (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 04:06:36 | × | yauhsien quits (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 04:07:42 | × | seriously quits (~seriously@ool-18bd5811.dyn.optonline.net) (Quit: Client closed) |
| 04:10:50 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 04:12:27 | × | zincy quits (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 240 seconds) |
| 04:12:29 | → | _xor joins (~xor@72.49.198.103) |
| 04:16:05 | → | monochrom joins (trebla@216.138.220.146) |
| 04:16:20 | → | seriously joins (~seriously@ool-18bd5811.dyn.optonline.net) |
| 04:17:26 | → | dsrt^ joins (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) |
| 04:17:27 | × | raym quits (~raym@user/raym) (Ping timeout: 240 seconds) |
| 04:22:32 | × | frost quits (~frost@user/frost) (Ping timeout: 252 seconds) |
| 04:28:46 | × | seriously quits (~seriously@ool-18bd5811.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 04:34:28 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 04:34:45 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 04:43:47 | → | zincy joins (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 04:54:24 | → | polyphem joins (~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) |
| 04:58:18 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 04:58:35 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 05:02:07 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 05:02:46 | → | Vajb joins (~Vajb@2001:999:600:879a:e69c:7638:2849:8a14) |
| 05:05:04 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 05:10:05 | × | phma quits (~phma@2001:5b0:2143:d2f8:5c18:7b3:2a38:5b88) (Read error: Connection reset by peer) |
| 05:11:07 | → | phma joins (~phma@host-67-44-208-148.hnremote.net) |
| 05:12:19 | → | Guest|59 joins (~Guest|59@203.206.251.225) |
| 05:19:02 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:19:54 | × | Guest|59 quits (~Guest|59@203.206.251.225) (Quit: Connection closed) |
| 05:27:22 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 05:32:51 | → | michalz joins (~michalz@185.246.204.125) |
| 05:44:39 | → | raym joins (~raym@user/raym) |
| 05:44:51 | × | Alex_test quits (~al_test@94.233.241.107) (Ping timeout: 276 seconds) |
| 05:45:37 | × | polyphem quits (~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) (Ping timeout: 260 seconds) |
| 05:46:12 | × | AlexNoo quits (~AlexNoo@94.233.241.107) (Ping timeout: 260 seconds) |
| 05:46:48 | × | AlexZenon quits (~alzenon@94.233.241.107) (Ping timeout: 276 seconds) |
| 05:47:49 | × | zincy quits (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 244 seconds) |
| 05:48:55 | dminuoso_ | is now known as dminuoso |
| 05:53:01 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 06:01:53 | → | ardell joins (~ardell@user/ardell) |
| 06:07:19 | → | acidjnk joins (~acidjnk@p200300d0c7068b844c6aca9bc3aff03d.dip0.t-ipconnect.de) |
| 06:17:13 | → | zincy joins (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 06:21:55 | × | zincy quits (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 258 seconds) |
| 06:22:26 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 06:24:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 06:26:19 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 06:26:19 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 06:26:19 | → | wroathe joins (~wroathe@user/wroathe) |
| 06:36:25 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 06:37:30 | → | zincy joins (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 06:38:41 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:42:59 | × | juhp[m] quits (~juhpmatri@2001:470:69fc:105::6e9) (Quit: Reconnecting) |
| 06:43:15 | → | juhp[m] joins (~juhp@2001:470:69fc:105::6e9) |
| 06:45:41 | × | raym quits (~raym@user/raym) (Ping timeout: 258 seconds) |
| 06:46:44 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 06:47:21 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 06:48:22 | → | texasmynsted_ joins (~texasmyns@99.96.221.112) |
| 06:48:44 | → | zaquest joins (~notzaques@5.130.79.72) |
| 06:49:17 | → | Trattue- joins (~Trattue@152.70.182.158) |
| 06:49:17 | → | shriekingnoise_ joins (~shrieking@201.231.16.156) |
| 06:49:18 | → | vgtw_ joins (~vgtw@user/vgtw) |
| 06:49:28 | × | ardell quits (~ardell@user/ardell) (Quit: WeeChat 3.5) |
| 06:49:59 | → | ardell joins (~ardell@user/ardell) |
| 06:50:33 | → | JimL_ joins (~quassel@89-162-2-132.fiber.signal.no) |
| 06:51:15 | → | peutri_ joins (~peutri@bobo.desast.re) |
| 06:51:39 | → | LambdaDu1k joins (~anka@ksit.fixme.fi) |
| 06:51:41 | → | takuan_dozo joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:51:50 | → | absence_ joins (torgeihe@hildring.pvv.ntnu.no) |
| 06:52:02 | × | wrengr quits (~wrengr@249.189.233.35.bc.googleusercontent.com) (Killed (NickServ (GHOST command used by wrengr_))) |
| 06:52:02 | → | chronon joins (~chronon@user/chronon) |
| 06:52:09 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 06:52:10 | → | wrengr joins (~wrengr@249.189.233.35.bc.googleusercontent.com) |
| 06:54:09 | → | pie__ joins (~pie_bnc@user/pie/x-2818909) |
| 06:54:16 | → | gabriel_1 joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 06:56:41 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (*.net *.split) |
| 06:56:41 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (*.net *.split) |
| 06:56:41 | × | shriekingnoise quits (~shrieking@201.231.16.156) (*.net *.split) |
| 06:56:41 | × | k` quits (~user@152.1.137.158) (*.net *.split) |
| 06:56:41 | × | texasmynsted quits (~texasmyns@99.96.221.112) (*.net *.split) |
| 06:56:41 | × | peutri quits (~peutri@bobo.desast.re) (*.net *.split) |
| 06:56:41 | × | madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 06:56:41 | × | fiddlerwoaroof_ quits (~fiddlerwo@user/fiddlerwoaroof) (*.net *.split) |
| 06:56:41 | × | icebreaker quits (~icebreake@user/icebreaker) (*.net *.split) |
| 06:56:41 | × | Philonous quits (~Philonous@user/philonous) (*.net *.split) |
| 06:56:41 | × | kmein quits (~weechat@user/kmein) (*.net *.split) |
| 06:56:41 | × | Square quits (~a@user/square) (*.net *.split) |
| 06:56:41 | × | dka quits (~code-is-a@ns3059207.ip-193-70-33.eu) (*.net *.split) |
| 06:56:41 | × | [Leary] quits (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (*.net *.split) |
| 06:56:41 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 06:56:41 | × | mzan quits (~quassel@mail.asterisell.com) (*.net *.split) |
| 06:56:41 | × | finsternis quits (~X@23.226.237.192) (*.net *.split) |
| 06:56:41 | × | remedan quits (~remedan@octo.cafe) (*.net *.split) |
| 06:56:41 | × | nerdypepper quits (~nerdypepp@user/nerdypepper) (*.net *.split) |
| 06:56:41 | × | ashln quits (~ashln@98.38.236.123) (*.net *.split) |
| 06:56:41 | × | mstksg quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (*.net *.split) |
| 06:56:41 | × | rembo10 quits (~rembo10@main.remulis.com) (*.net *.split) |
| 06:56:41 | × | dfordvm quits (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (*.net *.split) |
| 06:56:41 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 06:56:42 | × | LambdaDuck quits (~anka@ksit.fixme.fi) (*.net *.split) |
| 06:56:42 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 06:56:42 | × | tochicool quits (~tochicool@user/tochicool) (*.net *.split) |
| 06:56:42 | × | JimL quits (~quassel@89-162-2-132.fiber.signal.no) (*.net *.split) |
| 06:56:42 | × | chronon_ quits (~chronon@user/chronon) (*.net *.split) |
| 06:56:42 | × | vgtw quits (~vgtw@user/vgtw) (*.net *.split) |
| 06:56:42 | × | Trattue quits (~Trattue@152.70.182.158) (*.net *.split) |
| 06:56:42 | × | adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 06:57:10 | × | JimL_ quits (~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 240 seconds) |
| 06:57:15 | → | tochicool joins (~tochicool@user/tochicool) |
| 06:57:22 | → | raym joins (~raym@user/raym) |
| 06:58:33 | → | adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 06:59:46 | → | Square joins (~a@user/square) |
| 06:59:46 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 07:01:38 | → | dka joins (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 07:01:38 | → | finsternis joins (~X@23.226.237.192) |
| 07:01:38 | → | dfordvm joins (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) |
| 07:01:38 | → | k`` joins (~user@152.1.137.158) |
| 07:01:38 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 07:01:38 | → | madnight joins (~madnight@static.59.103.201.195.clients.your-server.de) |
| 07:01:38 | → | fiddlerwoaroof_ joins (~fiddlerwo@user/fiddlerwoaroof) |
| 07:01:38 | → | icebreaker joins (~icebreake@user/icebreaker) |
| 07:01:38 | → | Philonous joins (~Philonous@user/philonous) |
| 07:01:38 | → | kmein joins (~weechat@user/kmein) |
| 07:01:38 | → | [Leary] joins (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) |
| 07:01:38 | → | mzan joins (~quassel@mail.asterisell.com) |
| 07:01:38 | → | remedan joins (~remedan@octo.cafe) |
| 07:01:38 | → | nerdypepper joins (~nerdypepp@user/nerdypepper) |
| 07:01:38 | → | ashln joins (~ashln@98.38.236.123) |
| 07:01:38 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 07:01:55 | → | JimL joins (~quassel@89-162-2-132.fiber.signal.no) |
| 07:02:14 | × | finsternis quits (~X@23.226.237.192) (Max SendQ exceeded) |
| 07:02:14 | × | remedan quits (~remedan@octo.cafe) (Max SendQ exceeded) |
| 07:02:37 | → | finsternis joins (~X@23.226.237.192) |
| 07:03:08 | → | remedan joins (~remedan@octo.cafe) |
| 07:04:20 | → | yauhsien joins (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 07:06:17 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 07:06:26 | → | christiansen joins (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 07:09:02 | × | yauhsien quits (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 255 seconds) |
| 07:11:40 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:c4e4:b096:5654:3d1f) |
| 07:12:48 | → | chomwitt joins (~chomwitt@2a02:587:dc17:d600:c965:87d5:7916:d9b7) |
| 07:12:55 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 07:19:30 | × | edr quits (~edr@user/edr) (Ping timeout: 240 seconds) |
| 07:20:27 | × | dumptruckman quits (~dumptruck@45-79-173-88.ip.linodeusercontent.com) (Ping timeout: 256 seconds) |
| 07:20:43 | → | dumptruckman joins (~dumptruck@45-79-173-88.ip.linodeusercontent.com) |
| 07:21:56 | → | frost joins (~frost@user/frost) |
| 07:22:20 | → | nschoe joins (~quassel@178.251.84.79) |
| 07:25:30 | → | edr joins (~edr@enlo.co) |
| 07:25:30 | × | edr quits (~edr@enlo.co) (Changing host) |
| 07:25:30 | → | edr joins (~edr@user/edr) |
| 07:26:36 | × | frost quits (~frost@user/frost) (Ping timeout: 252 seconds) |
| 07:26:39 | → | mbuf joins (~Shakthi@31.32.33.168) |
| 07:28:30 | → | marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 07:28:56 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:31:21 | → | frost joins (~frost@user/frost) |
| 07:31:32 | × | ardell quits (~ardell@user/ardell) (Quit: WeeChat 3.5) |
| 07:32:44 | → | jgeerds joins (~jgeerds@d53604b0.access.ecotel.net) |
| 07:33:57 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:34:37 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 07:36:07 | → | alp_ joins (~alp@user/alp) |
| 07:38:12 | × | zincy quits (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds) |
| 07:45:40 | → | akegalj joins (~akegalj@89-172-84-251.adsl.net.t-com.hr) |
| 07:47:03 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 07:48:32 | → | nate1 joins (~nate@98.45.169.16) |
| 07:48:42 | → | frost95 joins (~frost@user/frost) |
| 07:49:39 | × | frost95 quits (~frost@user/frost) (Client Quit) |
| 07:49:46 | → | ccntrq joins (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 07:49:59 | × | lagooned quits (~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 255 seconds) |
| 07:52:06 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 07:52:38 | × | frost quits (~frost@user/frost) (Ping timeout: 252 seconds) |
| 07:53:35 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 07:54:34 | → | frost joins (~frost@user/frost) |
| 07:58:57 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 08:02:22 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 08:02:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 08:04:54 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:06:04 | → | zincy joins (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 08:06:33 | → | zeenk joins (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 08:08:16 | → | yauhsien joins (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 08:10:52 | × | zincy quits (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds) |
| 08:14:50 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 08:16:33 | × | dwt_ quits (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 256 seconds) |
| 08:17:27 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 08:18:10 | → | dwt_ joins (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 08:24:35 | → | zincy joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 08:27:07 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 08:33:57 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 08:34:21 | → | coot joins (~coot@213.134.190.95) |
| 08:34:42 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 08:34:42 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:30cf:ca81:9fb0:16f5) (Remote host closed the connection) |
| 08:37:54 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 08:39:16 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 08:44:45 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 08:46:31 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 08:48:27 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 08:49:57 | × | alp_ quits (~alp@user/alp) (Ping timeout: 260 seconds) |
| 08:50:44 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 08:54:52 | × | acidjnk quits (~acidjnk@p200300d0c7068b844c6aca9bc3aff03d.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 09:02:03 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:05:35 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 09:06:14 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 09:06:30 | × | joeyh quits (~joeyh@kitenet.net) (Ping timeout: 240 seconds) |
| 09:06:30 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 09:06:35 | → | nshepperd29 joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 09:06:40 | → | joeyh joins (joeyh@kitenet.net) |
| 09:07:48 | × | nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (Ping timeout: 248 seconds) |
| 09:07:48 | nshepperd29 | is now known as nshepperd2 |
| 09:10:25 | → | CiaoSen joins (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 09:10:48 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:8bc6:79:6db2:257a) |
| 09:13:10 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 09:17:03 | × | yauhsien quits (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 09:17:53 | → | yauhsien joins (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 09:25:23 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 09:26:34 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 09:27:11 | × | zincy quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 255 seconds) |
| 09:27:24 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 09:28:27 | × | yauhsien quits (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 09:34:24 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 09:34:41 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 09:37:02 | → | mmhat joins (~mmh@p200300f1c705846fee086bfffe095315.dip0.t-ipconnect.de) |
| 09:41:15 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds) |
| 09:43:06 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:8bc6:79:6db2:257a) (Quit: ubert) |
| 09:43:12 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 09:43:18 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ab72:eb66:da97:5116) |
| 09:43:22 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 09:44:55 | → | gurkenglas joins (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 09:47:22 | → | yauhsien joins (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 09:50:42 | × | frost quits (~frost@user/frost) (Ping timeout: 252 seconds) |
| 09:54:04 | × | yauhsien quits (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 09:56:00 | → | zincy joins (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 09:56:42 | → | yauhsien joins (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 09:57:26 | → | causal joins (~user@50.35.83.177) |
| 09:58:33 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 256 seconds) |
| 10:00:07 | × | zincy quits (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 240 seconds) |
| 10:01:34 | × | yauhsien quits (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 10:03:18 | → | trisolarian joins (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 10:03:57 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
| 10:07:40 | <trisolarian> | what's the difference between runghc and runhaskell ? |
| 10:08:07 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 10:09:34 | <tomsmeding> | no difference |
| 10:09:54 | <tomsmeding> | they point to the same binary on my machine |
| 10:10:15 | <int-e> | at some point in the past, runhaskell could've invoked hugs |
| 10:10:33 | <int-e> | i.e. another haskell implementation |
| 10:10:54 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:12:13 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 10:12:14 | <trisolarian> | How does runghc looks for packages? i use cabal install --lib random --env . in a folder |
| 10:12:19 | <trisolarian> | and runghc can find the random package |
| 10:12:36 | <trisolarian> | but in another folder, runghc doesn't find the random package |
| 10:15:10 | → | __monty__ joins (~toonn@user/toonn) |
| 10:16:08 | <int-e> | there's a magic file for that, .ghc-environment or something |
| 10:17:02 | <int-e> | There's also an environment variable, GHC_ENVIRONMENT, which you can probably point to that directory to make things work? |
| 10:17:15 | <maerwald> | .ghc.environment.<arch>-<platform>-<ghcver> |
| 10:17:33 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:17:37 | <trisolarian> | nice to know that environment variable |
| 10:17:56 | int-e | has GHC_ENVIRONMENT set to - because that disables this ...excuse me... crap. |
| 10:18:20 | → | frost joins (~frost@user/frost) |
| 10:18:45 | <maerwald> | hm, servants JWT support is really obscure |
| 10:21:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 10:21:05 | <int-e> | ("crap"... there's an element of paranoia because I tend to invoke `ghci` as a calculator in random directories (including repositories I might have just cloned without checking over their contents) so picking up random configurations from the local directory feels quite insecure) |
| 10:21:38 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 10:21:45 | <maerwald> | you'll like the cabal.project remote includes then xD |
| 10:22:09 | <int-e> | I bet I won't. |
| 10:22:37 | <int-e> | But at least that involves invoking cabal... I take more care with that. |
| 10:22:59 | × | CiaoSen quits (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 10:22:59 | × | xff0x quits (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 10:23:09 | <trisolarian> | int-e: my use case is to run haskell snippets while editing in any random emacs buffer |
| 10:24:11 | → | razetime joins (~quassel@117.254.35.7) |
| 10:24:44 | <int-e> | And that's okay, we all make our own compromises and form our own habits. |
| 10:27:31 | <maerwald> | ah great: https://github.com/haskell-servant/servant/pull/1531 |
| 10:27:53 | <maerwald> | that's what you get from abusing types :p |
| 10:29:59 | <__monty__> | Ooh, unary numbers? |
| 10:30:31 | → | zincy joins (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 10:30:58 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 10:31:58 | <Las[m]> | Does anyone know of a good way to detect mutual recursion in generic programming? I traverse the representation and that would obviously cause a loop if done naively. I need to detect the cycles at type checking time. |
| 10:33:09 | × | _xor quits (~xor@72.49.198.103) (Quit: bbab) |
| 10:35:05 | × | zincy quits (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 244 seconds) |
| 10:43:48 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 10:46:39 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 10:47:50 | <trisolarian> | can cabal only install the library part of my package? |
| 10:48:07 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 10:48:21 | <trisolarian> | cabal install lib:toaster --package-env ~/dev/myenv |
| 10:48:34 | <trisolarian> | this install the exe part too |
| 10:48:57 | → | Macbethwin joins (~chargen@8.21.8.233) |
| 10:49:27 | × | dsrt^ quits (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 10:49:34 | <trisolarian> | also, myenv dosn't seem to be updated to include my package. when i runghc, it says that my package toaster is hidden |
| 10:50:39 | × | Macbethwin quits (~chargen@8.21.8.233) (Client Quit) |
| 10:54:08 | → | subshad joins (~subshad@159.196.168.187) |
| 11:01:08 | → | jgeerds joins (~jgeerds@55d45f48.access.ecotel.net) |
| 11:03:30 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 11:04:45 | → | alp_ joins (~alp@user/alp) |
| 11:04:46 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 11:05:09 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 11:07:38 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 244 seconds) |
| 11:07:39 | → | CiaoSen joins (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 11:11:39 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 11:13:42 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:19:26 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 11:19:53 | → | Guest7009 joins (~martin@ip5f5bdf3a.dynamic.kabel-deutschland.de) |
| 11:20:06 | Guest7009 | is now known as BusConscious |
| 11:20:58 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 11:23:30 | × | jgeerds quits (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 276 seconds) |
| 11:23:36 | × | razetime quits (~quassel@117.254.35.7) (Ping timeout: 258 seconds) |
| 11:23:48 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 11:26:22 | → | razetime joins (~quassel@117.254.35.7) |
| 11:26:47 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 11:27:09 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 11:27:20 | × | mima quits (~mmh@net-93-148-81-31.cust.dsl.teletu.it) (Ping timeout: 272 seconds) |
| 11:28:35 | → | gaff joins (~gaff@49.207.192.208) |
| 11:28:39 | × | gaff quits (~gaff@49.207.192.208) (Client Quit) |
| 11:31:01 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 11:31:42 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 11:34:24 | → | dsrt^ joins (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) |
| 11:35:34 | × | seriously_pc quits (~seriously@159.53.78.142) (Ping timeout: 252 seconds) |
| 11:40:01 | × | shriekingnoise_ quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 11:40:01 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 11:47:22 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 11:49:08 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 11:50:01 | → | nate1 joins (~nate@98.45.169.16) |
| 11:50:28 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 11:51:13 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 11:51:45 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:51:53 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 11:52:49 | × | subshad quits (~subshad@159.196.168.187) (Quit: Client closed) |
| 11:53:58 | → | coot joins (~coot@213.134.190.95) |
| 11:54:30 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 11:58:56 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 12:06:32 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 258 seconds) |
| 12:18:38 | → | mima joins (~mmh@net-93-148-81-31.cust.vodafonedsl.it) |
| 12:21:56 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 12:26:07 | → | jinsun joins (~jinsun@user/jinsun) |
| 12:26:33 | × | dsrt^ quits (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Ping timeout: 276 seconds) |
| 12:29:07 | × | jinsun__ quits (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 12:36:17 | × | CiaoSen quits (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 12:36:31 | → | yauhsien joins (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 12:37:01 | → | notzmv joins (~zmv@user/notzmv) |
| 12:37:12 | × | mima quits (~mmh@net-93-148-81-31.cust.vodafonedsl.it) (Ping timeout: 258 seconds) |
| 12:40:47 | × | yauhsien quits (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 12:42:40 | × | akegalj quits (~akegalj@89-172-84-251.adsl.net.t-com.hr) (Remote host closed the connection) |
| 12:42:45 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:43:46 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 12:44:07 | → | mima joins (~mmh@net-5-88-214-22.cust.vodafonedsl.it) |
| 12:48:03 | → | dcleonarski joins (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) |
| 12:50:58 | → | vicfred joins (~vicfred@user/vicfred) |
| 12:59:21 | → | namkeleser joins (~namkelese@124.188.196.41) |
| 13:01:40 | × | trisolarian quits (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.5) |
| 13:01:43 | → | titibandit joins (~thibaut@sunp.ient.rwth-aachen.de) |
| 13:02:31 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 13:02:54 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:03:11 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:c4e4:b096:5654:3d1f) (Ping timeout: 255 seconds) |
| 13:05:46 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 13:06:15 | → | dsrt^ joins (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) |
| 13:06:16 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 13:06:16 | → | lortabac joins (~lortabac@37.164.25.36) |
| 13:07:47 | × | alp_ quits (~alp@user/alp) (Ping timeout: 260 seconds) |
| 13:08:44 | → | vysn joins (~vysn@user/vysn) |
| 13:10:01 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 13:14:21 | → | unit73e joins (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 13:17:15 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 13:17:41 | <unit73e> | I just found out purescript exists |
| 13:17:43 | <unit73e> | looks decent |
| 13:17:49 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 13:18:06 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 13:18:16 | <unit73e> | for web frontend, obviously |
| 13:18:51 | <unit73e> | until webassembly is actually common, that is |
| 13:18:53 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 13:19:45 | → | CiaoSen joins (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 13:20:52 | <unit73e> | angular, react, vue, and pals leave a lot to be desired |
| 13:21:09 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 13:21:31 | → | coot joins (~coot@213.134.190.95) |
| 13:23:28 | → | Guest|94 joins (~Guest|94@94.15.137.116) |
| 13:23:34 | × | Guest|94 quits (~Guest|94@94.15.137.116) (Client Quit) |
| 13:26:43 | → | bahamas joins (~lucian@84.232.141.167) |
| 13:26:50 | <tdammers> | even with webassembly, purescript would still be a good fit |
| 13:27:00 | <bahamas> | which version of HashMap would you recommend to a beginner, lazy or strict? |
| 13:28:19 | <unit73e> | tdammers, yes true. hard to know the future of these haskell like languages and the web. |
| 13:28:24 | <geekosaur> | that's kinda the wrong question. it has more to do with what kind of data you're putting into it and how you're making use of it |
| 13:28:45 | <unit73e> | meaning there's no real difference for a begginer |
| 13:29:02 | <unit73e> | a lazy HashMap is good in some cases, and strict in others |
| 13:30:44 | <bahamas> | ok. I'll just recommend strict then |
| 13:30:47 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 13:30:53 | <geekosaur> | also note that keys will be strict in both cases; the question is whether values are strict or not |
| 13:31:10 | <geekosaur> | (since it has to compute the hash of the key regardless) |
| 13:31:19 | <bahamas> | geekosaur: that makes sense |
| 13:32:56 | <tdammers> | without any further information or insight, IMO "strict data structures, lazy functions" is a good rule of thumb |
| 13:36:08 | <unit73e> | I just use lazy everything because I'm lazy |
| 13:36:10 | × | dsrt^ quits (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 13:37:09 | → | kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr) |
| 13:38:17 | → | ystael joins (~ystael@user/ystael) |
| 13:40:05 | <k``> | If you're lazy, use a strict HashMap. Lazy HashMaps are for folks who want to think about what values will be evaluated and when. |
| 13:42:17 | <geekosaur> | also, if youre populating it from a stream of data you're reading, you probably want strict because lazy will probably hold on to extra copies of the stream until everything has been forced |
| 13:42:20 | <unit73e> | idk I find it easier to think everything is lazy and don't bother much with strict unless necessary, even when lazy is harder to grasp. but that's just me. |
| 13:42:57 | <unit73e> | as long as you know what each does |
| 13:43:07 | <geekosaur> | especially important if you're only storing part of the stream, because you're likely to hold the whole stream in memory until everything is forced |
| 13:43:20 | <k``> | OK, but when the bullet hits you won't even know when you shot yourself in the foot. |
| 13:43:26 | <unit73e> | true |
| 13:43:27 | <geekosaur> | laziness has its advantages but it needs a fair amount of thought to not introduce space leaks |
| 13:44:16 | <geekosaur> | or "time leaks" because forcing one thing forces a bunch of others all at once |
| 13:45:05 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 13:46:05 | → | dsrt^ joins (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) |
| 13:46:05 | <maerwald> | -fprint-potential-instances does not work? |
| 13:46:50 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 13:47:01 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 13:47:29 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 13:47:47 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:47:51 | <maerwald> | or I guess the servant error is just too big to see it :D |
| 13:49:04 | <geekosaur> | -fc++-errors :þ |
| 13:52:48 | × | dsrt^ quits (~dsrt@c-24-126-228-147.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 13:54:04 | Lemniscate | is now known as Sauvin |
| 13:56:18 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 13:59:33 | → | trisolaran joins (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 14:02:53 | → | lortabac_ joins (~lortabac@2a01:e0a:541:b8f0:6e11:f3ed:c52c:d1ce) |
| 14:02:53 | × | lortabac quits (~lortabac@37.164.25.36) (Read error: Connection reset by peer) |
| 14:05:44 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 14:06:02 | lortabac_ | is now known as lortabac |
| 14:08:36 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:09:47 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 240 seconds) |
| 14:10:32 | → | romesrf joins (~romes@2001:4c80:50:16:b470:cbe7:b9f4:5379) |
| 14:12:52 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 14:16:09 | × | romesrf quits (~romes@2001:4c80:50:16:b470:cbe7:b9f4:5379) (Quit: WeeChat 3.4.1) |
| 14:16:15 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 14:16:51 | <maerwald> | I have the feeling named routes are experimental |
| 14:18:13 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 14:19:01 | × | frost quits (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 14:22:21 | → | Henson joins (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 14:23:48 | <Henson> | I've got a question about time profiling. I've got a Haskell function that calls a function in C. The C function takes up most of the system's runtime and the CPU load is around 100% (one core's worth). This can be verified by the C function printing out the amount of time it takes to complete. But when profiling with Haskell "stack build --profile", even with the SCC annotation on the C.... |
| 14:24:23 | <Henson> | function, the .prof output reports that the C function is taking up 0.0 percent of the total runtime. Does anybody have any suggestions as to why this could be happening? |
| 14:25:05 | × | bahamas quits (~lucian@84.232.141.167) (Ping timeout: 255 seconds) |
| 14:25:14 | <Henson> | I have some unsafeperformIOs allowing me to call the C function in a pure function and the FFI calls are marked as "safe" |
| 14:25:25 | <Henson> | in as pure function -> as a pure function |
| 14:25:38 | <geekosaur> | because profiling happens in the Haskell runtime which doesn't get to run during the C function, maybe? |
| 14:26:59 | <unit73e> | looks like optparse-applicative is excelent for command line parsing. cmdargs.. was disappointing. |
| 14:27:34 | <Henson> | hmm, looks like this problem has been around for a while: https://mail.haskell.org/pipermail/haskell-cafe/2018-August/129820.html |
| 14:30:22 | × | vjoki quits (~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 272 seconds) |
| 14:33:42 | <Henson> | but GHC's profiling docs states: Time spent in foreign code (see Chapter 8, Foreign function interface (FFI) ) is always attributed to the cost centre in force at the Haskell call-site of the foreign function. |
| 14:35:32 | → | bahamas joins (~lucian@84.232.141.167) |
| 14:38:43 | × | trisolaran quits (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 14:42:57 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 14:44:18 | × | christiansen quits (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds) |
| 14:55:48 | × | texasmynsted_ quits (~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in) |
| 15:01:24 | × | jlamothe quits (~jlamothe@198.251.60.209) (Ping timeout: 272 seconds) |
| 15:03:34 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ab72:eb66:da97:5116) (Remote host closed the connection) |
| 15:06:35 | → | kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr) |
| 15:08:27 | → | zer0bitz joins (~zer0bitz@2001:2003:f444:8f00:7805:1156:200b:3278) |
| 15:09:30 | → | moonsheep joins (~user@user/moonsheep) |
| 15:10:22 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 15:10:30 | <moonsheep> | is this the correct place to ask about the opengl bindings? |
| 15:11:01 | <moonsheep> | if so, in the higher-level API (OpenGL instead of OpenGLRaw), what is the correct way to delete a shader? |
| 15:11:15 | <moonsheep> | (so glDeleteShader) |
| 15:11:26 | <moonsheep> | or am I suppose to leave them hanging once I've detached them from the program? |
| 15:11:56 | × | mbuf quits (~Shakthi@31.32.33.168) (Quit: Leaving) |
| 15:14:10 | × | namkeleser quits (~namkelese@124.188.196.41) (Quit: Client closed) |
| 15:14:41 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:6e11:f3ed:c52c:d1ce) (Quit: WeeChat 2.8) |
| 15:16:12 | × | bahamas quits (~lucian@84.232.141.167) (Ping timeout: 276 seconds) |
| 15:18:21 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:21:26 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 15:21:47 | × | CiaoSen quits (~Jura@p200300c9571e4b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 15:23:47 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 15:26:59 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 15:29:28 | <byorgey> | moonsheep: I don't know anything about the opengl bindings, but it's conceivable the shaders are set up with finalizers so they will be automatically deleted when garbage collected |
| 15:30:02 | <byorgey> | if you don't see any functions in the high-level API to explicitly delete shaders, then that is what I would tend to assume. |
| 15:31:14 | × | z0k quits (~z0k@39.40.43.194) (Ping timeout: 255 seconds) |
| 15:32:11 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 15:35:18 | → | z0k joins (~z0k@39.40.98.160) |
| 15:36:36 | <[exa]> | moonsheep: seems automatic via ObjectName, see https://github.com/haskell-opengl/OpenGL/blob/f7af8fe04b0f19c260a85c9ebcad612737cd7c8c/src/Graphics/Rendering/OpenGL/GL/Shaders/Shader.hs#L34 |
| 15:37:38 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:40:34 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 15:40:48 | → | Macbethwin joins (~chargen@8.21.8.233) |
| 15:42:28 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 248 seconds) |
| 15:43:18 | → | vysn joins (~vysn@user/vysn) |
| 15:45:06 | Macbethwin | is now known as Chargen |
| 15:47:20 | → | bahamas joins (~lucian@84.232.141.167) |
| 15:50:41 | → | Tuplanolla joins (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 15:51:30 | → | nate1 joins (~nate@98.45.169.16) |
| 15:51:56 | × | bahamas quits (~lucian@84.232.141.167) (Ping timeout: 258 seconds) |
| 15:54:56 | × | rodental quits (~rodental@38.146.5.222) (Remote host closed the connection) |
| 15:55:09 | → | rodental joins (~rodental@38.146.5.222) |
| 15:56:32 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 258 seconds) |
| 16:02:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 16:02:34 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 16:02:44 | <moonsheep> | byorgey, [exa]: ah, thank you very much |
| 16:04:29 | → | christiansen joins (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 16:05:09 | → | hololeap joins (~hololeap@user/hololeap) |
| 16:05:09 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:08:42 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 16:11:06 | → | zebrag joins (~chris@user/zebrag) |
| 16:12:14 | <dmj`> | moonsheep: glDeleteShader, if you're using `gl` bindings |
| 16:12:58 | <moonsheep> | no, as I said I'm using the `OpenGL` bindings |
| 16:13:04 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 16:14:04 | <moonsheep> | btw, does that mean that I don't have to call `deleteObjectName` to free buffers, as it will be done automatically? |
| 16:15:25 | × | titibandit quits (~thibaut@sunp.ient.rwth-aachen.de) (Remote host closed the connection) |
| 16:16:24 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 16:20:38 | × | razetime quits (~quassel@117.254.35.7) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 16:21:59 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:25:29 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:34:52 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 258 seconds) |
| 16:37:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 16:38:27 | × | z0k quits (~z0k@39.40.98.160) (Ping timeout: 240 seconds) |
| 16:39:32 | → | z0k joins (~z0k@39.40.98.160) |
| 16:39:50 | <[exa]> | moonsheep: not sure tbh, I don't see any connection in there |
| 16:42:13 | → | hololeap joins (~hololeap@user/hololeap) |
| 16:42:43 | <[exa]> | ...I'd expect something like withForeignPtr to take care about the number, but not seen anywhere there |
| 16:46:04 | × | Vajb quits (~Vajb@2001:999:600:879a:e69c:7638:2849:8a14) (Read error: Connection reset by peer) |
| 16:46:04 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 16:47:13 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 16:47:45 | → | kenran joins (~kenran@200116b82b52b5008ee4c8ab0e489603.dip.versatel-1u1.de) |
| 16:56:39 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 17:02:04 | → | vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 17:03:00 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 17:14:52 | → | werneta joins (~werneta@137.78.30.207) |
| 17:16:17 | × | kenran quits (~kenran@200116b82b52b5008ee4c8ab0e489603.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 17:17:40 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 17:20:05 | → | jgeerds joins (~jgeerds@55d45f48.access.ecotel.net) |
| 17:21:56 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 17:25:32 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 17:28:38 | → | AlexNoo joins (~AlexNoo@178.34.163.188) |
| 17:28:40 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 17:28:55 | → | Alex_test joins (~al_test@178.34.163.188) |
| 17:29:49 | → | AlexZenon joins (~alzenon@178.34.163.188) |
| 17:30:22 | × | Henson quits (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 17:33:58 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:35:17 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:36:51 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 17:36:56 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 17:39:23 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 17:40:18 | × | unit73e quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 244 seconds) |
| 17:40:26 | → | econo joins (uid147250@user/econo) |
| 17:44:32 | → | trisolaran joins (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 17:45:28 | <trisolaran> | in emacs haskell-mode, C-c C-c build the cabal project. But when I'm not inside the root dir, it cant find .cabal file |
| 17:52:31 | → | coot joins (~coot@213.134.190.95) |
| 17:55:48 | → | pgib joins (~textual@173.38.117.80) |
| 18:00:34 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 18:03:09 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:03:10 | → | hololeap joins (~hololeap@user/hololeap) |
| 18:03:15 | × | werneta quits (~werneta@137.78.30.207) (Ping timeout: 276 seconds) |
| 18:07:14 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 18:12:17 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:12:24 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:17:11 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 18:23:34 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 18:25:03 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:26:27 | → | hololeap joins (~hololeap@user/hololeap) |
| 18:26:32 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:27:31 | <mesaoptimizer> | trisolaran: you could look at the documentation of the function that builds cabal project and try to figure out what the issue is. |
| 18:28:01 | <mesaoptimizer> | This doesn't seem a #haskell issue, but more of an #emacs issue |
| 18:29:29 | <fgaz> | trisolaran: cabal looks for .cabal files only in . and */ |
| 18:29:49 | <fgaz> | but it looks for cabal.project files up in the directory tree |
| 18:30:32 | <fgaz> | so you could create a cabal.project file in the project root with contents "packages: name-of-your-package.cabal" |
| 18:31:01 | → | gdown joins (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 18:31:44 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 18:33:48 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 18:39:48 | → | worldhelloworld1 joins (uid543174@id-543174.helmsley.irccloud.com) |
| 18:41:07 | → | stackdroid18 joins (14094@user/stackdroid) |
| 18:42:52 | <k``> | When I use `haskell-compile` in emacs, it compiles from anywhere in the source tree. |
| 18:43:40 | × | jgeerds quits (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 258 seconds) |
| 18:44:16 | → | yauhsien joins (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 18:48:20 | × | ccntrq quits (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 18:48:47 | × | yauhsien quits (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 18:50:42 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 18:52:15 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 18:53:26 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 19:00:30 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 19:03:16 | → | ereslibre[m] joins (~ereslibre@2001:470:69fc:105::1:8f90) |
| 19:03:17 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 19:03:33 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 19:07:53 | → | bahamas joins (~lucian@84.232.141.167) |
| 19:09:02 | × | Ram-Z quits (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 252 seconds) |
| 19:10:36 | → | Guest60 joins (~Guest60@212.red-83-44-246.dynamicip.rima-tde.net) |
| 19:10:52 | × | Guest60 quits (~Guest60@212.red-83-44-246.dynamicip.rima-tde.net) (Client Quit) |
| 19:12:04 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 19:15:54 | → | phma_ joins (phma@2001:5b0:210d:afc8:9145:8b6b:11c6:775c) |
| 19:15:55 | → | unit73e joins (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 19:19:30 | × | phma quits (~phma@host-67-44-208-148.hnremote.net) (Ping timeout: 240 seconds) |
| 19:21:37 | × | pgib quits (~textual@173.38.117.80) (Ping timeout: 258 seconds) |
| 19:32:36 | → | lagooned joins (~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net) |
| 19:39:00 | → | _xor joins (~xor@72.49.198.103) |
| 19:39:43 | × | bahamas quits (~lucian@84.232.141.167) (Ping timeout: 246 seconds) |
| 19:42:30 | × | tochicool quits (~tochicool@user/tochicool) (Ping timeout: 240 seconds) |
| 19:44:02 | → | tochicool joins (~tochicool@user/tochicool) |
| 19:48:20 | → | pgib joins (~textual@173.38.117.83) |
| 19:51:28 | × | gdown quits (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 19:51:45 | → | Ram-Z joins (~Ram-Z@li1814-254.members.linode.com) |
| 19:51:49 | → | kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 19:53:07 | → | nate1 joins (~nate@98.45.169.16) |
| 19:53:15 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:53:25 | × | _xor quits (~xor@72.49.198.103) (Quit: rebooting) |
| 19:56:51 | → | vysn joins (~vysn@user/vysn) |
| 19:57:50 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 19:59:03 | → | fef joins (~thedawn@user/thedawn) |
| 20:02:12 | × | tochicool quits (~tochicool@user/tochicool) (Ping timeout: 276 seconds) |
| 20:02:12 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 20:02:15 | → | werneta joins (~werneta@137.79.206.133) |
| 20:03:11 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:04:18 | → | tochicool joins (~tochicool@user/tochicool) |
| 20:04:22 | × | kuribas quits (~user@ptr-17d51emj6sz64bjx9i7.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 20:04:51 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection) |
| 20:04:57 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 20:05:26 | → | Midjak joins (~Midjak@82.66.147.146) |
| 20:06:32 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 20:07:04 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 20:07:38 | × | Midjak quits (~Midjak@82.66.147.146) (Client Quit) |
| 20:12:09 | → | bahamas joins (~lucian@84.232.141.167) |
| 20:16:27 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 20:16:50 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 20:17:46 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:26:34 | → | Midjak joins (~Midjak@82.66.147.146) |
| 20:29:10 | → | acidjnk joins (~acidjnk@p200300d0c7068b84f5dd1c47af5d1c76.dip0.t-ipconnect.de) |
| 20:30:29 | → | jgeerds joins (~jgeerds@55d45f48.access.ecotel.net) |
| 20:32:52 | × | bahamas quits (~lucian@84.232.141.167) (Ping timeout: 244 seconds) |
| 20:33:34 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 20:34:50 | × | z0k quits (~z0k@39.40.98.160) (Ping timeout: 258 seconds) |
| 20:35:15 | → | __monty__ joins (~toonn@user/toonn) |
| 20:36:46 | → | kenran joins (~kenran@200116b82b52b500076890dff23d51d7.dip.versatel-1u1.de) |
| 20:36:47 | × | pgib quits (~textual@173.38.117.83) (Ping timeout: 255 seconds) |
| 20:37:32 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 20:40:49 | × | kenran quits (~kenran@200116b82b52b500076890dff23d51d7.dip.versatel-1u1.de) (Client Quit) |
| 20:40:50 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 20:44:15 | × | k`` quits (~user@152.1.137.158) (Remote host closed the connection) |
| 20:47:10 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:47:23 | → | nate1 joins (~nate@98.45.169.16) |
| 20:49:09 | × | worldhelloworld1 quits (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:51:35 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 21:02:36 | × | pieguy128_ quits (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:04:20 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) |
| 21:04:57 | × | dcleonarski quits (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) (Ping timeout: 260 seconds) |
| 21:11:46 | × | takuan_dozo quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:14:45 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 21:15:09 | × | anon15041149 quits (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 21:15:11 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:15:39 | → | anon15041149 joins (~anon15041@host-80-41-95-245.as13285.net) |
| 21:21:47 | × | zer0bitz quits (~zer0bitz@2001:2003:f444:8f00:7805:1156:200b:3278) (Read error: Connection reset by peer) |
| 21:32:34 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 21:35:25 | → | hololeap joins (~hololeap@user/hololeap) |
| 21:36:47 | × | jgeerds quits (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds) |
| 21:37:01 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 21:39:02 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 21:39:38 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 21:40:51 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 21:41:04 | × | unit73e quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 244 seconds) |
| 21:47:00 | → | yauhsien joins (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 21:48:42 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 21:52:03 | × | yauhsien quits (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 21:52:21 | <shapr> | oh man, my nick rank is low on tomsmeding's channel log, I gotta talk about more stuff here! |
| 21:52:48 | <geekosaur> | :) |
| 21:52:57 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 21:53:24 | <shapr> | I didn't save a log for the memoized quickcheck discussion, and now I want to go back and find it :-/ |
| 21:54:42 | <geekosaur> | (damn, I'm #2? I talk too much.) |
| 21:55:06 | <monochrom> | b |
| 21:55:13 | <monochrom> | err, wrong window |
| 21:55:48 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:58:06 | × | michalz quits (~michalz@185.246.204.125) (Remote host closed the connection) |
| 22:13:28 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:14:49 | × | hueso quits (~root@user/hueso) (Quit: hueso) |
| 22:18:47 | → | hueso joins (~root@user/hueso) |
| 22:20:37 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 22:20:47 | × | chomwitt quits (~chomwitt@2a02:587:dc17:d600:c965:87d5:7916:d9b7) (Ping timeout: 260 seconds) |
| 22:21:28 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 22:23:26 | × | hueso quits (~root@user/hueso) (Client Quit) |
| 22:26:02 | → | hueso joins (~root@user/hueso) |
| 22:27:13 | × | Tuplanolla quits (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:32:20 | × | acidjnk quits (~acidjnk@p200300d0c7068b84f5dd1c47af5d1c76.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 22:34:41 | × | n3t quits (n3t@s45.mydevil.net) (Changing host) |
| 22:34:41 | → | n3t joins (n3t@user/n3t) |
| 22:41:31 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 22:44:33 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 22:48:01 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 22:48:47 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 22:55:18 | × | bgs quits (~bgs@cpe-212-85-160-171.cable.telemach.net) (Read error: Connection reset by peer) |
| 22:55:37 | → | bgs joins (~bgs@212.85.160.171) |
| 23:01:08 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 23:04:23 | × | raym quits (~raym@user/raym) (Ping timeout: 255 seconds) |
| 23:06:34 | × | trisolaran quits (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 23:09:01 | × | christiansen quits (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 23:11:37 | × | mmhat quits (~mmh@p200300f1c705846fee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 23:15:57 | × | zeenk quits (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 23:16:05 | → | lkira joins (~lkira@2804:6660:ff07:b200:5cdd:5a88:feba:a608) |
| 23:16:21 | × | machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 23:17:05 | <lkira> | How hard would be create a script in haskell that run shell commands to use FFMPEG to compresse some videos on a folder? |
| 23:17:28 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 23:19:15 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 23:19:34 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 23:19:36 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 23:19:47 | <hpc> | less hard than figuring out ffmpeg commands is :P |
| 23:19:50 | <hpc> | https://hackage.haskell.org/package/process-1.6.14.0/docs/System-Process.html |
| 23:20:25 | <lkira> | I already made that script with python |
| 23:20:31 | <lkira> | but I lost the source code lol |
| 23:20:53 | <hpc> | heh |
| 23:20:54 | <shapr> | lkira: months ago I made something vaguely related: https://gist.github.com/shapr/20bb48a22bee23fcc3118e579239176b |
| 23:21:13 | <shapr> | My goal was to record my screen while I wrote code and then examine the video later |
| 23:21:29 | <hpc> | there's also some direct bindings - https://hoogle.haskell.org/?hoogle=ffmpeg |
| 23:22:34 | <EvanR> | ffmpeg is really quite easy to use, but this margin is too narrow to fit the command line flags |
| 23:22:59 | <lkira> | shapr thanks, would be possible to run multiple ffmpeg process in parallel with a command like your command? |
| 23:23:43 | <shapr> | yeah, hit it harder with System.Process |
| 23:24:01 | <lkira> | hpc thanks for recommending this package, I'll check if this helps me |
| 23:24:02 | → | hololeap joins (~hololeap@user/hololeap) |
| 23:24:36 | → | mmhat joins (~mmh@p200300f1c7058452ee086bfffe095315.dip0.t-ipconnect.de) |
| 23:24:59 | <geekosaur> | you run one command for each ffmpeg, then loop on waitForProcess |
| 23:25:12 | <geekosaur> | or the System.Process version thereof |
| 23:26:05 | × | lkira quits (~lkira@2804:6660:ff07:b200:5cdd:5a88:feba:a608) (Quit: Client closed) |
| 23:28:54 | × | xff0x quits (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 276 seconds) |
| 23:31:27 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 23:34:02 | × | mtjm quits (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 23:35:05 | → | mtjm joins (~mutantmel@2604:a880:2:d0::208b:d001) |
| 23:35:15 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 23:37:01 | → | pavonia joins (~user@user/siracusa) |
| 23:38:39 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 23:40:27 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 23:42:58 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 23:43:17 | <dons> | morning all |
| 23:43:22 | <shapr> | g'day dons |
| 23:43:28 | <geekosaur> | o/ |
| 23:43:40 | <jackdk> | hi dons |
| 23:45:48 | → | nate1 joins (~nate@98.45.169.16) |
| 23:45:52 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 23:46:34 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 23:48:23 | → | yauhsien joins (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 23:48:24 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 23:48:34 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 23:48:45 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 23:49:59 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 23:52:10 | <Axman6> | o/ |
| 23:52:14 | → | hololeap joins (~hololeap@user/hololeap) |
| 23:53:01 | × | yauhsien quits (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 23:53:31 | <EvanR> | /o |
| 23:53:48 | <Axman6> | \/o\ |
| 23:54:04 | <Axman6> | I never have managed to figurew out how to send a / as the first character in glirc |
| 23:54:12 | × | Sauvin quits (~sauvin@about/linux/staff/sauvin) (Read error: Connection reset by peer) |
| 23:54:18 | <Axman6> | /o\ |
| 23:54:22 | <Axman6> | ah there we go |
| 23:54:27 | <Axman6> | h4x3d |
| 23:54:44 | <jackdk> | haxman6 |
| 23:54:54 | → | Sauvin joins (~sauvin@about/linux/staff/sauvin) |
| 23:55:46 | <EvanR> | /say right |
| 23:56:57 | <Axman6> | I used /msg #haskell but say probably works too |
| 23:57:02 | <Axman6> | /o\ |
| 23:57:05 | <Axman6> | it does |
| 23:57:51 | × | kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
All times are in UTC on 2022-05-25.