2023/10/04

2023-10-04 00:46:40 +0200jabuxas(~jabuxas@user/jabuxas)
2023-10-04 01:46:37 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2023-10-04 01:46:56 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2023-10-04 01:47:44 +0200xmonadtrack(~xmonadtra@user/geekosaur/bot/xmonadtrack) (Ping timeout: 246 seconds)
2023-10-04 01:48:56 +0200 <haskellbridge> <g​eekosaur> test
2023-10-04 01:49:29 +0200haskellbridge<g​eekosaur> wonders what happened to the server he was on
2023-10-04 02:06:31 +0200xmonadtrack(~xmonadtra@069-135-003-034.biz.spectrum.com)
2023-10-04 02:06:32 +0200xmonadtrack(~xmonadtra@069-135-003-034.biz.spectrum.com) (Changing host)
2023-10-04 02:06:32 +0200xmonadtrack(~xmonadtra@user/geekosaur/bot/xmonadtrack)
2023-10-04 02:08:57 +0200jabuxas(~jabuxas@user/jabuxas) (Remote host closed the connection)
2023-10-04 02:13:10 +0200mvk(~mvk@2607:fea8:5c9a:a600::a27d)
2023-10-04 02:13:43 +0200mvk(~mvk@2607:fea8:5c9a:a600::a27d) (Client Quit)
2023-10-04 03:22:34 +0200tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl) (Ping timeout: 245 seconds)
2023-10-04 03:35:39 +0200tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl)
2023-10-04 05:00:39 +0200td_(~td@i53870920.versanet.de) (Ping timeout: 240 seconds)
2023-10-04 05:02:44 +0200td_(~td@i53870914.versanet.de)
2023-10-04 05:32:50 +0200hightower3(~hightower@141-136-165-184.dsl.iskon.hr)
2023-10-04 05:35:25 +0200hightower2(~hightower@211-94.dsl.iskon.hr) (Ping timeout: 255 seconds)
2023-10-04 07:00:42 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-10-04 07:00:53 +0200 <dibblego> can I somehow tell xmonad.hs to use a specific GHC installation?
2023-10-04 07:02:34 +0200 <[Leary]> dibblego: You can set $XMONAD_GHC if your xmonad is recent enough.
2023-10-04 07:03:46 +0200 <dibblego> xmonad 0.17.1
2023-10-04 07:08:30 +0200 <dibblego> cheers
2023-10-04 07:09:33 +0200 <[Leary]> It's not listed in the changelog (oops) so I had to dig around a bit. Yeah, it's there in 0.17.1.
2023-10-04 07:56:41 +0200 <haskellbridge> <S​olid> I think this was intended as more of a hack to support nixpkgs, which is why it was omitted from the changelog
2023-10-04 07:56:52 +0200 <haskellbridge> <S​olid> but you're right that we should probably add it
2023-10-04 08:25:03 +0200hightower3(~hightower@141-136-165-184.dsl.iskon.hr) (Ping timeout: 240 seconds)
2023-10-04 08:45:31 +0200redgloboli(~redglobol@user/redgloboli) (Quit: ...enter the matrix...)
2023-10-04 08:57:16 +0200ft(~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving)
2023-10-04 09:18:12 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-10-04 09:26:09 +0200hightower2(~hightower@95.168.120.3)
2023-10-04 09:26:43 +0200hightower2(~hightower@95.168.120.3) (Read error: Connection reset by peer)
2023-10-04 09:27:02 +0200hightower2(~hightower@95.168.120.3)
2023-10-04 09:30:19 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
2023-10-04 09:31:27 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Client Quit)
2023-10-04 09:31:50 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
2023-10-04 10:16:38 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 258 seconds)
2023-10-04 10:16:47 +0200Nixkernal_(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
2023-10-04 10:28:38 +0200hightower2(~hightower@95.168.120.3) (Read error: Connection reset by peer)
2023-10-04 10:31:35 +0200hightower2(~hightower@95.168.120.3)
2023-10-04 10:32:52 +0200hightower2(~hightower@95.168.120.3) (Read error: Connection reset by peer)
2023-10-04 10:33:04 +0200hightower2(~hightower@95.168.120.3)
2023-10-04 10:42:42 +0200cfricke(~cfricke@user/cfricke)
2023-10-04 11:05:11 +0200tv(~tv@user/tv)
2023-10-04 11:05:16 +0200Nixkernal_(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 248 seconds)
2023-10-04 11:05:54 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
2023-10-04 11:27:40 +0200ml|(~ml|@user/ml/x-5298235) (Ping timeout: 248 seconds)
2023-10-04 11:34:45 +0200hightower2(~hightower@95.168.120.3) (Read error: Connection reset by peer)
2023-10-04 11:54:29 +0200 <liskin> yeah that's definitely a hack for nix; non-nix users should probably prefer tinkering with the PATH env var or having a build script instead
2023-10-04 11:54:42 +0200 <liskin> unrelated:
2023-10-04 11:55:54 +0200 <liskin> got a notification for xmonad-contrib Packdeps failing again, this time with containers 0.7; https://hackage.haskell.org/package/containers-0.7/changelog looks like everything should just work but if you guys remember the command you used last time for checking that the new bytestring version works, could you perhaps check containers 0.7 and bump the upper bound pls?
2023-10-04 12:19:53 +0200hightower2(~hightower@212.15.178.50)
2023-10-04 13:12:11 +0200 <Solid> liskin: done and done
2023-10-04 13:15:28 +0200 <xmonadtrack> xmonad-contrib Tony Zorman * v0.17.1-184-g570bd17a: cabal: Bump containers dependency (5 minutes ago, 1 file, 1+ 1-) https://github.com/xmonad/xmonad-contrib/commit/570bd17a5182
2023-10-04 13:18:29 +0200 <liskin> Solid: <3
2023-10-04 13:18:33 +0200 <liskin> Thanks!
2023-10-04 13:18:59 +0200 <liskin> Solid: what laptop you thinking of btw?
2023-10-04 13:19:43 +0200 <liskin> I'm debating whether it's time for new batteries for my T25 or not yet
2023-10-04 13:20:45 +0200 <liskin> The T420 at this age (6 years) was on its third battery and the USB cable to the integrated camera was dead. This one has its first batteries and can still do around 4 hours
2023-10-04 13:21:21 +0200 <liskin> And I still have more memory and storage than most laptops currently sold
2023-10-04 13:21:24 +0200 <liskin> It's crazy
2023-10-04 13:42:49 +0200 <Solid> liskin: I have honestly no idea :/ Part of the reason I posted this was for people to yell suggestions at me :>
2023-10-04 13:43:19 +0200 <Solid> I think that laptops with good keyboards basically don't exist anymore (and this was actually one of the reasons that I got an Atreus—not having to depend on that), so I will have to say goodbye to my 7 row keyboard :<
2023-10-04 13:44:05 +0200 <Solid> I sort of really want a touch point, but the newer thinkpad models seem to be pretty dire from a repairability standpoint. There is a small German company that essentially sells rebranded Clevo laptops, which look okay and are quite repairable ( https://www.tuxedocomputers.com/en/TUXEDO-Aura-14-Gen3.tuxedo# ) ( https://www.tuxedocomputers.com/en/TUXEDO-InfinityBook-Pro-14-Gen8.tuxedo# ) but the prices are insane and I've never payed
2023-10-04 13:44:06 +0200 <Solid> more than 200 EUR for a laptop before so there's going to be some deliberation…
2023-10-04 13:44:18 +0200 <Solid> Really, the T25 would have been perfect, but that's basically impossible to get now
2023-10-04 14:10:25 +0200dibblego(~dibblego@haskell/developer/dibblego) (λ)
2023-10-04 14:34:06 +0200todi(~todi@p5dca5e79.dip0.t-ipconnect.de)
2023-10-04 14:49:08 +0200 <liskin> re tuxedo, yeah, I'd never spend that kind of money on a laptop with a cheap macbookeyboard lookalike :-D
2023-10-04 14:49:25 +0200 <liskin> the modern ThinkPads aren't that bad actually, keyboard-wise
2023-10-04 14:50:31 +0200 <liskin> the layout needs some getting used to, and I'd probably be swearing a lot more often if I didn't have physical volume buttons on my headphones (as they dropped those from the laptop), but the keys themselves are completely fine, and most of the keys you use in vim/emacs/xmonad are still in the same position
2023-10-04 14:51:24 +0200 <liskin> so if you can get a cheap T480, X280 or X390 or something like that…
2023-10-04 14:52:23 +0200 <liskin> it's an ideological sacrifice though (but one that I personally am definitely willing to make these days, because I just don't have the capacity to fight this battle any more)
2023-10-04 15:31:10 +0200mc47(~mc47@xmonad/TheMC47)
2023-10-04 16:08:09 +0200geekosaurhas a framework gen13 amd on preorder
2023-10-04 16:13:20 +0200 <fizzie> I bought a rebranded Clevo laptop from a small German company once (not that one, something with three letters in its name). It was covered in this high-friction rubbery coating, which over the years turned into sticky goo.
2023-10-04 16:13:27 +0200 <fizzie> (Not saying they'll all do that.)
2023-10-04 16:34:50 +0200 <Solid> I think they use pretty standard magnesium/plastic cases for these
2023-10-04 16:35:43 +0200 <Solid> I was thinking about a framework laptop, but only 3 actual ports (one would have to be reserved for charging) is pretty unusable for me
2023-10-04 16:37:22 +0200 <Solid> (and I'm not going any higher than 13", or the 14" models that apparently are the same size as my X220)
2023-10-04 17:14:07 +0200chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1)
2023-10-04 17:14:07 +0200 <geekosaur> this one sits on my desk and 4 ports is fine, or I can plug in an extender if needed
2023-10-04 17:20:16 +0200hightower2(~hightower@212.15.178.50) (Read error: Connection reset by peer)
2023-10-04 18:12:24 +0200hightower2(~hightower@141-136-165-184.dsl.iskon.hr)
2023-10-04 18:46:00 +0200 <liskin> Solid: oh, I was just going to say that I forgot to mention that you should prefer a T480s over a T480, because the plastic chassis of the T4xx/T14/P14s series is complete rubbish
2023-10-04 18:46:24 +0200 <liskin> I had to disassemble the T25 twice (memory upgrade, ssd replacement) and now the plastics barely hold together
2023-10-04 18:46:38 +0200 <liskin> but since you're not going for a 14" anyway… nevermind :-)
2023-10-04 18:49:59 +0200 <liskin> (and Framework is very firmly in the "never spend that kind of money on a laptop with a cheap macbookeyboard lookalike" category)
2023-10-04 19:42:04 +0200ft(~ft@p3e9bc680.dip0.t-ipconnect.de)
2023-10-04 20:04:47 +0200jeeeun8(~jeeeun@78.40.148.178) (Quit: The Lounge - https://thelounge.chat)
2023-10-04 20:10:18 +0200jeeeun8(~jeeeun@78.40.148.178)
2023-10-04 20:32:08 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.0.4)
2023-10-04 20:58:49 +0200todi(~todi@p5dca5e79.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2023-10-04 22:26:32 +0200Guest49(~Guest49@dsl-hkibng42-5673de-230.dhcp.inet.fi)
2023-10-04 22:26:54 +0200Guest49(~Guest49@dsl-hkibng42-5673de-230.dhcp.inet.fi) (Client Quit)
2023-10-04 22:32:07 +0200chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds)
2023-10-04 22:50:18 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)