@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 的推理速度特别特别慢，所以我也没测太多。

@yazinnnn0 不是圣经的典故？

@Ghostisbored reddit.......我不太关注政治所以马斯克有没有疯我不知道，但是 reddit 的数据没什么用的。最近不是有个贴问怎么在 reddit 赚 karma 吗，下面有个回复说得好，“专门往对应 sub 搬同温层的屎 引发 echo chamber 自然有一堆人给你赶着点赞”。那玩意儿的 moderator 基本都是小孩子，删帖比国内都疯，有不同意见的全删光 ban 光了，你看到的自然全是骂的。

@K8dcnPEZ6V8b8Z6 你 996 苦，那上早晚自习时 6 点半起床 9 点半下班周末和寒暑假还要补课只能拿五、千月薪的高中老师就不苦了吗😒不恨 996 ，只恨 996 是自己是吧。

@Yuanlaoer 2D 也就 Unity 、Godot 和 cocos 最多吧。大坑的话，其实很难一一列出来，因为不同项目需求不同。Unity 编译巨巨巨慢，Godot 放着好好的 box2d 不用，非要固执地搞自己的物理引擎，导致物理功能匮乏。cocos 总体功能会弱一些，包括运行时和编辑器的功能，生态好像也是以 web 和小程序上的小游戏为主。

最好的办法就是自己都试一遍把坑踩出来，流程基本是 brainstorm 游戏基本核心概念（写下来，不要空想。大脑会美化自己的想法，有些主意可能想着很好写下来就感觉一坨），尝试用各个引擎做个小原型，看看核心功能好不好实现。比如你的解密如果要复杂的物理，就会发现 godot 不行。如果物理特别复杂，就得硬着头皮上 UE+PaperZD （当然我觉得更好的选择是考虑一下到底需不需要这个物理机制，毕竟 UE 2D 还是少，连官方支持都基本不更新了，得靠社区插件 PaparZD ）。假如是偏动作冒险那样对动画需求比较高的，因为这仨的动画都半斤八两地简陋，可能就会发现需要大量手写动画状态机并在代码里硬编码时长（动画播放后 0.2s 到 0.5s 是无敌），这时 Unity 迭代速度龟慢的缺点就被放大了。（一定要用 Unity 的话建议用 Hot Reload 这个 asset ，有挺长的试用期）

自己都试一试其实不会浪费太多时间的，原型的时候不要管美术、bug 、“优化”、去各种找“最佳实践”等等，YouTube 视频都快进着跳着看，多用 AI （ Grok 3 和 o3-mini 游戏开发效果好），尽可能快地“糊”一个出来验证技术路线，玩家就是一个小胶囊，关卡就是纯色 tilemap ，做一点简单的移动、跳跃等等，再加上自己的核心机制，看看好不好做，工作流合不合自己的喜好。

然后游戏体量变大后之类的东西，说真的，不建议现在考虑，因为大部分人其实是坚持不到那个地步就会放弃的……真要说什么的话，版本控制用 git LFS 或者 Perforce 。

你点进本站“游戏开发”节点，https://v2ex.com/go/gamedev 你这贴是最新，然后下面两条贴都是喷 Unity 的……

反正别用 Unity 。打工可能不得不用，但是个人千万别碰这东西。3D 被 Unreal 拉了 10 年以上的差距，2D 优势相比 cocos 和 godot 之类的也在变小。开发体验极其差劲，小项目改一行代码也能给你整个半分钟以上，大一点甚至能两分钟。编辑器 ergonomics 很差，文件浏览和各种疯狂拖拖拖简直折磨。动画系统羸弱至极，有 technical artist 的团队都会自己定制一套动画系统，但是你个人是做不到的。未来毫无前景，上面提到的缺点在 Unity 6 发布时曾画大饼，说会在 Unity 7 改进，然而随后就大量裁员，回归初心，然而你要知道，它的“初心”可不是游戏，因为 Unity 本质上就不是一个游戏引擎公司，而是一个广告服务公司，它回归初心就是把花钱的引擎 R&D 干掉，重点干广告和云服务。
另外你的游戏是什么类型的？“人生游戏”是那种简单的文字游戏吗？那种游戏其实你不用引擎也可以的，就直接用 Web 之类的技术就行了。

有些企业有需求，但是那些视频都是营销蹭流量的，忽略即可。它们练 DeepSeek R1 到底有多大都不知道，随便弄个 14B 的蒸馏小模型糊弄一下，反正目标观众也不会真的去试，毕竟他们看这种视频只是为了情绪价值，顺便骂一下英伟达。

@akinoowari inline 补全用这些 gpt4 之类的 frontier 模型不太行的。速度慢效果还不好。cursor 和 codeium （ windsurf ）都是用的专有 fill-in-the-middle 模型，开源插件的话好像是 mistral 的 codestral 用得多。

"大厂的 AI 工具都需要实名手机号登录后使用"那就别用这些“大厂”。而且国内这些大厂效果也不好啊，也就是便宜。

确实挺强的，thinking 还没试，普通模式感觉应用数学有不少进步。不过我看他们的博客，好像最大的提升是为了各种 agent 工具、tool use 、AI IDE 做的，但是目前 AI 工具都是围绕在前端和 VS Code ，非前端可能提升不是很大，JetBrains 在 AI 方面实在是太令人失望了。