勒索软件团伙LockBit声称入侵美联储 (securityaffairs.com)
勒索软件团伙LockBit声称入侵了美联储系统并窃取了33TB的敏感数据，包括“美国人的银行机密”，并威胁将于2024年6月25日泄露。然而，许多专家对此表示怀疑，认为这可能是LockBit为了博取关注而发布的虚假声明。
苹果与马里兰州零售店员工达成首份工会合同 (apnews.com)
苹果公司已经与其在美国的首家工会商店达成了临时集体谈判协议。代表马里兰州一家零售店员工的国际机械师和航空航天工人联合会零售员工联盟宣布，他们与苹果公司达成了一项为期三年的协议，该协议将使员工平均工资提高10%，并提供其他福利。该协议必须得到该店约85名员工的批准，投票定于8月6日进行。
谷歌搜索结果页面将取消连续滚动功能 (searchengineland.com)
谷歌将停止其连续滚动用户体验，该功能允许用户在滚动浏览搜索结果第一页时自动加载更多结果。桌面版谷歌搜索将率先恢复到经典的分页栏，移动版也将紧随其后。谷歌表示，此举是为了在更多搜索中更快地提供搜索结果，并发现自动加载更多结果并没有显著提高用户对谷歌搜索的满意度。
第三方 Cookie 必须被移除 (www.w3.org)
W3C 技术架构组（TAG）发布了一份调查结果，指出第三方 Cookie 对网络有害，必须从网络平台中移除。该调查结果解释了移除第三方 Cookie 的必要性，并探讨了移除过程中面临的挑战。文章重点介绍了一些依赖第三方 Cookie 的用例，并提供了一些专门设计的技术的示例，这些技术可以替代第三方 Cookie。规范制定者在提出新的网络平台技术时，应确保不会破坏移除第三方 Cookie 所带来的好处。
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 已停止与该供应商合作，并将为用户提供两个月的免费订阅服务作为补偿。
Windows Recall：隐私噩梦？ (www.techradar.com)
微软即将推出的Windows 11新功能Recall引发了隐私担忧。Recall会每隔几秒对屏幕截图并存储，以便用户回顾之前的操作。然而，该功能默认开启，且截图中包含密码、财务信息等敏感数据，即使加密也存在安全隐患。作者认为，Recall功能存在被滥用风险，呼吁微软将隐私控制权交还用户。
图灵对有限字母表的拓扑学证明 (divisbyzero.com)
这篇博文介绍了图灵在他1936年发表的论文“论可计算数及其在判定性问题上的应用”中提出的一个拓扑学证明，该证明指出所有书面字母表都是有限的。图灵认为，由于人类肉眼无法区分过于相似的符号，并且每个符号都可以被视为平面上的紧集，利用豪斯多夫度量可以证明，在给定距离下，只有有限多个可区分的符号。
为何莱维敦没有彻底改变房屋建筑业 (www.construction-physics.com)
文章探讨了美国著名房地产开发商莱维特父子公司（Levitt and Sons）及其创始人威廉·莱维特试图以大规模生产方式建造住宅的历程。莱维特以建造“莱维敦”而闻名，这些住宅区在20世纪40年代至60年代迅速建成，采用标准化产品和逆装配线技术等方法，每天能建成数十栋房屋。然而，随着住房市场供需关系变化、土地使用管制日益严格以及公司管理问题，莱维特的成功模式逐渐失效，最终走向衰落。文章总结了莱维特父子公司兴衰的原因，并指出大规模生产方式在住宅建筑领域的局限性。
戴尔笔记本 Linux Goodix 指纹驱动 (github.com)
该仓库旨在为 Debian/Ubuntu 系统上的 Goodix 指纹设备提供驱动程序。用户可以选择预编译的 .deb 软件包进行快速安装，也可以选择提取的软件包进行实验。该仓库还包含提取的数据文件夹以及 bare_so_files 文件。
Verizon公司因互联网补贴政策结束导致预付费用户流失 (finance.yahoo.com)
Verizon公司第二季度营收未达预期，原因是手机升级换代的人数减少，以及联邦互联网补贴政策结束后，预付费无线用户急剧下降。该公司将超过一半的用户损失归咎于5月份结束的新冠疫情时代的“可负担互联网计划”(ACP)。Verizon公司首席财务官表示，由于ACP到期而导致的大部分断线已经发生，这意味着下一季度的影响可能会减弱。
程序员的打字机：为什么过度优化代码输入效率是短视的行为 (felixk15.github.io)
文章批评了过度使用auto和模板类型推导的代码编写风格。作者认为，这种风格虽然可以提高代码输入速度，但会降低代码的可读性、可调试性和可导航性，从而增加阅读和理解代码的难度。文章主张代码应优先考虑可读性，并给出了一个示例来说明如何通过明确的类型声明来提高代码清晰度。
200多款设备存在安全漏洞，安全启动形同虚设 (arstechnica.com)
安全启动功能在宏碁、戴尔、技嘉、英特尔和超微的200多款设备上完全失效。原因是这些型号设备上支持安全启动的加密密钥在2022年遭到泄露。这使得攻击者可以绕过安全启动，在系统启动时执行恶意软件或不受信任的代码。更令人担忧的是，还有超过300款其他主要设备制造商的设备型号也存在类似的安全隐患，这引发了人们对安全启动完整性的严重怀疑。
美国时隔21年再夺国际奥数冠军 (www.npr.org)
美国队在泰国清迈举行的国际数学奥林匹克竞赛中，击败来自100多个国家的选手，时隔21年再次夺冠。卡内基梅隆大学教授、美国队主教练罗博深表示，比赛持续两天，选手每天需要解答三道数学题，即使只能解决一道题，也称得上是天才。他还强调了数学教育的重要性，认为数学不仅仅是记忆公式，更需要创造力。
GitHub - BuilderIO/micro-agent：为你编写（真正有用）代码的人工智能代理 (github.com)
Micro Agent是一款人工智能代码编写工具，通过迭代代码直至所有测试用例通过来确保生成代码的可用性。它支持单元测试匹配和视觉匹配两种模式，并可与OpenAI、Claude、Ollama等平台以及Figma集成。用户可以通过命令行界面或配置文件设置API密钥、模型、运行次数等参数。
扩散强制：下一词预测与全序列扩散的结合 (boyuan.space)
本文介绍了一种新的训练范式“扩散强制”，它训练扩散模型对具有一致逐词噪声水平的词符集进行去噪。该方法将扩散强制应用于序列生成建模，通过训练因果下一词预测模型来生成一个或多个未来词符，而无需完全扩散过去的词符。实验证明，这种方法结合了下一词预测模型（如可变长度生成）和全序列扩散模型（如将采样引导至期望轨迹的能力）的优点。
逆向工程我的扬声器API以获得合理的音量控制 (jamesbvaughan.com)
作者新买的JBL音响音量过大，难以进行微调。为了解决这个问题，作者尝试通过逆向工程音响的API来实现更精确的音量控制。作者发现音响提供了一个未公开的Web界面和HTTP API，可以读取和设置音量等参数。作者尝试利用API设置最大音量限制，但未能成功。最终，作者选择搭建一个自定义的网页界面，通过该界面控制音响音量。
CMD FD-4000软驱：将普通PC磁盘变为Commodore 8位机器的3.2MB磁盘 (www.amigalove.com)
CMD FD-4000软驱具有一项独特功能：可以将常见的1.4MB 3.5英寸PC磁盘转换为容量为3.2MB的ED磁盘，用于Commodore 8位计算机。文章详细介绍了转换过程，包括在磁盘上钻孔、遮盖HD孔、使用CMD软件进行格式化等步骤。作者还分享了他在转换过程中遇到的问题和解决方法，并探讨了不同软驱机制可能导致的转换成功率差异。
Algorithmica：面向现代硬件的算法 (en.algorithmica.org)
Algorithmica 是一个致力于计算艺术和科学的开放获取网络书籍，由 Sergey Slotin 以及非营利教育机构 Tinkoff Generation 的教师和学生共同创建。该网站的英文版本正在建设中，目前主要内容是持续更新的《面向现代硬件的算法》草案。
揭秘AWS会话令牌的内部结构 (medium.com)
本文首次对AWS会话令牌进行了逆向工程分析，详细解析了令牌的内部结构，包括版本、签名、用户数据、创建时间等字段，并揭示了AWS用于加密和签名的加密算法。研究发现，AWS会话令牌采用了强大的安全机制，能够有效抵御伪造攻击，但仍建议用户在公开分享令牌之前进行必要的编辑处理。
Adrian Sampson：测试用例自动精简 (www.cs.cornell.edu)
本文介绍了如何使用自动化工具 Shrinkray 对测试用例进行精简，以快速定位代码中的错误。作者以调试一个解释器 bug 为例，详细讲解了编写 Shrinkray 可用的“interestingness test”脚本的技巧和步骤，包括如何判断测试用例是否触发了 bug，如何避免误判，以及如何在需要时手动干预精简过程等。
计数B树 (www.chiark.greenend.org.uk)
本文介绍了计数B树，它是在传统B树基础上进行改进的数据结构。计数B树在每个子树链接旁边存储子树中元素数量的计数，从而支持按索引查找、按数字查找以及按任意顺序插入元素等操作。文章详细解释了计数B树的算法原理、操作复杂度以及应用场景，并提供了C语言实现代码。
英伟达与Mistral AI联手推出企业级桌面AI模型Mistral-NeMo (venturebeat.com)
英伟达与法国初创公司Mistral AI联合发布了一款名为Mistral-NeMo的新型语言模型，旨在为企业桌面带来强大的AI功能。该模型拥有120亿个参数和128,000个token的扩展上下文窗口，使其成为寻求在无需大量云资源的情况下实施AI解决方案的企业的强大工具。
色度图为什么是那个形状？ (jlongster.com)
本文探讨了色度图的形状由来以及如何生成色度图的颜色。作者首先解释了颜色匹配函数的概念，并介绍了CIE 1931 XYZ颜色空间。随后，作者解释了如何从XYZ颜色空间推导出xy色度图，并尝试通过迭代计算和绘制每个像素的颜色来填充色度图。作者还探讨了光谱颜色和宽色域颜色空间的概念，并解释了为什么打印使用CMYK颜色系统，而数字显示器使用RGB颜色系统。最后，作者通过生成随机颜色匹配函数和绘制相应的色度图，证明了色度图的形状是由人眼对红、绿、蓝光感知方式决定的。
加入 Yellow Click - 点击计数器测试版 (testflight.apple.com)
本文介绍了如何加入 Yellow Click 点击计数器应用程序的测试版。用户需要安装 TestFlight 应用，并通过电子邮件或公开链接邀请加入测试。文章详细说明了 TestFlight 的使用方法，包括安装测试版应用、管理自动更新、提供反馈、联系开发者以及退出测试等。
弗吉尼亚·伍尔夫的清单创作如何为她的文学实验铺平道路 (www.ft.com)
本文探讨了弗吉尼亚·伍尔夫的清单创作习惯与其文学实验之间的关系。文章认为，伍尔夫通过清单记录日常生活、灵感和想法，并将这些素材融入到她的文学作品中，从而形成其独特的写作风格。
利用倒数排名融合和混合搜索改进检索增强生成结果 (www.assembled.com)
Assembled公司在使用检索增强生成技术构建问题解决引擎时，发现仅依靠向量搜索在处理包含特定关键词的查询时效果不佳。为解决这个问题，他们引入了一种结合关键词搜索和向量搜索的混合搜索方法，并使用倒数排名融合算法对搜索结果进行排序。这种方法有效提高了搜索结果的准确性和相关性。
超级婴儿：拼凑基因的未来 (www.lesswrong.com)
本文探讨了利用基因技术创造“超级婴儿”的可能性，分析了当前的技术瓶颈和未来方向。作者首先介绍了多基因评分在预测个体特征方面的应用，然后探讨了胚胎选择、迭代胚胎选择和体外诱导减数分裂等技术在筛选和创造具有特定基因特征胚胎方面的潜力。文章还讨论了体外配子发生、基因编辑、超级SOX因子以及表观遗传印记等技术挑战，强调了在伦理和安全性得到充分保障之前，这些技术不能用于创造“超级婴儿”。