| 2023-05-23 00:02:38 +0200 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 2023-05-23 00:03:56 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-05-23 00:19:30 +0200 | <YuuYin[m]> | skaggi: https://haskell-docs.netlify.app/ |
| 2023-05-23 00:20:54 +0200 | <geekosaur> | they left |
| 2023-05-23 00:21:55 +0200 | <YuuYin[m]> | for me it is hard to believe haskell.org still didn't officially create an official documentation, and when people trying to get the idea going on, people say (some already with vested interest): "look, there's all these book you can buy, it's losing time doing it..." |
| 2023-05-23 00:23:28 +0200 | <geekosaur> | there is the so-called Gentle Introduction, it's just not generally foudn to be that gentle |
| 2023-05-23 00:23:45 +0200 | <geekosaur> | that said, the Haskell Foundation is working on stuff like that |
| 2023-05-23 00:29:41 +0200 | <YuuYin[m]> | At least there is some hope. For me, I think will not invest more time in Haskell unfortunately. I think what Rust and Kind/HVM (hopefully someday with Rust interop) is the way forward. There is some interview in which #simplex-chat:matrix.org founder said they would have written it in Rust instead if they had not already done it in Haskell... Xmonad, SimpleX, and Pandoc are the only useful apps that I use which I know are written in Haskell. This |
| 2023-05-23 00:29:41 +0200 | <YuuYin[m]> | is not a critic to the language, but to the governance, ecosystem, .... |
| 2023-05-23 01:22:08 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 2023-05-23 02:45:16 +0200 | td_ | (~td@i5387092F.versanet.de) (Ping timeout: 268 seconds) |
| 2023-05-23 02:46:42 +0200 | td_ | (~td@i5387090A.versanet.de) |
| 2023-05-23 03:17:21 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-23 04:09:01 +0200 | td_ | (~td@i5387090A.versanet.de) (Ping timeout: 240 seconds) |
| 2023-05-23 04:11:13 +0200 | td_ | (~td@i53870922.versanet.de) |
| 2023-05-23 07:50:52 +0200 | chomwitt | (~chomwitt@2a02:587:7a07:4f00:1ac0:4dff:fedb:a3f1) |
| 2023-05-23 08:48:00 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-05-23 08:50:02 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-23 08:50:08 +0200 | incertia | (~incertia@209.122.71.127) (Ping timeout: 248 seconds) |
| 2023-05-23 08:50:48 +0200 | incertia | (~incertia@209.122.71.127) |
| 2023-05-23 08:52:25 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-23 09:10:12 +0200 | chomwitt | (~chomwitt@2a02:587:7a07:4f00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2023-05-23 09:10:31 +0200 | chomwitt | (~chomwitt@2a02:587:7a07:4f00:1ac0:4dff:fedb:a3f1) |
| 2023-05-23 09:15:25 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Ping timeout: 240 seconds) |
| 2023-05-23 09:18:46 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-05-23 09:24:11 +0200 | chomwitt | (~chomwitt@2a02:587:7a07:4f00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-05-23 09:26:07 +0200 | chomwitt | (~chomwitt@2a02:587:7a13:b200:1ac0:4dff:fedb:a3f1) |
| 2023-05-23 09:32:41 +0200 | mncheckm | (~mncheck@193.224.205.254) |
| 2023-05-23 09:54:02 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-05-23 11:10:28 +0200 | Solitary | (~Solitary@user/solitary) (Ping timeout: 250 seconds) |
| 2023-05-23 11:15:24 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Remote host closed the connection) |
| 2023-05-23 11:44:38 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-05-23 11:49:51 +0200 | Solitary | (~Solitary@user/solitary) |
| 2023-05-23 11:58:15 +0200 | chomwitt | (~chomwitt@2a02:587:7a13:b200:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2023-05-23 13:09:31 +0200 | vanvik | (~vanvik@185.201.120.72) (Ping timeout: 240 seconds) |
| 2023-05-23 15:50:50 +0200 | korolnx | (~korolnx@2a04:ee41:0:610c:e26:15a7:85ad:8a9c) |
| 2023-05-23 15:51:59 +0200 | <korolnx> | Hello, been using xmonad for, uhm, a long time. Now I'm trying to just change the font used for window titles in a tabbed layout, with 0 success. No matter what I put there, there is no change whatsoever. Any hint would be appreciated |
| 2023-05-23 15:52:48 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2023-05-23 15:53:18 +0200 | <korolnx> | the layout is defined as `tabbed shrinkText tabTheme`, and the theme as `def { fontName = "xft:Source Code Pro:pixelsize=12" }` (among other things) |
| 2023-05-23 15:53:54 +0200 | <geekosaur> | did you try mod-shift-space? the layout type won't have changed, so it won't be recomputed |
| 2023-05-23 15:54:03 +0200 | <korolnx> | the funny part is that `dmenu_run -fn "xft:Source Code Pro:pixelsize=12"` absolutely works. |
| 2023-05-23 15:54:38 +0200 | <korolnx> | oh thanks geekosaur! that did it. I thought that a --restart would be enough |
| 2023-05-23 15:54:51 +0200 | <geekosaur> | tis is actually something of a safety feature because you would lose things like position in a layout list and where the divider is (mod-h/mod-l) in non-tabbed layouts in the list |
| 2023-05-23 15:55:44 +0200 | <geekosaur> | basically xmonad can't tell which layout parameters come from the config and which from runtime change messages, so it doesn't change anything unless it must |
| 2023-05-23 15:56:05 +0200 | <geekosaur> | (you can even change the theme via a message) |
| 2023-05-23 15:56:20 +0200 | <korolnx> | very fancy |
| 2023-05-23 15:57:15 +0200 | <korolnx> | at some point I'll have to do the thing I've been procrastinating for like 4 years.... getting virtual desktop and window titles with plasma. Not even sure it's doable |
| 2023-05-23 16:01:23 +0200 | chomwitt | (~chomwitt@athedsl-285388.home.otenet.gr) |
| 2023-05-23 16:12:23 +0200 | <korolnx> | oh, done. That was easy enough |
| 2023-05-23 16:21:48 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-23 16:39:47 +0200 | hightower3 | (~hightower@213.149.61.145) (Ping timeout: 264 seconds) |
| 2023-05-23 17:10:54 +0200 | mekeor[m] | (~mekeormat@2001:470:69fc:105::17e4) () |
| 2023-05-23 17:38:39 +0200 | korolnx | (~korolnx@2a04:ee41:0:610c:e26:15a7:85ad:8a9c) (Quit: Client closed) |
| 2023-05-23 18:04:20 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Remote host closed the connection) |
| 2023-05-23 18:10:07 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-05-23 18:44:14 +0200 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) |
| 2023-05-23 18:44:26 +0200 | hightower2 | (~hightower@85.94.71.188) |
| 2023-05-23 18:55:23 +0200 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) (Remote host closed the connection) |
| 2023-05-23 19:15:17 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-05-23 19:23:41 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-05-23 20:28:15 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) (Remote host closed the connection) |
| 2023-05-23 20:28:16 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection) |
| 2023-05-23 20:28:20 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Remote host closed the connection) |
| 2023-05-23 20:28:30 +0200 | zoglesby | (f0f8ca1525@user/zoglesby) (Remote host closed the connection) |
| 2023-05-23 20:30:03 +0200 | zoglesby | (f0f8ca1525@user/zoglesby) |
| 2023-05-23 20:30:14 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) |
| 2023-05-23 20:31:23 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) |
| 2023-05-23 20:31:28 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2023-05-23 20:35:45 +0200 | chomwitt | (~chomwitt@athedsl-285388.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2023-05-23 21:15:10 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-05-23 23:14:21 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |