Viewing profile — sdf45

While the advice in the article is funny, on a deeper level the author seems to argue that program text is a rather basic representation that often obstructs insight into the seman…

I don't know much about Lua and LuaJIT, so let me ask a naive question: If you would start out with a JavaScript JIT (like V8) what things would you have to add (i.e. things that a…

First of all a graph library does not communicate with the outside world. My point was that even for the ubiquitous task of implementing a graph structure, unsafe is necessary. So …

While tooling may help, I think that a completely new approach is necessary. The correctness invariants of complex C++ programs (such as browsers and JITs) cannot be 'discovered' b…

Please show me how to implement a graph library without using unsafe in Rust.

As of yet, a browser (in particular the JavaScript JIT) cannot be implemented in a safe language. It is not even clear how a safe language that would permit this would look like. T…