2026/04/29

Newest at the top

2026-04-29 12:51:56 +0000 <yin> ski: no thanks
2026-04-29 12:51:02 +0000Pozyomka(~pyon@user/pyon) pyon
2026-04-29 12:50:24 +0000Googulator15(~Googulato@78-131-16-66.pool.digikabel.hu)
2026-04-29 12:49:54 +0000Googulator15(~Googulato@78-131-16-66.pool.digikabel.hu) (Quit: Client closed)
2026-04-29 12:48:28 +0000bkani(~bkani@user/bkani) bkani
2026-04-29 12:48:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-29 12:47:34 +0000haritz(~hrtz@user/haritz) haritz
2026-04-29 12:47:34 +0000haritz(~hrtz@140.228.70.141) (Changing host)
2026-04-29 12:47:34 +0000haritz(~hrtz@140.228.70.141)
2026-04-29 12:45:03 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-04-29 12:43:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-29 12:40:52 +0000pavonia(~user@user/siracusa) siracusa
2026-04-29 12:31:44 +0000comonad(~comonad@pd9e07bc5.dip0.t-ipconnect.de)
2026-04-29 12:31:27 +0000fp1(~Thunderbi@130.233.70.229) (Remote host closed the connection)
2026-04-29 12:25:34 +0000comonad(~comonad@p200300d027288000c87b63c79bf92a6b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2026-04-29 12:23:16 +0000tromp(~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-04-29 12:22:02 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2026-04-29 12:16:57 +0000xff0x(~xff0x@131.129.206.235)
2026-04-29 12:10:38 +0000[dpk]dpk
2026-04-29 12:10:37 +0000lantti(~lantti@xcalibur.cc.tut.fi)
2026-04-29 12:10:09 +0000absence(torgeihe@hildring.pvv.ntnu.no)
2026-04-29 12:10:06 +0000aku(aku@65.108.245.241) eagleflo
2026-04-29 12:10:06 +0000xerox(~edi@user/edi) edi
2026-04-29 12:09:57 +0000 <ski> yin : `(.:) = (.) . (.)'
2026-04-29 12:09:05 +0000rabbull7rabbull
2026-04-29 12:09:05 +0000rabbull(~rabbull@user/rabbull) (Ping timeout: 244 seconds)
2026-04-29 12:08:34 +0000nmeum(~nmeum@barium.8pit.net) (Ping timeout: 244 seconds)
2026-04-29 12:08:34 +0000absence_(torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 244 seconds)
2026-04-29 12:08:34 +0000lantti_(~lantti@xcalibur.cc.tut.fi) (Ping timeout: 244 seconds)
2026-04-29 12:08:34 +0000dpk(~dpk@jains.nonceword.org) (Ping timeout: 244 seconds)
2026-04-29 12:08:16 +0000tromp(~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60)
2026-04-29 12:08:03 +0000xerox(~edi@user/edi) (Ping timeout: 244 seconds)
2026-04-29 12:08:03 +0000aku(aku@65.108.245.241) (Ping timeout: 244 seconds)
2026-04-29 12:08:01 +0000[dpk](~dpk@jains.nonceword.org)
2026-04-29 12:07:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-29 12:07:08 +0000rabbull7(~rabbull@user/rabbull) rabbull
2026-04-29 12:06:06 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-04-29 12:04:51 +0000Enrico63(~Enrico63@85.255.235.90) Enrico63
2026-04-29 12:04:01 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline
2026-04-29 12:03:34 +0000rscastilho1(~rscastilh@user/rscastilho1) (Remote host closed the connection)
2026-04-29 12:03:24 +0000rscastilho1(~rscastilh@user/rscastilho1) rscastilho1
2026-04-29 12:03:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-29 11:57:04 +0000Pozyomka(~pyon@user/pyon) (Client Quit)
2026-04-29 11:53:39 +0000Pozyomka(~pyon@user/pyon) pyon
2026-04-29 11:53:10 +0000weary-traveler(~user@user/user363627) user363627
2026-04-29 11:49:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-29 11:48:26 +0000 <yin> right
2026-04-29 11:48:20 +0000 <lambdabot> f = (h .) . g
2026-04-29 11:48:20 +0000 <yin> @pl f a = h . g a
2026-04-29 11:47:44 +0000 <lambdabot> f = (h .) . g