本文探讨了理查德·戴德金在1858年提出的戴德金分割理论，该理论为实数系统奠定了坚实的基础。戴德金巧妙地利用有理数的分割来定义实数，解决了实数系统中存在无理数“空隙”的问题。文章比较了戴德金分割与其他定义实数的方法，例如无限小数，并分析了戴德金分割的优缺点，以及其在数学史上的影响和意义。戴德金分割不仅解决了实数的定义问题，更重要的是开创了一种新的数学思维方式，即结构主义方法，强调数学对象之间的关系而非对象本身的本质。
阅读更多
本文深入探讨了API请求签名的安全挑战，特别是JSON对象签名中的难题。作者指出，简单的HMAC签名虽然安全，但直接在JSON对象内部签名会引发各种问题，例如JSON的多种等价表示导致签名验证失败。文章对比分析了多种签名方法，包括规范化JSON、添加冗余签名数据以及使用替代格式等，并以AWS和Flickr的签名方案为例，说明了错误实践可能带来的安全风险。最终，作者建议优先使用TLS，并尽量避免在JSON对象内部进行签名，而是采用外部签名的方式，以确保API请求的安全性。
阅读更多
人工智能技术飞速发展，但其背后巨大的能源消耗不容忽视。文章以图片生成服务Midjourney为例，估算其每日耗电量高达96万千瓦时，足以供电超过2.5万个普通家庭。这仅仅是冰山一角，ChatGPT、Gemini等其他AI服务也消耗着巨大的能源。作者呼吁开发者、研究人员和企业家共同努力，探索更节能、更环保的AI发展之路。
阅读更多
近年来，层出不穷的JavaScript框架让开发者疲惫不堪。从Svelte到Solid再到Qwik，每个新框架都号称速度更快、性能更好，但开发者们却陷入了学习新技术的循环中，耗费大量精力。这引发了激烈的讨论，有人认为是新技术重复造轮子，浪费时间；也有人认为是出于对就业的担忧，害怕旧技术被淘汰，失去竞争力。文章指出，开发者对新框架的愤怒，实则是一种自我保护机制，反映了对未来职业发展的焦虑。理解这一点，才能促进行业健康发展。
阅读更多
Stats是一款macOS菜单栏系统监控工具，可显示CPU、GPU利用率、内存、磁盘、网络使用情况、电池电量等信息。它支持从macOS 10.15 Catalina开始的版本，并提供传感器信息（温度、电压、功率）和蓝牙设备监控等功能。对于M1芯片的Mac，需要手动启用HID传感器才能获取传感器数据。Intel Mac则可显示CPU频率，但需安装Intel Power Gadget。用户可通过禁用某些模块（如传感器和蓝牙）来降低Stats的功耗。该应用采用MIT许可证开源，并欢迎用户贡献翻译和改进。
阅读更多
即将于 8 月 9 日发布的 Debian 13 “Trixie” 系统，一个显著的特性是正式支持 RISC-V 64 位架构。这标志着 Debian 首次正式支持 RISC-V，尽管目前硬件支持有限且构建过程受限于硬件速度。尽管面临构建服务器速度慢等挑战，但已有超过 17000 个 Debian 软件包支持 RISC-V。支持的硬件包括 SiFive HiFive Unleashed、SiFive HiFive Unmatched、Microchip Polarfire 和 VisionFive 2 等。
阅读更多
Seastar是一个快速且可扩展的构建系统，目前支持C和C++，未来计划支持Rust和Zig。它旨在简化程序的创建、原型设计和迭代过程，目标是像Rust的Cargo工具一样易用，但支持更多语言的无缝编译。Seastar易于构建和运行，只需安装Cargo和Rust，克隆仓库，运行相关命令即可。目前Seastar仍处于早期阶段，不建议用于重要项目。
阅读更多
Hatchet团队通过一系列优化，将PostgreSQL的插入速度提升了31倍，从每秒2000次写入提升到92000次。他们发现，连接池、批量插入和COPY命令是关键。连接池数量并非越多越好，需要找到最佳平衡点。批量插入显著提高吞吐量，但也会增加延迟，需要调整批量大小和刷新间隔以优化性能。COPY命令则在不需要返回数据时效率更高。文章还提到了其他高级优化技巧，例如多表事务插入和UNNEST的使用，将在后续文章中详细介绍。
阅读更多
科学家们利用CRISPR基因编辑技术，创造了人类基因组的多个版本，每个版本都包含不同的结构变化。研究发现，只要必需基因保持完整，我们的基因组就能耐受大量的结构变化，包括大规模的基因代码缺失。这项发表在《科学》杂志上的研究，为研究和预测结构变异在疾病中的作用打开了大门，颠覆了我们对基因组韧性的认知。这项突破性的研究不仅加深了我们对基因组的理解，也为开发新的基因疗法和生物工程技术提供了新的可能性。
阅读更多
开发者Jay Han开发的iOS药物提醒应用SuperDose被苹果拒绝使用关键警报API。该API允许通知绕过静音和勿扰模式，对于服用救命药的用户至关重要。苹果的理由是应用无法保证使用合规性，但Han认为用户明确同意即可解决滥用问题，苹果自身的健康应用也使用了该API。Han质疑苹果批准了其他用途更广泛的提醒应用使用该API，而拒绝了他的应用，这可能导致用户错过关键的服药提醒，存在安全风险。
阅读更多
Erlang/OTP 的 SSH 服务器中发现了一个危急的安全漏洞 (CVE-2025-32433)，允许未经身份验证的远程攻击者执行任意代码。该漏洞存在于 OTP-27.3.3、OTP-26.2.5.11 和 OTP-25.3.2.20 之前的版本中，攻击者可利用 SSH 协议消息处理中的缺陷，在无需凭据的情况下访问并控制受影响的系统。官方已发布补丁，建议用户尽快升级到 OTP-27.3.3、OTP-26.2.5.11 或 OTP-25.3.2.20 及以上版本。
阅读更多
据彭博社报道，苹果计划为AirPods添加实时翻译功能，该功能将作为今年晚些时候的AirPods软件升级的一部分推出，并与iOS 19更新绑定。此功能将允许AirPods实时翻译与他人的对话。谷歌的Pixel Buds已经拥有这项功能多年。苹果公司去年曾表示，其AirPods Pro 2可以通过软件更新变成个性化助听器。苹果还计划今年晚些时候对其软件进行重大改版，更改其iPhone、iPad和Mac的操作系统和界面外观。
阅读更多
jemalloc，这个开源内存分配器，自2004年诞生以来走过了20年的历程。从最初为Lyken编程语言开发的内存分配器，到被集成到FreeBSD，再到被Firefox和Facebook广泛采用，jemalloc经历了多个阶段，也遭遇了各种挑战，例如碎片问题和Valgrind支持的移除。虽然Facebook/Meta最终停止了对jemalloc的积极开发，但jemalloc的代码依然公开可用，其发展历程为开源软件的维护和社区协作提供了宝贵的经验。
阅读更多
作者尝试在Playdate掌机（仅支持单色显示）上实现表面稳定分形抖动技术。该技术在低性能硬件上渲染3D纹理极具挑战性。文章详细描述了实现过程，包括透视校正纹理映射、1比特屏幕的亮度显示以及对分形抖动算法的优化。最终，通过一系列优化，包括算法简化和渲染器改进（从半空间光栅化器到扫描线光栅化器），实现了20-22FPS的运行速度，但效果仍有提升空间。
阅读更多
为了让WordPress.org的志愿者们在节假日休息，WordPress.org暂停了部分免费服务，包括WordPress.org的新账户注册、新的插件目录提交、新的插件审核、新的主题目录提交和新的照片目录提交。论坛和本地化服务不受影响。WordPress.org创始人Matt Mullenweg提到，由于WP Engine的法律诉讼，他不得不投入大量时间和资源进行法律防御，这影响了他为WordPress改进投入的时间。他呼吁大家支持WordPress.org，并建议大家选择其他不参与诉讼的网络托管服务商。
阅读更多:quality(75)/https%3A%2F%2Fassets.lareviewofbooks.org%2Fuploads%2FGenetic-Book-of-the-Dead.jpg)
本文评论了理查德·道金斯的新书《基因的死亡之书》和萨拉·伊玛丽·沃克的《无人知晓的生命：生命的物理起源》。道金斯延续了他“自私的基因”理论，认为基因是进化的核心驱动力。然而，评论指出，这一观点已过时，未能充分考虑发育、表观遗传学、生态位构建等因素。沃克的书则试图从组装理论的角度解释生命起源，但评论认为其过于简化，未能充分阐明生命的本质。文章最终指出，流行的科学书籍往往倾向于简单化叙事，而忽略了生物学领域的复杂性和多样性。
阅读更多
坦桑尼亚创业公司Soma Bags创始人Innocent James，童年因缺乏电力而苦读，如今他用废弃水泥袋制作太阳能背包，为农村儿童提供廉价的照明，解决他们课后阅读难题。这些背包集成了太阳能电池板，白天行走上学时即可为内置阅读灯充电，为孩子们提供长达6-8小时的照明，比昂贵且污染环境的煤油灯更经济环保。Soma Bags已售出36000个背包，并得到联合国开发计划署的支持，其创新模式为非洲农村地区的可持续发展贡献力量，也为解决能源贫困问题提供了新的思路。
阅读更多
本文回顾了源代码控制系统SCCS 50 年来的影响。作者Larry McVoy详细解释了SCCS独特的编织格式，这种格式允许通过引用进行合并，避免了其他系统中基于补丁的复制方式的低效。他解释了SCCS如何利用编织格式在恒定时间内检索任何版本的文件，并保留跨版本的作者信息。尽管SCCS存在一些缺点，例如长期锁定和文件导向，但其编织格式的效率和对作者信息的保留使其成为一个具有开创性的系统，并为后来的版本控制系统如BitKeeper奠定了基础。
阅读更多
Minecraft玩家将迎来一个史无前例的英国地图！该地图包含了英国所有郡县及其周围15公里缓冲区，总计超过10亿个方块。玩家可在游戏中探索标志性地标、熟悉城镇、河流和海滩等，并利用创意模式自由建造、改建、铺设矿车铁路等。如同英国测量局一般，玩家可以利用游戏内地图功能，绘制属于自己的英国地图，重塑大不列颠！
阅读更多
谷歌宣布其开源安全芯片OpenTitan正式投产，这是首个商业化应用的开源硅基Root of Trust（RoT）。OpenTitan旨在提升设备的安全性，通过透明的设计和开放的合作模式，解决现有安全芯片的“黑盒”问题。该芯片将应用于Chromebook和谷歌云基础设施，并有望推动业界更广泛地采用开源安全设计和后量子密码学（PQC）安全启动。
阅读更多
本文批判了多线程编程的常见误区。作者指出，现代CPU并非共享内存的理想模型，多线程反而会因缓存一致性问题、同步原语开销等导致性能下降，增加代码复杂度和bug风险。单线程程序复制到多核，能更有效利用CPU时间，且更易于理解和维护。作者认为，Node.js的单线程设计，以及类似的Actor模型，在利用现代CPU资源方面更具优势，即使看起来不如多线程设计那样“高级”。
阅读更多
作者在2018年尝试使用Kubernetes进行容器编排，虽然体验了自动化部署的便利，但Kubernetes的高资源消耗让他苦不堪言。最终，他找到了Podman——一个轻量级的Docker替代品，结合systemd和用户持久登录，实现了类似Kubernetes的自动化更新功能，却极大地降低了资源占用，让他的服务器运行更轻快、更节能。这篇文章分享了作者从Kubernetes转向Podman的经验，以及如何利用Podman、systemd和用户持久登录实现容器的自动化更新，为寻求轻量级容器编排方案的开发者提供了新的思路。
阅读更多
Clojure MCP是一个alpha阶段的项目，它通过连接AI模型到Clojure nREPL，提供了一套完整的工具来辅助Clojure项目的开发。它不仅包含Claude Code的所有功能，还集成了clj-kondo、parinfer等工具，并支持与Claude Desktop无缝集成。开发者可以利用AI进行增量式开发，在REPL中实时验证代码，并通过一系列工具（如智能文件读取、结构感知编辑、代码评估等）提高效率。此外，该项目还提供了一个完善的流程来维护LLM友好的项目文档，方便AI助手理解代码库结构。该项目遵循GNU Affero General Public License v3.0开源协议。
阅读更多
Quantus是一个先进的量化交易平台，致力于为专业交易员和机构投资者提供高效、可靠的交易解决方案。它整合了强大的数据分析工具、灵活的策略回测功能以及低延迟的交易执行系统，帮助用户更好地把握市场机遇，提升投资收益。Quantus平台以其强大的技术实力和用户友好的界面，正逐渐成为金融科技领域一颗冉冉升起的新星。
阅读更多
这个项目尝试在Three.js中复现类似虚幻引擎5 Nanite的动态LOD技术。它首先将模型分割成网格单元（meshlets），然后将相邻单元分组合并，再利用meshoptimizer进行简化，最终将模型分成多个不同精细度的版本。目前该项目还处于早期阶段，后续计划改进LOD和DAG切割，并进行GPU流几何处理。这项工作参考了Nanite、多重分辨率结构、批量多三角剖分等相关技术。
阅读更多
一个名为 `prettier-plugin-pgn` 的 Prettier 插件问世，为代码格式化工具 Prettier 新增了对 PGN（Portable Game Notation，棋谱记谱法）文件的格式化支持。PGN 是一种用于记录国际象棋棋局的标准文本格式，该插件支持 PGN 文件中的变例、注释和多盘游戏等特性，极大地方便了棋类爱好者和开发者。安装方法简单，只需通过 npm 或全局安装即可使用。
阅读更多
戴尔宣布放弃XPS、Latitude、Inspiron和Precision等品牌，未来将仅使用Dell、Dell Pro和Dell Pro Max三个品牌，分别面向普通消费者、专业用户和高性能用户。此举旨在简化产品线，更好地适应AI PC市场的发展趋势。虽然此举可能让老用户感到惋惜，但戴尔表示新品牌将提供更清晰的产品定位，并提升产品性能和耐用性。
阅读更多
作者受到乐高埃及探险游乐设施的启发，决定制作一款类似的射击游戏。他利用廉价的ESP32微处理器、红外激光枪和自制目标，成功打造了一个万圣节主题的射击游戏。过程中，他学习了Arduino和MicroPython编程，并克服了硬件连接、供电、通信等挑战，最终在学校和自家举办的活动中获得了成功。未来，他计划改进目标设计、灯光效果和电路板等方面，提升游戏体验。
阅读更多
Remco是一款轻量级的配置管理工具，受confd启发，它能够使用存储在etcd或Consul等键值存储中的数据来保持本地配置文件的最新状态，并处理模板资源，自动重新加载应用程序以获取新的配置文件更改。与confd相比，Remco支持每个模板资源使用多个源/目标对，以及每个模板资源使用多个后端，并采用Pongo2模板引擎。此外，它还具有僵尸进程清理支持、插件扩展后端功能以及使用JavaScript轻松创建自定义模板过滤器的能力。安装方式简单，支持从源码构建和下载预编译版本。
阅读更多
Meta首席执行官马克·扎克伯格驾驶两艘超级游艇——“发射台”号和“僚机”号——前往挪威峡湾进行了一次奢华的直升机滑雪探险。为了避开挪威严格的直升机降落规定，他巧妙地利用游艇上的直升机平台，在人迹罕至的山峰上滑雪。这次冒险既展现了扎克伯格的冒险精神和强大的后勤能力，也引发了人们对可持续性和环境影响的思考，以及对财富分配不均的讨论。
阅读更多