Home liberachat/#xmonad: Logs Calendar

Logs on 2025-11-05 (liberachat/#xmonad)

00:29:19 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
01:58:42 × Forkk13 quits (~forkk@li926-228.members.linode.com) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
01:59:20 → Forkk13 joins (~forkk@li926-228.members.linode.com)
02:59:32 <haskellbridge> <geekosaur (@geekosaur:matrix.org)> in particular, I think "handleMessage" becomes "handleMessage (ResizableTall' inner) m = fmap (fmap ResizableTall') (handleMessage inner m)" or some variant thereof. "doLayout" is a little harder unless you use "lens" in which case you can bring something like "over _2 (fmap ResizableTall')" into play?
03:35:54 × td_ quits (~td@i5387092A.versanet.de) (Ping timeout: 252 seconds)
03:37:55 → td_ joins (~td@i5387093C.versanet.de)
06:17:27 <haskellbridge> <Primrose (== Léana)> geekosaur: I see, I find the error message hella confusing if one doesn't understand in which direction the type unification is done here
06:17:29 <haskellbridge> <Primrose (== Léana)> Thanks !!
06:18:29 <haskellbridge> <Primrose (== Léana)> In the end I did
06:18:29 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/WTCNFoqEazWKXwSjGBHvlhLb/eNLykQpbIQo (15 lines)
09:04:33 × ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
11:56:35 → yecinem_ joins (~yecinem@p200300ee0f027400af0a7cdbe8524351.dip0.t-ipconnect.de)
12:07:43 × yecinem_ quits (~yecinem@p200300ee0f027400af0a7cdbe8524351.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
18:16:36 → hightower2 joins (~hightower@dh207-113-80.xnet.hr)
18:34:05 × MrElendig quits (~Urist@archlinux/op/MrElendig) (Quit: punching nazis)
18:35:44 → MrElendig joins (~Urist@archlinux/op/MrElendig)
18:38:05 → xjcj joins (~xjcj@dslb-002-205-170-105.002.205.pools.vodafone-ip.de)
18:55:24 → ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de)
19:12:27 × xjcj quits (~xjcj@dslb-002-205-170-105.002.205.pools.vodafone-ip.de) (Ping timeout: 250 seconds)
19:48:16 → hightower3 joins (~hightower@cpe-94-253-237-31.st.cable.xnet.hr)
19:49:57 × hightower2 quits (~hightower@dh207-113-80.xnet.hr) (Ping timeout: 252 seconds)
19:50:54 → hightower2 joins (~hightower@cpe-94-253-244-153.st.cable.xnet.hr)
19:52:42 × hightower3 quits (~hightower@cpe-94-253-237-31.st.cable.xnet.hr) (Ping timeout: 252 seconds)
22:39:31 × berberman quits (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in)
22:40:14 → berberman joins (~berberman@user/berberman)
22:40:23 × berberman quits (~berberman@user/berberman) (Remote host closed the connection)
22:42:13 → berberman joins (~berberman@user/berberman)
22:43:08 × berberman quits (~berberman@user/berberman) (Read error: Connection reset by peer)
22:50:07 → berberman joins (~berberman@user/berberman)
22:50:46 × berberman quits (~berberman@user/berberman) (Client Quit)
22:52:21 → berberman joins (~berberman@user/berberman)
22:52:23 × berberman quits (~berberman@user/berberman) (Remote host closed the connection)
22:52:44 → berberman joins (~berberman@user/berberman)
22:53:44 × berberman quits (~berberman@user/berberman) (Client Quit)
22:54:07 → berberman joins (~berberman@user/berberman)
22:54:17 × berberman quits (~berberman@user/berberman) (Remote host closed the connection)
22:55:59 → berberman joins (~berberman@user/berberman)

All times are in UTC on 2025-11-05.