AP5 是 Common Lisp 的一个扩展，允许用户以更“规范性”的级别进行编程，更关注机器做什么而不是怎么做。它结合了 Lisp 和 Gist 规范语言的优点，并提供了注释机制来控制性能。AP5 使用关系模型表示数据，并支持一阶逻辑语言进行数据访问和操作。程序员可以定义关系、规则和约束，并通过注释优化程序性能。手册详细介绍了 AP5 的语法、数据库操作、规则、类型、等价性和实现细节，并提供了大量的示例和说明。
阅读更多
博主Ruben Schade在整理网络书签时发现，多年积累的链接大部分失效或被篡改，引发了他对网络内容保存意义的思考。他意识到网络是短暂的，即使是互联网档案馆也并非万无一失。尽管他保存了大量可能毫无价值的个人博客、播客和视频，但他认为这些内容构成了个人回忆和历史的宝贵时间胶囊，具有长久的价值，值得保存。最终，他认为保存网络内容的价值在于其历史意义和个人回忆，挑战在于如何高效经济地实现保存。
阅读更多
FindMy.py是一个Python库，它整合了查询苹果FindMy网络所需的一切功能。它解决了现有Find My工具分散、代码来源多样的问题，提供了跨平台、支持多种设备（AirTags、iDevices等）以及多种身份验证方式（包括SMS和Trusted Device 2FA）的统一接口，并支持异步和同步API。该项目目前处于Alpha阶段，API设计可能会有所改变，但核心功能相对稳定。
阅读更多
爱尔兰罗斯多汉岛上一个由19世纪印度归来的外科医生创建的异域花园，讲述了一个引人入胜的故事。岛上种植了来自南半球的奇花异草，形成了独特的微气候。尽管经历了房屋焚毁和所有者更迭，这些外来物种顽强地生存下来，与本土植物共同构成一个独特的生态系统。如今，岛屿的生态修复工作面临挑战，既要保护这些历史遗迹，又要恢复本土生物多样性，这需要法律、政策和公众参与的共同努力。
阅读更多
随着芯片架构日益复杂和异构集成技术的应用，先进封装中的散热测试变得越来越困难。传统的基于温度点的测试方法已无法满足需求，因为芯片级热效应难以预测，且不同工作负载下的热分布差异巨大。异构集成、更薄的基板和金属层以及各种材料和互连方案的组合，都加剧了测试的复杂性。为了应对这一挑战，业界正在探索更先进的热建模、测试结构和自适应测试策略，并结合人工智能技术，以实现更精确的热特性表征和可靠的设备测试。
阅读更多
Rec Room发布了新的可复制游戏《BonkysInferno》。这款游戏基于“午夜之前”的环境，玩家需要用Bonky的锤子将对手击落到熔岩或激光围栏外以获得最高分数。游戏包含可收集系统、伤害系统、Bonky的锤子机制、游戏系统和HUD等功能，所有这些都使用电路和Rec Room Studio构建，并允许玩家复制和修改游戏。开发团队鼓励玩家使用Maker Pen探索电路，并使用Rec Room Studio进行更深入的自定义。
阅读更多
一篇长达一年的调查揭露了Spotify操纵播放量的丑闻。记者发现Spotify内部存在一个名为“完美匹配内容”（PFC）的项目，通过与制作公司合作，人为制造大量虚假艺术家和曲目，并在播放列表中进行推广，以降低音乐版权费用，增加利润。这些虚假曲目多为环境音乐、古典音乐、电子乐、爵士乐和低保真节拍，多隐藏在背景音乐播放列表中。Spotify的CEO在丑闻曝光前后多次大量抛售股票套现，引发巨大争议。该事件再次引发了人们对流媒体平台透明度和音乐行业公平性的担忧，呼吁国会介入调查，并建立更透明的音乐播放机制。
阅读更多
MarkItDown是一款免费的在线Markdown转换工具，由微软开源项目Markitdown提供支持。它可以将多种格式的文件（如Word、PDF、HTML等）快速转换为标准Markdown格式，方便用户进行博客写作、笔记整理、技术文档编写和内容迁移等工作。该工具无需下载安装，安全可靠，并具有高效的转换速度，是处理各种文件格式的便捷之选。
阅读更多
本文并非内联汇编教程，而是总结了避免常见内联汇编错误的六条规则。作者指出，内联汇编易出错，应尽量避免，现代编译器提供了丰富的内建函数替代方案。如果必须使用，则需注意：尽可能使用`volatile`限定符；如果访问内存，则需要`memory` clobber；切勿修改输入约束；不要在内联汇编中调用函数；不要定义绝对汇编标签；使用汇编程序的局部标签特性来避免标签冲突。文章最后鼓励读者通过实践来巩固这些规则，例如检查在线教程中的错误。
阅读更多
本文探讨了如何利用凯利公式理性决定是否购买保险。作者批判了人们对保险的常见误解，例如认为保险是哲学问题而非数学问题。文章的核心观点是，保险的目的是避免财富的大幅缩水，从而加速财富的复利增长。作者提出了一个公式，通过计算保险的价值V，来判断是否值得购买。公式考虑了当前财富、保费、事故概率和事故成本等因素。文中还以摩托车保险和直升机飞行保险为例，进行了具体的计算和分析，并讨论了免赔额的影响。最后，作者解释了保险公司如何盈利以及成本的相对性。
阅读更多
美国特拉华州陪审团裁定，高通公司未违反与Arm公司达成的芯片技术许可协议。此案源于高通2021年以14亿美元收购Nuvia公司，Arm公司指控高通在未支付更高授权费的情况下，将其收购的芯片技术用于自家芯片。陪审团认为高通未违约，但就Nuvia公司是否违约未能达成一致，该问题将择日重审。此判决对高通在移动芯片领域的竞争地位至关重要。
阅读更多
一项最新研究揭示，我们严重低估了鸟类撞击建筑物后死亡的数量。以往的研究主要依赖于发现的尸体数量，但许多鸟类在撞击后并不会立即死亡，而是会在受伤后数日甚至数周内死亡。研究人员结合发现的尸体和康复组织的数据，估计每年美国因撞击建筑物而死亡的鸟类超过10亿只。这凸显了评估鸟类死亡数量的难度，以及需要改进数据收集和分析方法的重要性，以更好地保护鸟类。
阅读更多
20世纪30年代初，德国建筑师莱奥·温克尔设计了一种独特的防空塔，旨在利用其独特的形状来抵御空袭。不同于传统的地下掩体，温克尔塔是地上建筑，其倾斜的屋顶可以使炸弹滑落而不爆炸。这种设计有效降低了建造成本和时间，并利用地面的冲击波扩散来减轻爆炸压力。1934年，温克尔塔的设计获得了专利，二战期间，德国各地建造了约200座温克尔塔，如今许多保存完好的温克尔塔被列为文物保护建筑。
阅读更多
美国宇航局的詹姆斯·韦伯太空望远镜首次探测到一个名为“萤火虫闪耀”的星系，其质量与年轻的银河系相似，形成于宇宙大爆炸后约6亿年。该星系包含10个星团，通过引力透镜效应被放大，韦伯望远镜清晰地捕捉到了其细节。研究表明，“萤火虫闪耀”星系正处于活跃的星系形成阶段，其星团分布不均匀，未来将经历合并过程，最终形成一个更大的星系。这一发现为研究早期宇宙星系形成提供了宝贵的数据。
阅读更多
谷歌对美国司法部（DOJ）提出的搜索分发案判决表示强烈反对，并提起上诉。在四月听证会前，谷歌提交了其补救方案，该方案针对的是与浏览器和安卓设备制造商的合同，旨在给予浏览器公司和设备制造商更多选择默认搜索引擎的灵活性，同时确保遵守法院的裁决，避免损害消费者隐私和美国科技领导地位。与之形成对比的是，DOJ的方案被认为过于干预，可能损害消费者利益和美国科技竞争力。
阅读更多
心理学研究表明，我们经常错误地预测未来会让我们感到快乐的事物。这种“情感预测偏差”的一个具体例子就是“聚焦错觉”：我们专注于追求的目标往往无法带来我们预期中的幸福感。文章作者从进化论角度解释了这种现象：聚焦错觉并非认知缺陷，而是为了激励我们不断改善自身处境的一种机制。由于我们对快乐的体验会逐渐适应（享乐适应），如果我们预见到这种适应，可能会缺乏努力的动力。因此，进化让我们天真地相信下一个成就就能带来持久快乐，从而驱动我们不断追求目标。
阅读更多
本文探讨了技术债务与技术资产的区别。技术债务如同财务债务，是不得不偿还的代码问题，例如bug、代码可读性差等，会降低开发效率。而技术资产则是对已知问题的提前投资，例如构建高质量SDK，能减少未来维护成本，提升开发自由度。文章建议，企业应优先偿还技术债务，再投资技术资产，并借鉴成熟的流程和技术，避免技术债务的累积，最终获得更高的开发效率和产品质量。
阅读更多
支付工程师Alvaro Duran在《支付工程师手册》中提出了一种颠覆性的支付系统设计理念：无需数据库。文章指出，异步编程的广泛应用源于对数据库的依赖。通过事件溯源，系统将支付过程中的每一个步骤都作为事件记录，而非直接存储状态。这些事件暂时存储在内存中，系统根据事件流重建支付状态，从而无需持久化存储。这种方法借鉴了高频交易领域的技术，实现了高性能和高可靠性，即使系统宕机，通过热备份也能迅速恢复。文章以支付流程为例详细阐述了这一理念，并展望了其在未来支付系统中的应用前景。
阅读更多
Himalaya是一款基于Rust开发的命令行电子邮件客户端，支持多账户配置、邮件撰写、IMAP、Maildir、Notmuch、SMTP、Sendmail后端以及OAuth 2.0授权流程。它还提供了PGP加密功能以及JSON输出。可通过预构建二进制文件、Cargo、Arch Linux、Homebrew、Scoop、Fedora/CentOS/RHEL和Nix等多种方式安装。该工具提供配置向导，方便用户设置账户，并支持Gmail、Outlook、iCloud Mail等主流邮箱。
阅读更多
基于Web Components的HTML文档引用系统@celine/bibhtml发布了3.0.3版本。它提供类似于LaTeX/BibTeX的引用体验，底层使用Citation.js，即使引用格式错误或禁用JavaScript也能优雅降级。该系统支持BibTeX、非结构化文本、DOI和Wikidata四种参考文献格式，并提供``、``和``三个自定义元素，方便用户在HTML文档中添加和管理参考文献。
阅读更多
本文探讨了针对分类/提取、摘要和翻译等常见任务的大语言模型评估方法。作者指出，现成的评估方法通常与特定应用的性能关联性较弱，缺乏区分度。文章详细介绍了分类任务中的召回率、精确率、ROC-AUC、PR-AUC以及分布分离等指标，并阐述了如何通过自然语言推理（NLI）模型、奖励模型和长度检查来评估摘要任务。此外，文章还讨论了使用chrF、BLEURT、COMET和COMETKiwi等指标评估翻译质量，以及如何衡量版权抄袭和毒性。最后，作者强调了人工评估的重要性，并建议根据风险级别调整评估标准。
阅读更多
开源矢量图形编辑器Inkscape 1.4版本预计将于10月发布。此版本带来了新功能、用户界面改进、新的和改进的文件格式支持以及代码库的重要更改。新版本改进了对话框，包括扩展和滤镜库，并改进了Swatch对话框和渐变编辑器。核心功能方面，形状构建器工具现在支持光栅图形，文本编辑工作流程也得到了改进。界面和内部变化包括可自定义的画布控件和新的图标主题“Dash”。此外，命令行界面也新增了一些功能和选项。Inkscape 1.4为过渡到GTK+ 4奠定了基础，GTK+ 4预计将在1.5版本中实现，同时带来新的颜色管理系统。
阅读更多
研究人员开发了一种新方法，能将C语言代码安全地编译成Rust语言。这项技术利用静态分析和类型导向转换，避免了依赖Rust的`unsafe`代码块，从而保证了内存安全。该方法已成功应用于HACL*加密库和EverParse库中的代码，生成了一个8万行纯Rust编写的、经过验证的现代加密库，这是业界首创。
阅读更多
一项最新的研究推翻了我们对加州地松鼠的认知。长期以来，人们一直认为这种常见的地松鼠是植食性动物，主要以谷物为食。然而，研究人员在2024年夏天观察到，这些松鼠竟然捕猎、杀死并食用田鼠等小型啮齿动物。这一发现不仅扩展了我们对加州地松鼠食性的了解，也提醒我们，即使是对习以为常的动物，我们对它们的了解也可能存在偏差。研究人员推测，这种食肉行为可能是由于田鼠数量的增加而引发的机会性捕食行为，这表明加州地松鼠具有很强的环境适应能力。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25404717/delta_app_store.png)
Delta游戏模拟器开发者Riley Testut为了鼓励用户使用Patreon订阅，在其iOS应用中将苹果应用内购买价格提高了三倍。此举既利用了苹果允许开发者链接外部支付平台的新政策，又表达了对苹果应用内支付系统的抗议。Patreon订阅提供更多功能，例如对iPad和SEGA Genesis的支持以及私人Discord群组访问，且退款和客户支持也更加便捷。
阅读更多
一位名叫izabera的程序员利用Bash脚本语言，成功开发出一款令人惊叹的“伪3D”游戏。这款游戏致敬经典游戏《Wolfenstein 3D》，其在GitHub上开源，代码简洁但效果惊艳，展现了Bash脚本强大的潜力以及程序员的创造力。项目包含游戏源码和演示视频，感兴趣的开发者可以前往GitHub查看学习。
阅读更多
一个名为ultralytics的Python包在PyPI上发布了一个被入侵的版本。攻击者利用了该项目自动化处理拉取请求的机制，在分支名称中注入了恶意脚本。ultralytics使用了pull_request_target GitHub Action触发器，该触发器运行的脚本可以访问存储库的secrets，但容易受到来自拉取请求分支名称的shell注入攻击。注入的脚本利用获取的凭证在后续上传到PyPI的版本中包含了加密货币挖矿程序。虽然GitHub已删除恶意脚本，但此次事件提醒开发者谨慎处理自动化访问重要secrets的机制。
阅读更多
面对大型代码库（100-10000名活跃开发者），传统构建工具力不从心。单仓构建工具如Bazel和Mill应运而生，它们支持多语言、自定义构建任务、自动缓存和并行化，并提供远程缓存和执行功能，显著提升构建速度和效率。此外，它们还支持基于依赖的测试选择和构建任务沙箱，减少测试时间和不确定性。对于小型项目，这些功能或许显得多余，但对于大型项目而言，它们却是高效协作和持续集成的关键。
阅读更多
LWN.net报道，io_uring子系统正在开发一项新的进程创建功能。这项功能通过两个新的io_uring操作IORING_OP_CLONE和IORING_OP_EXEC实现，前者创建新进程，后者执行execveat()系统调用加载新程序。这将提高效率，并允许在内核中异步执行更复杂的逻辑，例如路径搜索。然而，该功能仍处于早期阶段，存在一些限制，例如新进程中io_uring操作必须同步执行。未来，开发者希望提升其灵活性，并最终将其合并到Linux主线内核中。
阅读更多
在构建DOS 2.11源码时，作者面临一个难题：古老的MASM 1.25不支持目录结构，而现代化的文件组织需要树形目录。为了避免将所有文件堆积在一个目录，作者巧妙地利用了DOS APPEND命令。APPEND是一个TSR程序，它可以拦截文件打开等系统调用，并在当前目录找不到文件时，从预设路径列表中查找。这使得MASM 1.25能够在树形目录结构中找到所需文件，解决了历史遗留问题，也展现了APPEND命令在特定场景下的强大实用性。
阅读更多