Logs: liberachat/#haskell
| 2025-12-10 23:13:54 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-10 23:18:51 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-10 23:30:25 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-12-10 23:31:55 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-10 23:33:35 | × | tromp quits (~textual@2001:1c00:3487:1b00:fc9c:738b:219c:bafe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-10 23:33:37 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2025-12-10 23:42:35 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds) |
| 2025-12-10 23:44:15 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb!) |
| 2025-12-10 23:45:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-10 23:45:18 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-10 23:46:06 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-10 23:47:02 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-10 23:47:30 | → | notzmv joins (~umar@user/notzmv) |
| 2025-12-10 23:51:52 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-12-10 23:52:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 23:56:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 00:07:09 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-11 00:08:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 00:12:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-11 00:15:08 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-12-11 00:16:00 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-12-11 00:23:04 | × | p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-11 00:23:11 | → | p3n_ joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2025-12-11 00:23:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 00:28:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-11 00:33:09 | → | Sgeo__ joins (~Sgeo@user/sgeo) |
| 2025-12-11 00:34:31 | × | ycp quits (~znc@user/dragestil) (Ping timeout: 244 seconds) |
| 2025-12-11 00:35:14 | → | ycp joins (~znc@user/dragestil) |
| 2025-12-11 00:36:04 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Ping timeout: 244 seconds) |
| 2025-12-11 00:39:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 00:40:49 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-11 00:41:02 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-11 00:41:58 | × | larsivi quits (~larsivi@user/larsivi) (Ping timeout: 246 seconds) |
| 2025-12-11 00:44:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-11 00:47:55 | × | Raito_Bezarius quits (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 246 seconds) |
| 2025-12-11 00:48:27 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-11 00:51:04 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-11 00:55:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 00:59:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-11 01:02:28 | → | Raito_Bezarius joins (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) |
| 2025-12-11 01:05:04 | × | jle` quits (~jle`@2603:8001:3b00:11:ed74:b35d:c320:7e16) (Ping timeout: 246 seconds) |
| 2025-12-11 01:05:59 | → | jle` joins (~jle`@2603:8001:3b00:11:a23f:f454:6842:2ec4) |
| 2025-12-11 01:09:09 | × | hsw quits (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2025-12-11 01:09:16 | × | xff0x quits (~xff0x@2405:6580:b080:900:9fc6:fc26:b514:683b) (Ping timeout: 246 seconds) |
| 2025-12-11 01:10:17 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-11 01:10:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 01:15:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 01:19:20 | → | larsivi joins (~larsivi@user/larsivi) |
| 2025-12-11 01:24:46 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2025-12-11 01:24:50 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-11 01:25:38 | divlamir_ | is now known as divlamir |
| 2025-12-11 01:26:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 01:26:25 | × | acidjnk quits (~acidjnk@p200300d6e717192391252480cf04477b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-12-11 01:28:08 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:327d:b50f:5899:99de) |
| 2025-12-11 01:30:27 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-11 01:30:40 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-11 01:31:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-11 01:32:46 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-11 01:34:29 | → | omidmash5 joins (~omidmash@user/omidmash) |
| 2025-12-11 01:36:31 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-11 01:36:31 | omidmash5 | is now known as omidmash |
| 2025-12-11 01:40:46 | trickard_ | is now known as trickard |
| 2025-12-11 01:42:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 01:43:38 | → | califax joins (~califax@user/califx) |
| 2025-12-11 01:45:22 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-12-11 01:45:38 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-11 01:46:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-11 01:49:31 | × | timide quits (~timide@user/timide) (Ping timeout: 246 seconds) |
| 2025-12-11 01:49:53 | × | sp1ff` quits (~user@2601:1c2:4c00:6820::c593) (Remote host closed the connection) |
| 2025-12-11 01:55:08 | × | ephemient quits (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
| 2025-12-11 01:58:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 01:58:32 | → | timide joins (~timide@user/timide) |
| 2025-12-11 02:01:21 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-11 02:02:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 02:05:00 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:327d:b50f:5899:99de) (Remote host closed the connection) |
| 2025-12-11 02:08:19 | <Pozyomka> | Why is does XMonad.keys have type “XConfig l -> XConfig Layout -> Data.Map.Internal.Map (ButtonMask, KeySym) (X ())”? The first XConfig, I can understand, it's the XConfig record we're projecting from. But why would we need a second record? |
| 2025-12-11 02:10:16 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-11 02:11:20 | <geekosaur> | because it's not a Map, it's a function that produces a Map. the function is passed the current configuration, mostly so it can extract the modMask |
| 2025-12-11 02:12:14 | <geekosaur> | https://github.com/xmonad/xmonad/blob/master/src/XMonad/Config.hs#L181-L243 |
| 2025-12-11 02:13:06 | <geekosaur> | also note like 194 which extracts the current layoutHook and hard sets it to reinitialize layouts |
| 2025-12-11 02:13:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 02:13:50 | <geekosaur> | and line 233 which extracts the workspaces |
| 2025-12-11 02:18:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-11 02:18:55 | × | myxos quits (~myxos@wsip-70-166-126-146.ph.ph.cox.net) (Ping timeout: 264 seconds) |
| 2025-12-11 02:23:57 | <Pozyomka> | Ah, thanks... I guess I just find it hard to reason about non-positive types: “Part of the data of a configuration is a function that takes another configuration...” |
| 2025-12-11 02:27:19 | → | myxos joins (~myxos@wsip-70-166-126-146.ph.ph.cox.net) |
| 2025-12-11 02:29:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 02:35:01 | <geekosaur> | it takes the same configuration. there's just no way to relay the configuration it came from to it automatically, so xmonad has to do `keys conf conf` |
| 2025-12-11 02:35:35 | <geekosaur> | (hypothetically you could even call the function directly, but I can't think of a good reason to do so. xmonad users have surprised me in the past, though) |
| 2025-12-11 02:35:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 02:37:49 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2025-12-11 02:44:07 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-12-11 02:45:54 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-11 02:47:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 02:51:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 02:52:05 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-11 02:52:18 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-11 02:57:35 | × | rekahsoft quits (~rekahsoft@70.51.99.245) (Ping timeout: 240 seconds) |
| 2025-12-11 02:58:00 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-12-11 03:01:02 | → | hsw joins (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) |
All times are in UTC.