Logs on 2024-12-17 (liberachat/#xmonad)
| 00:03:01 | × | alp quits (~alp@2001:861:8ca0:4940:b325:ba7a:69b3:494a) (Ping timeout: 248 seconds) |
| 01:21:20 | × | Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 01:37:32 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 01:52:30 | <Leary> | Profpatsch: Bit of an oversight. Layout type signatures are usually just big lumps of noise, so not many people actually write them. |
| 01:56:09 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/blob/hilfy-2023/xmonad.hs#L65 😛 |
| 01:56:28 | <geekosaur> | (case in point) |
| 01:57:44 | <geekosaur> | the type signature for a layout is usually bigger than the definition is |
| 01:57:53 | <geekosaur> | and requires a bunch more imports |
| 02:20:08 | → | catman joins (~catman@user/catman) |
| 02:27:39 | → | ChubaDuba joins (~ChubaDuba@5.165.254.132) |
| 02:44:35 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 03:12:45 | → | Kaladin joins (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) |
| 03:45:06 | × | Kaladin quits (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 03:49:48 | × | td_ quits (~td@i5387091E.versanet.de) (Ping timeout: 272 seconds) |
| 03:51:03 | → | td_ joins (~td@i5387092E.versanet.de) |
| 03:58:10 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.5.0) |
| 03:59:34 | × | ChubaDuba quits (~ChubaDuba@5.165.254.132) (Quit: WeeChat 4.4.2) |
| 04:02:02 | → | ChubaDuba joins (~ChubaDuba@5.165.254.132) |
| 04:07:56 | × | lally quits (sid388228@id-388228.uxbridge.irccloud.com) (Ping timeout: 264 seconds) |
| 04:08:32 | → | lally joins (sid388228@id-388228.uxbridge.irccloud.com) |
| 04:22:27 | → | catman joins (~catman@user/catman) |
| 04:23:10 | → | OftenFaded joins (OftenFaded@user/tisktisk) |
| 06:04:38 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 06:06:41 | → | alp joins (~alp@2001:861:8ca0:4940:fa1a:8b8c:4a0d:e62b) |
| 08:19:06 | → | yaslam_ joins (~yaslam@user/yaslam) |
| 08:19:32 | × | yaslam_ quits (~yaslam@user/yaslam) (Remote host closed the connection) |
| 08:19:59 | → | yaslam_ joins (~yaslam@user/yaslam) |
| 08:23:18 | × | yaslam_ quits (~yaslam@user/yaslam) (Remote host closed the connection) |
| 08:38:50 | → | yaslam_ joins (~yaslam@user/yaslam) |
| 08:42:45 | × | yaslam_ quits (~yaslam@user/yaslam) (Remote host closed the connection) |
| 08:46:43 | × | yaslam quits (~yaslam@user/yaslam) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 08:48:04 | → | yaslam joins (~yaslam@user/yaslam) |
| 08:50:51 | × | yaslam quits (~yaslam@user/yaslam) (Client Quit) |
| 08:52:09 | → | yaslam joins (~yaslam@user/yaslam) |
| 09:40:15 | × | catman quits (~catman@user/catman) (Read error: Connection reset by peer) |
| 09:49:10 | → | catman joins (~catman@user/catman) |
| 10:15:18 | × | OftenFaded quits (OftenFaded@user/tisktisk) (Quit: Client closed) |
| 11:12:57 | × | deepy quits (deepy@user/deepy) (Read error: Connection reset by peer) |
| 11:16:07 | → | deepy joins (deepy@user/deepy) |
| 13:27:30 | <Profpatsch> | fwiw I think there should be existential wrappers |
| 13:27:43 | <Profpatsch> | most of it boils down to the layout class anyway |
| 13:29:57 | <geekosaur> | there actually is one, internally. but you can't parameterize layouts in your config if it's existentially wrapped there |
| 13:31:47 | <geekosaur> | so your XConfig has to expose the layout type, but xmonad's core uses XConfig Layout where Layout is an existential wrapper (https://github.com/xmonad/xmonad/blob/master/src/XMonad/Core.hs#L250) |
| 15:14:55 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 15:20:17 | × | alp quits (~alp@2001:861:8ca0:4940:fa1a:8b8c:4a0d:e62b) (Ping timeout: 248 seconds) |
| 15:20:35 | → | Digit joins (~user@user/digit) |
| 15:37:10 | → | rekahsoft joins (~rekahsoft@76.69.85.220) |
| 17:38:10 | → | alp joins (~alp@2001:861:8ca0:4940:d540:2405:ba2e:e0d1) |
| 18:45:09 | × | catman quits (~catman@user/catman) (Ping timeout: 248 seconds) |
| 18:46:13 | → | catman joins (~catman@user/catman) |
| 18:52:12 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 18:56:44 | × | alp quits (~alp@2001:861:8ca0:4940:d540:2405:ba2e:e0d1) (Ping timeout: 272 seconds) |
| 19:56:03 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 20:03:34 | × | ChubaDuba quits (~ChubaDuba@5.165.254.132) (Ping timeout: 244 seconds) |
| 20:13:59 | → | alp joins (~alp@2001:861:8ca0:4940:116b:e777:775e:985b) |
| 20:37:54 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 22:05:04 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.5.0) |
| 22:38:23 | → | catman joins (~catman@user/catman) |
| 22:48:06 | × | catman quits (~catman@user/catman) (Ping timeout: 276 seconds) |
| 22:49:42 | → | catman joins (~catman@user/catman) |
| 23:32:42 | × | catman quits (~catman@user/catman) (Quit: WeeChat 4.5.0) |
| 23:34:45 | → | catman joins (~catman@user/catman) |
| 23:58:21 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
All times are in UTC on 2024-12-17.