统计信息
- 无权查看
- 浪浪山的宣发出人意料地不做人，可惜了这部好片子
回复 - 浪浪山小妖怪出人意料地好看，推荐一下
回复 - 说一个小米产的好东西吧。米家驱蚊器，前后一共买了五个，价格分别为60，69，69，118和122元。现在已停产，京东上能买到的最低价是542元
回复 - 纯血鸿蒙已经可用。新的更新里有卓易通，基本上所有的安卓APP都能自行安装了。 回复
- 握手，我们楼也封了，5天后解封 回复
回复- 回复
- 恭喜恭喜 回复
- 爱坛里问一下，有人用过Intel的NUC吗？噪音到底大不大？一直长草这个NUC，就是这个噪音问题让我犹豫。 回复
- 折腾了两天，AdoptOpenJDK不支持Isabelle 2020，只好换回Oracle的Java SE JDK 11.0.8。 回复
唐家山 发表了新日志 MobaXterm远程调用vscode图形界面模糊
原因跟原来的VcXsrv一样， Windows 对 MobaXterm 内置的 X Server (Xwin) 进行了高 DPI (HiDPI) 位图拉伸，导致渲染出来的窗口被强制放大而失真。 解决办法 ...- 唐家山 发表了新日志 MobaXterm SSH terminal下远程启动Chrome浏览器并在里面输入中文
Ubuntu服务器使用MobaXterm SSH terminal远程登录，启动Chrome浏览器后没法在对话框里输入中文。 问了大模型，有多种解决办法。最简单的一种是本地Win+Space变成 ... - 唐家山 发表了新日志 关于AI的社会认知的思考
AI的发展已经可以用“瞠目结舌”来形容了。Hinton的这句话：“只要是封闭系统，AI在能力上就能超过人类”，看来不是妄语。 现在要认真考虑的事反而是：AI会不会 ... - 唐家山 发表了新日志 Claude code的一个使用问题
在Ubuntu系统里使用claude code，终端里大段文本无法粘贴。我耐着性子手动输入了几次，觉得不是长久之计。 问了大模型，果然有解决方案。按住shift键，然后用鼠 ... - 唐家山 发表了新日志 vscode使用技巧三则
1. settings.json中添加"window.titleBarStyle": "native"可以让x11远程显示的vscode图形界面自由移动和缩放。 2. "terminal.integrated.profiles.windows"里 ... - 唐家山 发表了新日志 VcXsrv 远程界面模糊的解决方案
遇到几次这个问题了，在日志里记录一下。 找到 VcXsrv 的安装目录或启动快捷方式（通常为 vcxsrv.exe，默认在 C:\Program Files\VcXsrv）。 右键点击文件， ... - 唐家山 发表了新日志 从V2Ray到Xray
又需要全局翻墙了。我熟门熟路地安装了V2RayA客户端，然后翻墙失败了。 这次有大模型帮忙，问了一下大模型，才知道现在v2ray已经过气了，现在是Xray的时代。 赶 ... - 唐家山 发表了新日志 点评一下最近用到的AI工具
Gemini 3.0 Pro：是最为全面和稳健的，是我在定理证明时用到的主要工具。但是这个工具太有自己的主见了，经常把问题复杂化，而且会陷在某个特定细节中出不来。当 ... - 唐家山 发表了新日志 关于AI辅助交互定理证明
最近在做AI辅助的交互式定理证明，又有了一些新的发现： 1. AI带来的效率提升是有上限的。 2. 你做不到的，AI也做不到。 3. 多AI交互可能是处理复杂问题的最 ...
- MobaXterm远程调用vscode图形界面模糊 2026-09-23
- 原因跟原来的VcXsrv一样， Windows 对 MobaXterm 内置的 X Server (Xwin) 进行了高 DPI (HiDPI) 位图拉伸，导致渲染出来的窗口被强制放大而失真。 解决办法 ...
- MobaXterm SSH terminal下远程启动Chrome浏览器并在里面输入中文 2026-09-20
- Ubuntu服务器使用MobaXterm SSH terminal远程登录，启动Chrome浏览器后没法在对话框里输入中文。 问了大模型，有多种解决办法。最简单的一种是本地Win+Space变成 ...
- 关于AI的社会认知的思考 2026-09-14
- AI的发展已经可以用“瞠目结舌”来形容了。Hinton的这句话：“只要是封闭系统，AI在能力上就能超过人类”，看来不是妄语。 现在要认真考虑的事反而是：AI会不会 ...
- Claude code的一个使用问题 2026-08-19
- 在Ubuntu系统里使用claude code，终端里大段文本无法粘贴。我耐着性子手动输入了几次，觉得不是长久之计。 问了大模型，果然有解决方案。按住shift键，然后用鼠 ...
- vscode使用技巧三则 2026-08-09
- 1. settings.json中添加"window.titleBarStyle": "native"可以让x11远程显示的vscode图形界面自由移动和缩放。 2. "terminal.integrated.profiles.windows"里 ...
- VcXsrv 远程界面模糊的解决方案 2026-06-23
- 遇到几次这个问题了，在日志里记录一下。 找到 VcXsrv 的安装目录或启动快捷方式（通常为 vcxsrv.exe，默认在 C:\Program Files\VcXsrv）。 右键点击文件， ...
