Newest at the top
| 2026-03-04 00:31:21 +0100 | <yin> | this is great |
| 2026-03-04 00:29:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 00:28:34 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-04 00:25:41 +0100 | <int-e> | There are definitely continuations here. (That's why I like calling the argument 'c'. Though I messed up above; \c -> 0 should've been \f -> 0; it is a continuation but the argument isn't) |
| 2026-03-04 00:24:43 +0100 | <yin> | is this technically cps? it feels like cps |
| 2026-03-04 00:24:40 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-03-04 00:24:35 +0100 | <int-e> | I think the best I've ever come up with myself was pred = \n f x -> n (\c a b -> c b (f b)) (\a b -> a) x x |
| 2026-03-04 00:24:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 00:23:35 +0100 | mange | (~mange@user/mange) (Quit: Bye!) |
| 2026-03-04 00:22:52 +0100 | <int-e> | I've seen the lambda term before. I'm quite familiar with some of the themes around Church numerals. |
| 2026-03-04 00:22:07 +0100 | <yin> | did you derive it? it took me a long time to understand your version (it also took me a long time to understand mine) |
| 2026-03-04 00:20:47 +0100 | <int-e> | yin: that's where it came from |
| 2026-03-04 00:19:45 +0100 | <yin> | int-e: nice. you're extracting values from a pair with `c :: (Word -> Word) -> Word` right? that's equivalent to my `pre` |
| 2026-03-04 00:15:53 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-04 00:13:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 00:11:53 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-04 00:11:16 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-03-04 00:11:16 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-03-04 00:11:16 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2026-03-04 00:10:59 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-03-04 00:08:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 00:04:59 +0100 | kilolympus6 | kilolympus |
| 2026-03-04 00:04:59 +0100 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Read error: Connection reset by peer) |
| 2026-03-04 00:04:48 +0100 | kilolympus6 | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-03-04 00:04:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-04 00:01:53 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-04 00:01:00 +0100 | shr\ke | (~shrike@user/shrke:31298) (Ping timeout: 245 seconds) |
| 2026-03-03 23:59:39 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 23:57:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-03 23:56:48 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-03 23:52:55 +0100 | <yin> | trying to parse that.. |
| 2026-03-03 23:52:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 23:48:51 +0100 | <lambdabot> | 41 |
| 2026-03-03 23:48:50 +0100 | <int-e> | > (iterate (\c f -> f (c succ)) (\c -> 0) !! 42) id |
| 2026-03-03 23:45:19 +0100 | <yin> | int-e: and you responded with that exactly |
| 2026-03-03 23:43:47 +0100 | <yin> | a week ago |
| 2026-03-03 23:43:12 +0100 | <lambdabot> | uncurry g . (id && f) |
| 2026-03-03 23:43:12 +0100 | <yin> | @pl uncurry g . (id && f) |
| 2026-03-03 23:42:59 +0100 | <yin> | i was looking for |
| 2026-03-03 23:42:26 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 2026-03-03 23:41:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 23:41:31 +0100 | <int-e> | also known as <*>... didn't we do this yesterday or two days ago |
| 2026-03-03 23:41:10 +0100 | <lambdabot> | ap |
| 2026-03-03 23:41:10 +0100 | <int-e> | @pl \f g x -> f x (g x) |
| 2026-03-03 23:39:19 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 23:38:29 +0100 | <yin> | is that <*> ? |
| 2026-03-03 23:37:10 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2026-03-03 23:36:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 23:34:36 +0100 | <chromoblob> | parts* |
| 2026-03-03 23:34:32 +0100 | <chromoblob> | or split only the right partd |