Lain(e/o/a) Taffin Altman

@viq@social.hackerspace.pl @caroline@chaosfem.tw At that point, by virtue of it being all of the objects and therefore belonging all of the places, it is automatically already put away where it is.

@SRLevine@neuromatch.social @caroline@chaosfem.tw What matters for cleaning is surface area, though, so it’s still an improvement.

@Mara@hachyderm.io Idea: doc alias?

@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!

@atax1a@infosec.exchange @thephd@pony.social I should really write this up and publish it even as a very rough draft!

@wizzwizz4@fosstodon.org I haven’t! This may actually be the first time I’ve talked about it anywhere at all. I’ve been encouraged to keep going though, so I’ll let you and @atax1a@infosec.exchange know when a preliminary spec document is ready! Expect it to have decent coverage of the ISA design but no parts of the binary form locked down yet.

@datenwolf@chaos.social @thephd@pony.social memset_explicit exists now, at least!

@ids1024@fosstodon.org @thephd@pony.social I think the requirement for “nontrivial” makes this answer immediately “none”, for one simple reason: minimum implementation limits. A nontrivial C program, even if otherwise strictly spec-compliant, is definitely going to blow past limits on function name length and source code size and number of variables in a file and so on.

@wizzwizz4@fosstodon.org @atax1a@infosec.exchange Actually, would either (or both) of you want to participate in some of the design process? I'd be very happy to get some more ideas than just mine! I've started typing up the document properly and I'd like to be able to discuss things in this architecture, both specific concrete elements and broad design principles, in closer to real time. Let me know if there's a platform you prefer for that! I'm on both Discord and Matrix, and I'm sure I can adapt to whatever else is out there! 😃

@thephd@pony.social CESU7-EBCDIC, anyone?