henix

[Qiangning Hong @hongqn]

性价比之壁
- 新增 GPT-5.5 (xhigh)
- Mimo-V2.5-Pro 取代 GLM-5.1 (Reasoning)
- 新增 DeepSeek V4 Flash (Reasoning, Max Effort)

https://t.co/OcmxCXy99q

[henix @henix10]

@hongqn https://t.co/JlGd7LVqdv 已经有了?

[fin @fi56622380]

突发奇想，如果三体人有了LLM大语言模型，能看得出来云天明和程心会面时三个童话故事里，隐喻的事关人类文明存亡的科技机密吗？

把三个童话故事导入Claude2，还真读出了不少隐喻，虽然大部分没猜对，但有关键点倒是答的有道理，比如深水王子隐喻高维空间，肥皂泡的表面张力，魔树泡和无故事王国的隐喻

LLM再进化一些，三体人不需要自己去猜地球人的思维，只需要把地球上所有语料导入LLM，那么隐喻这种思维游戏恐怕毫无秘密可言，这恐怕是超出了二十年前大刘的想象了

LLM的能力再强一些，多模态做的再好一些，应用再广一些，连面壁人这样的计划——想通过打造思维迷宫来迷惑别人，刻意隐藏自己真正的意图，对于LLM来说也是小菜一碟，人类可能真的没法用思维游戏和文字游戏刻意隐藏秘密了

三体人思维透明的方式，没有任何战略隐藏能力，但也因此得到了信息高速交流的能力，高速发展科技，完全能让别人的隐藏也变得透明

隐喻浪漫和文化的复杂度被解构之后，能对抗科技的还有什么？

[virushuo @virushuo]

RIP Bram Moolenaar

Vim is the most important software in my life.

https://t.co/eStlCMbmUL

[Neovim, e/plugins @Neovim]

We are heartbroken by the loss of the Vim boss.

Rest in peace, Bram.

[Thomas Yao  @ghosTM55]

经过 @kevinzhow 确认，我们的挚友左耳朵耗子 @haoel 已于周六晚突发心梗辞世

陈皓是个有原则、正直、风趣、聪明的人，他对 IT 行业作出了不可磨灭的贡献

他一生有很多成就，而我愿意最后以一起打游戏的好友记住他

R.I.P.

[henix @henix10]

@virushuo 关键是 Web 2 为什么会退化，个人认为 Web 2 越来越集中化是人性使然，是因为大众就是喜欢拿隐私换便利，商家做的只是顺应人们的需求罢了，真正在乎隐私、开放性的人只是少数。所以我不看好 Web 3 能让 Web 重回田园牧歌时代，因为它没办法改变人性。除非它能在某些方面比 Web 2 更便利。

[ruanyf @ruanyf]

最新的规定是，所有留言都必须实名制。

这实际上意味着，国内的独立博客不再能打开评论功能了，国外凡是可以留言的服务（比如GitHub）都进不了中国，除非单独做一个实名制的中国版。

[小径残雪 @xiaojingcanxue]

近两个月我一直生活在魔幻之中，目睹了全球军事第二大国的军事自杀，以及全球经济第二大国的经济自杀。美国完全抓住了这两个机会，恢复了和欧洲的关系，并拉拢了东南亚作为替代供应链，躺赢了一次又一次。我对为什么事情会这么发展很不理解，这段时间慢慢的在那里想解释。还是从中国的防疫讲起吧。/1

[henix @henix10]

archlinux 的 pandoc 带出来的 haskell 依赖太大了，我发现 aur 里的 pandoc-bin 更好

[virushuo @virushuo]

WTF???? ???
?????

[henix @henix10]

@felixonmars 我也是今天换新电脑才用上UEFI，Win10笔记本+Arch双系统，感觉已经不再需要GRUB了，直接裸UEFI即可

[Linmi @Linmiv]

字符乱码说明，适合开发者也适合文字工作者。

[𝓟𝓱𝓸𝓷𝓰 @NP_tokumei]

Triplet censors: Do you know that the GFW of China doesn't just poison DNS queries with one response, but with some special domains like this one owned by @Google, it can trigger 3 responses. cc @gfw_report #foci20 https://t.co/7sq4uppErf

[henix @henix10]

https://t.co/rhgY3zhKBT 很好的一篇讨论 Monad 和 Continuation 的对偶性（duality）的文章。相较于现在网络上大家言必 Monad ，Continuation 的讨论热度真的太低了。哪怕它其实更适合过程式语言。

[henix @henix10]

感觉很多事情都是这样啊。比如美国总统任期就4年，只要我这届不出问题...

[YU @FreiheitYu]

1. 好的系统一定是不断改进出来的
2. 不断改进意味着原有设计一定有没考虑到的地方
3. 要修改设计就不能只是补丁上面打补丁，必须定期重构
4. 要定期重构就得说明“为什么花这么多时间却没做新功能”

123都不难，4最难
所以结果往往就是：算了，反正我离职/升职/转岗之前不出大问题就行

[henix @henix10]

用 C++ 模板元编程搞出了一个 4K 字节的对象😂

[Eason C 🎭🎐 @easoncxz]

这种现象帮助了我解释我的一种看法：面对政治问题，如果意图用技术方法解决，那最终政治问题将永远得不到解决。

[Chris 𓃠 @notmyChris]

毛骨悚然

[Qiangning Hong @hongqn]

说得好！