2025/11/17

Newest at the top

2025-11-17 22:08:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-17 22:03:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 21:57:25 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-11-17 21:52:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-17 21:49:28 +0100trickard_trickard
2025-11-17 21:47:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 21:45:08 +0100 <jackdk> And if you don't want to pull that in (I'm usually depending on it anyway), it's `fmap ($ f)`, I think
2025-11-17 21:38:25 +0100Everything(~Everythin@88.155.1.132) (Quit: Lost terminal)
2025-11-17 21:37:23 +0100synchromesh(~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) synchromesh
2025-11-17 21:36:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-17 21:35:43 +0100synchromesh(~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) (Read error: Connection reset by peer)
2025-11-17 21:35:25 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-17 21:35:08 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-11-17 21:34:54 +0100trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-17 21:31:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 21:20:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-17 21:19:46 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-11-17 21:17:55 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-17 21:16:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 21:08:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-17 21:02:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 21:00:22 +0100jmcantrell(~weechat@user/jmcantrell) (Client Quit)
2025-11-17 20:58:08 +0100fp1(~Thunderbi@159-255-247-115.bb.dnainternet.fi) fp
2025-11-17 20:58:04 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-17 20:51:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-17 20:46:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 20:45:43 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-17 20:35:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-11-17 20:35:15 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-11-17 20:31:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 20:27:37 +0100weary-traveler(~user@user/user363627) user363627
2025-11-17 20:25:30 +0100adamCS(~adamCS@70.19.85.77) adamCS
2025-11-17 20:25:15 +0100adamCS(~adamCS@70.19.85.77) (Ping timeout: 244 seconds)
2025-11-17 20:24:02 +0100deptype(~deptype@2406:b400:3a:73c2:8e9e:5030:da68:3cf) (Quit: Leaving)
2025-11-17 20:22:21 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-11-17 20:22:12 +0100m1dnight(~m1dnight@d8D861A17.access.telenet.be) m1dnight
2025-11-17 20:21:07 +0100Jackneill_(~Jackneill@188-143-82-72.pool.digikabel.hu) (Read error: Connection reset by peer)
2025-11-17 20:20:16 +0100m1dnight(~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds)
2025-11-17 20:20:01 +0100 <hololeap> there's also this thing from lens: (??) :: Functor f => f (a -> b) -> a -> f b
2025-11-17 20:19:00 +0100 <monochrom> err, (\f -> f x) <$> fs
2025-11-17 20:18:37 +0100 <monochrom> = (\f -> f x) <*> fs
2025-11-17 20:16:23 +0100 <monochrom> Wait, there is a law about fs <*> pure x.
2025-11-17 20:15:26 +0100tromp(~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) (Read error: Connection reset by peer)
2025-11-17 20:15:15 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-17 20:11:29 +0100m1dnight(~m1dnight@d8D861A17.access.telenet.be) m1dnight
2025-11-17 20:06:18 +0100m1dnight(~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 260 seconds)
2025-11-17 20:03:32 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-11-17 19:57:41 +0100Nachtgespenst(~user@user/siracusa) siracusa
2025-11-17 19:57:17 +0100Xe_Xe
2025-11-17 19:56:56 +0100m1dnight(~m1dnight@d8D861A17.access.telenet.be) m1dnight