Newest at the top
2025-04-17 00:18:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-17 00:18:20 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:322:62f9:6518:a6a8) hgolden |
2025-04-17 00:15:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-17 00:13:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c0e6:9a43:de22:8c0a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-17 00:10:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-17 00:07:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-17 00:07:01 +0200 | jespada | (~jespada@r190-133-10-247.dialup.adsl.anteldata.net.uy) jespada |
2025-04-17 00:03:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-17 00:02:30 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
2025-04-17 00:02:25 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-17 00:01:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-16 23:49:21 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:e035:2729:333c:ea) |
2025-04-16 23:49:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-16 23:48:28 +0200 | inca | (~inca@71.30.233.213) |
2025-04-16 23:42:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-16 23:40:19 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
2025-04-16 23:38:40 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-04-16 23:35:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
2025-04-16 23:34:55 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-16 23:31:59 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-04-16 23:31:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-16 23:30:41 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2025-04-16 23:29:15 +0200 | inca | (~inca@71.30.233.213) |
2025-04-16 23:28:21 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 248 seconds) |
2025-04-16 23:26:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-16 23:23:46 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-04-16 23:20:21 +0200 | Inst | (~Inst@user/Inst) Inst |
2025-04-16 23:20:12 +0200 | <haskellbridge> | <Liamzee> that's the most important trait! :3 |
2025-04-16 23:17:48 +0200 | <tomsmeding> | also a nice guy |
2025-04-16 23:17:32 +0200 | inca | (~inca@71.30.233.213) |
2025-04-16 23:16:36 +0200 | <haskellbridge> | <Liamzee> Groq engineer, Vice Chair, Vice Treasurer of Haskell Foundation |
2025-04-16 23:15:37 +0200 | <haskellbridge> | <Liamzee> "tom from bluefin" |
2025-04-16 23:15:32 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
2025-04-16 23:15:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-16 23:14:15 +0200 | <EvanR> | who |
2025-04-16 23:12:40 +0200 | <haskellbridge> | <Liamzee> my counterpoint is that you can just ditch bluefin for loops by going straight to foldr |
2025-04-16 23:12:21 +0200 | <haskellbridge> | <Liamzee> since you'd get the short-circuiting behavior and potentially unrestricted effects via for_ + bluefin |
2025-04-16 23:11:38 +0200 | <haskellbridge> | <Liamzee> was that you could reconstruct imperative programming just by combining Bluefin with For |
2025-04-16 23:11:20 +0200 | <haskellbridge> | <Liamzee> afaik tomjaguarpaw / Tom Ellis's point |
2025-04-16 23:11:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-16 23:09:22 +0200 | <c_wraith> | the true danger of being a foundational computer scientist |
2025-04-16 23:09:00 +0200 | <EvanR> | fine. *puts ackermann on a boat to Valinor* |
2025-04-16 23:07:56 +0200 | <c_wraith> | but it is very uncommon to need more :) |
2025-04-16 23:07:28 +0200 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
2025-04-16 23:06:34 +0200 | <EvanR> | so after this tiny quest we come back to the shire and conclude, no, foldr is not all you need xD |
2025-04-16 23:03:52 +0200 | inca | (~inca@71.30.233.213) |
2025-04-16 23:02:59 +0200 | <c_wraith> | that's the main reason anyone knows about it. It was the first example used to demonstrate primitive recursion is less powerful than general recursion |
2025-04-16 23:02:34 +0200 | <c_wraith> | yes |
2025-04-16 23:02:31 +0200 | <EvanR> | so ackermann is recursive but not primitive recursive |
2025-04-16 23:01:49 +0200 | <c_wraith> | definte ackerman on the length of lists |