如何正确地测试并发数据结构 (matklad.github.io)
文章介绍了一种测试并发数据结构的方法，通过模拟并控制线程的执行顺序，实现了对并发操作的精细化测试。作者首先解释了传统并发测试的不足，然后逐步推导了一种基于“管理线程”的测试方法，并用一个简单的计数器示例演示了如何使用该方法发现并最小化并发错误。文章最后还探讨了如何将该方法扩展到更复杂的场景，例如模拟弱内存模型和穷举所有可能的交错执行路径。
骑行者对自动驾驶汽车又爱又恨 (www.yahoo.com)
自动驾驶汽车在旧金山等地越来越普遍，引发了骑行者们的复杂情绪。一些人看好其安全潜力，但也有人对其安全性表示担忧。文章列举了多起自动驾驶汽车与自行车发生的交通事故或惊险瞬间，指出尽管自动驾驶公司强调其技术安全性，但实际情况仍存在问题。骑行者们呼吁加强监管，并希望自动驾驶技术能够真正兑现其安全承诺。
台积电探索全新芯片封装方法以应对AI热潮 (asia.nikkei.com)
全球最大芯片制造商台积电正在探索一种先进的芯片封装新方法，以应对人工智能对算力的需求。台积电正与设备和材料供应商合作开发这种新方法，但商业化可能需要数年时间。
拯救自由：我们必须阻止国际空间站的毁灭 (spacenews.com)
文章强烈反对NASA将国际空间站坠毁地球的决定，认为这是对人类历史遗产的破坏。作者回顾了国际空间站的建设历程，强调其作为国际合作典范和科学进步灯塔的重要性，并提出应将其改造为世界遗产，供后代瞻仰。文章呼吁各界行动起来，阻止这一短视行为，保护人类共同的太空遗产。
活到老学到老：斯坦福教育学院学生在80年教育生涯后获得硕士学位 (ed.stanford.edu)
105岁高龄的弗吉尼亚·希斯洛普终于在2024年获得了斯坦福教育学院的硕士学位，完成了她80多年前的梦想。希斯洛普于1936年进入斯坦福大学教育学院学习，1940年获得学士学位。然而，由于二战爆发，她不得不中断学业。此后，她一直致力于教育事业，担任过学校董事会成员、社区大学董事等职务。
可编程物质 - 3D Catoms (www.programmable-matter.com)
这篇文章介绍了一种名为 3D Catoms 的可编程物质，这是一种由法国团队逆向工程制造的形状可变微型机器人。3D Catoms 具有完美的形状、最大的抓握面积、平滑的旋转和强大的外壳弹性。它们采用 3D 打印技术制造，是世界上最小的 3.6 毫米直径机器人，由两个半壳组装而成。3D Catoms 采用高效节能的静电锁存系统，并配有用于锁存、电源和数据传输的三合一 Flexiboard ™ 系统。
Kraken交易所称黑客在300万美元漏洞攻击后利用漏洞赏金计划进行“勒索” (www.coindesk.com)
加密货币交易所Kraken表示，安全研究人员发现了平台上的一个漏洞，可以人为地夸大账户余额，并提取了近300万美元的资金。Kraken已修复该漏洞，但涉事研究人员拒绝归还资金，反而要求Kraken支付漏洞赏金，否则拒绝提供漏洞细节。Kraken认为这是“勒索”行为，并表示将与执法部门合作追回资产。
爱、死亡与科技：我们该如何面对数字遗产？ (lmnt.me)
文章探讨科技公司应该如何处理用户死亡后的数字遗产问题。作者认为，科技公司应该设立专门的团队来处理用户死亡后的数字遗产，例如允许继承iTunes购买内容、在联系人中添加死亡日期字段、提供简单的方式来存档与已故亲友的iMessage对话等。作者呼吁科技公司应该重视数字遗产问题，开发更好的数字工具来帮助人们处理数字遗产。
历史超新星的新发现：来自东京大学的研究 (www.u-tokyo.ac.jp)
东京大学的研究人员通过计算机模型和观测分析，首次解释了1181年记录的一次罕见类型的超新星的神秘遗迹。这颗被称为超新星1181 (SN 1181)的“客星”是由两颗白矮星碰撞形成的，在日本和亚洲其他地方的历史文献中都有记载。研究人员重现了遗迹白矮星的结构，并发现高速星风可能在过去20-30年才开始从其表面吹出。这一发现提高了我们对超新星爆炸多样性的理解，并强调了跨学科研究的好处，即将历史与现代天文学相结合，从而能够对我们的银河系进行新的发现。
信息记录与检索的新方法：注释/解释版 (fermatslibrary.com)
这篇文章是对Hans Peter Luhn于1953年发表的“一种新的信息记录和搜索方法”论文的注释/解释版本。 Luhn的方法使用标识词或“标准”集来描述文档，从而预见了诸如关键字搜索和相关性排名之类的现代搜索概念。 Luhn认识到，使用非常具体的术语来描述主题可能会导致记录信息与搜索信息之间不匹配，因为不同的人可能会对同一概念使用不同的特定术语。 为此，他提出了一种反直觉的方法：使用更广泛，更笼统的术语，并使用更多术语，即使到了冗余的地步。
顺势疗法研究：数据造假、捏造和操纵 (www.skeptic.org.uk)
文章揭露了顺势疗法领域的一起重大科研造假事件。维也纳医学院教授Michael Frass及其团队发表的研究声称顺势疗法对癌症患者有效，但被奥地利科研诚信机构认定为数据造假。这起事件凸显了替代医学领域科研不端的问题，研究人员往往为了证明自己偏爱的疗法有效而造假。作者呼吁停止对这类研究人员的公共资金支持，以减少科研造假带来的危害。
澳大利亚银行利用用户握持手机的方式识别诈骗 (www.pymnts.com)
澳大利亚国民银行正在利用新的预测保护工具来识别诈骗者，包括生物识别技术和用户与设备互动的方式，例如握持手机的角度和击键方式。该银行首席执行官表示，澳大利亚是少数几个银行欺诈案件有所减少的国家之一，这得益于他们采取了更加安全的支付流程和预测性保护措施。
StarCoder2 自适应 (github.com)
这是 StarCoder2 自适应代码存储库，它是一种基于 JavaScript 的编程环境，用于在 Unity 游戏引擎中创建和编辑代码。它具有一系列工具，可以帮助程序员快速轻松地开发和测试他们的代码，包括自动完成、错误检查和调试器。该代码库还包括一系列示例和教程，帮助用户开始使用该环境。
2024 年第二季度 GNU Hurd/ 新闻 (www.gnu.org)
2024 年第二季度，GNU/Hurd 项目取得了多项进展，包括 Sergey Bugaev 提交了 GNU Mach AArch64 移植的公共头文件，并增加了对将“一次性发送”权限复制到 Mach 和 MIG 的支持；Flávio Cruz 修复了 Hurd 在 GCC 14 上编译的一些问题；Luca Dariz 修复了消息大小的问题，并添加了另一个测试来检查各种代码路径上的消息大小；Debian GNU/Hurd 现在提供了一个实验性的 SMP GNU Mach 内核（仅限 32 位）和官方的 rustc 编译器。
我读了字典，只为做一款更好的游戏 (taugames.ca)
本文介绍了单词搜索游戏Tauggle的开发过程，重点阐述了开发者为解决现有游戏中普遍存在的“无法完成所有单词”问题而进行的字典设计。开发者认为，游戏应该让玩家获得成就感，因此他决定创建一个包含所有常见单词但不包含任何生僻词的字典。为此，他手动筛选了一个包含87000个单词的免费词库，去除了其中约15%的生僻词，最终使得玩家能够在游戏中找到所有单词并完成游戏。
利用 Stockfish 识别理想的棋格 (lichess.org)
本文介绍了一种利用国际象棋引擎 Stockfish 来确定棋子理想位置的方法。作者首先尝试了一种简单的方法，即移除棋子并比较将其放置在不同空格后的评估值变化，但发现这种方法容易受到战术因素的影响。为了解决这个问题，作者引入了材质平衡的考量，并通过多个案例分析了该方法的优缺点。最后，作者提出了一些改进方向，例如考虑不切实际的移动、兵的移动和王的位置等因素，并展望了该方法在量化棋子强度和识别位置最差棋子等方面的应用。
五个常见但来源不明的英语单词 (phys.org)
文章探讨了五个常见但来源不明的英语单词，包括“bird”、“boy”、“girl”、“dog”和“recorder”。尽管语言学家可以通过词源学和比较语言学的方法追溯大多数英语单词的起源，但这五个词的词源仍然是未解之谜。文章解释了每个词的已知历史演变，并列举了一些学者提出的未经证实的假设。
谷歌称Epic游戏公司对Play Store的要求成本过高 (www.theregister.com)
加州法院裁定谷歌Play Store构成非法垄断后，谷歌请求法官驳回Epic游戏公司提出的补偿要求，称这些整改措施成本过高，将给安卓用户带来新的安全风险。谷歌认为，Epic公司要求提供Play Store应用目录访问权限、支持应用库迁移以及分发第三方应用商店等措施，预计成本高达1.37亿美元，过于昂贵。此外，谷歌还担心这些措施会损害用户安全和安卓生态系统的稳定性。
观点：法律应该像对待人体器官一样对待个人数据——禁止出售 (www.theglobeandmail.com)
文章批评了科技公司收集和出售用户数据的行为，将个人数据比作人体器官，认为其不应该被视为商品。作者指出，现有的隐私法规难以阻止数据被滥用，并呼吁制定更严格的法律，彻底禁止个人数据的买卖行为，以保护用户的隐私和尊严。
中法合作天体物理卫星发射成功，火箭残骸坠落人口稠密区 (spacenews.com)
2024年6月22日，中国成功发射了中法合作的SVOM天体物理卫星，该卫星旨在研究伽马射线暴。然而，发射过程中，长征二号丙火箭的助推器坠落在贵州省黔东南州贵定县附近，视频显示有居民躲避坠落残骸。尽管当局发布了警告和疏散通知，但火箭残骸坠落仍然引发了对有毒推进剂危害的担忧。
为什么我们致力于提升AI在数学辅导方面的能力 (以及我们最近在做什么) (blog.khanacademy.org)
这篇文章介绍了可汗学院致力于提升其AI学习工具Khanmigo在数学辅导方面能力的原因和所做的努力。Khanmigo旨在帮助学生学习数学并像真人导师一样进行辅导。文章指出AI在数学辅导方面存在挑战，例如计算错误和对学生答案评估不准确。为了解决这些问题，可汗学院团队采取了一系列措施，包括使用计算器解决数值问题、升级到更强大的语言模型、改进AI的“思考”方式以及建立新的评估工具等。文章最后强调了提升AI数学辅导能力的重要性，因为它可以帮助更多孩子实现梦想。
忘记健身房吧！养鸡就能让你保持健康 (text.npr.org)
作者分享了自己从跑步爱好者到因背部问题无法运动，最后通过养鸡重获运动乐趣的经历。养鸡需要弯腰、蹲下、搬运重物等活动，无形中锻炼了身体。作者认为，养鸡的优势在于无法逃避责任、无需专门换衣服、总有“鸡伙伴”陪伴，还能收获美味的鸡蛋。
美国联邦法官部分阻止政府禁止竞业禁止协议 (www.npr.org)
美国德克萨斯州一位联邦法官部分阻止了政府禁止竞业禁止协议的禁令，该禁令原定于9月4日生效。该禁令影响约3000万美国工人，这些工人受到雇佣协议的约束，这些协议通常禁止员工加入竞争对手公司或创办自己的公司。法官认为，联邦贸易委员会在宣布所有竞业禁止协议不公平且反竞争方面越权，并将在8月30日或之前就该案的是非曲直做出最终裁决。