multisn8 multisamplednight
  • wherever cute entities are
  • i need E

  • Joined on 2024-01-01
multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 13:13:04 +00:00
feat: Graph IR

@schrottkatze The latest commit included the new license, both of the image and the code as a whole. Are you okay with that license?

multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 12:49:50 +00:00
feat: Graph IR

CC-BY-SA 4.0?

multisamplednight commented on pull request katzen-cafe/iowo#2 2024-01-19 12:47:40 +00:00
docs: some initial groundwork

I still haven't quite understood how the suggestions are bad.

  • As long as no creative work is done, I don't see how it could cause potential harm.
  • It does not restrict entities from using…
multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 12:43:04 +00:00
feat: Graph IR

I'd rather avoid the work on introducing metadata fields which Instruction would be generic over, since

  • they introduce quite some noise,
  • would require a lot of bounds and
  • introduce…
multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 12:37:56 +00:00
feat: Graph IR

Yeah, exactly. The frontend could then just GraphIr::resolve if they want more information about the instruction that failed. Or use the ID to look up in their separate map built at source…

multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 12:36:15 +00:00
feat: Graph IR

Yeah, then I don't see how metadata is useful for the hand-written IR.

The named instruction thing is something worth to discuss though, imo. Tbh, a lot of the time I'd have difficulties…

multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 11:54:12 +00:00
feat: Graph IR

What license do you put it under, then?

multisamplednight commented on pull request katzen-cafe/iowo#2 2024-01-19 11:53:02 +00:00
docs: some initial groundwork

Exactly. We'd need it to write again later on, and it'll likely contain very similar content. So why not keep the current version, even if it contains content that is not strictly necessary yet?…

multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 11:50:36 +00:00
feat: Graph IR

Yes, that would be possible. The semi_human::GraphIr could use string interning for generating IDs then.

I'm not sure if or how per-instruction metadata would be useful here, since some kind…

multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 11:44:26 +00:00
feat: Graph IR

Hm. I'm not sure if the metadata is worth polluting GraphIr with generics everywhere.

Different suggestion then: How about being transparent about id::Instructions, and allowing the…

multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 11:43:18 +00:00
feat: Graph IR

Sounds sensible, I'll convert the ID to be a pure u64 then.

multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 11:26:15 +00:00
feat: Graph IR

I'd argue the concept of "namespaces" or even function names doesn't belong into an executor or into the graph IR, but rather into the frontend.

Why are multiple GraphIrs necessary to load…

multisamplednight commented on pull request katzen-cafe/iowo#2 2024-01-19 11:06:49 +00:00
docs: some initial groundwork

Actually, if it's overkill for now, then I'll just remove the whole file as well. Guess we can answer the questions manually instead.

multisamplednight commented on pull request katzen-cafe/iowo#2 2024-01-19 11:04:54 +00:00
docs: some initial groundwork

I don't really see the harm the list could do, even if parts of it aren't used yet, but sure, whatever. I'll remove the list.

multisamplednight commented on pull request katzen-cafe/iowo#7 2024-01-19 11:00:17 +00:00
start working on a cli app

Through

-    #[arg(long, env = "NO_STARTUP_MESSAGE", default_value = "false")] 
+    #[arg(long, env = "NO_STARTUP_MESSAGE", action = ArgAction::SetTrue, value_parser = BoolishValuePar…
multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 10:53:58 +00:00
feat: Graph IR

image licensing situation

No, I do not know the license of the juan meme image. I'd be happy for any alternative suggestions you might have though!

multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 10:53:20 +00:00
feat: Graph IR

Edges to a different part of the graph. One could think of edges as being kind of gotos.

multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 10:52:30 +00:00
feat: Graph IR
  • How would you want to report warnings/errors back from the executor then? Do you want the frontend to be responsible for keeping track of a potential ID → span mapping, even though after the…
multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 10:51:10 +00:00
feat: Graph IR

i dont think a span (debug info imho) doubling as an id is a good idea

  • Why not?

so it doesn't get cursed to work with for other implementations that aren't text-based?

  • As it's…
multisamplednight commented on pull request katzen-cafe/iowo#6 2024-01-19 10:49:35 +00:00
feat: Graph IR

Not sure if I understand. When would instructions ever be given back to the frontend?