2022-10-15 07:02:09 <MrMobius    > I watch those Greenarrays update videos with great interest. I'm really rooting for them to find their first customer
2022-10-15 07:46:05 <KipIngram   > Yeah, me too.  It's an impressive product, and... it's Forth.  Plus I'm just damn impressed at how much of all this Chuck did on his own.  How many chip desingers write their own tools from scratch?
2022-10-15 07:46:55 <KipIngram   > Man, I've been studying the Gimp program (GNU Image Manipulation Program - open source Photoshop) the last week or so, and this morning I'm wading through the facilities for automation scripting.
2022-10-15 07:47:15 <KipIngram   > I don't really have a crystal clear picture of it yet, but... it looks like it's going to be clunky as hell.
2022-10-15 07:47:56 <KipIngram   > Maybe it's just the manner in which it's being presented in the stuff I'm reading, but that's how it looks at the moment.
2022-10-15 07:49:01 <KipIngram   > Python is involved, which is fine, but in certain places it looks like the Python can't be indented.  So that's not REALLY Python.  Just for something to have been written with a limitation like that seems awfully hacky to me.
2022-10-15 07:50:30 <KipIngram   > I say some of it might be the presentation, because the guy writing this seems to be trying to pitch it for people who've never programmed at all.
2022-10-15 07:50:46 <KipIngram   > Maybe if it was a treatment for experienced programmers it could be said a lot more sensibly.
2022-10-15 07:51:31 <KipIngram   > He even said at the start he's "not a programmer."  So we've got a non-programmer trying to teach something that is *clearly* a form of programming.
2022-10-15 07:53:05 <KipIngram   > It is nice, though, that the application ta least provides an API for workflow automation.
2022-10-15 07:56:54 <KipIngram   > What I'm interested in here is divorcing myself from in-camera .jpg files.  My camera will shoot raw; I want to do it that way and have my own post-processing set up for easy use.  Maybe have different flows for different kinds of pictues (sunny outside, cloudy outside, night, indoors, etc.)
2022-10-15 07:57:24 <KipIngram   > Probably will involve multiple tools - I don't think Gimp directly opens raw files.
2022-10-15 14:46:31 <olle        > Deathforth: https://www.youtube.com/watch?v=1XdgUK1NbpI
2022-10-15 15:34:20 <olle        > There's no way to inline calcs in forth?
2022-10-15 15:34:26 <olle        > Like you have `2 2 +`
2022-10-15 15:34:41 <olle        > But what about `2 (2 2 +) +` or similar
2022-10-15 15:35:01 <olle        > Disregarding that () is comments in forth
2022-10-15 15:35:38 <thrig       > 2 2 2 + +
2022-10-15 15:36:38 <olle        > Some kind of "local" stack if you will
2022-10-15 15:36:48 <olle        > thrig: Yes, of course, but for long lines/readability
2022-10-15 15:37:45 <thrig       > : four 2 2 + ; 2 four +
2022-10-15 15:38:23 <olle        > :D
2022-10-15 15:38:41 <olle        > You guys really don't have a forth bot in here??
2022-10-15 16:09:50 <MrMobius    > olle, I think you want [ and ]
2022-10-15 16:10:06 <MrMobius    > you mean calculating 2 2 + at compile time so that only 4 ends up in the program?
2022-10-15 16:12:06 <olle        > Idk what I mean, just thinking out loud
2022-10-15 16:12:16 <olle        > I didn't get to compile time vs runtime yet :d
2022-10-15 16:12:23 <olle        > There's a neat course on yt tho :)
2022-10-15 18:38:10 <olle        > "FORTH YOU LIKE IF HONK THEN
2022-10-15 18:38:11 <olle        > "
2022-10-15 18:47:57 <olle        > You guys know of phantom types in functional programming?
2022-10-15 18:48:43 <Zarutian_iPad> olle: nope
2022-10-15 18:49:11 <Zarutian_iPad> and it depends on what you mean by type.
2022-10-15 19:06:32 <olle        > It's kinda related to making forth a dsl inside another language, just saw someone did this with haskell
2022-10-15 19:09:35 <olle        > Other question: Wouldn't it be possible to browse internet with forth? What would I google for for that?
2022-10-15 19:10:45 <olle        > Maybe that's just w3m or curl together with some scripting
2022-10-15 19:13:42 <thrig       > writing a TCP/IP stack, etc, is more work
2022-10-15 19:14:37 <olle        > thrig: yeah, but just bind to an external tool?
2022-10-15 19:14:39 <olle        > https://rosettacode.org/wiki/XML/Input#Forth
2022-10-15 19:24:41 <thrig       > you'd either need to wire up stdio or embed libcurl or such
2022-10-15 19:25:05 <olle        > Hm hm
2022-10-15 19:25:34 <remexre     > olle: what about phantom types?
2022-10-15 19:26:58 <olle        > remexre: You can use them to simulate state at type-level, and get a program that doesn't compile if you have a faulty state. Translated to Forth, that means, your program won't compile if your stack is faulty somehow. But I dunno how that would work with defining your own words and such. Mostly a fun exercise, I guess. :) Long time ago I tried to do with with Lua's C API, since it also uses a stack.
2022-10-15 19:28:49 <remexre     > ah, neat; I'm familiar with them, hadn't thought about applying them to Forth directly, but i can imagine that making sense, yeah
2022-10-15 19:29:42 <remexre     > you might have trouble with some of the common immediate words (e.g. what's the type of IF), but if you "built them in" to your bindings, that oughta work
2022-10-15 19:30:27 <olle        > Yeah
2022-10-15 19:31:13 <olle        > Here's another use-case, for an air-lock state machine: https://discuss.ocaml.org/t/prohibiting-invalid-states-with-gadt-the-airlock-exercise/10585
2022-10-15 19:46:53 <KipIngram   > Hey, does anyone know how to add more pictures to an existing imgur post?
2022-10-15 19:47:05 <KipIngram   > I did make the original post "logged in."
2022-10-15 19:47:40 <olle        > Try #imgur...?
2022-10-15 19:47:42 <olle        > #imgur
2022-10-15 19:47:57 <olle        > Nope, no such channel
2022-10-15 19:50:23 <KipIngram   > Yeah, tried that already.  It seems to offer no such option if the original post was made from Android.  But posts I made from my computer have an "add more images" option.
2022-10-15 19:50:34 <KipIngram   > Maybe the Android app will do it - I can check that.
2022-10-15 19:52:08 <KipIngram   > Nah, looks like there's no way to add new images to a Droid originated post.  That's... incredibly lame.
2022-10-15 19:52:37 <KipIngram   > I can add comments.  I guess I'll just put a link to a notebook created post and continue in it.
2022-10-15 20:06:05 <Zarutian_iPad> olle: well forth words are concatively recursively define like a directed-acyclic-graph so doing the stack checking at editor time is well doable aside from the immediate words
2022-10-15 20:06:56 <KipIngram   > Oh, I see now.  You can't add images to a public post.  But if you hide it, then you can add images to it and then make it public again.  Wonder what's up with THAT?
2022-10-15 20:08:27 <thrig       > maybe the state change triggers a repush of something
2022-10-15 20:09:04 <olle        > Zarutian_iPad: Hm
2022-10-15 20:11:46 <olle        > 
ACTION zz