Logs: liberachat/#haskell
| 2021-06-03 17:46:19 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 244 seconds) |
| 2021-06-03 17:47:25 | <hololeap> | maerwald: I didn't get a chance to run top during the time, but I haven't noticed more than one instance running, so I don't think that's the problem |
| 2021-06-03 17:47:29 | × | ddellacosta quits (~ddellacos@86.106.121.183) (Ping timeout: 272 seconds) |
| 2021-06-03 17:47:52 | <maerwald> | at any read, make sure to install earlyoom |
| 2021-06-03 17:47:59 | <maerwald> | s/read/rate/ |
| 2021-06-03 17:48:04 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2021-06-03 17:48:34 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-03 17:49:07 | <hololeap> | I caused a loop by being foolish with UndecidableSuperClasses, which I didn't notice until my comp became unresponsive. but, once I got control back, I could verify that it was causing the compiler to spin out of control by trying to run ghci on the module. |
| 2021-06-03 17:49:09 | → | Pixi_ joins (~Pixi@user/pixi) |
| 2021-06-03 17:49:20 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-06-03 17:50:11 | <maerwald> | haskell is living on the edge... |
| 2021-06-03 17:50:36 | <hololeap> | maerwald: thanks for the hint about earlyroom. it seems like something I could use |
| 2021-06-03 17:50:38 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-06-03 17:50:49 | × | rk04 quits (~rk04@user/rajk) (Quit: rk04) |
| 2021-06-03 17:51:02 | <tapas> | https://www.youtube.com/watch?v=7nqcL0mjMjw |
| 2021-06-03 17:51:24 | <maerwald> | back when I had 16gb only there was no way to use repl without it |
| 2021-06-03 17:51:32 | <hololeap> | yushyin: thanks for the tip |
| 2021-06-03 17:52:02 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-06-03 17:52:04 | <hololeap> | I'm actually on 12GB right now, but the memory usage in general seems reasonable |
| 2021-06-03 17:52:55 | <maerwald> | I'm considering to upgrade to 64 |
| 2021-06-03 17:53:08 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 272 seconds) |
| 2021-06-03 17:53:11 | <maerwald> | when I run my windows VM on the side, memory is full |
| 2021-06-03 17:54:11 | <hololeap> | on a related note, are there any configuration files for HLS? I haven't seen anything mentioned about them |
| 2021-06-03 17:54:21 | → | zmt01 joins (~zmt00@user/zmt00) |
| 2021-06-03 17:54:49 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-06-03 17:54:57 | × | hexfive quits (~eric@50.35.83.177) (Client Quit) |
| 2021-06-03 17:55:05 | → | dudek joins (~dudek@185.150.236.112) |
| 2021-06-03 17:56:33 | <hololeap> | for instance, where I could pass in the flags mentioned by wz1000. I keep asking in #haskell-language-server and never get a response |
| 2021-06-03 17:58:12 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 272 seconds) |
| 2021-06-03 17:59:34 | <maerwald> | hololeap: doesn't that depend on your LSP client? |
| 2021-06-03 17:59:38 | <wz1000> | hololeap: depends on your client. |
| 2021-06-03 18:03:03 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-03 18:03:21 | <hololeap> | my client has very minimal LSP support. as far as I can tell, it just lets you configure the command and arguments that are run, and then it gives basic error highlighting and LSP messages |
| 2021-06-03 18:03:41 | × | spatchkaa quits (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) (Remote host closed the connection) |
| 2021-06-03 18:03:46 | <hololeap> | Right now, it's configured to run `haskell-language-server-wrapper --lsp` |
| 2021-06-03 18:03:58 | <tomsmeding> | hololeap: what's the client? |
| 2021-06-03 18:04:02 | <hololeap> | kate |
| 2021-06-03 18:06:56 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 252 seconds) |
| 2021-06-03 18:07:01 | <hololeap> | maerwald: earlyoom is now installed and set to start on boot. Cool, now I shouldn't have to mash Alt+SysRq+F anymore |
| 2021-06-03 18:07:45 | <maerwald> | hololeap: make sure to disable swap |
| 2021-06-03 18:07:55 | → | node-sh joins (~node-sh@2401:4900:3b34:7bd4:3db0:9804:12bf:c3a) |
| 2021-06-03 18:07:58 | <maerwald> | or... there's an option for earlyoom to ignore swap or sth |
| 2021-06-03 18:08:02 | <maerwald> | but I just disable it |
| 2021-06-03 18:08:36 | <hololeap> | I have a small swap, 1.5GB just for caching long-running processes or whatever |
| 2021-06-03 18:08:55 | × | dysbarter quits (~dysbarter@adsl-72-50-4-187.prtc.net) (Quit: Client closed) |
| 2021-06-03 18:09:00 | <hololeap> | but I can just disable it if it's going to interfere with earlyoom |
| 2021-06-03 18:09:56 | × | learner-monad quits (~eric@cpe-174-105-47-100.columbus.res.rr.com) (Changing host) |
| 2021-06-03 18:09:56 | → | learner-monad joins (~eric@user/learner-monad) |
| 2021-06-03 18:10:30 | <maerwald> | https://github.com/rfjakob/earlyoom#command-line-options |
| 2021-06-03 18:11:21 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-03 18:11:28 | <maerwald> | I had a swap on a slow HDD... so I wouldn't get OOM, but linux kernel locking the PC for 15 minutes due to IO/register race |
| 2021-06-03 18:11:51 | <maerwald> | (windows kernel has better swap behavior) |
| 2021-06-03 18:13:21 | × | learner-monad quits (~eric@user/learner-monad) (Quit: WeeChat 3.1) |
| 2021-06-03 18:13:24 | <Sose> | I'm on a laptop with 4GB memory and HLS + separate GHCI can definitely but a strain on it :D.. but surprisingly still usable |
| 2021-06-03 18:13:31 | <Sose> | *put |
| 2021-06-03 18:13:50 | → | learner-monad joins (~ehanneken@user/learner-monad) |
| 2021-06-03 18:13:50 | <maerwald> | that's not living on the edge, but in the abyss |
| 2021-06-03 18:16:11 | → | Baloo_ joins (~Baloo_@h-98-128-172-214.A785.priv.bahnhof.se) |
| 2021-06-03 18:16:25 | × | Baloo_ quits (~Baloo_@h-98-128-172-214.A785.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-06-03 18:17:22 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-03 18:17:34 | → | Baloo_ joins (~Baloo_@45.83.220.177) |
| 2021-06-03 18:18:56 | → | beka joins (~beka@104.193.170-254.PUBLIC.monkeybrains.net) |
| 2021-06-03 18:20:25 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 244 seconds) |
| 2021-06-03 18:20:37 | → | ddellacosta joins (~ddellacos@89.45.224.66) |
| 2021-06-03 18:22:21 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-06-03 18:23:20 | → | dysbarter joins (~dysbarter@adsl-72-50-4-119.prtc.net) |
| 2021-06-03 18:23:45 | → | spatchkaa joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) |
| 2021-06-03 18:24:11 | → | bfrk joins (~Thunderbi@200116b8456bb4003c666de9803185e6.dip.versatel-1u1.de) |
| 2021-06-03 18:24:35 | <tomsmeding> | maerwald: https://github.com/facebookincubator/oomd/blob/master/docs/production_setup.md#swap |
| 2021-06-03 18:24:39 | <tomsmeding> | (different daemon) |
| 2021-06-03 18:25:13 | <tomsmeding> | given that earlyoom makes no such recommendation, I conclude that earlyoom is better software |
| 2021-06-03 18:26:04 | × | ddellacosta quits (~ddellacos@89.45.224.66) (Ping timeout: 272 seconds) |
| 2021-06-03 18:26:09 | <maerwald> | tomsmeding: yes, it doesn't need swap and you can tell it the kill thresholds for both memory and swap |
| 2021-06-03 18:26:31 | → | thelounge925 joins (~thelounge@69.234.40.90) |
| 2021-06-03 18:26:49 | <tomsmeding> | doesn't that paragraph I linked horrify you |
| 2021-06-03 18:27:28 | <tomsmeding> | "this software is a hack by design that may or may not work" |
| 2021-06-03 18:27:32 | <maerwald> | I think I've seen a lot of weird stuff in software |
| 2021-06-03 18:28:12 | <maerwald> | swap is really useless on linux |
| 2021-06-03 18:28:18 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-03 18:28:39 | × | thelounge92 quits (~thelounge@cpe-23-240-28-18.socal.res.rr.com) (Ping timeout: 272 seconds) |
| 2021-06-03 18:28:40 | thelounge925 | is now known as thelounge92 |
| 2021-06-03 18:28:54 | <maerwald> | I haven't bothered to read Linus excuses about it. They're probably similar like his security excuses :> |
| 2021-06-03 18:33:32 | <meejah> | i haven't run swap in a decade. I prefer the failure mode of "oom kills firefox" rather than "computer is very slow now" .. maybe this earlyoom thing is better ;) |
| 2021-06-03 18:33:53 | <maerwald> | yep, it's faster |
| 2021-06-03 18:34:15 | → | jolly18 joins (~jolly@208.180.97.158) |
| 2021-06-03 18:35:05 | <yushyin> | https://chrisdown.name/2018/01/02/in-defence-of-swap.html here are some excuses |
| 2021-06-03 18:35:24 | × | jolly quits (~jolly@208.180.97.158) (Ping timeout: 244 seconds) |
| 2021-06-03 18:37:17 | <bramhaag> | I'm trying to write an evaluator for a custom language in Haskell, does anyone have any good resources I can take some inspiration from? |
| 2021-06-03 18:38:44 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 18:39:09 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-03 18:42:07 | <[exa]> | bramhaag: how advanced you want the evaluator? just an interpreter? |
| 2021-06-03 18:42:23 | <[exa]> | bramhaag: also, does the language have a haskell-style AST? |
| 2021-06-03 18:42:37 | <bramhaag> | I've defined the language using type classes |
| 2021-06-03 18:42:57 | <[exa]> | there's many ways to do it with type classes in fact |
| 2021-06-03 18:42:59 | <bramhaag> | The language itself is a dumbed down version of Haskell with slightly different syntax, it supports partial application and HOF |
| 2021-06-03 18:43:10 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2021-06-03 18:43:36 | <bramhaag> | This is a homework exercise, so some things are banned (Most notably monads and GHC extensions) |
| 2021-06-03 18:43:47 | <[exa]> | ah okay good, so you have "definitions" that may be "applied" etc |
| 2021-06-03 18:44:44 | <bramhaag> | Exactly, an example of the language would be this https://paste.tomsmeding.com/4z5vhM6J |
| 2021-06-03 18:45:05 | → | cfricke joins (~cfricke@user/cfricke) |
All times are in UTC.