2026/02/27

Newest at the top

2026-02-27 17:10:26 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 248 seconds)
2026-02-27 17:06:00 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 245 seconds)
2026-02-27 17:02:58 +0100jonnie(~jonnie@user/jonnie) jonnie
2026-02-27 17:01:45 +0100jonnie(~jonnie@user/jonnie) (Remote host closed the connection)
2026-02-27 16:54:57 +0100Googulator69(~Googulato@team.broadbit.hu)
2026-02-27 16:54:42 +0100Googulator69(~Googulato@team.broadbit.hu) (Quit: Client closed)
2026-02-27 16:51:25 +0100spew(~spew@user/spew) spew
2026-02-27 16:45:17 +0100tydes(~tydes@user/ttydes) (Ping timeout: 272 seconds)
2026-02-27 16:44:30 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-27 16:42:38 +0100philopsos1(~caecilius@user/philopsos) philopsos
2026-02-27 16:42:28 +0100philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-02-27 16:39:34 +0100karenw(~karenw@user/karenw) karenw
2026-02-27 16:35:14 +0100housemate(~housemate@202.7.248.67) (Ping timeout: 248 seconds)
2026-02-27 16:32:55 +0100tromp(~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e)
2026-02-27 16:32:38 +0100philopsos1(~caecilius@user/philopsos) philopsos
2026-02-27 16:29:38 +0100ouilemur(~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1)
2026-02-27 16:28:12 +0100tromp(~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-27 16:24:14 +0100tales(~tales@149.167.1.176) (Ping timeout: 252 seconds)
2026-02-27 16:22:05 +0100housemate(~housemate@202.7.248.67) housemate
2026-02-27 16:21:50 +0100philopsos1(~caecilius@user/philopsos) (Ping timeout: 245 seconds)
2026-02-27 16:21:28 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-27 16:21:02 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-02-27 16:20:07 +0100tales(~tales@149.167.1.176)
2026-02-27 16:19:56 +0100housemate(~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-02-27 16:16:10 +0100acidjnk(~acidjnk@p200300d6e700e5504d503f6022936b58.dip0.t-ipconnect.de) acidjnk
2026-02-27 16:14:32 +0100philopsos1(~caecilius@user/philopsos) philopsos
2026-02-27 16:13:20 +0100Enrico63(~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed)
2026-02-27 15:55:04 +0100 <yin> well i guess i'll comment the hell out of it
2026-02-27 15:51:57 +0100 <lambdabot> ap
2026-02-27 15:51:57 +0100 <int-e> @pl \f g x -> f x (g x)
2026-02-27 15:51:34 +0100 <lambdabot> Applicative ((->) w) => (w -> (a -> b)) -> (w -> a) -> w -> b
2026-02-27 15:51:33 +0100 <yin> :t (<*>) @((->) _)
2026-02-27 15:50:39 +0100 <int-e> yes it is
2026-02-27 15:50:15 +0100 <yin> is this <*> ?
2026-02-27 15:49:37 +0100 <yin> oh wait
2026-02-27 15:48:05 +0100 <yin> i find myself using this all the time, under some form or another
2026-02-27 15:47:48 +0100 <yin> for `liftA2 f id g`
2026-02-27 15:47:34 +0100 <yin> is there a more appropriate abstraction?
2026-02-27 15:47:04 +0100 <lambdabot> (Semigroup c, Enum c) => c -> c
2026-02-27 15:47:03 +0100 <yin> :t liftA2 (<>) id succ
2026-02-27 15:46:38 +0100 <lambdabot> (Semigroup c, Enum c) => c -> c
2026-02-27 15:46:36 +0100 <yin> :t uncurry (<>) . (id &&& succ)
2026-02-27 15:46:32 +0100tales(~tales@149.167.1.176) (Ping timeout: 256 seconds)
2026-02-27 15:45:44 +0100 <lambdabot> from the context: (Show a, FromExpr c)
2026-02-27 15:45:44 +0100 <lambdabot> • Could not deduce ‘Show b0’ arising from a use of ‘g’
2026-02-27 15:45:44 +0100 <lambdabot> error: [GHC-39999]
2026-02-27 15:45:42 +0100 <yin> :t uncurry g . (id &&& f)
2026-02-27 15:45:28 +0100 <yin> @pl uncurry g . (id &&& f)
2026-02-27 15:41:51 +0100tales(~tales@149.167.1.176)
2026-02-27 15:39:11 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de)