Home liberachat/#xmonad: Logs Calendar

Logs on 2021-12-07 (liberachat/#xmonad)

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

All times are in UTC on 2021-12-07.