2025/08/03

Newest at the top

2025-08-03 14:02:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-03 14:02:18 +0200krei-se(~krei-se@p3ee0f67c.dip0.t-ipconnect.de) krei-se
2025-08-03 13:58:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 13:55:15 +0200krei-se(~krei-se@p3ee0f67c.dip0.t-ipconnect.de) (Remote host closed the connection)
2025-08-03 13:55:07 +0200krei-se(~krei-se@p3ee0f67c.dip0.t-ipconnect.de) krei-se
2025-08-03 13:53:22 +0200fizbin(~fizbin@user/fizbin) (Read error: Connection reset by peer)
2025-08-03 13:53:13 +0200sprotte24(~sprotte24@p200300d16f12c90091062a35ec430294.dip0.t-ipconnect.de)
2025-08-03 13:52:50 +0200krei-se(~krei-se@p200300f1cf2fbd010000000000009569.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-03 13:47:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 13:47:15 +0200fizbin(~fizbin@user/fizbin) fizbin
2025-08-03 13:47:15 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Changing host)
2025-08-03 13:46:41 +0200fizbin_fizbin
2025-08-03 13:43:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 13:40:59 +0200pera(~pera@user/pera) (Quit: leaving)
2025-08-03 13:38:59 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Ping timeout: 260 seconds)
2025-08-03 13:35:07 +0200fizbin_(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5)
2025-08-03 13:32:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 13:31:29 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-03 13:27:25 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-03 13:26:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 13:25:49 +0200pera(~pera@user/pera) pera
2025-08-03 13:23:41 +0200Lord_of_Life_Lord_of_Life
2025-08-03 13:21:08 +0200euouae(~euouae@user/euouae) ()
2025-08-03 13:20:58 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2025-08-03 13:20:57 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-03 13:19:29 +0200 <lambdabot> 120
2025-08-03 13:19:28 +0200 <Ezic> > fix (\f x -> if x == 0 then 1 else x * f (x-1)) 5
2025-08-03 13:18:53 +0200 <lambdabot> mueval-core: Time limit exceeded
2025-08-03 13:18:46 +0200 <Ezic> > fix (\f x -> x * f (x-1)) 5
2025-08-03 13:15:55 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 13:15:41 +0200 <lambdabot> Control.Monad.Instances fmap :: Functor f => (a -> b) -> f a -> f b
2025-08-03 13:15:41 +0200 <lambdabot> Control.Monad fmap :: Functor f => (a -> b) -> f a -> f b
2025-08-03 13:15:41 +0200 <lambdabot> Prelude fmap :: Functor f => (a -> b) -> f a -> f b
2025-08-03 13:15:41 +0200 <Ezic> @hoogle fmap
2025-08-03 13:13:32 +0200Ezic(~Ezic@2a02:a31c:2d8:4400:6424:8966:5ad2:3460)
2025-08-03 13:13:25 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf)
2025-08-03 13:13:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 13:11:13 +0200trickard_trickard
2025-08-03 13:08:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 13:07:18 +0200 <euouae> okay got it
2025-08-03 13:02:48 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2025-08-03 13:01:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-08-03 12:58:33 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 12:58:22 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 12:57:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-03 12:57:25 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-03 12:56:44 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5)
2025-08-03 12:53:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 12:52:11 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Read error: Connection reset by peer)
2025-08-03 12:50:48 +0200caubert(~caubert@user/caubert) caubert