2025/11/06

Newest at the top

2025-11-06 04:11:19 +0100hightower3(~hightower@dh207-82-252.xnet.hr) (Ping timeout: 240 seconds)
2025-11-06 04:10:19 +0100hightower2(~hightower@dh207-82-252.xnet.hr) hightower2
2025-11-06 03:31:53 +0100hightower2(~hightower@cpe-94-253-244-153.st.cable.xnet.hr) (Ping timeout: 260 seconds)
2025-11-06 03:29:17 +0100hightower3(~hightower@dh207-82-252.xnet.hr) hightower2
2025-11-05 23:55:59 +0100berberman(~berberman@user/berberman) berberman
2025-11-05 23:54:17 +0100berberman(~berberman@user/berberman) (Remote host closed the connection)
2025-11-05 23:54:07 +0100berberman(~berberman@user/berberman) berberman
2025-11-05 23:53:44 +0100berberman(~berberman@user/berberman) (Client Quit)
2025-11-05 23:52:44 +0100berberman(~berberman@user/berberman) berberman
2025-11-05 23:52:23 +0100berberman(~berberman@user/berberman) (Remote host closed the connection)
2025-11-05 23:52:21 +0100berberman(~berberman@user/berberman) berberman
2025-11-05 23:50:46 +0100berberman(~berberman@user/berberman) (Client Quit)
2025-11-05 23:50:07 +0100berberman(~berberman@user/berberman) berberman
2025-11-05 23:43:08 +0100berberman(~berberman@user/berberman) (Read error: Connection reset by peer)
2025-11-05 23:42:13 +0100berberman(~berberman@user/berberman) berberman
2025-11-05 23:40:23 +0100berberman(~berberman@user/berberman) (Remote host closed the connection)
2025-11-05 23:40:14 +0100berberman(~berberman@user/berberman) berberman
2025-11-05 23:39:31 +0100berberman(~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in)
2025-11-05 20:52:42 +0100hightower3(~hightower@cpe-94-253-237-31.st.cable.xnet.hr) (Ping timeout: 252 seconds)
2025-11-05 20:50:54 +0100hightower2(~hightower@cpe-94-253-244-153.st.cable.xnet.hr) hightower2
2025-11-05 20:49:57 +0100hightower2(~hightower@dh207-113-80.xnet.hr) (Ping timeout: 252 seconds)
2025-11-05 20:48:16 +0100hightower3(~hightower@cpe-94-253-237-31.st.cable.xnet.hr) hightower2
2025-11-05 20:12:27 +0100xjcj(~xjcj@dslb-002-205-170-105.002.205.pools.vodafone-ip.de) (Ping timeout: 250 seconds)
2025-11-05 19:55:24 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-11-05 19:38:05 +0100xjcj(~xjcj@dslb-002-205-170-105.002.205.pools.vodafone-ip.de)
2025-11-05 19:35:44 +0100MrElendig(~Urist@archlinux/op/MrElendig) MrElendig
2025-11-05 19:34:05 +0100MrElendig(~Urist@archlinux/op/MrElendig) (Quit: punching nazis)
2025-11-05 19:16:36 +0100hightower2(~hightower@dh207-113-80.xnet.hr) hightower2
2025-11-05 13:07:43 +0100yecinem_(~yecinem@p200300ee0f027400af0a7cdbe8524351.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2025-11-05 12:56:35 +0100yecinem_(~yecinem@p200300ee0f027400af0a7cdbe8524351.dip0.t-ipconnect.de)
2025-11-05 10:04:33 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-11-05 07:18:29 +0100 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/WTCNFoqEazWKXwSjGBHvlhLb/eNLykQpbIQo (15 lines)
2025-11-05 07:18:29 +0100 <haskellbridge> <Primrose (== Léana)> In the end I did
2025-11-05 07:17:29 +0100 <haskellbridge> <Primrose (== Léana)> Thanks !!
2025-11-05 07:17:27 +0100 <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
2025-11-05 04:37:55 +0100td_(~td@i5387093C.versanet.de) td_
2025-11-05 04:35:54 +0100td_(~td@i5387092A.versanet.de) (Ping timeout: 252 seconds)
2025-11-05 03:59:32 +0100 <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?
2025-11-05 02:59:20 +0100Forkk13(~forkk@li926-228.members.linode.com) Forkk
2025-11-05 02:58:42 +0100Forkk13(~forkk@li926-228.members.linode.com) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2025-11-05 01:29:19 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-04 22:41:42 +0100Solitary(~Solitary@user/solitary) Solitary
2025-11-04 22:41:42 +0100thaumavorio_(~thaumavor@thaumavor.io) thaumavorio
2025-11-04 22:41:42 +0100068AABI46(~wz1000@2a01:4f9:c012:de50::1)
2025-11-04 22:41:42 +0100ml|(~ml|@user/ml/x-5298235) ml|
2025-11-04 22:41:42 +0100mkoskar(~mkoskar@user/mkoskar) mkoskar
2025-11-04 22:41:42 +0100Digit(~user@user/digit) Digit
2025-11-04 22:40:18 +0100Solitary(~Solitary@user/solitary) (*.net *.split)
2025-11-04 22:40:18 +0100thaumavorio_(~thaumavor@thaumavor.io) (*.net *.split)
2025-11-04 22:40:18 +0100068AABI46(~wz1000@2a01:4f9:c012:de50::1) (*.net *.split)