| 2024-05-30 00:10:32 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-30 00:11:24 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.84) |
| 2024-05-30 00:12:37 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-30 00:13:40 +0200 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 260 seconds) |
| 2024-05-30 00:15:00 +0200 | AlexNoo | (~AlexNoo@5.139.233.96) (Ping timeout: 268 seconds) |
| 2024-05-30 00:17:24 +0200 | acidjnk | (~acidjnk@p200300d6e714dc60b15ce67d57b130c2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-05-30 00:19:37 +0200 | AlexZenon | (~alzenon@178.34.150.84) |
| 2024-05-30 00:21:55 +0200 | hueso_ | (~root@user/hueso) (Ping timeout: 255 seconds) |
| 2024-05-30 00:22:10 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-05-30 00:28:29 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:e61a:851b:d7b:27e8) (Ping timeout: 256 seconds) |
| 2024-05-30 00:38:59 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-30 00:57:55 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-30 00:58:06 +0200 | hueso | (~root@user/hueso) |
| 2024-05-30 00:58:56 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-05-30 01:13:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-30 01:15:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-30 01:22:12 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-05-30 01:23:07 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-30 01:23:27 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-05-30 01:26:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-05-30 01:32:40 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-30 01:47:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-30 01:48:05 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 252 seconds) |
| 2024-05-30 01:49:37 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-05-30 02:09:56 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-30 02:19:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-30 02:21:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-05-30 02:23:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-30 02:33:00 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-05-30 02:33:34 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-30 02:35:19 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-30 02:37:44 +0200 | califax | (~califax@user/califx) |
| 2024-05-30 02:38:25 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-05-30 02:43:33 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-30 02:44:06 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-30 02:46:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 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: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 03:09:17 +0200 | pounce | (~pounce@user/cute/pounce) (Ping timeout: 256 seconds) |
| 2024-05-30 03:10:37 +0200 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 246 seconds) |
| 2024-05-30 03:10:58 +0200 | Hafydd | (~Hafydd@user/hafydd) |
| 2024-05-30 03:11:41 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2024-05-30 03:33:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-05-30 03:39:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 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:54:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e74f:f72b:d715:de1d) (Ping timeout: 256 seconds) |
| 2024-05-30 03:59:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e725:dcc9:2cf0:4d32) |
| 2024-05-30 04:02:02 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-30 04:03:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-30 04:05:41 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 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:12:08 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 2024-05-30 04:15:31 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |