2026/03/04

Newest at the top

2026-03-04 07:55:06 +0100YuutaW(~YuutaW@infornography.yta.moe) (Ping timeout: 246 seconds)
2026-03-04 07:54:19 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-04 07:54:15 +0100aaronv(~aaron@2601:602:8d00:c320:b014:9655:9aad:3580)
2026-03-04 07:50:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 07:47:04 +0100 <lambdabot> Int
2026-03-04 07:47:03 +0100 <mauke> :t run (\f -> length (f "hi"))
2026-03-04 07:46:05 +0100 <lambdabot> ((a -> a) -> t) -> t
2026-03-04 07:46:04 +0100 <mauke> :t run
2026-03-04 07:45:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 07:45:13 +0100 <lambdabot> <hint>:1:1: error: parse error on input `:'
2026-03-04 07:45:12 +0100 <jackdk> > :t run
2026-03-04 07:32:35 +0100tusko(~uwu@user/tusko) tusko
2026-03-04 07:28:38 +0100tusko(~uwu@user/tusko) (Client Quit)
2026-03-04 07:27:15 +0100tusko(~uwu@user/tusko) tusko
2026-03-04 07:26:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-04 07:26:32 +0100RMSBach(~RMSBach@24.210.9.182) RMSBach
2026-03-04 07:26:04 +0100rainbyte(~rainbyte@186.22.19.220) rainbyte
2026-03-04 07:25:39 +0100rainbyte(~rainbyte@186.22.19.220) (Remote host closed the connection)
2026-03-04 07:24:44 +0100tusko(~uwu@user/tusko) (Client Quit)
2026-03-04 07:24:22 +0100tusko(~uwu@user/tusko) tusko
2026-03-04 07:24:19 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-03-04 07:22:21 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-03-04 07:22:19 +0100Pozyomka(~pyon@user/pyon) (Ping timeout: 268 seconds)
2026-03-04 07:22:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 07:21:36 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-03-04 07:19:58 +0100cawfee(root@2401:c080:3800:3460::babe) qjqqyy
2026-03-04 07:15:18 +0100cawfee(root@2401:c080:3800:3460::babe) (Ping timeout: 268 seconds)
2026-03-04 07:11:50 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds)
2026-03-04 07:11:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-04 07:06:55 +0100 <lambdabot> 5
2026-03-04 07:06:54 +0100 <ski> > run (push 1 . push 2 . dup . rot . plus . times)
2026-03-04 07:06:48 +0100 <lambdabot> 9
2026-03-04 07:06:47 +0100 <ski> > run (push 1 . push 2 . push (+) . apply . apply . push 3 . push (*) . apply . apply)
2026-03-04 07:06:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 07:02:35 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-03-04 07:02:20 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 258 seconds)
2026-03-04 07:01:46 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-03-04 06:52:39 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-04 06:50:38 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-03-04 06:45:10 +0100jtnuttall(~jeremy@user/jeremyn) (Remote host closed the connection)
2026-03-04 06:42:42 +0100arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-03-04 06:40:35 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-04 06:39:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-04 06:39:29 +0100CallipygousPepe(~reuben@user/CallipygousPepe) CallipygousPepe
2026-03-04 06:34:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 06:29:23 +0100michalz(~michalz@185.246.207.217)
2026-03-04 06:26:12 +0100rekahsoft(~rekahsoft@76.67.111.168) (Remote host closed the connection)
2026-03-04 06:23:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 06:22:16 +0100mange(~mange@user/mange) (Ping timeout: 268 seconds)
2026-03-04 06:16:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn