James Brock

My container is running conda __4.8.2__ and the sagemath image hosted on binder.org, which works fine, is running conda __4.7.12__. I bet this is all about the recent changes to...

I just did a clean `git clone` of this repo and then `make build`, and when I ran the resulting image, the sagemath kernel does not appear. The `conda` version...

> When the user closes the app, I want to app to `cancel()` all of the async tasks and then exit after all of the cancellations are `done()`. I figured...

Thanks for the PR @skuzniar . I'll think about it.

```purescript case n of _ | n < 128 -> do Builder.putUint8 n _ | n < 16384 -> do buf

# Just for fun What if we had a set of builder primitives which returned * The byte size required to write the primitive * A function which takes an...

# Just for fun What we want to do is read a `ByteSize` in context `r` and write `c` in context `w`, kind of like this: https://hackage.haskell.org/package/codec-0.2.1/docs/Control-Monad-Codec.html

> Buffer instances are also JavaScript [Uint8Array](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Uint8Array) and [TypedArray](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/TypedArray) instances. https://nodejs.org/docs/latest/api/buffer.html#buffers-and-typedarrays

gRPC uses HTTP/2. https://grpc.io/docs/what-is-grpc/faq/#why-is-grpc-better-than-any-binary-blob-over-http2 There is this in Node.js https://nodejs.org/api/http2.html But you cannot use HTTP/2 from browser? https://grpc.io/blog/state-of-grpc-web/ You can use gRPC from the browser with an HTTP/2 proxy https://grpc.io/docs/what-is-grpc/faq/#can-i-use-it-in-the-browser

The Node.js HTTP/2 API exposes Readable and Writable Streams, so to make this simple we could generate code in terms of https://pursuit.purescript.org/packages/purescript-node-streams-aff