拟物化桌面是渲染难题，不是玩笑
这个说法会让两派都不爽：拟物化之所以消亡，并不是因为用户讨厌它，而是因为它太贵了，贵在像素、GPU 周期和设计师的工时上。扁平化设计赢在经济账，而不是审美。最近流行的新项目 DEsk 是一个完整的 Linux 拟物化 Wayland...
新兴技术
量子计算、AR/VR、区块链、机器人技术，以及定义未来的前沿科技。
11 篇文章
对抗型与沙盒模拟：建模 NIMBY 城市
有人做了一款城市建造游戏，你扮演旧金山的住房开发商，而城市本身就是最终 Boss。你想盖公寓楼，分区法规、规划委员会、邻居和上诉程序却处处阻拦。有位玩家在模拟的十六年里盖了 4,147 套住房，扛过 16 场听证会、3 次上诉和 4 场诉讼，最后拿到了“盖了点东西的建造者”评级，而这座城市需要超过 8.2...
灯泡电脑：比头显更靠谱的环境计算
空间计算有个营销问题：业界每次描绘“未来愿景”，都是把屏幕绑在你脸上。眼镜、护目镜、头显，推销词永远是：你本人要戴上一台电脑。设计师 Guillaume Ardaud...
为什么机械臂不能简单地缩小工业电机
每隔几个月，就会有一段人形机器人的演示视频火遍网络。Boston Dynamics 的 Atlas 做后空翻，Tesla 的 Optimus 分拣物品，Figure...
显存不够用怎么办：GPU VRAM 溢出实战指南
机器学习里最常见的报错，往往不是 Python 的 traceback，也不是 shape 不匹配，而是 CUDA out of memory。模型太大、batch size 太高，或者中间激活值放不进 GPU 的显存（VRAM）。RTX 4090 有 24 GB 显存，而 70B 参数的模型用半精度加载需要约...
网络正在失去记忆：对抗数字衰退
2014年，气候研究员Maria Chen博士发布了一份关于北极海冰融化的开创性数据集。她把数据放在大学的服务器上，在三篇同行评审论文中引用了它，还在十几个学术邮件列表里分享。到了2019年，大学迁移了网络基础设施，链接失效，数据集随之消失。任何公共档案库里都没有备份。五年的野外工作，就这样变成了一个404错误。
GPU加速终端：从TTY到字形图集
1978年，美国数字设备公司（DEC）推出了VT100。它更像一件家具：装在米色外壳里的CRT显示器，通过串口线连到小型机上。它不能运行程序，不能渲染图形，只能以固定网格显示文字，80列乘24行，这就是人与运行中系统之间的全部交互界面。将近五十年过去，开发者每天盯着的东西，本质上仍然是同一个网格。但底层架构已经发生了V...
无法重启服务器时的软件工程
凌晨 3 点，你的 Web 服务器崩溃了。Kubernetes 把它重启，用户看到一个短暂的报错页面，没有人会因此被开除。现在想象一下，你的服务器在火星轨道上运行，重启要花 45 分钟。这期间没有姿态控制，没有热管理，也没法通信。那个「用户」是一艘价值 25 亿美元的航天器，而且根本没有...
当3D打印不再只是原型工具
Align...
VisiCalc：让硬件值得购买的软件
在 VisiCalc 出现之前，个人电脑是爱好者的玩具；出现之后，它们成了商业工具。这并不夸张，Apple II 的销售轨迹有据可查：它从一台小众的爱好者机器，变成了企业的必需品，而这几乎完全归功于一款软件，它让会计们不必再用纸质表格算账。
JPEG 压缩原理详解：DCT 与量化表
JPEG 就是文件格式里的小强。它 1992 年完成标准化，比网页浏览器还早，并且扛过了每一次想要取代它的尝试。WebP、AVIF、HEIC……它们的压缩率都更高，但 JPEG 仍然是互联网上使用最广泛的图片格式。这里面有惯性的因素，但更重要的是，JPEG...