SpaceX 发射 (www.spacex.com)
这篇文章详细描述了SpaceX龙飞船前往国际空间站的任务过程，包括七个主要阶段： 从发射、轨道调整、接近空间站、最终对接、加压、舱门打开到宇航员进入空间站。文章重点介绍了龙飞船在每个阶段执行的任务，例如变轨燃烧、姿态调整和与空间站建立通信等。
FBI 网络助理主任布莱恩·沃恩德伦在 2024 年波士顿网络安全会议上的讲话 (www.fbi.gov)
本文是 FBI 网络助理主任布莱恩·沃恩德伦在美国波士顿网络安全会议上的讲话。沃恩德伦重点介绍了 FBI 如何通过调查和归因网络活动、收集和利用情报、与国内外合作伙伴合作以及加强受害者参与来打击网络犯罪。他还详细介绍了 FBI 对勒索软件即服务、僵尸网络等网络犯罪的打击行动，以及对中国、俄罗斯等国家发起的网络攻击的回应措施。
微软首席科学家为 Windows Recall 辩护：数据存储在本地，不存在隐私问题 (www.theregister.com)
微软首席科学家 Jaime Teevan 对 Windows Recall 引发的隐私担忧不以为然，称该功能捕获的信息存储在本地，不会上传到云端。然而，安全研究人员指出，Recall 可以提取和显示未加密数据库中的用户活动快照，存在安全风险。此外，律师和系统入侵者也可以利用 Recall 访问用户数据。
电视音乐毫无意义 (www.theparisreview.org)
本文是对著名学者西奥多·阿多诺的采访。阿多诺认为，电视作为一种视觉媒介，天生就不适合呈现本质上是听觉体验的音乐。电视音乐制作过程中对视觉元素的过度强调，以及对音乐本身的扭曲和简化，损害了音乐的完整性和观众的聆听体验。虽然有人认为电视音乐可以起到普及作用，但阿多诺认为，这种对非本质元素的关注反而会阻碍观众对音乐的真正理解。
敏捷软件项目失败率高出 268% (www.theregister.com)
一项研究发现，采用敏捷实践的软件项目失败的可能性比不采用的项目高出 268%。研究表明，在开发开始前就记录清楚需求的项目成功率要高出 97%。然而，敏捷宣言的四大支柱之一是“可工作的软件优于详尽的文档”。此外，研究还发现，让工程师感到能够自由讨论和解决问题的项目成功的可能性要高出 87%。
TPM GPIO 故障：OEM 固件如何破坏 TPM 安全 (mkukri.xyz)
本文揭示了一种软件攻击，允许操作系统将独立TPM设备的PCR设置为任意值，并解封任何使用基于PCR的密封策略的密钥。攻击者可以通过将PCH上的PLTRST#引脚重新分配给GPIO块，然后通过软件将其值驱动为低电平来实现攻击。幸运的是，英特尔PCH提供了一种机制，允许启动固件锁定PCH引脚的配置，从而防止攻击。文章还讨论了对 BootGuard 测量模式的攻击，以及英特尔对该漏洞的回应。
Rust 并不适合游戏开发？ (barretts.club)
本文探讨了使用 Rust 进行游戏开发的挑战。作者认为，虽然 Rust 在系统编程方面表现出色，但其复杂的借用检查器和宏系统在游戏开发中构成了一定的障碍。作者以 Bevy 游戏引擎为例，指出其对类型擦除和宏的依赖导致编译时间不稳定，并降低了 Rust 静态分析的有效性。作者建议开发一种新的类似 Rust 的语言，该语言保留 Rust 的优点，同时更适合游戏开发的需求。
我最喜欢的编程教学问题：数字长度 (jstrieb.github.io)
这篇文章介绍了作者在卡内基梅隆大学担任编程入门课程助教时，最喜欢的一个教学问题：计算自然数的数字长度。作者首先介绍了学生容易想到的两种解法，并指出了它们的缺陷。然后，作者引导学生使用数学方法，利用对数函数来解决这个问题，并最终给出了一个简洁而正确的解决方案。在这个过程中，作者还强调了测试用例的重要性、规范定义的必要性以及代码与数学之间的关系等编程基础知识。
三菱电机开发机器人，0.305 秒复原魔方【视频】 (soranews24.com)
日本三菱电机公司开发了一款名为 TOKUFASTbot 的机器人，该机器人可以以 0.305 秒的速度复原魔方，打破了此前 0.38 秒的吉尼斯世界纪录。这款机器人连接到魔方每一面的伺服电机，能够在 0.009 秒内旋转 90 度，并配备 AI 颜色识别算法，以创纪录的时间解决了魔方难题。
PublicDev：面向开发者的 AI 驱动型社交分享工具 (marketplace.visualstudio.com)
PublicDev 是一款 VS Code 插件，借助 AI 的力量，开发者可以轻松地在社交媒体上分享代码提交和项目更新。它可以根据提交信息生成创意帖子，并为 Twitter、LinkedIn、Mastodon 等平台定制内容。
游戏驿站股票网红“咆哮小猫”或将失去E-Trade账户使用权 (arstechnica.com)
因担心其社交媒体帖子存在潜在的非法市场操纵行为，E-Trade平台正在考虑限制网红“咆哮小猫” (Roaring Kitty) 基思·吉尔 (Keith Gill) 的股票交易。吉尔近期发布的迷因内容引发游戏驿站股票价格飙升，引发了监管机构和交易平台的担忧。E-Trade担心限制吉尔的交易可能会引发其支持者抵制，但同时也担心放任不管会带来法律风险。
致ATmega爱好者：AVR Dx系列了解一下 (lcamtuf.substack.com)
本文介绍了Microchip新推出的AVR Dx系列8位MCU，与传统的ATmega相比，AVR Dx系列拥有更高的性价比，更快的处理速度，以及更低的功耗等优势。文章详细介绍了AVR Dx系列在硬件和软件方面的改进，例如更高的时钟频率、更简单的编程接口、更友好的寄存器操作等，并鼓励开发者尝试使用AVR Dx系列MCU进行开发。
地球上大多数生命处于休眠状态 (www.quantamagazine.org)
最新研究发现，地球上大多数微生物和细胞都处于休眠状态，这是它们应对恶劣环境的一种生存策略。科学家发现了一种名为Balon的蛋白质，它可以迅速关闭细胞的蛋白质生产，使细胞进入休眠状态。Balon普遍存在于各种生物体中，并且可以快速地从细胞中插入或移除，使细胞能够快速进入或退出休眠状态。
Photoshop 服务条款更新：Adobe 获取用户项目权限引争议 (nichegamer.com)
Adobe Photoshop 最新服务条款引发争议，要求用户授权访问项目内容用于“内容审核”等目的。这意味着 Adobe 可以访问用户未公开的项目，例如未发布的游戏或其他媒体项目的 logo，引发了专业人士的担忧，尤其是涉及保密协议的项目。
在线隐私如同捕鱼：微软人工智能监控丑闻引发对隐私标准的反思 (spectrum.ieee.org)
本文探讨了微软利用人工智能工具监控用户以识别黑客行为引发的隐私争议。作者以渔业资源过度捕捞导致的“基线偏移”现象为喻，指出人们对隐私的期望正随着技术发展和企业监控手段的升级而不断降低。文章呼吁采取整体视角，制定科学合理的监管措施，以构建尊重隐私、可持续发展的技术生态系统。
NTT DOCOMO与Space Compass联手空中客车，斥资1亿美元投资AALTO (www.aaltohaps.com)
日本电信电话公司（NTT DOCOMO）与Space Compass联手空中客车公司，将向高空平台基站制造商AALTO投资1亿美元，以期加速Zephyr高空平台基站的商业化进程。此次投资标志着各方将建立战略联盟，共同在日本及亚洲推广基于HAPS的通信和地球观测服务。Zephyr平台将提供低延迟的5G直连设备移动连接服务，并可用于监测、跟踪、传感和探测等多种应用。
Starlark 语言概述 (laurent.le-brun.eu)
Starlark 是一种类似 Python 的小型编程语言，主要用于应用程序的嵌入式开发。它具有确定性求值、封闭执行、并行求值、简单易用等特点，并注重工具支持。与 Python 相比，Starlark 更简洁，库更精简，没有异常、while 循环、yield 等特性。Starlark 已开源并被广泛应用于构建系统、配置语言等领域，例如 Bazel、Buck 等。
SW-51 野马飞机：体验经典与现代的完美融合 (www.scalewings.com)
SW-51 野马飞机是对传奇 P-51 野马飞机的致敬之作，融合了经典设计与现代科技。这款飞机采用全碳纤维结构，搭载 Rotax 916iS 涡轮增压发动机和 Garmin G3X 玻璃驾驶舱，兼具经典外观和卓越性能。超过 100,000 个源自原始飞机的纹理细节，使其成为对航空历史的非凡致敬。
德克萨斯证券交易所：获贝莱德和Citadel支持的计划详情 (www.forbes.com)
一群由Citadel Securities和贝莱德等二十多家投资者支持的团体计划在德克萨斯州建立一个股票交易所，与纽约证券交易所和纳斯达克竞争。该交易所计划于今年晚些时候在美国证券交易委员会注册。这个名为德克萨斯证券交易所（TXSE）的项目已筹集了1.2亿美元的资金，并计划于2025年开始促进交易，并在次年迎来首次上市。
Oral-B停用Alexa智能牙刷功能引争议 (arstechnica.com)
Oral-B于2020年发布了搭载Alexa语音助手的智能牙刷Guide，但在2022年停产。今年2月，Oral-B又停用了设置和配置Alexa的应用程序Connect，导致用户无法使用语音助手功能。许多用户对此表示不满，认为Oral-B此举损害了消费者权益。
霍华德·休斯1946年飞机失事 (www.latimes.com)
1946年7月7日，霍华德·休斯在驾驶他的实验性军用照相飞机XF-11首航时，在比佛利山庄坠毁，身受重伤。休斯在试图在洛杉矶乡村俱乐部的球场上迫降时，飞机撞上了一栋两层住宅的屋顶，随后又撞上了其他房屋和树木，最后在查尔斯·A·迈耶中校的家中爆炸起火。休斯被两名路人从燃烧的飞机中救出，并被送往医院，在那里他的情况危急。
Pydantic 使用 orjson 代替 ujson (github.com)
这篇 GitHub 文章讨论了是否应该使用 orjson 替换 ujson 作为 Pydantic 的 JSON 解析库。文章的作者 ijl 提交了一个拉取请求，将 Pydantic 中的 ujson 替换为 orjson，理由是 orjson 性能更好。然而，Pydantic 的维护者 samuelcolvin 拒绝了这个请求，理由是他对 orjson 的维护者 ijl 的身份信息和代码安全性存在疑虑。文章的最后，samuelcolvin 提出可以使用环境变量或配置文件来让用户选择使用哪个 JSON 解析库。
美国最大自动驾驶网约车服务区域进一步扩大 (waymo.com)
Waymo One 自动驾驶网约车服务在美国凤凰城的服务范围扩展了 90 平方英里，使服务总面积达到 315 平方英里，成为美国最大的自动驾驶服务区域。此次扩张将服务范围扩展到凤凰城北部、斯科茨代尔和梅萨市中心，为居民和游客提供前往热门目的地、度假村、高尔夫球场和娱乐场所的便利交通。Waymo 还与盐河皮马-马里科帕印第安人社区合作，首次在部落土地上提供自动驾驶服务。此外，Waymo 还致力于改善用户体验，包括提供个性化音频体验、重新设计车载屏幕以及推出“共享行程”功能等。
陪审团裁定波音公司窃取电动飞机初创公司的技术 (www.govtech.com)
西雅图一家联邦法院陪审团周四作出裁决，支持电动飞机初创公司Zunum对波音公司提起的诉讼，判给Zunum 8100万美元的赔偿金，法官可以选择将赔偿金增加两倍。Zunum声称，波音公司在表面上投资种子资金帮助其起步的同时，窃取了Zunum的技术，并积极破坏了其建立企业的尝试。
我们在Meta公司从事选举诚信工作 欧盟和所有民主国家都需要在为时已晚之前修复信息流 (www.techpolicy.press)
本文分析了社交媒体平台算法在选举中对虚假信息传播的影响，并呼吁欧盟和其他民主国家加强监管。作者指出，Meta等平台的算法会优先推送参与度高的内容，而这些内容往往包含虚假信息和煽动性言论，对选举诚信构成威胁。文章建议借鉴欧盟《数字服务法案》，要求平台公司公开算法机制，并采取措施减少有害内容的传播。
联邦调查局突击搜查亚特兰大房地产公司，调查租赁市场价格操纵行为 (www.ajc.com)
5月22日，联邦调查局突击搜查了亚特兰大多户型地产开发商Cortland Management，这是拜登政府司法部对租赁市场价格操纵行为进行反垄断调查的一部分。此次搜查的重点是RealPage公司及其租赁定价软件，该公司被指控与房东勾结提高租金。Cortland Management表示，他们正在全力配合调查，并且明白公司和员工都不是调查目标。
Humane 公司紧急召回 AI Pin 充电盒 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25379319/247075_Humane_AI_pin_AKrales_0111.jpg)
Humane 公司近日发布公告，紧急召回 AI Pin 充电盒。该公司发现，由第三方供应商提供的充电盒电池存在安全隐患，可能引发火灾。Humane 已停止与该供应商合作，并将为用户提供两个月的免费订阅服务作为补偿。
Meta被指控在收购Instagram和WhatsApp交易中隐瞒信息 (finance.yahoo.com)
美国联邦贸易委员会(FTC)在一份法庭文件中指控Meta Platforms Inc.在最初审查收购Instagram和WhatsApp的交易时隐瞒了信息。FTC在2020年起诉Meta，指控其通过收购新兴竞争对手垄断了个人社交网络市场。FTC声称Meta没有提供在2012年和2014年最初审查期间“Meta在其文件中拥有但没有提供的信息”。Meta则表示，在Instagram和WhatsApp并购审查期间，它履行了所有法律义务，并否认了FTC的指控。
DHCPv6-PD：第一步 (sha256.net)
本文介绍了OpenBSD系统中DHCPv6-PD功能的实现。作者首先概述了DHCPv6-PD的背景和重要性，然后详细介绍了如何将dhcpleased(8)改造为dhcp6leased(8)，并使用ISC的Kea DHCP服务器进行开发和测试。文章还探讨了描述网络拓扑、子网分配和地址规划等问题，并比较了dhcpcd和dhcp6leased在处理这些问题上的异同。最后，作者展望了dhcp6leased的未来发展方向，包括自动计算请求前缀的大小和输出地址规划等功能。