Logs: freenode/#haskell
| 2020-10-22 09:18:34 | <merijn> | dminuoso: ghcide usually finishes type-checking in the same time as it takes vim to leave insert mode >.> |
| 2020-10-22 09:18:59 | <dminuoso> | merijn: Its not that Im worried about. |
| 2020-10-22 09:19:09 | <dminuoso> | lsp-mode looks freaking heavy |
| 2020-10-22 09:19:13 | <hc> | merijn: can take vim up to two seconds to leave insert mode, depending on your terminal emulator ;) |
| 2020-10-22 09:19:19 | <merijn> | dminuoso: in emacs? |
| 2020-10-22 09:19:41 | <dminuoso> | Triggered, it seems! |
| 2020-10-22 09:19:46 | <dminuoso> | Ye.s |
| 2020-10-22 09:19:57 | <merijn> | that seems like an emacs problem, not an hls problem :p |
| 2020-10-22 09:22:13 | <dminuoso> | Ah. Perhaps I can use eglot instead, that seems much more lightweight |
| 2020-10-22 09:22:13 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 2020-10-22 09:22:14 | × | bgamari quits (~bgamari@72.65.104.154) (Ping timeout: 265 seconds) |
| 2020-10-22 09:22:35 | → | stefan-__ joins (~cri@42dots.de) |
| 2020-10-22 09:24:15 | <Alexthek1d> | guys i still get "Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/9/10.yaml: |
| 2020-10-22 09:24:15 | <Alexthek1d> | HttpExceptionRequest Request {" |
| 2020-10-22 09:24:21 | <Alexthek1d> | proxy doesn't work |
| 2020-10-22 09:24:25 | <Alexthek1d> | i dunno why |
| 2020-10-22 09:24:41 | <Alexthek1d> | why does it need online sources even? |
| 2020-10-22 09:24:58 | <Alexthek1d> | can't i have an offline version of stack haskell? |
| 2020-10-22 09:25:00 | → | bgamari joins (~bgamari@72.65.104.77) |
| 2020-10-22 09:25:20 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2020-10-22 09:25:54 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2020-10-22 09:27:53 | <dminuoso> | Alexthek1d: If you want to be all offline, stack is a bad fit I think. |
| 2020-10-22 09:28:02 | <dminuoso> | It'll be easier with cabal and possibly skete |
| 2020-10-22 09:28:59 | → | Perry79 joins (6ee39f85@110.227.159.133) |
| 2020-10-22 09:29:30 | <Alexthek1d> | a |
| 2020-10-22 09:29:39 | <Alexthek1d> | okay:D |
| 2020-10-22 09:29:51 | → | polyrain joins (~polyrain@2001:8003:e501:6901:5473:8418:3e33:a31a) |
| 2020-10-22 09:30:07 | <dminuoso> | Alexthek1d: What exactly are your requirements here? Wrt to being offline I mean. |
| 2020-10-22 09:30:56 | <Alexthek1d> | i just need to get this running on the windows server of my company: https://github.com/facebook/duckling |
| 2020-10-22 09:30:59 | <Alexthek1d> | dminuoso, |
| 2020-10-22 09:31:35 | <__monty__> | Hmm, can't really find anything about skete. One blogpost and one youtube presentation. |
| 2020-10-22 09:31:47 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 2020-10-22 09:32:10 | → | stefan-__ joins (~cri@42dots.de) |
| 2020-10-22 09:32:20 | <dminuoso> | __monty__: https://code.xkrd.net/skete/skete-haskell/-/tree/master |
| 2020-10-22 09:32:27 | hackage | splitmix 0.1.0.3 - Fast Splittable PRNG https://hackage.haskell.org/package/splitmix-0.1.0.3 (phadej) |
| 2020-10-22 09:32:48 | <__monty__> | dminuoso: Thanks. Guess DDG was failing me. |
| 2020-10-22 09:32:59 | <Alexthek1d> | i'll try cabal then |
| 2020-10-22 09:33:02 | <merijn> | __monty__: I mean, you can just download all of Hackage and point cabal at that |
| 2020-10-22 09:33:11 | <dminuoso> | Alexthek1d: Well, you will need internet access either way |
| 2020-10-22 09:33:18 | <Alexthek1d> | dminuoso, why? |
| 2020-10-22 09:33:28 | <dminuoso> | Alexthek1d: Because our package registries live on the internet. |
| 2020-10-22 09:33:36 | <Alexthek1d> | oh |
| 2020-10-22 09:33:37 | <dminuoso> | You have to get the dependencies from *somewhere* |
| 2020-10-22 09:34:14 | <Perry79> | Is it possible to create modular classes (congruence classes) with just a single traversal of list? in python I can do something like "for n in arr: dict[n%k] += [n]". My current Haskell solution involves k traversals of list |
| 2020-10-22 09:34:18 | <dminuoso> | What I said about `cabal + skete` is for the use case of `Im gonna live on a boat without internet for 6 months and want to develop on haskell packages` |
| 2020-10-22 09:34:27 | <dminuoso> | (Which is exactly how skete was born) |
| 2020-10-22 09:34:57 | → | cristi joins (~cristi@82.76.158.82) |
| 2020-10-22 09:35:07 | <Alexthek1d> | dminuoso, Hm okay, thanks for the info! I can't believe that i cannot run this program on an offline server :/ |
| 2020-10-22 09:35:16 | <dminuoso> | Alexthek1d: Ohh I see what you mean |
| 2020-10-22 09:35:18 | <dminuoso> | sorry I misunderstood |
| 2020-10-22 09:35:21 | <dminuoso> | Alexthek1d: No you can! |
| 2020-10-22 09:35:33 | <Alexthek1d> | :D |
| 2020-10-22 09:35:35 | <dminuoso> | Alexthek1d: You first build it with stack or cabal, and then extract the build artifact |
| 2020-10-22 09:35:46 | <dminuoso> | But the build process needs internet to grab dependencies |
| 2020-10-22 09:35:48 | → | acidjnk_new2 joins (~acidjnk@p200300d0c7237877057f065cfb1ec96d.dip0.t-ipconnect.de) |
| 2020-10-22 09:35:53 | <dminuoso> | (Or at least access to package registries) |
| 2020-10-22 09:36:25 | <Alexthek1d> | yes, stack fails because of this |
| 2020-10-22 09:36:26 | <Alexthek1d> | "Exception while reading snapshot from https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/9/10.yaml: |
| 2020-10-22 09:36:44 | <dminuoso> | Alexthek1d: So what you'd do, is build it on a machine that has internet access |
| 2020-10-22 09:36:53 | <dminuoso> | Extract the resulting binary, and then put that onto your server without internet. |
| 2020-10-22 09:37:50 | <Alexthek1d> | Hm it is a machine with windows server 2019 . I have windows 10 only |
| 2020-10-22 09:38:32 | <__monty__> | merijn: Just wanted to see what skete has to offer in addition. |
| 2020-10-22 09:38:53 | <dminuoso> | __monty__: ask davean |
| 2020-10-22 09:38:58 | <dminuoso> | They can explain it far better. |
| 2020-10-22 09:39:12 | × | chaosmasttter quits (~chaosmast@p200300c4a7138f016deda32bd295c85f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-22 09:39:20 | <dminuoso> | Alexthek1d: It shouldn't be an issue I think. |
| 2020-10-22 09:39:32 | <dminuoso> | Alexthek1d: Both run PE executables. |
| 2020-10-22 09:39:32 | <Alexthek1d> | dminuoso, ok thank you |
| 2020-10-22 09:39:34 | <dminuoso> | You could try it at least. |
| 2020-10-22 09:39:45 | <dminuoso> | If it doesn't work, you could ask again. |
| 2020-10-22 09:39:49 | <Alexthek1d> | thanks |
| 2020-10-22 09:39:58 | <dminuoso> | (My windows experience is rather limited with Haskell) |
| 2020-10-22 09:41:08 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-10-22 09:41:36 | <dminuoso> | __monty__: One of the main issues with hackage, is that its a hideous blob of software. Try running a local hackage mirror, the sheer time and space requirements are crazy! |
| 2020-10-22 09:42:01 | <Rembane> | dminuoso: How crazy are the space requirements? |
| 2020-10-22 09:44:17 | <dminuoso> | Rembane: Some 2-3 digits of GiB I think. And pulling a mirror takes ages. |
| 2020-10-22 09:44:26 | <dminuoso> | With skete you can get that in under 1GiB |
| 2020-10-22 09:44:26 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 2020-10-22 09:44:43 | → | stefan-__ joins (~cri@42dots.de) |
| 2020-10-22 09:45:43 | <dminuoso> | When we tried to set up a hackage mirror, I was frustrated after some two weeks. |
| 2020-10-22 09:46:32 | × | jedws quits (~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-22 09:48:03 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2020-10-22 09:48:33 | × | cristi quits (~cristi@82.76.158.82) (Quit: cristi) |
| 2020-10-22 09:48:39 | <merijn> | dminuoso: You can point cabal at just directories of tarballs, iirc? |
| 2020-10-22 09:50:36 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-10-22 09:52:11 | × | lindaTheUltimate quits (3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection) |
| 2020-10-22 09:52:43 | → | sveit joins (~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f) |
| 2020-10-22 09:53:14 | → | simplegauss joins (~simplegau@45.77.0.246) |
| 2020-10-22 09:53:49 | <Rembane> | dminuoso: That's quite a lot. I wonder if it would be benificial for the Haskell ecosystem to have more Hackage mirrors and thus make it easier to setup new mirrors. |
| 2020-10-22 09:53:56 | → | tsdgeos joins (~tsdgeos@195.206.169.184) |
| 2020-10-22 09:55:19 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2020-10-22 10:01:06 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-10-22 10:01:19 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2020-10-22 10:02:09 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-22 10:03:17 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-10-22 10:04:59 | <Alexthek1d> | dminuoso, so stack failed :D :/ |
| 2020-10-22 10:05:11 | <Alexthek1d> | i can't find cabal for windows tho |
| 2020-10-22 10:08:20 | → | klixto joins (~klixto@49.188.65.219) |
| 2020-10-22 10:08:28 | × | bgamari quits (~bgamari@72.65.104.77) (Ping timeout: 260 seconds) |
| 2020-10-22 10:09:05 | → | MVQq joins (~anja@198.254.202.72) |
All times are in UTC.