未来福特汽车或将自动检测超速并报警 (www.motorauthority.com)
福特汽车正在申请一项专利技术，允许车辆自动检测并向警方报告超速驾驶行为。该技术利用车载摄像头监控其他车辆的速度，如果发现超速，将拍摄照片并发送给警方。不过，该技术的法律依据尚不明确，因为它并非由执法人员直接目击。
SVG的妥协三角 (me.micahrl.com)
文章介绍了在网页上使用SVG的三种主要方式：使用标签引用、使用标签嵌入以及使用嵌入，并分析了它们各自的优缺点，指出每种方式都只能同时满足“可样式化”、“可缓存”和“有尺寸”三个特性中的两个。
Happy Macs Gopher 网站恢复上线 (happymacs.wordpress.com)
Happy Macs Gopher 网站 (gopher://happymacs.ddns.net) 在经历了因 ISP 问题和服务器升级导致的长时间中断后恢复上线。该网站提供了一个简洁快速的在线内容发布解决方案，与 HTTP 和网站类似，但更加简单高效。
如何编译你的语言 (isuckatcs.github.io)
本文是关于如何设计一门编程语言并为其实现一个现代编译器的实用指南。文章首先探讨了语言设计的目标和语法选择，然后介绍了编译器的三个主要组成部分：前端、优化器和后端。文章重点关注前端的实现，包括词法分析器、语法分析器和语义分析器，并以LLVM作为优化和代码生成的工具。
深海发现自然电池：无需光合作用也能产生氧气 (theeggandtherock.com)
最新研究发现，深海底部覆盖着能够产生氧气的天然“电池”——多金属结核。这些结核由锰、铁、钴、镍等金属构成，通过化学反应电解海水产生氧气，为深海生物提供生存条件。这一发现颠覆了以往认为深海氧气 solely 来自光合作用的认知，也为探索冰卫星上的生命提供了新思路。科学家推测，冰卫星的液态海洋中可能存在类似的结核，为生命提供氧气，并支持早期生命从以硫为基础向以氧为基础的转变。
Python软件基金会章程变更通知 (pyfound.blogspot.com)
Python软件基金会（PSF）发布了章程变更通知，将于2024年8月10日生效。此次变更旨在解决原章程中存在的财务风险，即要求基金会为个人会员提供无限的法律责任保障。新章程将不再向未代表基金会行事的会员提供此类保障，以符合标准的非营利组织治理实践。
美国近三分之二的房屋待售时间超过一个月 (www.redfin.com)
由于高房价抑制了需求，而待售房屋供应量却在增加，越来越多的房屋在市场上滞销。根据 Redfin.com 的数据分析，6月份市场上有近三分之二（64.7%）的房屋至少挂牌了30天而没有签订合同，这一比例高于一年前的59.6%，创下自2020年以来6月份的最高水平。
vdm：一款通用的版本化依赖管理器 (github.com)
vdm 是一款通用的版本化依赖管理器，类似于 Git Submodules，用于管理外部依赖项。它与语言无关，可以用于任何需要远程开发资源的场景。vdm 可以通过 YAML 或 JSON 格式的规范文件指定依赖项及其版本，并通过 `vdm sync` 命令自动下载和更新依赖项。
安全启动主密钥泄露，数百款主流厂商电脑形同虚设 (www.theregister.com)
安全厂商Binarily的研究人员发现，戴尔、宏碁、富士通、技嘉、惠普、联想和超微销售的数百款电脑，以及英特尔销售的组件，都在使用疑似是2022年泄露的一个已有12年历史的测试平台密钥 (PK) 来保护其UEFI安全启动的实现。攻击者可以利用该密钥在启动过程中运行不受信任的代码，即使启用了安全启动。
所有设备皆可阅读的免费电子书 (www.planetebook.com)
该网站提供了一个免费电子书清单，涵盖了众多文学名著，如《哈克贝利·费恩历险记》、《汤姆·索亚历险记》、《爱丽丝梦游仙境》、《安娜·卡列尼娜》等，可供用户在各种设备上阅读。
GitHub - izabera/ps (github.com)
这是一款名为ps aux的工具，完全使用bash编写，无需进行任何fork操作。该工具旨在解决在无法创建新进程的情况下，如何模拟ps aux功能的问题。
《行星湮灭》的技术：时空相机 (www.forrestthewoods.com)
本文介绍了游戏《行星湮灭》中的一项重要技术：时空相机（ChronoCam）。ChronoCam类似于回放系统，但它是在游戏过程中实时运行的。玩家可以在游戏中随时跳转回看，慢速/快速播放，拖动时间轴，甚至倒放。这项技术的实现依赖于游戏引擎使用曲线来表示和存储游戏对象的数据，例如位置、方向、生命值等。ChronoCam为游戏带来了许多优势，包括更流畅的网络同步、更小的带宽占用、更强大的反作弊功能以及更灵活的回放和直播功能。
SD卡闪存转换层 (msreekan.com)
这篇文章详细介绍了SD卡内部的闪存转换层（FTL）是如何工作的。FTL负责将用户可见的虚拟地址映射到实际的物理地址，因为它需要处理闪存不能直接覆盖数据的特性。文章解释了SD卡启动过程、传输模式以及FTL如何处理连续写入和随机写入。连续写入时，FTL会选择一个已擦除的物理块进行写入，并将旧块标记为脏块等待擦除。而随机写入时，由于数据可能分布在不同的物理块中，FTL需要进行更复杂的映射和垃圾回收操作，这会影响写入性能。
纳瓦霍语：世界上最难学的语言之一 (bigthink.com)
纳瓦霍语被许多语言学家认为是世界上最难的语言之一。纳瓦霍语使用者主要集中在美国亚利桑那州和新墨西哥州，是美国最大的原住民群体之一。纳瓦霍语的难点在于其独特的语法、句法和声调发音，以及对纳瓦霍习俗的了解程度要求。纳瓦霍语是声调语言，词汇的拼写相同但发音不同会导致含义不同。它还有复杂的音系，包含33个辅音和12个元音，其中一些发音在其他语言中不存在。纳瓦霍语的语法以动词为中心，动词的变化形式繁多，还有独特的“灵活性”概念，影响名词的拼写和在句子中的位置。尽管纳瓦霍语学习难度大，但通过双语教学和对原住民文化的重视，纳瓦霍语的传承正在得到改善。
迷惑与困惑：一项针对reCAPTCHAv2的大规模真实用户研究 (arxiv.org)
本文介绍了一项针对reCAPTCHAv2验证码的大规模真实用户研究，该研究历时13个月，涉及超过3600名用户。研究发现，虽然用户在多次尝试后解决验证码的能力有所提高，但reCAPTCHAv2的设计仍然给用户带来了困扰，尤其是在图片识别方面。研究还发现，网站的上下文环境、用户的专业背景和教育水平都会影响验证码的解决时间。作者认为，reCAPTCHAv2及其类似技术存在成本高、安全性低的问题，应该被淘汰。
瑞安·雷诺兹谈《死侍与金刚狼》惊人的票房成绩 (www.hollywoodreporter.com)
《死侍与金刚狼》上映首周末票房突破2亿美元，创下R级片历史记录。主演瑞安·雷诺兹将其归功于影片的广泛吸引力，称其为“首部适合所有观众的R级片”。尽管存在暴力血腥内容，但影片的幽默、动作和情感元素吸引了各个年龄段的观众，打破了R级片的票房局限。
纪念范内瓦·布什逝世50周年 (thetech.com)
本文回顾了麻省理工学院前院长范内瓦·布什的一生及其影响。布什在二战期间领导建立了盟军的军事工业创新体系，并对战后科技政策产生了深远影响。作者探讨了布什的复杂遗产，包括他在推动科技进步的同时也引发了军事工业复合体和伦理问题的争议。文章呼吁反思布什的功过，并将其作为契机，探讨科学、政府、军事和社会之间错综复杂的关系。
人工智能模型评测 (aimodelreview.com)
本文提供了一个人工智能模型评测网站，该网站可以对75个AI模型进行200多个方面的比较，包括知识、推理、创造力、安全护栏、完成任务和情商等。
富士胶片发布 Linux SDK，助力无人机制造商使用 GFX100 相机 (petapixel.com)
富士胶片日本公司开发了一款新的 Linux 软件开发工具包 (SDK)，用于远程控制富士胶片 GFX100 系列相机。此前，富士相机的远程控制SDK只兼容macOS和Windows系统，此次新增Linux SDK，将为无人机制造商提供更多选择。Linux是无人机操作系统的常用系统，此次合作将使无人机能够搭载高分辨率的GFX100系列相机进行航空、基础设施检查等工业应用。
代码行数统计 (andrewpwheeler.com)
本文作者分享了自己统计代码行数的经验。通过命令行工具，作者统计出自己近期项目中大约包含3万行Python代码，并估算每天编写约143行代码。作者还对比了Python代码与R代码、SPSS代码的行数差异，并分析了造成差异的原因。
CrowdStrike 事件反思：我们需要更好的解决方案 (www.fsf.org)
近日，CrowdStrike安全公司推送的Windows内核驱动自动更新导致全球大量机器崩溃。自由软件基金会（FSF）借此呼吁人们关注自由软件的优势，指出如果采用多样化的自由软件生态，并保证所有代码公开透明，类似事件的影响可以被降到最低。文章批评微软公司试图通过掩盖代码来解决问题的做法，并强调公共机构更应该使用自由软件来保障自身和用户的权益。
双效抗生素或将使细菌耐药性成为历史 (today.uic.edu)
伊利诺伊大学芝加哥分校的最新研究表明，一种通过破坏两种不同细胞靶点起作用的新型抗生素将使细菌产生耐药性的难度增加1亿倍。这种名为大环内酯类的合成抗生素能够通过干扰蛋白质生成或破坏DNA结构这两种方式起作用。由于细菌需要同时对这两种攻击进行防御，研究人员计算出产生耐药性的可能性几乎为零。
高达九成的代码由人工智能生成 (www.techsistence.com)
本文作者分享了他是如何利用生成式人工智能（GenAI）工具来辅助编程，从而将软件开发效率提升到新高度的经验。作者强调了持续学习、灵活运用工具、发掘创意性应用场景以及将大型语言模型（LLM）融入日常工作流程的重要性。通过与AI协作，作者能够将更多精力集中在软件设计的核心环节，而非代码的编写。
成为现实生活中的马盖先 (macgyver.com)
这篇文章介绍了“成为马盖先”的理念，鼓励人们像电视剧主角马盖先一样，运用智慧和身边资源解决问题。网站提供了参与“马盖先”音乐剧、学习“马盖先秘诀”以及支持马盖先基金会等多种方式，帮助人们提升创造力和问题解决能力，并倡导自力更生、非暴力和可持续发展的生活方式。
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软件进行格式化等步骤。作者还分享了他在转换过程中遇到的问题和解决方法，并探讨了不同软驱机制可能导致的转换成功率差异。
利用AVX-512指令集加速字符串小写转换 (dotat.at)
本文介绍了如何使用AVX-512-BW指令集中的掩码加载和存储指令来加速字符串的小写转换操作，并与其他方法进行了性能比较。结果表明，AVX-512-BW指令集在处理短字符串时性能出色，并且代码实现相对简单。
LeanDojo：使用检索增强语言模型进行定理证明 (leandojo.org)
LeanDojo是一个用于在Lean定理证明器中使用语言模型进行定理证明的框架。它包含一个大型数据集LeanDojo Benchmark，该数据集提取自数学库并包含定理、证明、策略和前提条件等信息。LeanDojo可以训练检索增强语言模型ReProver，该模型可以通过检索相关前提条件来自动生成策略并搜索完整证明。实验表明，ReProver在定理证明方面优于Lean的内置自动化策略和其他基线模型。
窃贼利用干扰器攻击WiFi摄像头，如何防范？ (www.pcworld.com)
文章指出，窃贼正利用WiFi干扰器来攻击无线网络安全摄像头，提醒居民提高警惕。作者认为，过度依赖昂贵的传统有线摄像头系统并非最佳方案，建议选择内置存储和电池的摄像头，例如Eufy的太阳能SoloCam系列，以便在发生入侵时保留视频记录。
CrowdStrike就全球IT系统崩溃事件向合作伙伴提供10美元代金券以示歉意 (news.sky.com)
CrowdStrike因软件更新故障导致全球IT系统崩溃，波及航空、医疗、商业等多个领域，造成巨大经济损失。为表达歉意，CrowdStrike向其团队和合作伙伴发放了10美元的Uber Eats代金券，但部分代金券无法使用，Uber Eats将其标记为欺诈。CrowdStrike表示，他们正在调查问题原因并采取措施防止类似事件再次发生。