Logs: freenode/#haskell
| 2021-03-05 18:12:45 | × | ADG1089 quits (~adg1089@171.76.153.167) (Read error: Connection reset by peer) |
| 2021-03-05 18:13:22 | → | ADG1089 joins (~adg1089@171.76.153.167) |
| 2021-03-05 18:13:30 | <swarmcollective> | Wezl: You might want to consider running GHC from within a Docker container. If the container becomes corrupt for any reason, you just rebuild it. There is a solid base container with GHC and Cabal already installed. |
| 2021-03-05 18:13:47 | → | x0oytF joins (~user@4-13-107-185.static.kviknet.dk) |
| 2021-03-05 18:13:52 | <swarmcollective> | https://hub.docker.com/_/haskell/ |
| 2021-03-05 18:14:10 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-05 18:14:22 | → | redmp joins (~redmp@172.58.35.84) |
| 2021-03-05 18:14:24 | <monochrom> | Hrm! I should maybe save that docker URL and let my students know next time I teach them. |
| 2021-03-05 18:14:33 | <Wezl> | my package manager doesn't have docker and I'd rather build GHC than docker |
| 2021-03-05 18:15:06 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-05 18:15:19 | <monochrom> | But what is the _ doing there? :) |
| 2021-03-05 18:15:34 | <c_wraith> | Wezl: what platform are you on? It seems odd that none of the pre-compiled GHCs will work |
| 2021-03-05 18:16:11 | <Wezl> | c_wraith: I'm on a chromebook with termux and GHC is in the unstable repo |
| 2021-03-05 18:16:18 | <c_wraith> | ah, that's a tough one |
| 2021-03-05 18:16:33 | <swarmcollective> | monochrom: I hope other editors provide the same capability soon, but the remote container plugin for vscode even allows you to keep your editor and code on your hard drive and run only the Haskell tools from within the container. That makes it very easy to use (and to switch between versions of GHC + Cabal). |
| 2021-03-05 18:17:30 | <monochrom> | That's nice to know swarmcollective, thanks. My students may find it even more important. They like vscode. |
| 2021-03-05 18:17:33 | <swarmcollective> | Wezl: I also use GHC on a Chromebook, but I am able to use Docker from the Debian instance provided by ChromeOS. |
| 2021-03-05 18:19:02 | <swarmcollective> | monochrom: I didn't come up with this idea, only updated it to use "official" Haskell container, but here is a convenient .devcontainer configuration for use with vscode. https://github.com/calledtoconstruct/haskell-hls-devcontainer |
| 2021-03-05 18:19:22 | ← | x0oytF parts (~user@4-13-107-185.static.kviknet.dk) ("haskell") |
| 2021-03-05 18:20:08 | swarmcollective | goes to search "turmux" :D |
| 2021-03-05 18:20:09 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Remote host closed the connection) |
| 2021-03-05 18:20:37 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-05 18:21:16 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-03-05 18:21:57 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-03-05 18:22:26 | × | ixlun quits (~user@213.205.241.12) (Remote host closed the connection) |
| 2021-03-05 18:22:50 | swarmcollective | is now wondering if it is possible to use Google Cloud Shell as the remote container. Hmmmm... |
| 2021-03-05 18:23:20 | → | fendor joins (~fendor@77.119.128.153.wireless.dyn.drei.com) |
| 2021-03-05 18:23:59 | × | forgottenone quits (~forgotten@176.42.24.161) (Ping timeout: 260 seconds) |
| 2021-03-05 18:24:47 | × | usr25 quits (~usr25@unaffiliated/usr25) (Read error: Connection reset by peer) |
| 2021-03-05 18:25:59 | × | demon_in_a_jar quits (~veritas@athedsl-333140.home.otenet.gr) (Quit: Leaving) |
| 2021-03-05 18:27:20 | → | Benzi-Junior joins (~BenziJuni@88-149-67-143.du.xdsl.is) |
| 2021-03-05 18:30:16 | × | sheepfleece quits (~sheep@46.53.248.142) (Quit: Lost terminal) |
| 2021-03-05 18:31:54 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:58cb) |
| 2021-03-05 18:32:09 | × | malumore quits (~malumore@151.62.119.233) (Ping timeout: 245 seconds) |
| 2021-03-05 18:32:44 | × | crobbins_ quits (~crobbins@2601:2c1:200:ec50:bd85:de5e:f720:2e32) (Ping timeout: 240 seconds) |
| 2021-03-05 18:33:39 | → | regakakobigman joins (~regakakob@c-73-174-187-176.hsd1.pa.comcast.net) |
| 2021-03-05 18:36:51 | <bgamari> | Wezl, GHC segfaults? |
| 2021-03-05 18:37:00 | <bgamari> | Wezl, which platform are you on? |
| 2021-03-05 18:37:18 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 260 seconds) |
| 2021-03-05 18:37:31 | <geekosaur> | chromebook |
| 2021-03-05 18:37:32 | <monochrom> | chromebook |
| 2021-03-05 18:41:05 | → | curiousgay_ joins (~quassel@178.217.208.8) |
| 2021-03-05 18:41:05 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-05 18:41:44 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 2021-03-05 18:41:49 | × | darjeeling_ quits (~darjeelin@122.245.208.86) (Ping timeout: 276 seconds) |
| 2021-03-05 18:42:01 | × | curiousgay_ quits (~quassel@178.217.208.8) (Client Quit) |
| 2021-03-05 18:42:05 | <bgamari> | oh dear |
| 2021-03-05 18:42:55 | <Wezl> | https://0x0.st/-P2t.png |
| 2021-03-05 18:42:57 | bgamari | has no idea constraints chromebooks place on user space |
| 2021-03-05 18:43:09 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-05 18:43:12 | <bgamari> | Wezl, do you have gdb? |
| 2021-03-05 18:43:16 | <Wezl> | is that maybe it? |
| 2021-03-05 18:43:28 | <Wezl> | bgamari: no |
| 2021-03-05 18:43:31 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving) |
| 2021-03-05 18:43:35 | <bgamari> | hmm |
| 2021-03-05 18:44:34 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-05 18:44:55 | <geekosaur> | oh dear |
| 2021-03-05 18:45:02 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-05 18:45:03 | <Wezl> | ok now I have gdb |
| 2021-03-05 18:45:24 | geekosaur | just looked up termux, it looks painful to get a full environment for |
| 2021-03-05 18:45:40 | × | regakakobigman quits (~regakakob@c-73-174-187-176.hsd1.pa.comcast.net) (Quit: regakakobigman) |
| 2021-03-05 18:45:55 | <bgamari> | Wezl, what happens if you try running ghc under gdb? |
| 2021-03-05 18:45:58 | Wezl | thinks that's because the full environment takes way too much memory |
| 2021-03-05 18:45:58 | <bgamari> | something like |
| 2021-03-05 18:46:00 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:ca9:f9fe:ff85:a356) |
| 2021-03-05 18:46:36 | <geekosaur> | well no, termux isn't a full linux distribution so you'd be using the android stock libc instead of glibc or even musl |
| 2021-03-05 18:47:49 | <monochrom> | You may be better off trouble-shooting building Hugs. GHC is going to be a resource hog even after you get it to run. |
| 2021-03-05 18:48:40 | × | peasynt quits (~quassel@pool-173-76-103-124.bstnma.fios.verizon.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-03-05 18:48:52 | <monochrom> | Either that or repl.it |
| 2021-03-05 18:49:05 | <Wezl> | I'll try Hugs again |
| 2021-03-05 18:49:13 | <bgamari> | monochrom, do you know concretely what might be going wrong here? |
| 2021-03-05 18:49:16 | × | rj quits (~x@gateway/tor-sasl/rj) (Client Quit) |
| 2021-03-05 18:49:25 | <Wezl> | (cuz I have no idea how to use gdb) |
| 2021-03-05 18:49:27 | <bgamari> | resource hog or not, I would have expected this to work |
| 2021-03-05 18:49:47 | <monochrom> | No. But if you don't have space for glibc you don't have space for GHC. |
| 2021-03-05 18:50:23 | <monochrom> | Well, you "have", but it will be able to do very little. |
| 2021-03-05 18:51:01 | <monochrom> | The downside of Hugs is it's too old, both language-wise and library-wise, to be sure. |
| 2021-03-05 18:51:06 | × | ADG1089 quits (~adg1089@171.76.153.167) (Read error: Connection reset by peer) |
| 2021-03-05 18:51:35 | <Wezl> | maybe I just shouldn't use haskell ::/ |
| 2021-03-05 18:52:52 | <heck-to-the-gnom> | chromebooks, lol |
| 2021-03-05 18:53:34 | <monochrom> | I would think that along the spirit of chromebook you would be doing all programming on repl.it |
| 2021-03-05 18:53:57 | <monochrom> | s/along/in/ # I hate English |
| 2021-03-05 18:53:57 | → | darjeeling_ joins (~darjeelin@122.245.217.47) |
| 2021-03-05 18:54:09 | <Rembane> | monochrom: Use all prepositions just to be sure. |
| 2021-03-05 18:54:30 | <Wezl> | no, I'm trying to *avoid* the limitations of the spirit of chromebook |
| 2021-03-05 18:54:33 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-03-05 18:54:34 | ← | Wezl parts (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) ("you should try concurr, it's a new functional language still under development codeberg.org/Wezl/concurr") |
| 2021-03-05 18:54:43 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-05 18:55:01 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-05 18:56:36 | <bgamari> | oh, there he goes |
| 2021-03-05 18:57:02 | <bgamari> | I would have been happy to walk him through gdb |
| 2021-03-05 18:57:17 | <bgamari> | I wonder if there's an aspace rlimit or some such sillyness |
| 2021-03-05 18:58:20 | <ephemient> | I have a Chromebook. if you are able to use their Linux (beta) container, it is just like GHC in any other typical Debian distro |
| 2021-03-05 18:58:52 | → | Wezl joins (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 2021-03-05 18:58:59 | × | Waifod quits (~Waifod@91.106.123.186) (Ping timeout: 260 seconds) |
| 2021-03-05 18:59:09 | <Wezl> | it's extremely amusing to see what people say when you leave |
| 2021-03-05 18:59:28 | <ephemient> | I have a Chromebook. if you are able to use their Linux (beta) container, it is just like GHC in any other typical Debian distro |
| 2021-03-05 18:59:28 | <ephemient> | Wezl was using Termux, though. that's an Android app that uses various LD_PRELOAD tricks to run a "Linux" distro. |
| 2021-03-05 18:59:57 | <ephemient> | it is subject to a lot more restrictions than a Linux container |
| 2021-03-05 19:00:20 | → | Waifod joins (Waifod@gateway/vpn/protonvpn/waifod) |
All times are in UTC.