2025/08/13

Newest at the top

2025-08-13 14:33:53 +0200 <yin> finally figured out out to build lambdabot! i had to install external ncurses-libtinfo-devel and cabal install djinn
2025-08-13 14:32:06 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-13 14:30:31 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds)
2025-08-13 14:25:24 +0200 <lambdabot> map h (g (f <$> a))
2025-08-13 14:25:24 +0200 <yin> @pl map h $ g $ f <$> a
2025-08-13 14:15:45 +0200califax(~califax@user/califx) califx
2025-08-13 14:11:19 +0200 <yin> nice
2025-08-13 14:11:18 +0200 <yin> liftA2 id === ap
2025-08-13 14:10:02 +0200 <lambdabot> Applicative f => f (a -> c) -> f a -> f c
2025-08-13 14:10:01 +0200 <probie> :t liftA2 ($)
2025-08-13 14:09:07 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-08-13 14:07:57 +0200califax(~califax@user/califx) (Ping timeout: 240 seconds)
2025-08-13 14:07:33 +0200mellowtractor(~user@180.151.196.242) (Ping timeout: 252 seconds)
2025-08-13 14:07:01 +0200ThePenguin08ThePenguin
2025-08-13 14:06:36 +0200 <lambdabot> Applicative f => f (b -> c) -> f b -> f c
2025-08-13 14:06:35 +0200 <yin> :t liftA2 id
2025-08-13 14:06:02 +0200 <lambdabot> liftA2 id (f <$> a) b
2025-08-13 14:06:02 +0200 <yin> @pl liftA2 ($) (f <$> a) b
2025-08-13 13:56:20 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-13 13:56:05 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Client Quit)
2025-08-13 13:55:15 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-13 13:53:58 +0200fp1fp
2025-08-13 13:53:58 +0200fp(~Thunderbi@2001:708:150:10::72df) (Read error: Connection reset by peer)
2025-08-13 13:53:53 +0200fp1(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-13 13:53:22 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-08-13 13:48:19 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-08-13 13:46:01 +0200michalz(~michalz@185.246.207.217)
2025-08-13 13:45:27 +0200haritz(~hrtz@user/haritz) haritz
2025-08-13 13:45:27 +0200haritz(~hrtz@209.35.65.79) (Changing host)
2025-08-13 13:45:27 +0200haritz(~hrtz@209.35.65.79)
2025-08-13 13:43:58 +0200jakzale(6291399afa@user/jakzale) jakzale
2025-08-13 13:43:50 +0200jakzale(6291399afa@user/jakzale) (Server closed connection)
2025-08-13 13:43:40 +0200Fischmiep(~Fischmiep@user/Fischmiep) Fischmiep
2025-08-13 13:43:32 +0200michalz(~michalz@185.246.207.193) (Remote host closed the connection)
2025-08-13 13:43:19 +0200Fischmiep(~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in)
2025-08-13 13:41:16 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-13 13:39:38 +0200michalz(~michalz@185.246.207.193)
2025-08-13 13:39:23 +0200Guest80(~Guest80@180.190.208.145) (Client Quit)
2025-08-13 13:37:09 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2025-08-13 13:36:59 +0200Guest80(~Guest80@180.190.208.145)
2025-08-13 13:36:25 +0200michalz(~michalz@185.246.207.217)
2025-08-13 13:33:51 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2025-08-13 13:33:25 +0200michalz(~michalz@185.246.207.217)
2025-08-13 13:30:56 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2025-08-13 13:23:17 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-08-13 13:20:48 +0200xff0x(~xff0x@2405:6580:b080:900:c488:ca49:9294:78c2)
2025-08-13 13:17:21 +0200michalz(~michalz@185.246.207.217)
2025-08-13 13:14:52 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2025-08-13 13:14:15 +0200tromp(~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-13 13:07:37 +0200raym(~ray@user/raym) raym