Newest at the top
| 2025-04-25 21:57:27 +0200 | <EvanR> | if you switch to APL you could reduce the size of the code further |
| 2025-04-25 21:55:22 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-04-25 21:55:06 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-25 21:54:45 +0200 | <haskellbridge> | <hellwolf> in contrast to in linear-base: Ur, Unrestricted unciditionally. |
| 2025-04-25 21:54:22 +0200 | <haskellbridge> | <hellwolf> Uv: the enclosed data that is (U)stricted in (v)ersion |
| 2025-04-25 21:54:10 +0200 | <haskellbridge> | <hellwolf> Rv: the enclosed data that is (R)stricted in (v)ersion |
| 2025-04-25 21:53:38 +0200 | <mauke> | ph'nglui mglw'nafh |
| 2025-04-25 21:52:21 +0200 | <haskellbridge> | <hellwolf> s/if/when/ |
| 2025-04-25 21:52:10 +0200 | <haskellbridge> | <hellwolf> if I create an enterprise edition for IBM I shall do so |
| 2025-04-25 21:51:55 +0200 | <haskellbridge> | <hellwolf> how many characters limit Haskell function allows |
| 2025-04-25 21:51:34 +0200 | <EvanR> | why didn't you just say so! |
| 2025-04-25 21:51:33 +0200 | <haskellbridge> | <hellwolf> "yul" is defined elsewhere without further explanation |
| 2025-04-25 21:50:28 +0200 | <haskellbridge> | <hellwolf> 😆 |
| 2025-04-25 21:50:24 +0200 | <haskellbridge> | <hellwolf> in short $lfn $ ylvm'pv |
| 2025-04-25 21:50:02 +0200 | <haskellbridge> | <hellwolf> a linear function (lfn), which is definited as a yul linearly versioned monad, pure input versioned output |
| 2025-04-25 21:49:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-25 21:49:01 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 21:47:23 +0200 | <EvanR> | honestly I can't figure out how to justify ylvm'pv |
| 2025-04-25 21:46:11 +0200 | <haskellbridge> | <hellwolf> I guess that's the curse of eDSL without more metaprogramming or temolating: there are magic spells. |
| 2025-04-25 21:46:11 +0200 | <EvanR> | you've not experienced haskell until you read it in the original klingon |
| 2025-04-25 21:45:50 +0200 | <int-e> | . o O ( Q: What does "Qzyzzalroum" mean in English usage? A: It means you should start the crossword over. ) |
| 2025-04-25 21:45:43 +0200 | <haskellbridge> | <hellwolf> otherwise you'd curse when typing them |
| 2025-04-25 21:45:32 +0200 | <haskellbridge> | <hellwolf> if things get reparative, I make it a magic spell |
| 2025-04-25 21:44:29 +0200 | <mauke> | well, that's at least more plausible as an english word |
| 2025-04-25 21:44:27 +0200 | <EvanR> | rot13ing leaves it effectively the same |
| 2025-04-25 21:44:06 +0200 | <preflex> | lyiz'ci |
| 2025-04-25 21:44:06 +0200 | <mauke> | preflex: rot13 ylvm'pv |
| 2025-04-25 21:43:48 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-04-25 21:43:43 +0200 | <mauke> | that looks rot13'd |
| 2025-04-25 21:43:30 +0200 | <EvanR> | please tell me it does something like accursedUnutterablePerformIO or causes the program to doubly feed back into itself via laziness |
| 2025-04-25 21:42:28 +0200 | <haskellbridge> | <hellwolf> a few magic spells indeed |
| 2025-04-25 21:42:19 +0200 | <haskellbridge> | <hellwolf> yes |
| 2025-04-25 21:42:15 +0200 | <haskellbridge> | <hellwolf> haha |
| 2025-04-25 21:42:09 +0200 | <EvanR> | to spice it up |
| 2025-04-25 21:41:45 +0200 | <EvanR> | and this: ylvm'pv |
| 2025-04-25 21:41:41 +0200 | <EvanR> | I like how there's a healthy stew of fully readable spelled out words |
| 2025-04-25 21:41:35 +0200 | Digit | (~user@user/digit) Digit |
| 2025-04-25 21:40:25 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-04-25 21:38:00 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-25 21:37:50 +0200 | <haskellbridge> | https://paste.tomsmeding.com/wu0WNZ8A |
| 2025-04-25 21:37:50 +0200 | <haskellbridge> | <hellwolf> which part of this syntax still looks odd to a Haskeller |
| 2025-04-25 21:37:28 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-04-25 21:37:14 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-25 21:31:36 +0200 | Digit | (~user@user/digit) Digit |
| 2025-04-25 21:25:06 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-04-25 21:22:17 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-04-25 21:22:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 21:22:00 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-25 21:18:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 21:16:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |