Results 13 issues of Yevgeny Kazakov

## Description There appear to be several issues with the "read-only mode" enabled after clicking on the "clock" symbol in the status area: 1. If the notebook did not have...

bug

### Bug description In the Admin menu of Jupyter Hub, there is a possibility to sort users by last activity. This does not appear to be working properly as shown...

bug

The custom memory allocators in `picosatmodule.c` were calling PyMem_Malloc, PyMem_Realloc, and PyMem_Free without holding the GIL. This could lead to a segfault when picosat_sat, which releases the GIL, calls these...