据称Jabber Zeus程序员'MrICQ'被美国拘留 -- Alleged Jabber Zeus Coder 'MrICQ' in U.S. Custody
乌克兰男子尤里·伊戈列维奇·雷布佐夫因涉嫌参与"Jabber Zeus"黑客组织,盗取美国企业数千万美元,已在意大利被捕并引渡至美国。该组织使用定制版宙斯银行木马窃取登录凭证,主要针对中小型企业实施"浏览器中间人"攻击。雷布佐夫此前仅以网名"MrICQ"出现在2012年内布拉斯加州联邦起诉书中。
用模型检查器重现AWS中断竞态条件 -- Reproducing the AWS Outage Race Condition with a Model Checker
文章探讨了如何利用Spin模型检查器复现AWS因DynamoDB自动DNS管理系统中的竞争条件导致的故障。作者基于AWS的事后分析报告，通过简化模型，重点研究了DNS规划器、执行器与Route 53服务间的并发交互问题，展示了形式化验证对发现复杂系统中微妙并发缺陷的价值。
举办精彩派对的实用技巧 -- Facts about throwing good parties
举办成功派对的要点包括：保持轻松愉快的心态，提前告知开始时间，邀请几位好友提前到场营造氛围，确保每位客人认识至少3位其他参与者，使用能展示宾客名单的邀请工具，通过群聊或邮件邀请互相认识的4-5人小团体，并在单独邀请时提及共同好友的参与。
Lisp：其过去与未来的注解（1980） -- Lisp: Notes on its Past and Future (1980)
这篇文章是约翰·麦卡锡在1980年对LISP语言过去与未来的思考。他指出LISP能存在21年是因为其近似最优的编程语言特性，但也存在需要改进的地方，如清除冗余功能、加强程序库建设等。文章还提到LISP在程序正确性验证方面的潜力，认为需要进一步发展理论来充分发挥其数学基础优势。
1900年巴黎的移动人行道，托马斯·爱迪生镜头下的奇观（2020年） -- Paris Had a Moving Sidewalk in 1900, and a Thomas Edison Film Captured It (2020)
1900年巴黎世博会展出了移动人行道，托马斯·爱迪生用胶片记录了这一创新发明。这段珍贵影像展现了当时的前沿科技，成为人类早期自动化交通的重要见证。
使用FreeBSD让自托管重焕乐趣 -- Using FreeBSD to make self-hosting fun again
作者厌倦了原有技术使用方式，通过尝试FreeBSD系统重新找到自托管乐趣。FreeBSD满足其运行多任务需求，配合BastilleBSD和虚拟机实现工作负载隔离，在Hetzner服务器上获得全新体验。
Linux玩家在Steam平台占比突破3% -- Linux gamers on Steam cross over the 3% mark
Steam平台上的Linux游戏玩家占比首次突破3%，标志着Linux游戏生态的持续增长。
X.org安全公告：X.Org X服务器及Xwayland存在多个安全问题 -- X.org Security Advisory: multiple security issues X.Org X server and Xwayland
X.Org发布安全公告，指出X.Org X服务器21.1.18之前版本和Xwayland 24.1.8之前版本存在多个安全问题，建议用户及时升级修复漏洞。
Mock – API创建与测试工具：示例 -- Mock – An API creation and testing utility: Examples
这篇文章介绍了如何使用mock工具模拟API延迟响应。可以通过全局参数为所有端点设置延迟，或使用中间件针对特定端点设置延迟（如让"some/endpoint"延迟2秒）。还展示了如何创建支持多语言的API代理服务。
反网络犯罪法正被武器化以压制新闻自由 -- Anti-cybercrime laws are being weaponized to repress journalism
多国政府以打击网络犯罪为名，通过模糊的法律条款压制新闻自由。尼日利亚记者奥朱库因报道总统办公室腐败被警方秘密拘押，最终被控违反2015年《网络犯罪法》。该法第24条关于"虚假信息"的模糊规定，正成为当局打压网络新闻调查报道的常用工具。