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