Would you rather run a formally verified application on top of a conventional kernel/compiler toolchain, or a conventional application on verified kernel/compiler toolchain? Why?
miniblog.
Related Posts
71
Delighted to see that Typescript 7 is moving to conventional LSP for its IDE services!
21
I'm not sure if I should use the term "text diff" or "textual diff" to refer to a conventional, line-oriented diff of text in difftastic.
Any opinions? Which seems clearer to you?
I'd heard the conventional wisdom that UX research states that mice are more efficient than keyboards, but turns out there's virtually no research on this!