LaTero

@billbob Qt QML 很好看很酷炫啊，缺点就是贵，但是开发者的体验会比 XML 好很多。WPF 那一套真的看一眼就头皮发麻，面向对象设计模式 ModelViewViewModel 这种可能还有人喜欢（特别是 Java 来的），但是要是做稍微动态一点的东西（比如说会变的列表项），什么 listview ，selector ，converter ，data template ，太恐怖了，因为字符串用得多还容易出错。而最要命的还是动画，你说的“好看酷炫”要是包含动画就有罪受喽。

@SakuraYuki 这要长连接才行吧，要不然找不到这个连接，除非去历史记录 log 里找，但是那样的话连接可就多了去了，后台放个歌直接把 log 填满。插件可以得知浏览器当前页面的网址，就算当前网页就是一个静态页面，网络连接持续不到 50 毫秒也行。也不需要去一长串连接里面去找，连切出浏览器都不需要，完全无缝的体验。

@SakuraYuki 没用过 surge ，怎么操作的？它能监控浏览器窗口然后用 OCR 识别当前网址？

@Goooooos 怎么可能更方便？你去试下就知道了。插件给当前网站加入黑/白名单就是鼠标点击 3 次，连键盘都不用。clash 你首先要懂 yaml 和 clash 的覆写规则，然后还要复制粘贴网址，中间可能还需要编辑，然后保存，重启，耗时差距 20 倍以上吧。

@Al0rid4l 微软文档是真的烂，不知道为什么国内这么多人吹。学 Unity 的时候查 C#的文档简直绝望，所有微软产品的文档都是一股脑塞在一起，根本猜不到想要的信息会被拆到哪个分类里，搜索也不能限定 C#，只能限定到 dotnet ，然后搜索结果全是什么 excel api 之类的。

建议直接 pixellab

Groq 和 Grok 没什么关系。现在 grok 能在 grok.com 上使用，只有网页版，api 要申请提前访问。逆向的 grok 3 api 在 nano-gpt.com 有，很贵。

可以证明，无理数一定无限不循环。你想看证明步骤，找个数学强的 AI 就行。
无理数是用戴德金分割从有理数构造出来的。有理数是从整数构造出来的。整数是从自然数构造出来的。自然数是用 ZF 集合论公理构造出来的。也就是说，只要你承认 ZF 集合论（你可以自己去搜 ZF 集合论公理），那就承认无理数，那就承认无限不循环小数。
戴德金分割概览：
将有理数集 Q 分成两个非空子集 (A,B)，满足：
1. A∪B=QA∪B=Q （覆盖所有有理数）；
2. A∩B=∅A∩B=∅（没有交集）；
3. 对于任意 a∈A 和 b∈B ，有 a<b （数轴上看，A 在 B 的左边）；
4. A 没有最大元素（注意没有最大元不等于没有上限）。
假如 B 没有最小元，则将该分割视为一个无理数（即无理数其实是两个集合），并用这两个集合来规定其和其他数的大小关系。
只要有了大小关系，就能用位置计数法来表示，而这个表示一定是无限不循环的。

lmarena 上确实把包括 deepseek v3 等一众远大于它的模型给灭了，我自己稍微测了一下感觉算是二线非思考模型水平了（或者说准一线？除了 grok 3 和 claude sonnet 3.7 之外的非思考模型的水平），不过不知道为什么明明是一个这么小的模型，google ai studio 的推理速度特别特别慢，所以我也没测太多。