Logs: liberachat/#haskell
| 2025-10-23 05:36:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-23 05:38:14 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-23 05:39:05 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 2025-10-23 05:39:56 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-10-23 05:40:34 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds) |
| 2025-10-23 05:40:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-23 05:42:50 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 2025-10-23 05:44:37 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-10-23 05:45:38 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-23 05:46:04 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-23 05:46:18 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 05:49:15 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-23 05:51:18 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-10-23 05:51:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-23 05:58:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-23 06:01:06 | × | qqe quits (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-23 06:06:15 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 06:09:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-23 06:11:05 | → | Googulator30 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 06:11:17 | × | Googulator72 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 06:13:18 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-23 06:14:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-23 06:15:41 | → | Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) |
| 2025-10-23 06:24:11 | → | kubrat joins (~kubrat@149.62.205.6) |
| 2025-10-23 06:25:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-23 06:29:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-23 06:35:44 | × | annamalai quits (~annamalai@157.49.221.71) (Remote host closed the connection) |
| 2025-10-23 06:37:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-23 06:40:37 | × | kubrat quits (~kubrat@149.62.205.6) (Quit: Client closed) |
| 2025-10-23 06:41:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-23 06:50:27 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-10-23 06:50:32 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-10-23 06:52:26 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-10-23 06:52:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-23 06:57:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-23 06:58:33 | × | Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-23 06:59:21 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-10-23 07:00:02 | × | caconym7478798 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-23 07:00:31 | → | kubrat joins (~kubrat@149.62.205.6) |
| 2025-10-23 07:00:44 | → | caconym7478798 joins (~caconym@user/caconym) |
| 2025-10-23 07:04:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) |
| 2025-10-23 07:04:53 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396) |
| 2025-10-23 07:04:53 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396) (Changing host) |
| 2025-10-23 07:04:53 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-23 07:07:48 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-10-23 07:07:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-23 07:11:16 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-23 07:11:50 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-23 07:12:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-23 07:12:20 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-10-23 07:13:04 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-10-23 07:15:40 | × | Googulator30 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 07:15:49 | → | Googulator30 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 07:21:17 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2025-10-23 07:22:12 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 07:23:40 | → | acidjnk joins (~acidjnk@p200300d6e7171952d474b73bd8efcb87.dip0.t-ipconnect.de) |
| 2025-10-23 07:24:34 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 07:27:38 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-23 07:35:13 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-23 07:35:26 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-23 07:37:32 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-23 07:38:48 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-23 07:42:31 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-23 07:44:29 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-23 07:44:46 | × | phma quits (~phma@129.222.85.211) (Ping timeout: 246 seconds) |
| 2025-10-23 07:44:56 | → | phma joins (~phma@2605:59c8:6211:ff08:7181:51cb:35db:c6be) |
| 2025-10-23 07:47:28 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-10-23 07:58:01 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-23 07:58:32 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396) |
| 2025-10-23 07:58:32 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:5458:e7c4:c737:d396) (Changing host) |
| 2025-10-23 07:58:32 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-23 07:59:12 | → | annamalai joins (~annamalai@157.49.217.152) |
| 2025-10-23 08:03:20 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-10-23 08:05:40 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-10-23 08:05:45 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-23 08:07:33 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-23 08:08:44 | <[exa]> | so `ghcup` has the `set` command which sets up the paths, is there also some kind of `unset` for the case when I want to use a system ghc for a moment? |
| 2025-10-23 08:09:01 | <[exa]> | (wondering if it doesn't exist or I just don't see it) |
| 2025-10-23 08:09:37 | <haskellbridge> | <maerwald> try it |
| 2025-10-23 08:09:38 | <haskellbridge> | <maerwald> lol |
| 2025-10-23 08:10:44 | [exa] | wipes out his eyes in disbelief |
| 2025-10-23 08:10:50 | <[exa]> | ok, well, f |
| 2025-10-23 08:10:52 | <[exa]> | thanks |
| 2025-10-23 08:11:00 | <[exa]> | I could swear it wasn't there 5 minutes ago |
| 2025-10-23 08:11:10 | tomsmeding | doubts |
| 2025-10-23 08:11:22 | [exa] | departs to find a stone to hide under |
| 2025-10-23 08:11:29 | tomsmeding | hugs [exa] |
| 2025-10-23 08:11:44 | <[exa]> | ah it's not present in the tui |
| 2025-10-23 08:11:52 | <[exa]> | probably confused myself on that one |
| 2025-10-23 08:12:27 | <tomsmeding> | ah |
| 2025-10-23 08:12:39 | <[exa]> | (now I just tried pressing `u` if it would `u`nset, and voila, it's `u`ninstall. nice find :D ) |
| 2025-10-23 08:13:07 | <tomsmeding> | to be fair, u is documented at the bottom of the tui :p |
| 2025-10-23 08:13:21 | <tomsmeding> | I guess it does work for the purpose |
| 2025-10-23 08:13:28 | <[exa]> | this situation reminds me of monday morning |
| 2025-10-23 08:13:45 | <[exa]> | how come it drags with me all the way to well, thursday |
| 2025-10-23 08:16:00 | <haskellbridge> | <maerwald> tui is running out of shortcuts |
| 2025-10-23 08:16:01 | <haskellbridge> | <maerwald> and I'm not a fan of popups |
| 2025-10-23 08:16:11 | <tomsmeding> | doc: that's a very weird error, there are no floats whatsoever in your program, why is a movsd (move single to double precision float) instruction being emitted? |
| 2025-10-23 08:17:55 | <[exa]> | maerwald: maybe pressing s again? or better leave that as "retry setting" and go shift-s ? |
| 2025-10-23 08:18:35 | <haskellbridge> | <maerwald> well |
All times are in UTC.