2024/10/10

Newest at the top

2024-10-10 10:22:05 +0200danza(~danza@user/danza) (Remote host closed the connection)
2024-10-10 10:17:40 +0200danza(~danza@user/danza) danza
2024-10-10 10:17:28 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-10-10 10:17:27 +0200danza(~danza@user/danza) (Remote host closed the connection)
2024-10-10 10:15:27 +0200euleritian(~euleritia@dynamic-176-006-135-046.176.6.pool.telefonica.de)
2024-10-10 10:15:19 +0200Guest78(~Guest78@c-98-232-218-193.hsd1.or.comcast.net)
2024-10-10 10:14:54 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2024-10-10 10:10:37 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-10 10:10:08 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-10-10 10:09:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-10 10:09:26 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-10 10:08:47 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-10 10:02:44 +0200ash3en(~Thunderbi@149.222.134.179) ash3en
2024-10-10 10:02:06 +0200CiaoSen(~Jura@2a05:5800:224:6a00:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-10 09:56:22 +0200 <kqr> okay not better but I'm good with what I have
2024-10-10 09:56:12 +0200 <lambdabot> flip all [f, g, h] . flip id
2024-10-10 09:56:12 +0200 <kqr> @pl \x -> all ($ x) [f, g, h]
2024-10-10 09:55:04 +0200 <kqr> Wait that's because I've mixed up all and and!
2024-10-10 09:51:08 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-10-10 09:48:37 +0200vpan(~vpan@212.117.1.172)
2024-10-10 09:48:00 +0200danza(~danza@user/danza) danza
2024-10-10 09:47:45 +0200danza(~danza@user/danza) (Remote host closed the connection)
2024-10-10 09:47:12 +0200 <kqr> Okay. Not quite what I hoped for.
2024-10-10 09:46:52 +0200 <lambdabot> all . liftM2 (:) f (liftM2 (:) g (return . h))
2024-10-10 09:46:52 +0200 <kqr> @pl \x -> all [f x, g x, h x]
2024-10-10 09:40:33 +0200hendi(~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Quit: Leaving)
2024-10-10 09:32:27 +0200hendi(~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi
2024-10-10 09:30:40 +0200hendi(~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Read error: Connection reset by peer)
2024-10-10 09:29:04 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-10-10 09:26:21 +0200danza(~danza@user/danza) danza
2024-10-10 09:26:07 +0200danza(~danza@user/danza) (Remote host closed the connection)
2024-10-10 09:23:38 +0200rosco(~rosco@175.136.22.30) rosco
2024-10-10 09:21:05 +0200akegalj(~akegalj@89-172-211-32.adsl.net.t-com.hr) (Quit: leaving)
2024-10-10 09:13:56 +0200hendi(~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi
2024-10-10 09:12:10 +0200hendi(~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Read error: Connection reset by peer)
2024-10-10 09:09:57 +0200hendi(~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi
2024-10-10 09:09:23 +0200hendi(~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Read error: Connection reset by peer)
2024-10-10 09:09:10 +0200codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-10-10 09:08:23 +0200codaraxis(~codaraxis@user/codaraxis) (Read error: Connection reset by peer)
2024-10-10 09:05:13 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-10 09:00:40 +0200caconym(~caconym@user/caconym) caconym
2024-10-10 09:00:01 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-10 08:51:42 +0200danza(~danza@user/danza) danza
2024-10-10 08:51:23 +0200ft(~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving)
2024-10-10 08:51:02 +0200hendi(~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi
2024-10-10 08:46:11 +0200acidjnk(~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) acidjnk
2024-10-10 08:42:29 +0200kuribas(~user@ptr-17d51emnbpfq1feda6b.18120a2.ip6.access.telenet.be)
2024-10-10 08:34:17 +0200ubert(~Thunderbi@178.165.187.120.wireless.dyn.drei.com) ubert
2024-10-10 08:30:40 +0200floyza(~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2024-10-10 08:27:32 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)