David Renshaw

Results 176 comments of David Renshaw

When I orginally packaged Sharelatex, vagrant-spk did not exist yet. So unfortunately there is no `.sandstorm` folder; there's just a bunch of probably-stale state on one of my VMs. I've...

I suspect the problem is that the functions in `Serialize` expect a segment header, while the buffers have no header -- they are intended to be read as single-segment messages....

Thanks for reporting this! I just published a new version in which I believe this is fixed. https://apps.sandstorm.io/app/5vuv7v0w7gu20z72m78n83rx9qqtqpmtk32f39823wh967z226qh Could you re-install (or wait for an auto-update), retry, and let me...

No, there's currently no way for you to add latex packages as a user; I need to include them when I package the app. It looks like it'll be pretty...

I'm not sure about the Consolas font. I think it should be possible to include those packages, including minted, as they do seem to work at sharelatex.com. It looks like...

What are you using to convert your dynamic values into JSON? The `stringify.rs` logic is an example of how to iterate through the fields of a dynamic struct while accounting...

I plan to respond more fully once I've wrapped by head around this, but I just wanted to say right now: thanks for the pull request and thanks especially for...

I really like how your patch allows users to define their own streams that can be registered with the event loop. However, I'm not sure that exposing details about mio...

Another reason that I think we don't want to expose mio to users is that on Windows it might make a lot of sense to avoid using mio at all....

My plan here is to provide integration with a thread pool, so that you can easily farm out disk I/O and cpu-intensive computation to separate threads, where they will not...