群论：现代数学的基石 (www.quantamagazine.org)
本文介绍了群论，它是现代数学的一个基本概念。群由一组元素和一个运算组成，满足闭合性、结合律、单位元和逆元的存在性。群论被用于研究从整数到三角形对称性等各种数学结构，并应用于密码学、病毒学和物理学等领域。
Signal 不仅仅是加密通讯工具：Meredith Whittaker 致力证明监控资本主义的错误 (www.wired.com)
本文介绍了加密通讯软件Signal在其十周年之际，总裁Meredith Whittaker强调Signal作为非营利组织，不追踪用户、不投放广告，并为工程师提供优渥待遇的运营模式，以此证明科技行业不依赖于监控资本主义也能取得成功。Whittaker认为Signal的成功模式可以作为其他科技公司效仿的模板，并呼吁建立一个更加多元化的科技生态系统。
观看：游轮拦腰截断是印钞许可证 (newatlas.com)
文章介绍了游轮行业流行的一种“巨型化”手术，即将游轮拦腰截断，插入新舱段以增加载客量和盈利能力。文章详细描述了该手术的操作流程，包括切割、分离、插入新舱段、焊接、内部装修和测试等步骤，并指出这种方法比建造新船更省时、更经济。
超越 Ctrl-C：Unix 信号处理的黑暗角落 (sunshowers.io)
本文深入探讨了Unix信号处理机制，从信号的基本概念、发送方式到信号处理函数的局限性都进行了详细介绍。作者以下载管理器为例，阐述了信号处理中可能遇到的问题，并引入了异步Rust以及Tokio框架中的select!机制来解决这些问题。文章还探讨了进程组的概念以及如何在异步Rust中管理子进程的信号处理。
马来西亚通讯及多媒体委员会暂缓实施DNS重定向计划 (thesun.my)
马来西亚通讯及多媒体委员会(MCMC)被要求暂缓实施要求所有互联网服务提供商(ISP)执行域名系统(DNS)重定向的指令。通讯部长法米表示，MCMC应继续与所有利益相关者举行交流会议，以收集意见、建议和建议，以确保共同实现更安全的网络环境的目标。他强调，网络犯罪问题，包括访问赌博、卖淫和色情网站，非常令人担忧，需要全面的解决方案。
分布式系统之痛：选择你的毒药 (hazelweakly.me)
本文探讨了分布式系统中难以避免的一致性问题。作者指出，最终一致性和最终不一致性是同一事物的两面，为了获得非原子性操作的便利，开发者必须接受系统状态最终可能与预期不符的现实。文章列举了各种可能出现的错误和不一致情况，例如资源失效、数据丢失、状态不一致等，并强调无法完全避免这些问题，只能选择能够容忍的错误类型，并采取措施减轻其影响。作者还讨论了不同系统设计选择的优缺点，例如可重现和可引导系统、缓存预热、重启和扩展操作等，强调每种选择都有其代价和收益，开发者需要根据实际情况做出权衡。
记录舞蹈：如何用符号记录芭蕾 (adafrobinson.wordpress.com)
文章介绍了舞蹈符号的历史，重点介绍了四种对舞蹈记录产生重大影响的舞蹈符号类型：博尚-费厄叶符号、斯捷潘诺夫符号、拉班符号和贝奈什符号。文章详细解释了每种符号的特点、发展历程以及优缺点，并将其与音乐符号进行了比较。作者还分享了参观维多利亚和阿尔伯特博物馆表演与收藏档案馆以及英国国家芭蕾舞团档案馆的计划，以及对舞蹈符号在芭蕾舞学习和研究中的应用进行了展望。
阿帕拉契山径徒步旅行者照片档案 (athikerpictures.org)
文章介绍了阿帕拉契山径管理处（ATC）的徒步旅行者照片档案。长期以来，在ATC总部拍摄照片已成为徒步旅行者的惯例，这些照片被用于官方的徒步者登记册。得益于基金捐赠和志愿者的努力，早期的宝丽来照片和最近的数字照片现已在线上和阿帕拉契山径博物馆展出。
电击鸟类引发美国多起野火 (gizmodo.com)
美国多地发生电击鸟类从电线坠落并引发野火的事件。鸟类通常情况下停留在电线上是安全的，但如果它们试图在电线杆上的设备中寻找昆虫等食物时，可能会触电并起火，掉落后引燃地面上的易燃物。科罗拉多州今年夏天已发生至少三起此类火灾，其中一起造成了一栋房屋和十几座建筑被烧毁。研究人员建议有关部门改进电力设施，防止鸟类触电，以减少此类火灾的发生。
WebP：网页压缩格式 (purplesyringa.moe)
这篇博客文章探讨了如何通过压缩来减少网站流量并改善页面加载时间。作者指出了GitHub Pages不支持Brotli压缩的缺陷，并提出了一种使用JavaScript在客户端解压缩预压缩数据的解决方案。作者还比较了gzip和Brotli的压缩效率，并推荐使用Brotli以获得更小的文件大小和更快的加载速度。
PC软盘加密保护：Softguard Superlok (martypc.blogspot.com)
本文分析了Softguard Systems开发的软盘加密保护技术Superlok，特别是其在Sierra游戏中的应用。文章详细介绍了Superlok的工作原理，包括其特殊的磁道结构、加密密钥的读取方式以及解密过程。同时，文章也指出了Sierra在应用Superlok时存在的安全漏洞，例如密钥偏移量的暴露以及加密磁道的重复使用，导致破解者可以轻松绕过保护。最后，文章还提到了与Superlok相关的恶意软件、破解软件以及最终Softguard Systems的衰落。
谷歌坚称将 Rust 代码添加到固件中很容易 (www.theregister.com)
谷歌近日使用 Rust 语言重写了其 Android 虚拟化框架中受保护虚拟机的固件，并鼓励开发者效仿。尽管 Rust 以学习曲线陡峭著称，但谷歌工程师认为 Rust 提供了一种避免内存安全错误的方法，并且与 C/C++ 具有互操作性。尽管如此，鉴于 C/C++ 开发者对 Rust 的接受程度不高，以及 Rust 本身的学习难度，将 Rust 应用于固件开发仍面临挑战。
GNOME 文件管理器：深度 UI 体验 (www.datagubbe.se)
本文是一篇博主对 GNOME 文件管理器 UI 的深度评测。博主从个人使用体验出发，详细分析了 GNOME 文件管理器在 UI 设计上存在的种种问题，例如菜单分类混乱、功能隐藏、操作逻辑不一致、工具提示鸡肋、滚动条设计不合理等，并将其与传统 UI 设计理念进行了对比。博主认为，GNOME 文件管理器的设计过于强调新颖性，反而忽视了用户体验的基本原则，导致其在易用性和效率方面存在诸多缺陷。
SAMA-Communications：简单而先进的消息传递替代方案 (github.com)
SAMA（简单而先进的消息传递替代方案）是一个开源聊天服务器，旨在跨移动和Web应用程序进行安全、高效的实时通信。它支持实时消息传递、群组聊天、用户管理、多设备支持、推送通知、集群和广泛的API，以增强通信需求。
大型语言模型硬件加速：综述与比较 (arxiv.org)
这篇文章综述了利用硬件加速器加速大型语言模型Transformer网络的各种研究工作，对不同技术、平台(FPGA、ASIC、内存、GPU)以及加速效果、能效、性能(GOPs)和能效比(GOPs/W)进行了定性和定量比较。文章还通过将不同方案的结果外推到相同的工艺技术上，进行了更公平的理论和实践比较。
探索 Goja：Golang JavaScript 运行时 (jtarchie.com)
这篇文章探讨了 Goja，一个 Golang 生态系统中的 JavaScript 运行时库。作者在处理大型数据集时遇到了挑战，Go 的简洁性在处理复杂 JSON 响应时变得麻烦。Lua 的库支持不一致，而 Goja 提供了与 Go 结构体的无缝集成，能自动推断字段和方法，简化了数据操作。文章详细介绍了 Goja 的使用，包括赋值、返回值处理、结构体和方法调用、异常处理以及使用 VM 池来优化性能等方面。作者还分享了在使用 Goja 运行用户提供代码时遇到的问题和解决方案，最终通过匿名函数实现了代码沙盒化。
不要在可写文件上延迟关闭 (www.joeshaw.org)
在Go语言编程中，defer语句通常用于在函数结束时自动关闭已打开的文件或网络连接。然而，对于可写文件，defer语句的使用可能会掩盖文件关闭时可能出现的错误。这是因为defer语句会忽略被延迟函数的返回值，而文件关闭操作(Close()方法)可能会返回错误。文章分析了出现这种情况的原因，并给出了两种解决方案：一是不要使用defer语句，而是显式地关闭文件并检查错误；二是使用命名返回值和闭包来处理defer语句中的错误。
GPT 生成论文充斥谷歌学术：特征、传播与风险 (misinforeview.hks.harvard.edu)
文章分析了谷歌学术中使用GPT生成的伪造论文，发现这些论文数量众多，且多涉及环境、健康和计算机等容易被操纵的领域，对社会认知构成潜在威胁。 这些论文通常未声明使用GPT，难以被识别，并已蔓延至各大在线平台。 文章建议通过技术、教育和监管等多方面措施来解决这一问题，例如提供筛选功能、建立非商业学术搜索引擎以及加强公众的信息素养教育等。
FutureRack：家庭服务器机架 (futurerack.info)
FutureRack 是一款家用服务器机架产品，旨在将数据中心的强大功能带入家庭环境。它提供了一种新的生活方式，可以管理家庭网络、存储数据、运行应用程序等，并可以通过不同的配置和设置进行个性化定制。
智能手机制造商OSOM将于本周关闭 (www.androidauthority.com)
由Essential前员工创立的智能手机制造商OSOM将于本周晚些时候正式关闭。公司首席执行官Jason Keats昨日在内部宣布了这一消息。大多数员工将于周五被解雇，但部分员工将留下来，为Solana Saga推出最终更新。OSOM的产品以注重隐私和安全为特色，但由于与Solana的合作破裂以及资金枯竭等原因，公司最终走向倒闭。
使用OCaml生态系统开发合成器库时的糟糕经历 (www.gridbugs.org)
本文讲述了作者使用OCaml生态系统开发音频合成器库时遇到的种种困难。尽管作者认可OCaml语言本身的优势，但其开发工具的不人性化和意外行为却令人沮丧。文章列举了作者在开发过程中遇到的问题，包括使用Dune链接特定操作系统的原生库、Dune忽略以点开头的目录、OCaml-RS库中数组传输的错误以及Opam在管理本地包时的困惑行为等。作者认为，OCaml工具的易用性有待提高，并希望通过分享自身经历，帮助其他OCaml开发者降低预期，并在遇到类似问题时避免自我怀疑。
Kalmia：快速易用的开源文档搜索工具 (kalmia.difuse.io)
Kalmia 是一款免费开源的文档搜索工具，致力于高效便捷地获取知识。它采用 Go 语言编写，并使用基于 Rust 的 RsPress 进行 Markdown 处理，因此执行和构建速度都非常快。Kalmia 易于使用，无论新手还是专家都能轻松上手。
HNTerm - 终端中的 Hacker News (hnterm.ggerganov.com)
HNTerm 是一款终端应用，允许用户在终端环境中浏览 Hacker News 网站。该应用构建于 2022 年 3 月 13 日，提交哈希值为 563e8787，最近一次提交修复了一些浏览器上的性能问题。
渴望独裁者：美国选民的危险倾向 (reason.com)
文章指出，美国选民越来越渴望一位强势的总统，甚至愿意赋予其不受立法和司法部门约束的权力。这种对独裁统治的渴望是危险的，可能导致社会分裂和冲突。作者呼吁限制总统权力，将决策权归还给国会、州和人民，以维护美国民主。
电池：电网快速增长的二次电力来源 (www.eia.gov)
美国能源信息署（EIA）的数据显示，近年来，电池储能系统作为一种电力容量来源在美国发展迅速。截至2024年7月，美国已拥有超过20.7吉瓦的电池储能容量。电池储能系统为电网提供电力，并提供一系列服务来支持电网，例如平衡供需、将电力从低价时段转移到高价时段（套利策略）以及存储来自风能和太阳能等可再生能源的电力。
LSP：优缺点解析 (www.michaelpj.com)
本文探讨了语言服务器协议 (LSP) 的优缺点。作者认为LSP的优点在于解决了跨编辑器提供IDE工具的难题，专注于呈现而非语义，并保持了良好的向后兼容性。然而，LSP也存在一些缺点，如缺乏真正的开放性、对并发处理考虑不周、状态同步机制不完善等。作者还批评了LSP规范过于庞大、类型定义奇怪、描述不够精确等问题。
埃隆·马斯克现在控制着三分之二的在轨活跃卫星 (www.the-independent.com)
埃隆·马斯克的SpaceX公司发射了第7000颗星链卫星，使其控制的在轨活跃卫星数量占全球三分之二。星链卫星网络自2019年首次发射以来，平均每天新增3颗卫星，目前在102个国家运营，拥有超过300万用户。SpaceX计划最终发射4.2万颗卫星，为全球提供高速互联网和电话连接服务。
Meta 将于 2027 年允许第三方应用向 WhatsApp 和 Messenger 用户拨打电话 (techcrunch.com)
Meta 公司宣布计划在 2027 年允许第三方应用向 WhatsApp 和 Messenger 用户拨打电话。这是 Meta 为遵守欧盟《数字市场法案》(DMA) 而采取的措施之一，该法案旨在促进数字市场的竞争。Meta 还计划在 WhatsApp 和 Messenger 中引入通知功能，告知用户有关第三方集成的信息，并在新的兼容第三方消息应用程序上线时向他们发出提醒。此外，Meta 将在 2025 年推出第三方聊天的群组功能，并在未来某个时间点为第三方聊天带来“富消息”功能，例如反应、直接回复、打字指示器和已读回执。