Newest at the top
| 2025-04-25 23:10:50 +0200 | <EvanR> | haskell is so good at making languages |
| 2025-04-25 23:08:17 +0200 | <EvanR> | I wonder if the type sig for monadN2N is just omitted for the sake of bloggery |
| 2025-04-25 23:06:17 +0200 | takuan | (~takuan@d8d86b601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-25 23:05:48 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-04-25 23:05:29 +0200 | <EvanR> | jargon collision batman |
| 2025-04-25 23:05:20 +0200 | <EvanR> | tinyAPL blog about the implementation almost immediately gets into monads! https://blog.rubenverg.com/tinyapl_1_arrays#array-instances (APL monads that is) |
| 2025-04-25 23:05:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 23:00:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 22:59:20 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-25 22:49:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 22:45:07 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2025-04-25 22:44:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 22:36:05 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-04-25 22:33:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 22:28:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 22:24:48 +0200 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-04-25 22:23:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 22:21:43 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 22:16:40 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 22:13:23 +0200 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2025-04-25 22:11:45 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/eLupUUnZOnJCeOGTbilDFUIK/hEXWGtzhpm4 (3 lines) |
| 2025-04-25 22:11:44 +0200 | <haskellbridge> | <hellwolf> sop-core: "data NP (a :: k -> Type) (b :: [k]) where ..." |
| 2025-04-25 22:09:06 +0200 | <haskellbridge> | <hellwolf> in seriousness, that type application will be eradicated, I have some injectivity issue that is in the way of type inference. I should have just used sop-core from the beginning, instead of making my own for short-sighted "simplicity" |
| 2025-04-25 22:07:50 +0200 | <haskellbridge> | <hellwolf> could be |
| 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 |