2025/08/16

Newest at the top

2025-08-16 22:00:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 21:56:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 21:50:59 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds)
2025-08-16 21:48:29 +0200remedan(~remedan@78-80-80-127.customers.tmcz.cz) (Server closed connection)
2025-08-16 21:46:27 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-16 21:44:55 +0200ss4(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-08-16 21:35:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-16 21:34:35 +0200weary-traveler(~user@user/user363627) user363627
2025-08-16 21:32:30 +0200ft(~ft@p200300cf3f165900e109d4f322676623.dip0.t-ipconnect.de) ft
2025-08-16 21:31:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 21:27:36 +0200 <hololeap> instance Foldable (Const m) where foldMap _ _ = mempty
2025-08-16 21:27:22 +0200 <hololeap> looks like Const
2025-08-16 21:26:09 +0200ft(~ft@p508db692.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-08-16 21:25:53 +0200 <hololeap> just curious, is there a data type that is Foldable and is always empty? i.e. toList x = []
2025-08-16 21:22:43 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-08-16 21:21:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-16 21:20:36 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-08-16 21:15:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 21:08:36 +0200fp(~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Ping timeout: 256 seconds)
2025-08-16 21:06:08 +0200ss4(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-16 21:05:36 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-08-16 21:03:07 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-16 21:00:43 +0200caconym747(~caconym@user/caconym) caconym
2025-08-16 21:00:03 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-16 20:53:38 +0200fp1fp
2025-08-16 20:53:38 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 244 seconds)
2025-08-16 20:50:15 +0200fp1(~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) fp
2025-08-16 20:49:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 20:47:25 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-16 20:45:55 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-16 20:44:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 20:33:30 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-08-16 20:27:17 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-08-16 20:26:12 +0200poop254(~poop254@148.252.146.221) (Client Quit)
2025-08-16 20:25:02 +0200ss4(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2025-08-16 20:24:28 +0200poop254(~poop254@148.252.146.221)
2025-08-16 20:21:36 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-16 20:20:47 +0200qqe(~qqq@185.54.20.59) (Quit: Lost terminal)
2025-08-16 20:19:17 +0200whatsupboy(~wuboy@user/scobydoo) (Quit: brb)
2025-08-16 20:15:48 +0200acidjnk(~acidjnk@p200300d6e717197388c3d57515e3973f.dip0.t-ipconnect.de) acidjnk
2025-08-16 20:15:28 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-16 20:08:18 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-16 20:08:06 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-16 19:57:19 +0200ljdarj1ljdarj
2025-08-16 19:57:19 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-16 19:53:37 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-16 19:52:06 +0200tv(~tv@user/tv) tv
2025-08-16 19:51:07 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 244 seconds)
2025-08-16 19:45:14 +0200fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 260 seconds)
2025-08-16 19:21:41 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)