The whole industry needs rebuilt from the foundations. GRTT with a grading ring that tightly controls resources (including, but not limited to RAM) as the fundamental calculus, instead of whatever JS happens to stick to the Chome codebase and machine codes spewed by your favorite C compiler.

[–] Undearius@lemmy.ca 7 points 11 hours ago (1 children)

It took me a long time to figure out that "GRTT" is "Graded Modal Type Theory". Letting others know, if they want to look into it further.

[–] bss03@infosec.pub 2 points 11 hours ago

Sorry. I didn't pick the acronym, it comes from the paper: https://arxiv.org/pdf/2010.13163.pdf I'm not sure why there's no "M" in the acronym, but I should probably spell things out when I actually want collaborators.

While I'm dropping links, I will also drop https://github.com/granule-project/ where Gerty and Granule live and where real research is done.

[–] Star@lemmy.blahaj.zone 2 points 14 hours ago (1 children)

If one of us ever wins the lotto we better get on funding that

[–] bss03@infosec.pub 1 points 12 hours ago

If someone wants to collab, I've been writing various codes around it: https://gitlab.com/bss03/grtt

Right now, it's a bunch of crap. But, it's published, and I occasionally try to improve it.

Also, Granule and Gerty are actual working implementations, tho I think some of the "magic" is in the right grading ring for the runtime, and they and more research oriented, allowing for fairly arbitrary grading rings.