2025/01/26

Newest at the top

2025-01-26 08:11:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-26 08:09:58 +0100ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-01-26 08:09:08 +0100dsrt^(~dsrt@108.192.66.114)
2025-01-26 08:05:16 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 252 seconds)
2025-01-26 07:59:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-26 07:55:56 +0100penteract(~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 244 seconds)
2025-01-26 07:54:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-26 07:45:23 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds)
2025-01-26 07:43:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-26 07:41:47 +0100alp(~alp@2001:861:8ca0:4940:eb00:e50a:c19c:d6cb) (Ping timeout: 252 seconds)
2025-01-26 07:41:15 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-26 07:40:00 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-01-26 07:38:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-26 07:35:20 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-26 07:27:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-26 07:23:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-26 07:12:56 +0100JuanDaughertyColinRobinson
2025-01-26 07:12:53 +0100 <haskellbridge> <thirdofmay18081814goya> ah. github mislabeled their libraries repo C code lol
2025-01-26 07:12:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-26 07:10:20 +0100 <haskellbridge> <thirdofmay18081814goya> ah their main repo has samples
2025-01-26 07:09:11 +0100 <haskellbridge> <thirdofmay18081814goya> bdub: can't seem to find whether they're in haskell or in koka
2025-01-26 07:07:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-26 07:07:07 +0100 <haskellbridge> <bdub> Their page has libraries...
2025-01-26 07:06:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-26 07:05:43 +0100tnt2tnt1
2025-01-26 07:04:46 +0100 <haskellbridge> <thirdofmay18081814goya> does anyone know of any repo written in koka?
2025-01-26 07:03:25 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-26 07:03:18 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-26 07:02:48 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-01-26 07:01:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-26 06:52:54 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds)
2025-01-26 06:50:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-26 06:50:50 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-01-26 06:50:36 +0100 <Guest2> yes... the ghc script has `/home/xxx` hard-coded everywhere. And the hls script ... probablyu ghcup created those scripts and hard-coded it everywhere
2025-01-26 06:50:27 +0100aaronv(~aaronv@user/aaronv) (Ping timeout: 252 seconds)
2025-01-26 06:48:33 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-26 06:46:36 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-26 06:46:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-26 06:44:51 +0100 <Guest2> seems the home directory is hard-coded somewhere, instead of using $HOME
2025-01-26 06:44:05 +0100 <Guest2> ```
2025-01-26 06:44:04 +0100 <Guest2> .../.ghcup/bin/ghc: line 10: /home/xxx/.ghcup/ghc/9.4.8/lib/ghc-9.4.8/bin/./ghc-9.4.8: No such file or directory
2025-01-26 06:44:04 +0100 <Guest2> ghc --numeric-version
2025-01-26 06:44:03 +0100 <Guest2> ```
2025-01-26 06:44:03 +0100 <Guest2> I manually added to the PATH. And it seems to be getting further in VSCode but it is looking for stuff in `/home/...` and that is not where my user home is.
2025-01-26 06:43:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-26 06:40:24 +0100dsrt^(~dsrt@108.192.66.114) (Ping timeout: 272 seconds)
2025-01-26 06:39:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-26 06:38:22 +0100 <haskellbridge> <bdub> I am unfamiliar w/ Fedora :(
2025-01-26 06:36:50 +0100 <Guest2> I am not even sure ,bashrc is the right place on fedora
2025-01-26 06:36:31 +0100 <Guest2> and I think the non-tui version broke before it got as far as editing .bashrc