Post #3213185
2023-11-03 22:28 UTC
@ignaloidas@not.acu.lt @thephd@pony.social my worry with that approach is that you end up with greater cognitive load than writing something like LLVM IR directly, which is already pretty heavy work.
I can certainly see it being a beneficial approach if you're going for formal verification, though.
Replies (1)
-
@ignaloidas@not.acu.lt 2023-11-03 22:38
@gsuberland@chaos.social @thephd@pony.social I think with some abstraction you could get something that still has fairly direct control without being such a massive pain. Though with how complicated the capabilities of modern hardware are, I don't know if you really can offer direct control to whole hardware without a resulting in a massive cognitive load anyways. Though yeah, for stuff like formal verification it would help, especially if you write up a decent language on top of it as you then can verify statements upon it, which would be useful.