2024/05/30

Newest at the top

2024-05-30 06:56:24 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2024-05-30 06:55:56 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-05-30 06:32:35 +0200hueso(~root@user/hueso)
2024-05-30 06:31:55 +0200slack1256(~slack1256@2803:c600:5111:80cb:837c:2c1d:c5e2:53d8)
2024-05-30 06:28:45 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
2024-05-30 06:20:06 +0200hueso(~root@user/hueso) (Ping timeout: 255 seconds)
2024-05-30 06:14:50 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2024-05-30 06:13:35 +0200Square(~Square@user/square)
2024-05-30 06:12:40 +0200Square2(~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 +0200xdminsy(~xdminsy@117.147.70.212) (Quit: Konversation terminated!)
2024-05-30 05:23:23 +0200aforemny_(~aforemny@i59F516FB.versanet.de) (Ping timeout: 264 seconds)
2024-05-30 05:21:56 +0200aforemny(~aforemny@i59F516CD.versanet.de)
2024-05-30 05:08:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-30 04:56:13 +0200td_(~td@i5387090B.versanet.de)
2024-05-30 04:54:36 +0200td_(~td@i5387092A.versanet.de) (Ping timeout: 255 seconds)
2024-05-30 04:53:46 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-30 04:49:14 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-05-30 04:48:48 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds)
2024-05-30 04:44:06 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 04:43:49 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds)
2024-05-30 04:43:04 +0200philopsos1(~caecilius@user/philopsos)
2024-05-30 04:41:49 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-30 04:40:58 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-05-30 04:40:04 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-05-30 04:37:22 +0200philopsos(~caecilius@user/philopsos) (Quit: Lost terminal)
2024-05-30 04:29:48 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds)
2024-05-30 04:25:59 +0200fizbin_(~fizbin@user/fizbin) (Ping timeout: 268 seconds)
2024-05-30 04:25:42 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 04:24:05 +0200dyniec(~dyniec@dybiec.info) (Quit: WeeChat 4.1.1)
2024-05-30 04:22:17 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds)
2024-05-30 04:15:31 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 04:12:08 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds)
2024-05-30 04:05:51 +0200xff0x(~xff0x@2405:6580:b080:900:e725:dcc9:2cf0:4d32) (Ping timeout: 260 seconds)
2024-05-30 04:05:41 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 04:03:07 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-30 04:02:02 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-30 03:59:28 +0200xff0x(~xff0x@2405:6580:b080:900:e725:dcc9:2cf0:4d32)
2024-05-30 03:54:11 +0200xff0x(~xff0x@2405:6580:b080:900:e74f:f72b:d715:de1d) (Ping timeout: 256 seconds)
2024-05-30 03:52:47 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-05-30 03:39:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-30 03:33:31 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-05-30 03:11:41 +0200pounce(~pounce@user/cute/pounce)
2024-05-30 03:10:58 +0200Hafydd(~Hafydd@user/hafydd)
2024-05-30 03:10:37 +0200Hafydd(~Hafydd@user/hafydd) (Ping timeout: 246 seconds)
2024-05-30 03:09:17 +0200pounce(~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)