Sami Liedes
Sami Liedes
Feels a bit weird to ask about this in a Github issue, but perhaps it's the best/preferred way :) I read the [blog post on cryptominisat's parallelism implementation](https://www.msoos.org/2018/07/cryptominisat-and-parallel-sat-solving/) (from 2018,...
First of all, thank you for taking the time to report an issue. To make our work easier, please provide as many details as you can: * [x] What version...
This change makes the terminal emulator configurable using the Xresource `i3-wm.terminal.binary` instead of hardcoding it to `/usr/bin/st`. The default is still `/usr/bin/st`.
In some cases I have seen that stepping over a proof step in vscoq can be very slow, with the vscode process (not coqtop) occupying CPU. For example, I have...
Hi, I don't know if this is currently possible or not; maybe it just needs some easy docker change that I haven't figured out yet, or changing the location of...
At least for learning Spanish, the order of the cards I get is Card 1: Translate English to Spanish Card 2: Translate Spanish to English And this is the order...
Apart from being unnecessary, postgresql is run on its default port, which means that the langchain-server will fail to start if there is already a postgresql server running on the...
The callback manager was not passed to the Python tool, making it hard to observe some intermediate steps. NOTE: The mypy hints seem to suggest that the tool does not...
Handlers often want to contain mutable and uncopyable state. It probably does not make much sense to copy them whenever they are added.
# Introduction First of all, thanks for developing and maintaining Loguru! It's my general go-to logging solution. Now, this is more of a piece for discussion and ideas. It actually...