| 2025-10-26 01:13:46 +0200 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 256 seconds) |
| 2025-10-26 01:15:41 +0200 | td_ | (~td@i5387090B.versanet.de) td_ |
| 2025-10-26 02:48:28 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) |
| 2025-10-26 02:53:22 +0100 | ft | (~ft@mue-88-130-106-235.dsl.tropolys.de) (Ping timeout: 240 seconds) |
| 2025-10-26 02:55:21 +0100 | ft | (~ft@mue-88-130-106-050.dsl.tropolys.de) ft |
| 2025-10-26 03:38:45 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-10-26 03:40:16 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) mathstuf |
| 2025-10-26 04:45:02 +0100 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 240 seconds) |
| 2025-10-26 04:47:17 +0100 | td_ | (~td@i53870936.versanet.de) td_ |
| 2025-10-26 04:58:02 +0100 | ChubaDuba | (~ChubaDuba@176.212.36.137) ChubaDuba |
| 2025-10-26 04:59:06 +0100 | ChubaDuba | (~ChubaDuba@176.212.36.137) (Client Quit) |
| 2025-10-26 05:13:49 +0100 | <mathstuf> | it seems the roadblock is actually that `deriving` doesnt support binary constraings (LayoutClass) |
| 2025-10-26 05:27:42 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-10-26 05:48:09 +0100 | <Leary> | @tell mathstuf: Oops, try `StandaloneDeriving` instead: `deriving via Pure instance LayoutClass L a` |
| 2025-10-26 05:48:09 +0100 | <lambdabot> | Consider it noted. |
| 2025-10-26 06:32:23 +0100 | <haskellbridge> | <Primrose (== Léana)> Hello, |
| 2025-10-26 06:32:23 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/IeQlBrIYrwNctkEVlLuiYPvs/X0iwyh8Ww4k (3 lines) |
| 2025-10-26 06:32:24 +0100 | <haskellbridge> | <Primrose (== Léana)> Thanks :) |
| 2025-10-26 06:36:39 +0100 | <Leary> | Primrose (== Léana): https://xmonad.github.io/xmonad-docs/xmonad-contrib/XMonad-Layout-FocusTracking.html |
| 2025-10-26 09:38:54 +0100 | Solid | (~slot@xmonad/slotThe) slot |
| 2025-10-26 12:26:40 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) |
| 2025-10-26 12:29:59 +0100 | <mathstuf> | Leary: that worked, thanks |
| 2025-10-26 12:30:12 +0100 | <mathstuf> | ill have a pr up this week |
| 2025-10-26 13:03:04 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-10-26 14:46:44 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) |
| 2025-10-26 14:59:22 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 2025-10-26 16:34:00 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-10-26 16:43:53 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-10-26 18:22:01 +0100 | Solid | (~slot@xmonad/slotThe) (Quit: ERC 5.6.1 (IRC client for GNU Emacs 31.0.50)) |
| 2025-10-26 19:47:50 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-26 20:03:57 +0100 | xjcj | (~xjcj@dslb-084-061-254-103.084.061.pools.vodafone-ip.de) |
| 2025-10-26 20:12:12 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-10-26 20:13:13 +0100 | xjcj | (~xjcj@dslb-084-061-254-103.084.061.pools.vodafone-ip.de) (Ping timeout: 250 seconds) |
| 2025-10-26 20:14:11 +0100 | xjcj | (~xjcj@dslb-084-061-254-103.084.061.pools.vodafone-ip.de) |
| 2025-10-26 20:15:12 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-26 20:47:01 +0100 | xjcj | (~xjcj@dslb-084-061-254-103.084.061.pools.vodafone-ip.de) (Ping timeout: 250 seconds) |
| 2025-10-26 20:47:48 +0100 | xjcj | (~xjcj@dslb-084-061-254-103.084.061.pools.vodafone-ip.de) |
| 2025-10-26 20:48:09 +0100 | xjcj | (~xjcj@dslb-084-061-254-103.084.061.pools.vodafone-ip.de) (Client Quit) |
| 2025-10-26 21:30:31 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2025-10-26 22:04:48 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-10-26 22:07:13 +0100 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2025-10-26 22:32:33 +0100 | Digitteknohippie | Digit |
| 2025-10-26 23:25:00 +0100 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |