3 ms·
On one hand, all these mini interpreters and compilers are cool. I have a soft spot for extensible systems. On the other hand, all these things are a huge secur
by drob518 5mo ago
On one hand, all these mini interpreters and compilers are cool. I have a soft spot for extensible systems. On the other hand, all these things are a huge security problem. When every subsystem and data format is carrying around its own Turing complete bytecode and JIT, they all need to be secure and bug free for the system to be secure and bug free. And that far more code surface to keep clean.
- petra 5mo agoMaybe they can compile the bytecode to the x86 subset in this paper, and check if it is secure using their tool: https://dl.acm.org/doi/pdf/10.1145/2254064.2254111 https://dl.acm.org/doi/pdf/10.1145/2254064.2254111
- deleted 5mo ago[deleted]
- krab 5mo ago> When every subsystem and data format is carrying around its own Turing complete bytecode and JIT LLMs enter the chat