量子纠错为何困守三十年：从Shor码到表面码的阈值突围
2024年12月9日，《Nature》杂志发表了一篇引发量子计算领域震动的论文。来自Google量子AI团队的研究人员宣布，他们首次在超导量子处理器上实现了"低于表面码阈值"的量子纠错。这看起来只是一组技术参数的改进，却标志着量子计算从"能跑"到"能用"的关键转折。 ...
Posts
栈与堆之间：为什么值类型与引用类型的抉择困扰了开发者三十年
1985年，Bjarne Stroustrup在《The C++ Programming Language》第一版中写道：“C++继承自C的一个关键特性是值语义——对象可以被直接拷贝，而非仅仅通过引用访问。“这一设计决策深刻影响了后来三十年的编程语言演进。然而，同样是面向对象语言，Java在1995年选择了一条截然不同的道路：所有用户定义类型都是引用类型，只有原始类型（primitive types）才是值类型。这两条分道扬镳的路径，至今仍在影响着每一个开发者的日常决策。 ...
文件描述符：一个整数如何连接进程与内核的四十年演进
“Too many open files” 凌晨三点，生产环境的服务器突然告警。Nginx无法接受新连接，应用日志里满是EMFILE错误。运维检查后发现，某个Java进程打开了超过一百万个文件描述符——虽然系统配置允许这样做，但进程的资源限制仍然是默认的1024。 ...
HyperLogLog：用1.5KB内存估算十亿级基数的概率魔法
引言：一个看似不可能的问题 假设你正在运营一个日活用户超过十亿的社交平台，产品经理问你：“今天有多少独立用户访问了我们的网站？“这个问题听起来简单，但当你真正思考如何回答时，会发现它蕴含着深刻的计算机科学难题。 ...
主动学习：当机器学会"提问"——如何用更少标注获得更强模型
标注：机器学习的阿喀琉斯之踵 机器学习领域有一个公开的秘密：算法越来越强，但数据标注的成本越来越高。 2010年，Burr Settles在其经典综述中记录了一个令人震惊的数据：语音识别中的音素标注，一分钟音频需要近七个小时才能完成。这不是个例。医学影像的分割标注，单张图像可能需要2-15分钟；法律文档的分类标注，需要资深律师逐字审阅；生物信息学中的基因标注，往往需要博士级别的专业知识。 ...
运动神经科学：为什么跑步能让你变聪明从海马体增大到BDNF信号的完整机制解析
一个改变神经科学的发现 2011年，《美国国家科学院院刊》（PNAS）发表了一项让神经科学家们重新思考大脑可塑性的研究。伊利诺伊大学的Kirk Erickson团队招募了120名55至80岁的久坐老年人，将他们随机分配到两组：一组进行为期一年的有氧步行训练，另一组做伸展运动作为对照。 ...
SQL注入攻击：为什么这个二十七岁的漏洞至今仍是Web安全的头号威胁
1998年12月25日，一位化名"Rain Forest Puppy"的安全研究员Jeff Forristal在黑客杂志《Phrack》上发表了一篇关于MS SQL Server 6.5漏洞的文章。他没有意识到，自己正在记录一种将困扰互联网四分之一个世纪的安全威胁——SQL注入。 ...