Logs: liberachat/#xmonad
| 2021-12-06 22:45:05 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-12-06 22:45:54 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-12-06 23:02:31 | → | steve_ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2021-12-06 23:17:52 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-12-06 23:30:47 | × | Solitary quits (~Solitary@user/solitary) (Ping timeout: 256 seconds) |
| 2021-12-06 23:32:49 | → | Solitary joins (~Solitary@user/solitary) |
| 2021-12-07 01:19:12 | → | lostsamurai[m] joins (~lostsamur@2001:470:69fc:105::1:4844) |
| 2021-12-07 01:35:21 | × | ectospasm quits (~ectospasm@user/ectospasm) (Quit: WeeChat 3.3) |
| 2021-12-07 01:40:40 | → | ectospasm joins (~ectospasm@user/ectospasm) |
| 2021-12-07 01:44:36 | × | ectospasm quits (~ectospasm@user/ectospasm) (Client Quit) |
| 2021-12-07 01:51:46 | → | ectospasm joins (~ectospasm@user/ectospasm) |
| 2021-12-07 01:55:59 | → | defjam joins (~eb0t@90.202.255.10) |
| 2021-12-07 02:57:03 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2021-12-07 02:57:43 | × | mvk quits (~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 252 seconds) |
| 2021-12-07 03:04:41 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 252 seconds) |
| 2021-12-07 03:22:14 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2021-12-07 03:32:44 | × | td_ quits (~td@muedsl-82-207-238-027.citykom.de) (Ping timeout: 252 seconds) |
| 2021-12-07 03:34:41 | → | td_ joins (~td@94.134.91.180) |
| 2021-12-07 04:22:12 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-07 04:23:27 | × | cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 29.0.50) |
| 2021-12-07 05:09:56 | → | mvk joins (~mvk@2607:fea8:5cdd:f000::9788) |
| 2021-12-07 05:10:06 | × | obimod quits (~obimod@gateway/vpn/pia/obimod) (Remote host closed the connection) |
| 2021-12-07 05:10:25 | → | obimod joins (~obimod@gateway/vpn/pia/obimod) |
| 2021-12-07 06:18:45 | → | electr0n joins (~electr0n@about/security/founder/electr0n) |
| 2021-12-07 06:21:13 | → | steve_ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2021-12-07 06:27:55 | × | obimod quits (~obimod@gateway/vpn/pia/obimod) (Ping timeout: 265 seconds) |
| 2021-12-07 06:42:05 | → | obimod joins (~obimod@gateway/vpn/pia/obimod) |
| 2021-12-07 07:04:39 | × | obimod quits (~obimod@gateway/vpn/pia/obimod) (Ping timeout: 265 seconds) |
| 2021-12-07 08:00:54 | → | qbt joins (~qbt@user/edun) |
| 2021-12-07 08:13:32 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-07 08:17:55 | × | qbt quits (~qbt@user/edun) (Quit: Leaving.) |
| 2021-12-07 08:33:54 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-12-07 09:17:34 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-12-07 09:17:34 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-12-07 09:17:37 | allbery_b | is now known as geekosaur |
| 2021-12-07 10:02:07 | → | desantra joins (~skykanin@user/skykanin) |
| 2021-12-07 10:16:57 | × | desantra quits (~skykanin@user/skykanin) (Quit: WeeChat 3.3) |
| 2021-12-07 10:18:10 | → | desantra joins (~skykanin@user/skykanin) |
| 2021-12-07 10:54:43 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 265 seconds) |
| 2021-12-07 11:05:23 | × | humky quits (~humky@user/humky) (Ping timeout: 252 seconds) |
| 2021-12-07 11:27:44 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-12-07 11:29:35 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-12-07 11:35:06 | × | electr0n quits (~electr0n@about/security/founder/electr0n) (Quit: WeeChat 3.3) |
| 2021-12-07 12:48:25 | × | mvk quits (~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 252 seconds) |
| 2021-12-07 13:05:58 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-07 13:07:21 | × | ebn quits (~user@h-46-59-90-141.A463.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 2021-12-07 13:07:45 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-12-07 13:07:51 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-12-07 13:29:16 | × | desantra quits (~skykanin@user/skykanin) (Quit: WeeChat 3.3) |
| 2021-12-07 13:35:02 | → | obimod joins (~obimod@gateway/vpn/pia/obimod) |
| 2021-12-07 14:52:36 | × | Vermoot quits (~vermoot@89-158-106-112.rev.numericable.fr) (Remote host closed the connection) |
| 2021-12-07 15:16:34 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 256 seconds) |
| 2021-12-07 15:35:18 | → | curiousgay_ joins (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-07 15:36:38 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-12-07 15:37:01 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 240 seconds) |
| 2021-12-07 15:53:22 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-07 15:57:07 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-12-07 16:16:43 | <Solid> | I wonder whether we should write a small announcement that we're looking for motivated package maintainers? |
| 2021-12-07 16:17:29 | <Solid> | (at least for the logo contest it seems to have worked out quite nicely :) |
| 2021-12-07 16:17:58 | <geekosaur> | probably an idea, although not sure how much it'll help when at least some distros are just tossing their haskell ecosystems (debian, and now apparently arch although that's arguably an improvement) |
| 2021-12-07 16:18:27 | <Solid> | tossing as in they won't package any haskell packages? |
| 2021-12-07 16:19:38 | <geekosaur> | removing existing packages, at least |
| 2021-12-07 16:22:39 | <geekosaur> | that said I'm drawing inferences, not necessarily stating facts |
| 2021-12-07 16:23:11 | <geekosaur> | but also, you can't just package xmonad, we've developed a bit of a dependency footprint |
| 2021-12-07 16:23:24 | <geekosaur> | so we need to make sure those packages are up to date |
| 2021-12-07 16:24:45 | <geekosaur> | granted, it's not like we depend on lens or something like that |
| 2021-12-07 16:25:13 | <Solid> | not yet ;) |
| 2021-12-07 16:25:31 | <Solid> | I think the problem is that people interested in packaging don't like haskell and people interesting in haskell don't like packaging and just use stack/cabal :( |
| 2021-12-07 16:25:53 | <geekosaur> | well, haskell is a bit of a pain from the standpoint of a distro packager |
| 2021-12-07 16:26:57 | <geekosaur> | since you can't simply drop in a replacement for one package, you have to revbump every dependent to force rebuilds |
| 2021-12-07 16:27:45 | <Solid> | well, you could theoretically just build executables with stack and then move them |
| 2021-12-07 16:27:58 | <Solid> | (granted, that doesn't work with things that are also libraries, like us) |
| 2021-12-07 16:30:59 | → | Vermoot joins (~vermoot@89-158-106-112.rev.numericable.fr) |
| 2021-12-07 16:33:36 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-12-07 16:50:19 | liskin | was almost a "motivated package maintainer" a month ago, even contacted nomeata to ask what's the best way forward for Debian, but then life happened |
| 2021-12-07 16:51:39 | <liskin> | for Debian/Ubuntu/Mint it might be easiest to just give up and build those packages in GitHub Actions or OpenBuildService ourselves, possibly even statically linked |
| 2021-12-07 16:51:57 | <liskin> | it'll still need a motivated packager, though |
| 2021-12-07 16:52:24 | <liskin> | but at least one source package would work for all of these distros and we'd use someone else's build infra to actually build the packages |
| 2021-12-07 16:53:32 | <Solid> | I think the main problem is that we are not just an executable (otherwise using nix or something to build a statically linked executable against musl would be easy) |
| 2021-12-07 16:53:47 | <liskin> | oh, crap |
| 2021-12-07 16:53:56 | <liskin> | how could I forget |
| 2021-12-07 16:53:57 | <Solid> | exactly :D |
| 2021-12-07 16:54:13 | <liskin> | apparently my brain is dying too, not just my hand and my soul |
| 2021-12-07 16:54:20 | <Solid> | D: |
| 2021-12-07 17:08:20 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 265 seconds) |
| 2021-12-07 17:34:58 | <Solid> | god, using MIN_VERSION CPP for the font-fallback PR is so horrible |
| 2021-12-07 17:37:18 | → | Buliarou1 joins (~gypsydang@46.232.210.139) |
| 2021-12-07 17:37:39 | <vrs> | ehm |
| 2021-12-07 17:37:46 | <vrs> | I like the convenience of a debian package |
| 2021-12-07 17:38:07 | <vrs> | and would dislike anything that's higher in maintenance |
| 2021-12-07 18:06:13 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-12-07 18:08:18 | × | curiousgay_ quits (~curiousga@77-120-141-90.kha.volia.net) (Read error: Connection reset by peer) |
| 2021-12-07 18:08:43 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-07 18:25:26 | → | Safeguard-IRC joins (~Safeguard@151.42.170.105) |
| 2021-12-07 18:25:44 | <Safeguard-IRC> | hello, quick question: do you think it would make sense to apply some of liquid haskell to xmonad.hs? |
| 2021-12-07 18:26:44 | <Solid> | in what way? |
| 2021-12-07 18:29:12 | <Safeguard-IRC> | I don't know, that is why I ask :D |
| 2021-12-07 18:29:36 | <geekosaur> | I don't think refinement types would buy us much |
| 2021-12-07 18:32:41 | <geekosaur> | also did you actually mean xmonad.hs as in the user config, or xmonad / xmonad-contrib? |
| 2021-12-07 18:33:41 | <geekosaur> | about the only use I can think of in xmonad.hs is verifying that workspaces match up, and I'm not sure the relevant definition is reliably in scope at that point |
All times are in UTC.