Newest at the top
2024-05-30 06:56:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
2024-05-30 06:55:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-05-30 06:32:35 +0200 | hueso | (~root@user/hueso) |
2024-05-30 06:31:55 +0200 | slack1256 | (~slack1256@2803:c600:5111:80cb:837c:2c1d:c5e2:53d8) |
2024-05-30 06:28:45 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
2024-05-30 06:20:06 +0200 | hueso | (~root@user/hueso) (Ping timeout: 255 seconds) |
2024-05-30 06:14:50 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2024-05-30 06:13:35 +0200 | Square | (~Square@user/square) |
2024-05-30 06:12:40 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
2024-05-30 06:02:50 +0200 | <probie> | mjrosenb: the problem is that GHC doesn't _stop_ simplifying it |
2024-05-30 05:56:36 +0200 | <mjrosenb> | gotcha. I was going to say, you can simplify it any amount and it'll still be valid. |
2024-05-30 05:54:42 +0200 | <Leary> | mjrosenb: `Y f` "simplifies" to `f (Y f)`, which "simplifies" to `f (f (Y f))`, ad infinitum. |
2024-05-30 05:52:29 +0200 | <mjrosenb> | Leary: what does it simplify it to? |
2024-05-30 05:26:21 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Quit: Konversation terminated!) |
2024-05-30 05:23:23 +0200 | aforemny_ | (~aforemny@i59F516FB.versanet.de) (Ping timeout: 264 seconds) |
2024-05-30 05:21:56 +0200 | aforemny | (~aforemny@i59F516CD.versanet.de) |
2024-05-30 05:08:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-05-30 04:56:13 +0200 | td_ | (~td@i5387090B.versanet.de) |
2024-05-30 04:54:36 +0200 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 255 seconds) |
2024-05-30 04:53:46 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-05-30 04:49:14 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-30 04:48:48 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
2024-05-30 04:44:06 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-30 04:43:49 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
2024-05-30 04:43:04 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-30 04:41:49 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-30 04:40:58 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
2024-05-30 04:40:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-05-30 04:37:22 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2024-05-30 04:29:48 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-05-30 04:25:59 +0200 | fizbin_ | (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
2024-05-30 04:25:42 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-30 04:24:05 +0200 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.1.1) |
2024-05-30 04:22:17 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
2024-05-30 04:15:31 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-30 04:12:08 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
2024-05-30 04:05:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e725:dcc9:2cf0:4d32) (Ping timeout: 260 seconds) |
2024-05-30 04:05:41 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-30 04:03:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-30 04:02:02 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
2024-05-30 03:59:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e725:dcc9:2cf0:4d32) |
2024-05-30 03:54:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e74f:f72b:d715:de1d) (Ping timeout: 256 seconds) |
2024-05-30 03:52:47 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2024-05-30 03:39:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-30 03:33:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
2024-05-30 03:11:41 +0200 | pounce | (~pounce@user/cute/pounce) |
2024-05-30 03:10:58 +0200 | Hafydd | (~Hafydd@user/hafydd) |
2024-05-30 03:10:37 +0200 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 246 seconds) |
2024-05-30 03:09:17 +0200 | pounce | (~pounce@user/cute/pounce) (Ping timeout: 256 seconds) |
2024-05-30 02:53:09 +0200 | <Leary> | (though technically, due to a wontfix GHC bug, you need to {-# NOINLINE y #-} to prevent the simplifier from "simplifying" the Y combinator) |