4 ms·
I’ve thought about how to let folks prove to Fil-C that Fil-C’s checks are obviated by some higher level checks. It’s a super hard problem! I don’t have a good
by pizlonator 5mo ago
I’ve thought about how to let folks prove to Fil-C that Fil-C’s checks are obviated by some higher level checks.
It’s a super hard problem! I don’t have a good answer, but I also can’t prove that it’s impossible
- actionfromafar 5mo agoSomething something compile Fil-C to WASM64?
- pizlonator 5mo agoI don’t see how that would help
- pjmlp 5mo agoI guess it is the imaginary security that WebAssembly advocates tend to sell, without telling the part that linear memory segments don't have bounds checking within their internals.