Wolfgang Richter

This would really be helpful also for experiments with string encodings directly in the web browser.

@mindplay-dk it is important to write a spec to test, via proof, fundamental properties of the language such as progress and preservation. See chapter 6 on Type Safety: http://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf Here's...

@mindplay-dk I'm happy with any step in this direction. I really love the conciseness of V overall. Something feels good about that. Let's not aim for perfect, or even good,...

@jtpio + @gitskim doesn't RTC require a (or multiple) signaling servers? I found that the public default ones in the mentioned package are more often then not (and maybe permanently?)...

@jtpio yeah I’ve been running my own server fine for the past week. Nice find on the freely hosted one, but I’d still be careful relying on free servers that...

@jtpio I'm happy to work on this, but I do not know where to begin. Do you have a wiki on how to make things compatible with JupyterLite?

@bollwyvl and @jtpio i was thinking we could take a pure JS approach with new WASM projects like Starcoder in JS: https://rahuldshetty.github.io/starcoder.js/ I teach Python and Data Science. Having a...

This would definitely be helpful for all of my use cases as well. I'm building a fairly UUID-heavy API!

It should be renamed, something I've been thinking about for a long time. `gray-nbd-queuer` is correct.

But I think the real nbd server, confusingly, currently lives in `tools/nbd-queuer-test` or something like that.