| 2021-12-07 00:02:31 +0100 | steve_ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2021-12-07 00:17:52 +0100 | seschwar | (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-12-07 00:30:47 +0100 | Solitary | (~Solitary@user/solitary) (Ping timeout: 256 seconds) |
| 2021-12-07 00:32:49 +0100 | Solitary | (~Solitary@user/solitary) |
| 2021-12-07 02:19:12 +0100 | lostsamurai[m] | (~lostsamur@2001:470:69fc:105::1:4844) |
| 2021-12-07 02:35:21 +0100 | ectospasm | (~ectospasm@user/ectospasm) (Quit: WeeChat 3.3) |
| 2021-12-07 02:40:40 +0100 | ectospasm | (~ectospasm@user/ectospasm) |
| 2021-12-07 02:44:36 +0100 | ectospasm | (~ectospasm@user/ectospasm) (Client Quit) |
| 2021-12-07 02:51:46 +0100 | ectospasm | (~ectospasm@user/ectospasm) |
| 2021-12-07 02:55:59 +0100 | defjam | (~eb0t@90.202.255.10) |
| 2021-12-07 03:57:03 +0100 | steve_ | (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2021-12-07 03:57:43 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 252 seconds) |
| 2021-12-07 04:04:41 +0100 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 252 seconds) |
| 2021-12-07 04:22:14 +0100 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2021-12-07 04:32:44 +0100 | td_ | (~td@muedsl-82-207-238-027.citykom.de) (Ping timeout: 252 seconds) |
| 2021-12-07 04:34:41 +0100 | td_ | (~td@94.134.91.180) |
| 2021-12-07 05:22:12 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-07 05:23:27 +0100 | cjb | (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 29.0.50) |
| 2021-12-07 06:09:56 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::9788) |
| 2021-12-07 06:10:06 +0100 | obimod | (~obimod@gateway/vpn/pia/obimod) (Remote host closed the connection) |
| 2021-12-07 06:10:25 +0100 | obimod | (~obimod@gateway/vpn/pia/obimod) |
| 2021-12-07 07:18:45 +0100 | electr0n | (~electr0n@about/security/founder/electr0n) |
| 2021-12-07 07:21:13 +0100 | steve_ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2021-12-07 07:27:55 +0100 | obimod | (~obimod@gateway/vpn/pia/obimod) (Ping timeout: 265 seconds) |
| 2021-12-07 07:42:05 +0100 | obimod | (~obimod@gateway/vpn/pia/obimod) |
| 2021-12-07 08:04:39 +0100 | obimod | (~obimod@gateway/vpn/pia/obimod) (Ping timeout: 265 seconds) |
| 2021-12-07 09:00:54 +0100 | qbt | (~qbt@user/edun) |
| 2021-12-07 09:13:32 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-07 09:17:55 +0100 | qbt | (~qbt@user/edun) (Quit: Leaving.) |
| 2021-12-07 09:33:54 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2021-12-07 10:17:34 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-12-07 10:17:34 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-12-07 10:17:37 +0100 | allbery_b | geekosaur |
| 2021-12-07 11:02:07 +0100 | desantra | (~skykanin@user/skykanin) |
| 2021-12-07 11:16:57 +0100 | desantra | (~skykanin@user/skykanin) (Quit: WeeChat 3.3) |
| 2021-12-07 11:18:10 +0100 | desantra | (~skykanin@user/skykanin) |
| 2021-12-07 11:54:43 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 265 seconds) |
| 2021-12-07 12:05:23 +0100 | humky | (~humky@user/humky) (Ping timeout: 252 seconds) |
| 2021-12-07 12:27:44 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-12-07 12:29:35 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-07 12:35:06 +0100 | electr0n | (~electr0n@about/security/founder/electr0n) (Quit: WeeChat 3.3) |
| 2021-12-07 13:48:25 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 252 seconds) |
| 2021-12-07 14:05:58 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-07 14:07:21 +0100 | ebn | (~user@h-46-59-90-141.A463.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 2021-12-07 14:07:45 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-12-07 14:07:51 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-12-07 14:29:16 +0100 | desantra | (~skykanin@user/skykanin) (Quit: WeeChat 3.3) |
| 2021-12-07 14:35:02 +0100 | obimod | (~obimod@gateway/vpn/pia/obimod) |
| 2021-12-07 15:52:36 +0100 | Vermoot | (~vermoot@89-158-106-112.rev.numericable.fr) (Remote host closed the connection) |
| 2021-12-07 16:16:34 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 256 seconds) |
| 2021-12-07 16:35:18 +0100 | curiousgay_ | (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-07 16:36:38 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-07 16:37:01 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 240 seconds) |
| 2021-12-07 16:53:22 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-07 16:57:07 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-12-07 17:16:43 +0100 | <Solid> | I wonder whether we should write a small announcement that we're looking for motivated package maintainers? |
| 2021-12-07 17:17:29 +0100 | <Solid> | (at least for the logo contest it seems to have worked out quite nicely :) |
| 2021-12-07 17:17:58 +0100 | <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 17:18:27 +0100 | <Solid> | tossing as in they won't package any haskell packages? |
| 2021-12-07 17:19:38 +0100 | <geekosaur> | removing existing packages, at least |
| 2021-12-07 17:22:39 +0100 | <geekosaur> | that said I'm drawing inferences, not necessarily stating facts |
| 2021-12-07 17:23:11 +0100 | <geekosaur> | but also, you can't just package xmonad, we've developed a bit of a dependency footprint |
| 2021-12-07 17:23:24 +0100 | <geekosaur> | so we need to make sure those packages are up to date |
| 2021-12-07 17:24:45 +0100 | <geekosaur> | granted, it's not like we depend on lens or something like that |
| 2021-12-07 17:25:13 +0100 | <Solid> | not yet ;) |
| 2021-12-07 17:25:31 +0100 | <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 17:25:53 +0100 | <geekosaur> | well, haskell is a bit of a pain from the standpoint of a distro packager |
| 2021-12-07 17:26:57 +0100 | <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 17:27:45 +0100 | <Solid> | well, you could theoretically just build executables with stack and then move them |
| 2021-12-07 17:27:58 +0100 | <Solid> | (granted, that doesn't work with things that are also libraries, like us) |
| 2021-12-07 17:30:59 +0100 | Vermoot | (~vermoot@89-158-106-112.rev.numericable.fr) |
| 2021-12-07 17:33:36 +0100 | seschwar | (~seschwar@user/seschwar) |
| 2021-12-07 17:50:19 +0100 | 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 17:51:39 +0100 | <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 17:51:57 +0100 | <liskin> | it'll still need a motivated packager, though |
| 2021-12-07 17:52:24 +0100 | <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 17:53:32 +0100 | <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 17:53:47 +0100 | <liskin> | oh, crap |
| 2021-12-07 17:53:56 +0100 | <liskin> | how could I forget |
| 2021-12-07 17:53:57 +0100 | <Solid> | exactly :D |
| 2021-12-07 17:54:13 +0100 | <liskin> | apparently my brain is dying too, not just my hand and my soul |
| 2021-12-07 17:54:20 +0100 | <Solid> | D: |
| 2021-12-07 18:08:20 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 265 seconds) |
| 2021-12-07 18:34:58 +0100 | <Solid> | god, using MIN_VERSION CPP for the font-fallback PR is so horrible |
| 2021-12-07 18:37:18 +0100 | Buliarou1 | (~gypsydang@46.232.210.139) |
| 2021-12-07 18:37:39 +0100 | <vrs> | ehm |
| 2021-12-07 18:37:46 +0100 | <vrs> | I like the convenience of a debian package |
| 2021-12-07 18:38:07 +0100 | <vrs> | and would dislike anything that's higher in maintenance |
| 2021-12-07 19:06:13 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2021-12-07 19:08:18 +0100 | curiousgay_ | (~curiousga@77-120-141-90.kha.volia.net) (Read error: Connection reset by peer) |
| 2021-12-07 19:08:43 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-07 19:25:26 +0100 | Safeguard-IRC | (~Safeguard@151.42.170.105) |
| 2021-12-07 19:25:44 +0100 | <Safeguard-IRC> | hello, quick question: do you think it would make sense to apply some of liquid haskell to xmonad.hs? |
| 2021-12-07 19:26:44 +0100 | <Solid> | in what way? |
| 2021-12-07 19:29:12 +0100 | <Safeguard-IRC> | I don't know, that is why I ask :D |
| 2021-12-07 19:29:36 +0100 | <geekosaur> | I don't think refinement types would buy us much |
| 2021-12-07 19:32:41 +0100 | <geekosaur> | also did you actually mean xmonad.hs as in the user config, or xmonad / xmonad-contrib? |
| 2021-12-07 19:33:41 +0100 | <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 |
| 2021-12-07 19:34:14 +0100 | <Safeguard-IRC> | actually i meant as the user config, but now the idea of integrating lhs in xmonad as a project sounds fun |
| 2021-12-07 20:39:44 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-12-07 20:42:34 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-07 20:46:01 +0100 | Safeguard-IRC | (~Safeguard@151.42.170.105) (Quit: Leaving) |
| 2021-12-07 21:15:16 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-07 21:29:45 +0100 | electr0n | (~electr0n@about/security/founder/electr0n) |
| 2021-12-07 21:36:37 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2021-12-07 21:36:50 +0100 | xacktm | (xacktm@user/xacktm) (Ping timeout: 252 seconds) |
| 2021-12-07 21:37:29 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2021-12-07 21:40:12 +0100 | redgloboli | (~redglobol@user/redgloboli) (Quit: ...enter the matrix...) |
| 2021-12-07 21:42:41 +0100 | Buliarous | (~gypsydang@185.207.166.57) (Quit: leaving) |
| 2021-12-07 21:43:15 +0100 | gruntsplatter | (~sogens@gateway/vpn/pia/sogens) |
| 2021-12-07 22:04:01 +0100 | gruntsplatter | (~sogens@gateway/vpn/pia/sogens) (Quit: WeeChat 3.3) |
| 2021-12-07 22:05:00 +0100 | xacktm | (xacktm@user/xacktm) |
| 2021-12-07 22:11:45 +0100 | Buliarous | (~gypsydang@46.232.210.139) |
| 2021-12-07 22:21:48 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Quit: leaving) |
| 2021-12-07 22:22:03 +0100 | Buliarous | (~gypsydang@46.232.210.139) |
| 2021-12-07 22:22:08 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Client Quit) |
| 2021-12-07 22:26:44 +0100 | FOSSHuman[m] | (~lol111mat@2001:470:69fc:105::1:ad7) () |
| 2021-12-07 22:50:52 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 2021-12-07 22:51:19 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-07 22:52:02 +0100 | eyenx | (~m-5paiux@eyenx.ch) (Remote host closed the connection) |
| 2021-12-07 22:53:08 +0100 | eyenx | (~m-5paiux@eyenx.ch) |
| 2021-12-07 22:56:27 +0100 | eyenx | (~m-5paiux@eyenx.ch) (Remote host closed the connection) |
| 2021-12-07 23:00:23 +0100 | eyenx | (~m-5paiux@eyenx.ch) |
| 2021-12-07 23:02:13 +0100 | eyenx | (~m-5paiux@eyenx.ch) (Remote host closed the connection) |
| 2021-12-07 23:05:44 +0100 | eyenx | (~m-5paiux@eyenx.ch) |
| 2021-12-07 23:11:24 +0100 | Widget | (~widget@2a04:ee41:6:70cd:e189:3667:bb4:f6ac) |
| 2021-12-07 23:25:06 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::9788) |