Newest at the top
| 2025-04-25 23:33:51 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2025-04-25 23:31:28 +0200 | <haskellbridge> | <hellwolf> for the age of prompt based "enginering" |
| 2025-04-25 23:31:16 +0200 | <haskellbridge> | <hellwolf> need a natural language satire: the next 700 natural languages |
| 2025-04-25 23:30:25 +0200 | <lambdabot> | int-e says: I want dependable types. |
| 2025-04-25 23:30:25 +0200 | <int-e> | @quote dependable |
| 2025-04-25 23:29:06 +0200 | <haskellbridge> | <hellwolf> on hindsight, it should be DH: SBool True |
| 2025-04-25 23:27:57 +0200 | <lambdabot> | Bool |
| 2025-04-25 23:27:56 +0200 | <int-e> | :t otherwise |
| 2025-04-25 23:26:46 +0200 | <EvanR> | (answer: type sig omitted in latest source code as well. too obvious to state!) |
| 2025-04-25 23:24:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-25 23:21:32 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-04-25 23:21:16 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-25 23:20:15 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 2025-04-25 23:16:30 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 2025-04-25 23:16:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 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! |