2025/12/11

Newest at the top

2025-12-11 15:34:23 +0100tremon(~tremon@83.80.159.219) tremon
2025-12-11 15:33:58 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-11 15:33:24 +0100fp(~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 252 seconds)
2025-12-11 15:31:11 +0100Googulator87(~Googulato@185.199.28.81) (Ping timeout: 272 seconds)
2025-12-11 15:30:30 +0100 <Leary> pounce: Only `liftA2 ($>)`.
2025-12-11 15:29:57 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 250 seconds)
2025-12-11 15:25:39 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-11 15:22:48 +0100Enrico63(~Enrico63@host-212-171-79-170.retail.telecomitalia.it) Enrico63
2025-12-11 15:22:00 +0100 <pounce> does anybody know if there's a name for Functor f => (k -> f a) -> (k -> b) -> (k -> f b)? kind of like blah f g x = f x $> g x
2025-12-11 15:18:53 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-11 15:17:50 +0100fp(~Thunderbi@2001:708:150:10::7e06) fp
2025-12-11 15:16:20 +0100Enrico63(~Enrico63@host-212-171-79-170.retail.telecomitalia.it) (Client Quit)
2025-12-11 15:13:15 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-12-11 15:13:14 +0100Enrico63(~Enrico63@host-212-171-79-170.retail.telecomitalia.it) Enrico63
2025-12-11 15:09:05 +0100rekahsoft(~rekahsoft@70.51.99.245) rekahsoft
2025-12-11 15:06:43 +0100Googulator87(~Googulato@185.199.28.81)
2025-12-11 15:03:28 +0100fp(~Thunderbi@wireless-86-50-140-30.open.aalto.fi) (Remote host closed the connection)
2025-12-11 15:00:39 +0100fp(~Thunderbi@wireless-86-50-140-30.open.aalto.fi) fp
2025-12-11 14:52:52 +0100fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 256 seconds)
2025-12-11 14:52:35 +0100Square(~Square4@user/square) (Ping timeout: 240 seconds)
2025-12-11 14:49:40 +0100tromp(~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2)
2025-12-11 14:42:45 +0100weary-traveler(~user@user/user363627) user363627
2025-12-11 14:41:47 +0100Googulator87(~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Ping timeout: 272 seconds)
2025-12-11 14:36:46 +0100cawfee(root@2401:c080:3800:3460::babe)
2025-12-11 14:35:58 +0100cawfee(root@2401:c080:3800:3460::babe) (Client Quit)
2025-12-11 14:34:55 +0100cawfee(root@2401:c080:3800:3460::babe) qjqqyy
2025-12-11 14:34:09 +0100cawfee(root@2401:c080:3800:3460::babe) (Quit: WeeChat 4.7.1)
2025-12-11 14:17:43 +0100Googulator63(~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed)
2025-12-11 14:16:25 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-11 14:16:11 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-11 14:15:54 +0100Googulator87(~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu)
2025-12-11 14:13:57 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-11 14:12:48 +0100Pozyomka(~pyon@user/pyon) pyon
2025-12-11 14:12:37 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-12-11 14:12:17 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-12-11 14:07:30 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-12-11 14:05:29 +0100Pozyomka(~pyon@user/pyon) (Quit: brb)
2025-12-11 13:55:20 +0100yin(~zero@user/zero) zero
2025-12-11 13:54:57 +0100yin(~zero@user/zero) (Remote host closed the connection)
2025-12-11 13:49:01 +0100yin(~zero@user/zero) zero
2025-12-11 13:47:14 +0100yin(~zero@user/zero) (Remote host closed the connection)
2025-12-11 13:45:49 +0100Googulator48(~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed)
2025-12-11 13:45:41 +0100Googulator63(~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu)
2025-12-11 13:39:16 +0100bggd_(~bgg@2a01:e0a:fd5:f510:fb9e:194f:f1d5:eb88)
2025-12-11 13:38:04 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2025-12-11 13:36:44 +0100fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-12-11 13:35:14 +0100comerijn(~merijn@77.242.116.146) merijn
2025-12-11 13:31:20 +0100karenw(~karenw@user/karenw) karenw
2025-12-11 13:30:18 +0100karenw(~karenw@user/karenw) (Remote host closed the connection)
2025-12-11 13:30:06 +0100karenw(~karenw@user/karenw) karenw