LightQuantum
LightQuantum
Instead of telling me that I am the server admin, getSession returns “missing user”, which is somehow confusing. Maybe just return something like admin=true instead of querying user:admin(which may fail)...
Fix issue #12 .
If you have more than 25 docs to retrieve, only 25 docs will be fetched at the first query. The limit you specify is only applied to the final list,...
https://github.com/Coq-zh/SF-zh/blob/master/lf-current/Basics.v#L326 > '构造子表达式'通过 **将构造子应用到一个或多个构造子表达式** 上构成。例如 > [red]、[true]、[primary]、[primary red]、[red primary]、[red true]、 > [primary (primary primary)] 等等 在原文中写的是 > Constructor expressions are formed by **applying constructors to zero or more constructor expressions**....
There's been a while since we touched the codebase. I believe there's a need to refactor the codebase and solve some of the current problems. My plan for refactoring: -...
## What is the issue? Nix-installed `kitty` is not recognized by `OpenInTerminal`. It might have something to do with the non-standard location of `kitty` binary. ```shell script $ which kitty...
## Problem ``` ~> sudo xbps-install -Sv 1 12/23/23 21:42:57 PM [*] Updating repository `https://mirror.sjtu.edu.cn/voidlinux/current/x86_64-repodata' ... ERROR: [reposync] failed to fetch file `https://mirror.sjtu.edu.cn/voidlinux/current/x86_64-repodata': Permanent Redirect [*] Updating repository `https://mirror.sjtu.edu.cn/voidlinux/current/multilib/nonfree/x86_64-repodata' ......
P.S. What about reverse proxying missed files? Redirecting to the origin significantly degrades the end-user experience.
Current configuration guide in readme is obsolete, and it should be updated to contain the following aspects: - how to install the main application (pip installation after I upload the...
I tried to test this on my MBP with m1 chip. `nix build .` works. I tried to `build .#cache` but failed. ``` @nix { "action": "setPhase", "phase": "unpackPhase" }...