William Stein comments

Results 812 comments of


                                            William Stein

add another account setting which the student's academic id

This should be something that instructors should be able to override and/or upload to the .course file, similar to what instructors can do right now with their first/last name.

implement % modes for Jupyter notebooks

Yes, I would love to create this multikernel cocalc kernel. In fact our sage worksheet python server uses Jupyter under the hood to fully support using any other kernels. So...

compressSync and uncompressSync have a huge memory leak

Thanks for looking into this!

compressSync and uncompressSync have a huge memory leak

I can confirm that you're write -- this is an issue where it's necessary to ensure that the GC has a chance to runs. That said, explicitly calling global.gc() does...

compute server: redo the kubernetes image using k3s instead of microk8s

Here's a recipe for install kubernetes **inside** of the Docker compute container of a compute server, then running a webserver and visiting it externally. 1. Install k3d as root (on...

Consistent Errors in AI "Help me write" Previews for LaTeX

It sounds like the solution should be to just disable katex rendering entirely until it is done. Or, I wonder if there is a mode where instead of showing an...

miniterminal in side panel should sync current working directory in both direction

Probably caused in the nats rewrite...

Opening a non-existent PDF shows loading forever

Yes, I agree. My guess is it is waiting for the pdf to appear, but it would be better to have a message saying so...

Deleting a (Jupyter notebook) file via menu does not work (reliably)

I tried this several times and reproduced it twice, and ONLY with Jupyter. It might only be an issue with Jupyter, due to having to do delete two separate files,...

Double keyboard focus after picking an LLM

Do you know if this is a new bug?