Newest at the top
| 2025-03-27 05:56:30 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-03-27 05:55:57 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-03-27 05:55:55 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-03-27 05:52:35 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-03-27 05:50:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-27 05:49:52 +0100 | <haskellbridge> | <Liamzee> do you still remember alt 0233 on windows? |
| 2025-03-27 05:48:39 +0100 | <haskellbridge> | <Liamzee> no idea what it is in kde |
| 2025-03-27 05:46:54 +0100 | <haskellbridge> | <Liamzee> ctrl shift u 0009 on gnome |
| 2025-03-27 05:46:12 +0100 | <haskellbridge> | <Bowuigi> That's why some people prefer spaces over tabs |
| 2025-03-27 05:45:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-27 05:42:13 +0100 | michalz | (~michalz@185.246.207.197) |
| 2025-03-27 05:36:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-27 05:35:25 +0100 | <EvanR> | I can't indent in hexchat because tab changes widget focus |
| 2025-03-27 05:35:02 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-27 05:33:14 +0100 | aforemny | (~aforemny@2001:9e8:6cc1:be00:edce:fe13:a80e:d4b5) (Ping timeout: 272 seconds) |
| 2025-03-27 05:32:25 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-27 05:31:38 +0100 | aforemny_ | (~aforemny@2001:9e8:6cdb:6d00:dc2e:87c9:d5a9:a75) aforemny |
| 2025-03-27 05:31:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-27 05:30:44 +0100 | <EvanR> | indentation... |
| 2025-03-27 05:30:01 +0100 | <monochrom> | No! This is how indentation was invented! |
| 2025-03-27 05:28:21 +0100 | <EvanR> | and this is how derivation trees were invented |
| 2025-03-27 05:26:09 +0100 | <haskellbridge> | <Liamzee> the actual challenge in the exercise tbh is explaining what's happening concisely |
| 2025-03-27 05:26:00 +0100 | <haskellbridge> | <Liamzee> plug in, (a -> (old b) -> c) -> (a -> c), with a unifying with u on the older form and c unifying with v on the older form |
| 2025-03-27 05:25:17 +0100 | <haskellbridge> | <Liamzee> in u -> v -> w |
| 2025-03-27 05:24:20 +0100 | <haskellbridge> | <Liamzee> flip is, let u = (a -> b -> c), v = b, w = (a -> c) |
| 2025-03-27 05:23:24 +0100 | <haskellbridge> | <Liamzee> in terms of types, the (...) is unused but propagates |
| 2025-03-27 05:22:53 +0100 | <haskellbridge> | <Liamzee> since it's (a -> (...) -> c) -> (a -> c) |
| 2025-03-27 05:22:39 +0100 | <haskellbridge> | <Bowuigi> Nvm I can't read |
| 2025-03-27 05:22:24 +0100 | <haskellbridge> | <Liamzee> once you figure out the trick at 3 layers to 4, you don't need to do anything more |
| 2025-03-27 05:22:22 +0100 | <monochrom> | [exa]: We now have a new dreaded example for your minihm! flip flip flip flip flip ... |
| 2025-03-27 05:22:15 +0100 | <haskellbridge> | <Bowuigi> It became contravariant at some point |
| 2025-03-27 05:20:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-27 05:20:53 +0100 | <lambdabot> | Functor f => (a1 -> b) -> (a2 -> a1) -> f a2 -> f b |
| 2025-03-27 05:20:53 +0100 | <EvanR> | :t fmap fmap fmap fmap fmap |
| 2025-03-27 05:20:46 +0100 | <haskellbridge> | <Bowuigi> You need to flip it two more times in half the time |
| 2025-03-27 05:20:29 +0100 | <haskellbridge> | <Liamzee> ack |
| 2025-03-27 05:20:19 +0100 | <haskellbridge> | <Bowuigi> It says half an afternoon for 'flip flip' to 'flip flip flip flip flip' |
| 2025-03-27 05:19:57 +0100 | <EvanR> | that's so much more useful than pointless |
| 2025-03-27 05:19:36 +0100 | <lambdabot> | f a b = a b (\ c d e -> c e d) |
| 2025-03-27 05:19:36 +0100 | <EvanR> | @djinn (u -> ( (a -> b -> c) -> b -> a -> c) -> v) -> (u -> v) |
| 2025-03-27 05:18:41 +0100 | <haskellbridge> | <Liamzee> scroll up, yin posted the puzzle and their time "one afternoon" |
| 2025-03-27 05:18:16 +0100 | <EvanR> | is this a djinn question |
| 2025-03-27 05:18:03 +0100 | <haskellbridge> | <Liamzee> so the answer is at flip flip flip, hmmm, not sure if anyone else is doing it and i'd spoil anyone? |
| 2025-03-27 05:17:40 +0100 | <haskellbridge> | <Liamzee> (u -> ( (a -> b -> c) -> b -> a -> c) -> v) -> (u -> v) |
| 2025-03-27 05:17:36 +0100 | <EvanR> | amazon delivers in 1/infinity days |
| 2025-03-27 05:17:19 +0100 | <EvanR> | malloc never fails, infinite memory |
| 2025-03-27 05:16:48 +0100 | <haskellbridge> | <Liamzee> didn't beat yin |
| 2025-03-27 05:16:45 +0100 | <haskellbridge> | <Liamzee> ugh, 2 hours |
| 2025-03-27 05:16:44 +0100 | <monochrom> | I like ultrainfinitism. |
| 2025-03-27 05:16:42 +0100 | <haskellbridge> | <Liamzee> finally |