Newest at the top
| 2026-02-05 22:57:56 +0100 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2026-02-05 22:57:06 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-05 22:56:55 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-05 22:56:23 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-05 22:51:08 +0100 | <jreicher> | mesaoptimizer: The main difference between lsp-mode and eglot is that eglot tries to integrate with existing frontends in Emacs and does not have any of its own. That makes it look and feel like "standard Emacs". Consequently it has also become part of core, but it is worth upgrading both it and flymake to more recent versions. |
| 2026-02-05 22:50:14 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-05 22:49:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-05 22:45:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 22:45:19 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-02-05 22:45:03 +0100 | divlamir_ | (~divlamir@user/divlamir) (Ping timeout: 252 seconds) |
| 2026-02-05 22:42:40 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 246 seconds) |
| 2026-02-05 22:42:15 +0100 | _JusSx_ | (~jussx@78.210.223.162) _JusSx_ |
| 2026-02-05 22:40:36 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-05 22:40:18 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 2026-02-05 22:39:47 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-02-05 22:34:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-05 22:29:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 22:29:02 +0100 | ringo_ | (~ringo@157.230.117.128) ringo_ |
| 2026-02-05 22:25:14 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-05 22:23:55 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-05 22:22:03 +0100 | ringo_ | (~ringo@157.230.117.128) (Ping timeout: 244 seconds) |
| 2026-02-05 22:20:04 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-02-05 22:19:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-05 22:16:33 +0100 | <tomsmeding> | which is why cabal sometimes takes a while doing it :p |
| 2026-02-05 22:15:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-05 22:13:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 22:13:38 +0100 | <tomsmeding> | if he's talking about version resolution, yes, that's constraint solving on a language expressive enough to easily encode SAT |
| 2026-02-05 22:12:24 +0100 | <EvanR> | " |
| 2026-02-05 22:12:23 +0100 | <EvanR> | "The problem minimal version selection solves is NL-complete |
| 2026-02-05 22:11:59 +0100 | <EvanR> | though this random article about the theory seems interesting for its own sake https://research.swtch.com/vgo-mvs |
| 2026-02-05 22:10:34 +0100 | <EvanR> | \o/ |
| 2026-02-05 22:10:30 +0100 | <tomsmeding> | luckily I don't write go :) |
| 2026-02-05 22:10:24 +0100 | <tomsmeding> | ah |
| 2026-02-05 22:10:22 +0100 | <EvanR> | influencing the result |
| 2026-02-05 22:10:15 +0100 | <EvanR> | pkg-config giving different results for stuff not written in go |
| 2026-02-05 22:10:14 +0100 | <tomsmeding> | my use cases? |
| 2026-02-05 22:09:55 +0100 | <EvanR> | apparently go has a minimal version selection algorithm instead of a freeze file, and I'm not sure this is enough to deal with some of your use cases |
| 2026-02-05 22:06:16 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-05 22:03:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-05 22:02:46 +0100 | <mauke> | (or a snapshot file in carton) |
| 2026-02-05 22:02:36 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-05 22:00:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2026-02-05 22:00:00 +0100 | <tomsmeding> | (this idea of a "freeze file" is also called a "lock file" in different ecosystems; see also: package-lock.json, Cargo.lock, perhaps go.sum but I'm not sure I recall correctly there) |
| 2026-02-05 21:58:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 21:57:44 +0100 | wickedjargon | (~user@2605:8d80:5430:4910:f62b:7e78:f176:a13) wickedjargon |
| 2026-02-05 21:57:06 +0100 | <tomsmeding> | well this was your idea :p |
| 2026-02-05 21:56:57 +0100 | <EvanR> | you keep coming up with the best ideas! |
| 2026-02-05 21:56:39 +0100 | <EvanR> | yeah |
| 2026-02-05 21:56:34 +0100 | <tomsmeding> | and do that in Setup.hs, and change dependencies based on it? |
| 2026-02-05 21:56:11 +0100 | <EvanR> | get the phase of the moon as a bespoke sum type, or a float |