Newest at the top
| 2025-07-23 21:56:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 21:52:08 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-23 21:46:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-23 21:42:20 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 21:41:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 21:38:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 21:32:08 +0200 | ell | (~ellie@user/ellie) ellie |
| 2025-07-23 21:31:45 +0200 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2025-07-23 21:30:26 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Ping timeout: 248 seconds) |
| 2025-07-23 21:30:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-23 21:29:25 +0200 | ljdarj1 | ljdarj |
| 2025-07-23 21:29:25 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-07-23 21:29:09 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-23 21:27:34 +0200 | sprotte24 | (~sprotte24@p200300d16f43870095bde33c5bcf7ec5.dip0.t-ipconnect.de) |
| 2025-07-23 21:26:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 21:25:35 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-23 21:21:59 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2025-07-23 21:20:13 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Ping timeout: 252 seconds) |
| 2025-07-23 21:17:44 +0200 | <dolio> | I can't build the openssl dependency. |
| 2025-07-23 21:17:37 +0200 | <dolio> | I've been meaning to ask; what do you do about building glirc these days? |
| 2025-07-23 21:17:12 +0200 | <glguy> | Hi |
| 2025-07-23 21:16:55 +0200 | <dolio> | glguy: You around? |
| 2025-07-23 21:16:51 +0200 | <smiesner> | yes it def was the constrained lang mode. additionally i have no network connection while being a local admin, which i need to be to be able to install anything |
| 2025-07-23 21:15:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-07-23 21:15:39 +0200 | <monochrom> | ghcup on Windows does need you to grant a permission. This is well-documented. |
| 2025-07-23 21:15:19 +0200 | <tomsmeding> | EvanR: seems to be a powershell sublanguage |
| 2025-07-23 21:15:07 +0200 | <tomsmeding> | oh I ssee |
| 2025-07-23 21:15:06 +0200 | <EvanR> | microsoft policing your language? |
| 2025-07-23 21:14:46 +0200 | <smiesner> | could have been ConstrainedLanguage mode |
| 2025-07-23 21:14:43 +0200 | <tomsmeding> | "os unsafe language" does not tell me anything :) |
| 2025-07-23 21:13:59 +0200 | <smiesner> | i dont have the exact error msg at hand now but i think it was something system/os unsafe language related, I didn't want to mess around with |
| 2025-07-23 21:11:57 +0200 | <tomsmeding> | smiesner: what are the errors ghcup throws? |
| 2025-07-23 21:10:59 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-23 21:10:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 21:09:30 +0200 | trickard_ | trickard |
| 2025-07-23 21:08:26 +0200 | <monochrom> | BYOD is always the solution. |
| 2025-07-23 21:08:02 +0200 | <monochrom> | Corporate laptop is always going to be a gatekeeper. |
| 2025-07-23 21:07:52 +0200 | <c_wraith> | It was kind of funny though, when I got into the details of trying to debug "this sequence of operations results in a tree that violates the balance conditions". I saw the shape of the tree, and just went "oh. That absolutely looks like an edge-case exposing tree" |
| 2025-07-23 21:05:35 +0200 | yabobay | (~pizza@2a02:85f:fcd5:1601:a753:ff59:be6f:253f) (Konversation terminated!) |
| 2025-07-23 21:05:28 +0200 | <smiesner> | puuh, you gave me the belief to try the manual route again tomorrow |
| 2025-07-23 21:04:16 +0200 | <EvanR> | what about a VM |
| 2025-07-23 21:03:40 +0200 | <smiesner> | EvanR: ghcup install command throws errors bc of the restricted environment. installing everything by hand seems tedious and MSYS2 proved error prone in the past.. sadly no WSL available for me either |
| 2025-07-23 21:03:30 +0200 | <c_wraith> | It's a pretty small tweak, that basically works out to adding a factor of preference for single rotations over double rotations. |
| 2025-07-23 21:02:39 +0200 | <c_wraith> | monochrom: But! Milan Straka has a paper that claims to fix it, and prove that the fixes are correct. And I've heard his name a few times, so I get the impression he's reliable. http://fox.ucw.cz/papers/bbtree/bbtree.pdf |
| 2025-07-23 21:01:47 +0200 | <monochrom> | c_wraith: Ah interesting, nice. |
| 2025-07-23 21:00:48 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-23 21:00:36 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-07-23 21:00:11 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-07-23 21:00:06 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-23 20:59:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |