Logs: liberachat/#haskell
| 2025-10-23 08:18:41 | <haskellbridge> | <maerwald> https://github.com/haskell/ghcup-hs/issues/1294 |
| 2025-10-23 08:19:14 | <tomsmeding> | why would they want that? |
| 2025-10-23 08:19:34 | <haskellbridge> | <maerwald> capslock on |
| 2025-10-23 08:19:39 | <tomsmeding> | yes I read that |
| 2025-10-23 08:19:54 | <haskellbridge> | <maerwald> for quit, it's indeed annoying |
| 2025-10-23 08:20:19 | <tomsmeding> | if accidental capslock is the first time they tried a capital letter hotkey, then I fail to see why one would capitalisation to not matter across the board immediately |
| 2025-10-23 08:20:32 | <[exa]> | ctrl-s? |
| 2025-10-23 08:20:34 | [exa] | dodges |
| 2025-10-23 08:20:46 | <tomsmeding> | perhaps indeed for q it's nice to allow Q too, if only to make it as easy as possible to quit the app |
| 2025-10-23 08:21:02 | <tomsmeding> | (prevent people going "I can't exit vim" on ghcup) |
| 2025-10-23 08:21:12 | <haskellbridge> | <maerwald> lmao |
| 2025-10-23 08:21:49 | <[exa]> | "in this video I'll show 5 easy ways to quit ghcup tui if you're stuck installing haskell" |
| 2025-10-23 08:22:05 | <tomsmeding> | I mean, this is your call and I don't care enough to really complain about it if you do make hotkeys case-insensitive, but if I maintained ghcup I would limit this change to q at least |
| 2025-10-23 08:22:11 | <tomsmeding> | [exa]: lol |
| 2025-10-23 08:22:14 | <haskellbridge> | <maerwald> I actually recorded a video for windows installation, lol |
| 2025-10-23 08:22:27 | <[exa]> | maerwald: anyway I guess all this is just me whining ^, don't take it very seriously |
| 2025-10-23 08:22:56 | <haskellbridge> | <maerwald> https://youtu.be/bB4fmQiUYPw |
| 2025-10-23 08:23:06 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-10-23 08:23:30 | <[exa]> | the main problem was that the lack of "unset" in UI is kinda surprising, maybe the easiest solution is to hint after `set` completes that "you can force unset via commandline" or so |
| 2025-10-23 08:23:44 | <tomsmeding> | I'd remove "force" from that sentence |
| 2025-10-23 08:24:07 | <[exa]> | I meant like, "as opposed to weak unset by setting something else" |
| 2025-10-23 08:24:10 | <[exa]> | am I overdoing it? |
| 2025-10-23 08:24:14 | <[exa]> | can it be afternoon finally? |
| 2025-10-23 08:24:17 | <tomsmeding> | I don't see how that's strong vs weak |
| 2025-10-23 08:24:39 | [exa] | slams a nice flat stone over himself and enjoys the hideout |
| 2025-10-23 08:24:41 | <tomsmeding> | I think wanting to unset is relatively uncommon |
| 2025-10-23 08:25:08 | <tomsmeding> | [exa]: be careful, don't hit your head |
| 2025-10-23 08:25:36 | → | Googulator6 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 08:25:47 | × | Googulator30 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 08:30:04 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-10-23 08:32:47 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-23 08:36:14 | <tomsmeding> | the assembly generated by ghc on doc's example looks weird anyway |
| 2025-10-23 08:36:34 | <tomsmeding> | how is it useful on x86_64 to do `pxor %xmm0,%xmm0 ; movhlps %xmm0,%xmm0`? |
| 2025-10-23 08:36:48 | <tomsmeding> | zero the xmm0 register, then proceed to copy the high half of it to the low half |
| 2025-10-23 08:37:06 | <tomsmeding> | moving a bunch of zeros around without accomplishing anything? |
| 2025-10-23 08:37:23 | <haskellbridge> | <maerwald> yeah, mapping all of the cli to the tui is hard... although with the new advanced install menu, that's partially done |
| 2025-10-23 08:37:35 | <tomsmeding> | possibly this is just an assembly template that ghc fills in and it ends up generating redundant instructions here |
| 2025-10-23 08:37:51 | <haskellbridge> | <maerwald> if you press Enter, we could show the less common options (like unset) |
| 2025-10-23 08:38:18 | <tomsmeding> | maerwald: about that: why is it called "advance options" instead of "advanced options"? |
| 2025-10-23 08:38:32 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 08:38:43 | <haskellbridge> | <maerwald> artistic freedom? |
| 2025-10-23 08:38:48 | <tomsmeding> | the current phrase reads rather awkward in english, I think :p |
| 2025-10-23 08:44:00 | × | craunts795335385 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-23 08:49:27 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-10-23 08:51:12 | humasect | is now known as numberella |
| 2025-10-23 08:59:11 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 09:05:42 | × | Googulator6 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 09:06:00 | → | Googulator6 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 09:10:46 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-23 09:11:19 | → | deptype joins (~deptype@2406:b400:d4:c314:b197:36b9:d9a9:af2c) |
| 2025-10-23 09:13:38 | × | kubrat quits (~kubrat@149.62.205.6) (Quit: Client closed) |
| 2025-10-23 09:16:09 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Read error: Connection reset by peer) |
| 2025-10-23 09:20:45 | × | Googulator6 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 09:20:47 | → | Googulator86 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 09:24:00 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-23 09:25:18 | → | kubrat joins (~kubrat@149.62.205.188) |
| 2025-10-23 09:26:39 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-10-23 09:27:44 | × | deptype quits (~deptype@2406:b400:d4:c314:b197:36b9:d9a9:af2c) (Remote host closed the connection) |
| 2025-10-23 09:28:02 | → | deptype joins (~deptype@2406:b400:d4:c314:6790:af81:8e63:3549) |
| 2025-10-23 09:29:56 | × | numberella quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-23 09:30:10 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-10-23 09:30:32 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 09:31:41 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 2025-10-23 09:33:08 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-10-23 09:39:39 | × | kubrat quits (~kubrat@149.62.205.188) (Quit: Client closed) |
| 2025-10-23 09:39:58 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-10-23 09:40:30 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-10-23 09:40:53 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 09:43:35 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-10-23 09:44:43 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-23 09:45:39 | × | Googulator86 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-23 09:45:40 | → | Googulator71 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-23 09:47:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-23 09:51:52 | → | adig joins (~adi@86.123.72.40) |
| 2025-10-23 09:52:50 | × | adig quits (~adi@86.123.72.40) (Remote host closed the connection) |
| 2025-10-23 09:54:11 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-23 09:56:18 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-23 10:13:45 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-10-23 10:14:46 | × | deptype quits (~deptype@2406:b400:d4:c314:6790:af81:8e63:3549) (Remote host closed the connection) |
| 2025-10-23 10:15:04 | → | deptype joins (~deptype@2406:b400:d4:c314:5c99:1eaf:4a55:6c8a) |
| 2025-10-23 10:16:23 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-10-23 10:18:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-10-23 10:20:36 | → | sp1ff`` joins (~user@c-73-164-203-114.hsd1.wa.comcast.net) |
| 2025-10-23 10:22:17 | × | sp1ff` quits (~user@2601:1c2:4c00:6820::48ac) (Ping timeout: 260 seconds) |
| 2025-10-23 10:31:43 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-23 10:34:25 | → | Square2 joins (~Square@user/square) |
| 2025-10-23 10:34:34 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-10-23 10:38:35 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-23 10:45:21 | × | synchromesh quits (~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) (Read error: Connection reset by peer) |
| 2025-10-23 10:46:39 | → | synchromesh joins (~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) |
| 2025-10-23 10:47:54 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-23 10:49:15 | × | kaskal- quits (~kaskal@84-115-235-223.cable.dynamic.surfer.at) (Quit: ZNC - https://znc.in) |
| 2025-10-23 10:49:43 | → | kaskal joins (~kaskal@2a02:8388:1a8b:7d00:2bf0:62e:e362:6c40) |
| 2025-10-23 10:51:26 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-10-23 10:51:49 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-23 10:57:49 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-10-23 11:00:04 | × | caconym7478798 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-23 11:01:36 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-10-23 11:02:07 | → | caconym7478798 joins (~caconym@user/caconym) |
| 2025-10-23 11:03:18 | × | deptype quits (~deptype@2406:b400:d4:c314:5c99:1eaf:4a55:6c8a) (Remote host closed the connection) |
All times are in UTC.