2026/04/21

Newest at the top

2026-04-21 17:52:02 +0000misterfish(~misterfis@84.53.85.146) (Ping timeout: 244 seconds)
2026-04-21 17:50:07 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-04-21 17:45:54 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2026-04-21 17:40:35 +0000misterfish(~misterfis@84.53.85.146) misterfish
2026-04-21 17:38:42 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-04-21 17:38:38 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2026-04-21 17:35:06 +0000weary-traveler(~user@user/user363627) user363627
2026-04-21 17:34:49 +0000tromp(~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-04-21 17:26:43 +0000hc(~hc@mail.hce.li) (Ping timeout: 264 seconds)
2026-04-21 17:23:06 +0000CiaoSen(~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2026-04-21 17:08:06 +0000tromp(~textual@2001:1c00:340e:2700:463:2385:89e0:6cf)
2026-04-21 17:07:26 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-04-21 17:02:29 +0000notzmv(~umar@user/notzmv) (Read error: Connection reset by peer)
2026-04-21 17:00:28 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2026-04-21 16:58:47 +0000arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-04-21 16:52:00 +0000tnt1(~Thunderbi@user/tnt1) tnt1
2026-04-21 16:49:45 +0000tromp(~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-04-21 16:49:38 +0000Googulator(~Googulato@84-236-65-56.pool.digikabel.hu)
2026-04-21 16:49:05 +0000danz66376(~danza@user/danza) (Remote host closed the connection)
2026-04-21 16:48:35 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2026-04-21 16:39:39 +0000CiaoSen(~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen
2026-04-21 16:39:08 +0000puke(~puke@user/puke) (Ping timeout: 250 seconds)
2026-04-21 16:38:06 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-04-21 16:33:57 +0000Googulator72(~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds)
2026-04-21 16:28:32 +0000Googulator(~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds)
2026-04-21 16:24:38 +0000Googulator72(~Googulato@84-236-65-56.pool.digikabel.hu)
2026-04-21 16:18:42 +0000gf31(~gf3@user/gf3) (Ping timeout: 256 seconds)
2026-04-21 16:01:42 +0000kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2026-04-21 16:01:02 +0000craunts795335385(~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat)
2026-04-21 15:48:04 +0000puke(~puke@user/puke) puke
2026-04-21 15:47:39 +0000puke(~puke@user/puke) (Remote host closed the connection)
2026-04-21 15:47:01 +0000karenw(~karenw@user/karenw) karenw
2026-04-21 15:45:36 +0000 <merijn> But that's just generalised First
2026-04-21 15:45:19 +0000 <merijn> There's Alt
2026-04-21 15:43:11 +0000 <dutchie> which is I suppose why First exists
2026-04-21 15:43:03 +0000 <dutchie> for some reason I thought there was some sort of Alternative a => Alternative (b -> a) instance but that doesn't even make sense
2026-04-21 15:41:46 +0000 <merijn> If you have like, 5+ methods it could be worth it
2026-04-21 15:41:32 +0000 <merijn> Yes, hence why I don't think it works for just two
2026-04-21 15:41:09 +0000 <dutchie> that is a lot noisier than the fromMaybe thing above, especially when you throw the last pure function in
2026-04-21 15:40:02 +0000 <dutchie> i don't much like repeating the x
2026-04-21 15:39:59 +0000 <merijn> getFirst $ mconcat [First . f, First . g] x
2026-04-21 15:39:22 +0000 <dutchie> I thought that I'd need that instance but couldn't work out how to invoke it
2026-04-21 15:39:20 +0000 <merijn> tbh, then I don't think the monoid solution will improve much over just the <|> alternative
2026-04-21 15:38:56 +0000 <dutchie> just two and then the "pure" one
2026-04-21 15:38:50 +0000 <merijn> dutchie: Yeah
2026-04-21 15:38:47 +0000 <merijn> Is it just two alternatives or more
2026-04-21 15:38:41 +0000 <dutchie> merijn: the Monoid a => Monoid (x -> a) one?
2026-04-21 15:38:19 +0000 <dutchie> `fromMaybe (h x) (f x <|> g x)` feels ugly
2026-04-21 15:38:05 +0000 <merijn> dutchie: You can always make use of our friend, the best monoid instance ever
2026-04-21 15:37:47 +0000jmcantrell_jmcantrell