启用 JavaScript 和 Cookie 以继续。
启用 JavaScript 和 Cookie 以继续。
启用 JavaScript 和 Cookie 以继续。
## Litestream VFS:SQLite的即时时间点恢复
Litestream是一个免费、开源的SQLite数据库备份和恢复系统,旨在与S3等对象存储无缝协作。最新更新,版本0.5,引入了一个新的虚拟文件系统(VFS)模块,可直接从备份实现**即时时间点恢复(PITR)**——无需完全恢复数据库。
这是通过LTX实现的,LTX是一种新的数据传输格式,可以高效地存储和检索*必要*的数据库页面,跳过冗余数据。通过利用对象存储获取文件片段的能力,Litestream VFS可以直接从S3读取单个页面,并构建查找表以实现快速访问。
VFS模块作为插件集成到现有的SQLite安装中,允许使用简单的SQL pragmas(例如,`PRAGMA litestream_time = '5 minutes ago';`)查询历史数据。这消除了对服务器访问或漫长恢复过程的需求,例如数据验证或快速分析等任务。
Litestream优先考虑简单性和可靠性,在SQLite的核心功能基础上构建,同时提供强大的新功能。它仍然适用于生产环境,同时在概念上易于开发者理解和重新实现。
距离上次 Github 服务中断的天数:0
## 人形机器人热潮:一次现实检验
对人形机器人的追求,出乎意料地源于一种基本而孩童般的求知欲——测试边界,通过物理互动来理解世界。今天,这种“测试”表现为日益复杂的稳定性试验,甚至包括推搡和冲击,以评估机器人的平衡性和韧性。受到潜在劳动力短缺和数万亿美元市场预测的驱动,Apptronik和特斯拉等公司正竞相创造能够执行人类任务的通用人形机器人。
参观Apptronik后发现,他们专注于对其Apollo机器人的“稳定性测试”,这款人形机器人身高五英尺八英寸。虽然令人印象深刻,但这项技术仍面临重大障碍。尽管人工智能和电机能力取得了进步,但复制人类的灵巧性和适应性仍然是一个巨大的挑战。该行业正在努力解决令人印象深刻的演示与可靠的实际性能之间的差距,这与过去协作机器人的炒作周期如出一辙。
中国正在崛起成为一个主要参与者,利用国家投资和快速制造来潜在地主导市场。然而,人们仍然对质量和安全存在担忧。最终,人形机器人的成功不仅取决于技术突破,还取决于应对复杂的物流、经济甚至心理社会挑战——包括管理对*看起来*像我们的机器人的期望。未来仍然不确定,但保持健康的怀疑态度,并关注实际标准,可能是避免另一次机器人“泡沫”的关键。
这篇内容反思了最近一次离职,起因是常见的“姿态式领导”。作者在待业期间,发现公司宣称的“关怀”价值观与员工的实际体验之间存在脱节。他们观察到,领导者往往更注重表面功夫和利润,而非员工的真正福祉,导致倦怠、沉默,最终员工离职。 核心信息是呼吁真实的领导力——建立在持续沟通、诚实和责任感之上。真正的关怀不是营销手段,而是通过行动体现的日常实践,尤其是在无人监督时。这包括积极倾听、支持员工,并营造开放对话的安全环境。 作者强调,不良的企业文化不能靠口号来修复,而是要将人置于利润之上,并认识到精疲力竭、缺乏动力的团队是领导力失败的信号,而非资源问题。最终,领导力的评判标准不是自我宣传,而是员工在领导不在场时所说的话。
## 统计一位数:一个编译器优化故事
“种群计数”——确定一个数字中设置位(1)的数量——在数据压缩和密码学等领域出乎意料地有用。一个朴素的 C 实现涉及循环遍历每个位,但存在更有效的“分而治之”方法。一个巧妙的循环利用位清除技巧:从值中减去一,然后执行按位与,有效地在每次迭代中移除最低有效设置位。
然而,现代编译器可以做得*更好*。使用特定于架构的标志编译(例如,Intel 处理器的 `-march=westmere`)允许编译器将此循环识别为与单个 `popcnt` 指令等效。这个由 clang 的“循环删除通道”识别出的优化,极大地简化了代码。
虽然可以优化手写循环,但建议使用标准库函数(如 `std::popcount`)以提高清晰度并确保使用所需的指令。这个例子突出了编译器优化的强大力量,并且是“编译器优化之旅 2025”系列的一部分。
1953年DNA双螺旋结构的发现通常归功于詹姆斯·沃森和弗朗西斯·克里克,但故事更为复杂。沃森和克里克是在现有研究的基础上建立起来的,包括金斯学院伦敦的莫里斯·威尔金斯和罗莎琳德·富兰克林的工作。认为他们“窃取”了富兰克林的资料的说法,在很大程度上缺乏证据支持。
最近的研究表明,在完全理解富兰克林的X射线衍射图像的意义之前,沃森和克里克就已经通过化学推理和纸板模型构建得出了他们的模型。富兰克林甚至主动提出与克里克分享她的发现,表明最初并没有保密。此外,对历史记录的仔细审查表明,在发现之后,富兰克林与剑桥团队之间存在着合作甚至友好的关系。
除了DNA,弗朗西斯·克里克还追求第二个雄心勃勃的目标:理解人类大脑。他倡导关注精确的大脑解剖结构,为现代神经科学奠定了基础,并影响了早期人工智能系统的发展。他还热烈倡导对意识的唯物主义方法,对该领域产生了重大影响。
令人惊讶的是,克里克还对诗歌怀有浓厚的兴趣,特别是迈克尔·麦克卢尔的作品,从而建立了一种不太可能但情感丰富的友谊,展现了这位著名科学家更直观和主观的一面。
谷歌暂停了一名移动应用开发者的账号,原因是他在谷歌云端硬盘上上传了人工智能训练数据。他不知情的是,这个被广泛使用的数据集,被许多学术论文引用并通过学术文件共享网站分发,包含儿童性虐待内容。该开发者已将该数据集报告给儿童安全组织,最终导致数据集被移除,但他声称谷歌的禁令是“毁灭性的”。谷歌的一条消息称,他的账号“包含涉及儿童性虐待或剥削的内容。这是严重违反谷歌政策,并且可能违法。”