Luo Chen

Request: better tutorial for Coq's module system

4

I have finished the practices of `sf/lf` and part of `sf/plf`, and I'm familiar with many other language's module system, such as haskell/python/javascript, but still can't grasp Coq's module system,...

`Error: No tokenizer found for model` with Ollama

6

**Describe the bug** Trying to use ollama but failed with `Error: No tokenizer found for model`, tried to change the model but still same error. **To Reproduce** ``` [openai] api_base...

FeatureRequest: Display "evaluating derivation" state

3

Evaluation stage might take 1 minute or longer, nothing displayed during this time is very confusing. In particular, when used in this way `sudo nixos-rebuild switch |& nom`, I am...

error: attribute 'defaultPoetryOverrides' missing

2

### Describe the issue I'm following this [edgecases document](https://github.com/nix-community/poetry2nix/blob/master/docs/edgecases.md ) to solve the `ModuleNotFoundError: No module named 'setuptools'` issue. But got ``` error: attribute 'defaultPoetryOverrides' missing ``` ### Additional context...

fetchPackwizModpack support parameter src as drv instead of url

1

I hope these code ```nix modpack = pkgs.fetchPackwizModpack { url = "https://github.com/Misterio77/Modpack/raw/0.2.9/pack.toml"; packHash = "sha256-L5RiSktqtSQBDecVfGj1iDaXV+E90zrNEcf4jtsg+wk="; }; ``` Can be replaced into: ```nix modpack = pkgs.fetchPackwizModpack { src = fetchFromGithub {...

[Proposal] remove `must_*` and add `dns` as a builtin outbound

8

### Proposal ### 提案 把 must_* 去掉，由 `isdns` 匹配规则和显式的 `dns` outbound 替代原有功能，相关变更有 1. 去掉 `must_*` 以及 `*(must)` outbound 2. 添加 `isdns` 匹配规则 3. 添加 `dns` outbound ### 一些可能的变种 1. `isdns`...

How to integrate with jellyfin or bazarr ?

3

It will be perfect if there is some way to integrate this tool with jellyfin or bazarr so that we can automatically have subtitle of one language from another language

Document a minimal available sandbox Dockerfile

3

Hi, I want to build my own sandbox docker image, but failed because commands not found, so I wonder, what is the complete set of commands required by OpenHands to...

Feature Request: support upstream routing using geosite.dat

3

https://github.com/v2fly/domain-list-community