Post #3213133
2023-11-03 18:24 UTC
Replies (3)
-
@pthariensflame@social.treehouse.systems 2023-11-03 18:31
@atax1a@infosec.exchange @thephd@pony.social Yeah, this and many other such things means there is no language at all that lets you “fully control the hardware”, since the lowest-level control you get (ISA and/or programmable microcode) is still a heavily abstracted interface. And that’s why I’m developing an architecture spec that has linear statically-typed values behind a large number of available references (“forwards”) as the only directly accessible form of memory. Down with (architectural) registers, down with byte-addressed memory, down with transparent pointers, and down with the executable form of an ISA having to be the same as its stable form!
-
@mrsbeanbag@ieji.de 2023-11-03 18:35
@atax1a@infosec.exchange @thephd@pony.social i mean it would let you check the status flags after an add to see if an integer overflowed, at the very least. rofl. i mean it lets you do a lot of dodgy stuff but try implementing a 128-bit integer on a CPU that makes that trivial in assembly language
-
@ids1024@fosstodon.org 2023-11-03 18:39
@atax1a@infosec.exchange @thephd@pony.social Yeah. If you want to be really difficult about it, is x86 assembly *actually* a low level language for modern Intel and AMD processors? Does it actually reflect how the microarchitecture really works?