2024/05/30

Newest at the top

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)
2024-05-30 02:49:42 +0200 <Leary> Franciman: The way to run untyped lambda calculus in Haskell with no overhead is to write it in `newtype LC = Lam{ ($$) :: LC -> LC }`. The issue with this representation is that there's no safe way to feed typed Haskell values in and get them back out at the end, but if you take on the responsibility of the type checker, you can just use unsafeCoerce. E.g. `fix :: (a -> a) -> a; fix = unsafeCoerce $ Lam \f -> let y = Lam \x -> f $$ (x $$ x) in y $$ y`
2024-05-30 02:46:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-30 02:44:06 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 02:43:33 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-30 02:38:25 +0200gentauro(~gentauro@user/gentauro)
2024-05-30 02:37:44 +0200califax(~califax@user/califx)
2024-05-30 02:35:19 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-30 02:33:34 +0200fizbin_(~fizbin@user/fizbin)
2024-05-30 02:33:00 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-05-30 02:23:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-05-30 02:21:25 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-05-30 02:19:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-30 02:09:56 +0200causal(~eric@50.35.88.207)