搜索技巧 海洋云增白 开源地图 AI 搜索答案 沙丘魔堡2 压缩机站 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 PostgreSQL AI工具 证券 DirectX DrawingPics 化学 KDE 披萨农场 多动症 植物学 分析化学 Three.js 大会 残疾人学校 初创 QB64 更多

从右到左的可计算性 (rsaxvc.net)

这篇文章探讨了“从右到左的可计算性”概念,即一个函数的每个输出位是否仅取决于输入操作数中相同位置及右侧的位。文章首先论述了所有从右到左可计算的函数都可以用基本逻辑运算和移位操作来实现。接着,文章指出像右移这样的操作不满足从右到左的可计算性,因此无法仅通过这些基本操作实现。文章还探讨了一个假设的无限位机器,并分析了在该机器上实现各种操作的可行性,例如常数加载、向量逻辑运算和分支操作等。

一个编译器错误 (rsaxvc.net)

本文讲述了作者在十年前发现的一个编译器错误。为了解决硬件定时器异步读取可能出现的竞争条件,作者编写了一个循环读取定时器直到两次读数相同的函数。但在升级到新版编译器后,编译器优化了代码,导致在极少数情况下会出现死循环。最终,作者找到了问题所在,并联系编译器供应商解决了该错误。