update compiler&langs info

Author: undefined-moe

content/docs/Hydro/install/compiler.mdx

@@ -1,5 +1,5 @@
 ---
-title: 编译器
+title: 编译器和语言
 ---
 
 从 2022/8/12 开始，Hydro 为了避免宿主机环境变化对于评测的影响，对于 **此后新安装的实例** 默认使用 [nix]() 管理环境。  
@@ -20,13 +20,14 @@ nix-env -iA nixpkgs.rustc # Rust
 nix-env -iA nixpkgs.python3Minimal
 nix-env -iA nixpkgs.python3Packages.numpy
 nix-env -iA nixpkgs.pypy3
-nix-env -iA nixpkgs.php # PHP
+nix-env -iA nixpkgs.php
 nix-env -iA nixpkgs.go # Golang
-nix-env -iA nixpkgs.nodejs # NodeJS
+nix-env -iA nixpkgs.nodejs
 nix-env -iA nixpkgs.openjdk_headless # Java
-nix-env -iA nixpkgs.ruby # Ruby
+nix-env -iA nixpkgs.ruby
 nix-env -iA nixpkgs.mono # C#
 nix-env -iA nixpkgs.julia_17-bin # Julia
+nix-env -iA nixpkgs.iverilog # Verilog
 ```
 
 使用 `nix-env -q` 查看已安装的列表，后使用 `nix-env -e 编译器名` 即可删除对应的编译器。  
@@ -53,7 +54,30 @@ javac -d /w -encoding utf8 ./Main.java && jar cvf Main.jar *.class
 请参照 [在沙箱中引入 Python 包](https://hydro.ac/d/faqs/p/15) 教程更新环境变量。
 </Callout>
 
-## 进阶
+## 针对语言修改时间限制
+
+系统默认给 Java 和 Kotlin 提供两倍时限, 此行为可在语言设置中修改：
+
+```yml
+# 系统设置->语言设置
+java:
+  # ... existing settings ...
+  time_limit_rate: 2
+```
+
+## C/C++ 彩色编译错误信息
+
+1. 确认您安装了支持彩色输出的编译器；
+2. 在系统设置中，将 C/C++ 编译命令后加上 `-fdiagnostics-color=always`
+
+例：
+
+```yml
+c:
+  compile: /usr/bin/gcc -O2 -Wall -std=c99 -o ${name} foo.c -lm -fdiagnostics-color=always
+```
+
+## 进阶环境设置
 
 如果你需要更加复杂的编译环境配置，我们建议使用编写单独的 nix 文件。
 
@@ -92,3 +116,7 @@ pkgs.buildEnv {
 
 更详细的 nix 语言介绍，请参照 [Nix Guide](https://nixos.org/guides/nix-language.html) 和
 [Nix Manual](https://nixos.org/manual/nix/stable/language/index.html)。
+
+## 其他
+
+推荐阅读 [HydroJudge](../plugins/hydrojudge) 章节，了解更多关于评测机设置的详细信息。

content/docs/Hydro/plugins/hydrojudge.mdx

@@ -41,6 +41,11 @@ hydrooj addon add @hydrooj/hydrojudge
 该方法可以帮助您在任意服务器上部署评测机。
 </Callout>
 
+<Callout type="warn">
+我们推荐所有独立评测机使用相同配置机器并关闭内置评测机, 以保证评测结果的稳定性。  
+系统设置中的评测机相关选项仅控制内置评测机, 独立评测机需要在 judge.yaml 中进行设置。
+</Callout>
+
 首先需要创建一个有 PRIV_JUDGE 权限的账户，具体方法参照 [此处](../system/cli/#创建评测账号)。（在部署 Hydro 的服务器上运行）  
 
 然后在运行评测机的服务器上安装 HydroJudge ：
@@ -73,13 +78,8 @@ HydroJudge 会发布不定期更新。您可以使用 `yarn global upgrade-inter
 
 ## 关闭
 
-### 作为附加组件
-
-在 系统设置>hydrojudge 中有一栏 Disable builtin judge，将它勾上，然后重启 Hydro 即可。
-
-### 作为独立进程
-
-根据开启的方法关闭即可。
+- 作为附加组件: 在 系统设置>配置管理 中有一栏 Disable builtin judge，将它勾上，然后重启 Hydro。
+- 作为独立进程: 根据开启的方法关闭。
 
 ## 卸载
 
@@ -111,7 +111,8 @@ parallelism: 2 # 单评测机评测进程数量
 
 ## 修改编译选项/添加新语言支持
 
-对于已安装内置评测机的用户（无论内置评测机是否启动），在 控制面板>系统设置 中修改 judge.langs 配置项即可；对于没有安装内置评测机的用户，需要在 `~/.config/hydro/langs.yaml` 中配置。
+在 控制面板>系统设置 中修改 hydrooj.langs 配置项(对所有连接到该服务器的评测机生效)  
+或在 `~/.config/hydro/langs.yaml` 中配置(对单个独立评测机生效, 不推荐)。
 
 文件格式参照 [此处](https://github.com/hydro-dev/Hydro/blob/master/packages/hydrooj/setting.yaml#L22) 。
 
@@ -120,6 +121,8 @@ parallelism: 2 # 单评测机评测进程数量
 
 修改完后请重启 Hydro 和 hydrojudge 。
 
+在 [编译器和语言](../install/compiler) 章节可查看更多信息。
+
 ## 调试沙箱环境
 
 如果需要调试沙箱内的编译或者运行错误，可以使用 `hydrojudge terminal` 来打开评测交互终端。该终端运行于与评测环境相同的独立沙箱内。
@@ -154,18 +157,6 @@ pm2 info hydro-sandbox | grep "exec cwd"
 
 编辑 `/root/.hydro/mount.yaml`，修改 size 即可。
 
-## C/C++ 彩色编译错误信息
-
-1. 确认您安装了支持彩色输出的编译器；
-2. 在系统设置中，将 C/C++ 编译命令后加上 `-fdiagnostics-color=always`
-
-例：
-
-```yml
-c:
-  compile: /usr/bin/gcc -O2 -Wall -std=c99 -o ${name} foo.c -lm -fdiagnostics-color=always
-```
-
 ## 开大程序运行栈空间
 
 **2022/8/12 后安装的实例默认已开启无限栈空间，无需手动操作**