用中文问：在 ZF 中不使用选择公理证明|X|<=|Y|∨|Y|<=|X|。R1 用英文问能做对但是用中文问居然错了，看看 Grok 推理的中文水平怎么样。

别碰官方 xbox 手柄，过时太多太多年了，协议不支持体感拖累整个游戏行业，不过现在有些游戏已经开始放弃 xbox 革新操作方式了，比如最近的怪物猎人荒野，很多人表示集中模式手柄太难用，官方回应就是用体感。低价有小鸡超新星，中价有小鸡风行者 2 （别碰同价的冰原狼 2 ，一代还行 2 代落后了），高价有黑武士 4 ，PS5 手柄等。据说 PS5 手柄 FPS 厉害，不过我从来不用手柄 FPS 没法评价。

@stone9527 没问题呀，现在主流的模型这个都不会错的吧。我平时主用 openrouter ，这个网站的 chatroom ，预设的几个问题就有 9.9 和 9.11 哪个大，还有 strawberry 里几个 r 。后者还有些模型会错，但是前者这样比大小的基本都是没问题的。

@mingtdlb 判断字符本来就不是 AI 该做的事，因为原理上 AI 收到的都是 token ，一个 token 可能有好几个字。而且假如真的有了 AGI ，和人类一样的智力水平，你觉得它会浪费算力去数吗？假如是一个聪明的人类，他应该做的是使用工具。AGI 也应该是写一个程序去数，不是自己数。最近 AI 进步也都是在数学、逻辑推理等方面。

@chipipi
@sunny352787
@Satansickle 做游戏的

@dcoder 半成品这方面是真的深恶痛绝啊，老外就经常说，Unity 干任何一件事，都有 4 个 package：一个是 10 年前的老版本，一个是 5 年前做到一半停更了的“新”版本，一个是开发已久下个大版本一定能发布的新”新“版本，还有一个是曾经实验过虽然效果很好但莫名其妙放弃了的版本。像动画这方面真是太恶心了，”新“系统 mechanim 落后 UE10 年，想修改管线上游的动画（比如加事件和 hitbox 数据）就必须从 fbx 里复制出来进行破坏性更改，假如上游改了动画就会非常麻烦。UI 也是，uGUI 控件很少，基本没什么自动布局支持，也没有 data binding ，从开发进度来看，2019 至今没什么改进。而 UI toolkit 到现在都不支持自定义 shader 和世界空间 UI ，虽然自称学习现代 web ，但开发范式和真正的现代 web 相比也非常麻烦。也就是说从 2019 到 2025 ，整整 6 年（假设今年 UI toolkit 真的能做到功能完备，当然我不指望了），除非买 Gameface 否则 UI 就只有半成品可用。

@wanghoi 确实，看到 Unity 的员工数我就一直在想：他们这么多人，为什么每次裁员都能裁到真正有用的人？那剩下的人到底在干什么？好像很忙的样子，但一看更新日志，又好像没做什么。Epic 要做引擎，新特性要做免费 sample 和 asset ，要做 Fortnight ，要做商店和 fab ，还有一堆其他杂七杂八的影视和可视化之类的业务，这么多活，每次更新内容都很多，还都是技术上很先进一看 R&D 开销就很大的特性。反观 Unity ，从 2022LTS 到 Unity 6 ，感觉就没什么太大的变化，都是一些缝缝补补，我注意到的最大的变化就是 UE4 就有的 Adaptive Volume 。我尝试去翻了一下财报，不过我不是很懂这方面，也没找到什么各部门开销和人员信息，就知道他们人很多，利润很少，引擎也 10 年没什么进步……

@hez2010 去年就裁了一批 CoreCLR 的人，刚刚这批还没怎么报道，只刷到了这个视频： https://www.youtube.com/watch?v=JUxuJticTCQ 。Behavior Graph 前开发者刚刚公布被裁的帖子里也有一些消息： https://discussions.unity.com/t/an-update-on-behavior/1598451/41 。

@guanyu1994 要用免费的 experimental 模型

很多 epub 阅读器都不支持竖排的。epub 渲染很乱，闭源商业阅读器一般用私有格式然后 epub 转换过去，这个转换经常不完美。开源阅读器因为缺人力，尤其是会多语言的贡献者，也做得不怎么好，结果就是 epub 标准就是个 PPT ，实现的遵循度连 C++都不如……稍微复杂一点的排版（竖排，注音，背景图等等）你基本找不到两款渲染结果完全一样的阅读器。

@extrem 有更好的方法呀，把 if 从 statement 改成 expression 就行，很多现代语言都支持类似这样的：
var v = if (pred) a else b

个人备份是刚需。2025 年了，不 root 居然备份还原单个应用都不支持，我是真的无法理解，只能解释为厂商对于用户数据是态度就是不配上哪怕一点点心，像更新失败还是送保修，动不动就是自动全清数据。什么？你问数据？为什么不放弃所有隐私来用我们并不靠谱的云同步呢？

个人从开发体验的角度来说，HTML/CSS/JS 分离不过是 CSS 和 JS 出现得比较晚，用组件分离才是正确逻辑。现在有些所谓”separation of concern“就是单纯为了分离而分离，不考虑分离到底有什么益处（因为并没有），比如 Unity 的 UI Toolkit ，2024 年的”声明式“（自称，实际只是用了声明式的 markup 语言描述布局，data-binding 并不声明式，还是"Object Oriented Programming Architecture Design Patterns Model View ViewModel Separation of Concern“那一套巨啰嗦的传统 binding ）框架居然还在搞什么 uxml ，uss ，C#脚本分离，开发体验并不好，甚至还不如 WPF 和 QML ，至少人家编译迭代快得多。

@revival83 我也看不了，应该是火狐的问题，brave 和 chrome 可以。我火狐的插件甚至可以检测到视频 URL 并下载，但就是没法在线看。

@ouou0701 像素可以，pixellab.ai ，还能根据骨骼生成动画。个人认为像素 ai 画的实用性比高清高太多了，容易修改而且不会一眼 AI 。