现代软件团队迫切需要更完善的持续交付流水线管理工具。当前的流水线生态系统支离破碎、僵化且低效。这份宣言倡导以代码为中心、开发人员友好的流水线，旨在应对现代工程工作流程的复杂性。它强调单一事实来源、可重用且类型安全的组件、动态灵活的流水线、透明可视化的调试能力，以及应对变化和快速反馈机制，最终目标是提升效率，加快交付速度。
阅读更多
Rivet是一个使用Actor模型构建和扩展实时应用程序的平台。它具有内置的RPC、状态和事件功能，简化了现代应用的开发。Rivet支持自动扩展、边缘网络部署，并提供内置监控和数据本地化功能。底层技术栈包括Rust、FoundationDB、V8 isolates和Deno runtime，保证了性能和效率。Rivet适用于协作应用、本地优先应用、AI代理、游戏服务器等多种场景。
阅读更多
美国候任总统特朗普和埃隆·马斯克提议废除夏令时，声称其“不方便且代价高昂”。文章作者Nate Silver 通过数据分析反驳了这一观点。研究表明，废除夏令时会在夏季减少大量白天的日光时间，对人们的作息和健康造成负面影响，而全年采用夏令时则会导致冬季日出过晚。作者认为，维持现状或允许各州选择全年采用夏令时是更合理的方案。
阅读更多
厌倦了C字符串的漏洞和不安全性？本文介绍了一种巧妙的替代方案：自定义字符串结构体`struct str`，它包含数据指针和长度，避免了空字符结尾带来的风险。作者在裸机环境下六个月的实践证明，这种方法有效地避免了缓冲区溢出等错误。虽然使用宏`STR`略显冗长，但带来的安全性和可读性提升远大于此。编译器优化也使得性能损耗可以忽略不计，为追求代码安全性的开发者提供了新的思路。
阅读更多
Greptile公司开发的AI代码审查机器人最初因评论过多而饱受诟病。为了解决这个问题，他们尝试了多种方法，包括改进提示词、让LLM自我评估评论质量，但都收效甚微。最终，他们通过将团队以往的评论向量化，并利用向量数据库进行聚类分析，成功过滤掉与大量被否定评论相似的“无用”评论。这一方法将开发者处理评论的比例从19%提升至55%以上，有效降低了LLM产生的噪音。
阅读更多
一位在德国生活了近八年却仍未掌握德语的工程师，分享了他使用Anki学习德语的经验。他尝试使用Anki的间隔重复技术来高效学习词汇，每天只学习10个新单词，目标是一年学习3600个单词达到C1水平。他选择了AnkiWeb上一个按频率排序的德语词汇库，并自己添加了语音例句。文章最后，他邀请读者分享使用Anki学习德语的经验和技巧。
阅读更多
纽约州长凯西·霍楚签署了《餐厅预订反盗版法案》，旨在打击利用机器人或手动方式囤积并高价转售餐厅预订的“黑市”现象。该法案是全美首创，针对的是未经预订平台和餐厅授权的转售行为，保护消费者和商家利益，确保公平的预订系统。虽然地下预订市场也存在一些合理性，例如应对不可退还预订的突发情况，但其滋生的炒作和取消预订等问题也损害了餐厅和顾客的利益。
阅读更多
Aegisub 3.4.0版本正式发布！这是一个免费、跨平台、开源的字幕编辑器，它使得将字幕与音频同步变得快速简便，并提供许多强大的样式工具，包括内置的实时视频预览功能。无论你是资深字幕组成员还是字幕制作新手，Aegisub都能满足你的需求。
阅读更多
本文是关于Raft分布式一致性算法的系列文章的第一篇，介绍了Raft算法的基本概念和架构。Raft算法用于解决在多个服务器上复制确定性状态机的问题，确保即使部分服务器崩溃，服务也能保持可用性。文章解释了Raft的核心组件，包括状态机、日志、一致性模块，以及领导者和跟随者角色，并阐述了客户端与Raft集群的交互方式。此外，文章还讨论了Raft的容错能力和CAP定理，以及选择Go语言作为实现语言的原因。后续文章将深入探讨Raft算法的实现细节。
阅读更多
一个Minecraft服务器的选址问题，引发了对不同投票系统的深入探讨。最初使用的简单多数投票制（Plurality voting）由于“破坏者效应”导致最不受欢迎的选择获胜。随后尝试了即时决选投票制（Instant runoff），虽然解决了部分问题，但在候选人变化时，却出现了违反单调性（Monotonicity）的情况。作者进一步介绍了博达计分法（Borda method）和阿罗不可能定理（Arrow's theorem），并最终推荐了评分投票制（Score voting）和认可投票制（Approval voting）作为更优方案，因为它们满足阿罗不可能定理的三个条件：一致性、非独裁性和无关选项独立性。
阅读更多
Bandar Systems 推出了 S2，一个全新的流数据存储服务，旨在革新云时代的数据处理方式。不同于传统的基于对象的存储，S2 以流为核心，提供高效、可扩展且经济的实时数据摄取和处理能力。它支持高吞吐量、低延迟的读写操作，并提供多种存储类以满足不同的性能和成本需求。S2 的目标是替代 Kafka 和 Kinesis 等系统，为用户提供更强大、更灵活的流数据管理解决方案。
阅读更多
夏威夷欧胡岛著名的海库阶梯面临拆除，一个名为“海库阶梯之友”的组织提起诉讼，阻止其拆除。该组织认为，市政府和州政府机构未遵守历史保护条例，而阶梯的存在受1999年历史保护契约的保护。市政府则回应称已遵循正确程序，拆除决定是基于安全和居民投诉做出的。目前法官已介入，将于近期做出裁决，阶梯的命运仍悬而未决。
阅读更多
Gazzetta是一款专为Mastodon设计的新闻阅读应用，它不同于其他Mastodon客户端，后者更注重社交网络体验。Gazzetta更像是一个Mastodon的RSS阅读器，提供独立的界面，让你专注阅读新闻和链接。你可以关注服务器或账号查看热门链接和特定用户分享的链接，并支持全文搜索、Safari阅读模式、书签管理、链接导出等功能。此外，它还提供丰富的自定义选项，例如字体样式、隐藏缩略图、过滤链接等，帮助你打造个性化的阅读体验。
阅读更多
本文探讨了AI生成的“街拍”照片与真实街拍摄影的本质区别。作者认为，AI街拍并非真正的摄影，因为它没有捕捉真实的瞬间和光线，缺乏人与人之间真实的互动和情感交流。真正的街拍摄影需要摄影师走出舒适区，与陌生人互动，捕捉真实的瞬间，这是一种独特的体验，是AI无法模拟的。作者以自身在布鲁克林唐人街的经历为例，讲述了真实街拍摄影中人与人之间建立联系的宝贵时刻，强调了这种体验的价值，以及AI街拍所缺失的意义。
阅读更多
NeoRelm Game Studios 推出 Eonfall，一款可在浏览器上游玩的第三人称合作动作游戏。游戏预告片炫酷，现已开放游玩。准备好与你的朋友一起体验紧张刺激的合作冒险吧！
阅读更多
科学家在阿塔卡马海沟8000多米深处发现了一种新型大型掠食性端足类动物——Dulcibella camanchaca。这是首次在该海沟发现如此大型的活跃捕食性端足类动物，它长约4厘米，拥有特殊的捕捉附肢，以捕食小型端足类动物为生。该物种的发现不仅丰富了深海生物多样性研究，也凸显了阿塔卡马海沟作为特有物种热点区域的重要性。
阅读更多
文章揭露了寄生式SEO运营商Finixio/Clickout Media如何快速有效地规避谷歌对其网站的处罚。在谷歌算法更新后，Finixio/Clickout Media旗下多个网站因违反网站声誉滥用政策而受到严重处罚，流量和排名骤降。然而，他们通过巧妙地使用重定向和隐藏技术，在几天内便恢复了业务，并继续通过其寄生网站网络获利。他们甚至在受罚后扩大了运营规模，利用新网站和已有的高权重网站（如CoinTelegraph）继续进行赌博和加密货币推广。文章详细分析了他们的策略，包括利用地理位置隐藏内容、在不同平台投放内容等，并指出这种现象的根源在于谷歌算法对主题权威性的削弱，导致域名权威性成为主要的排名因素。
阅读更多
一项新的研究发现，学术界的成功与财富和社会地位的继承类似。研究人员分析了24.5万对导师-学生关系的数据，发现学科内引文分布越不平等，学生引文排名越可能反映导师的排名。这表明，学术成功受制于类似于社会流动性背后结构性力量的影响，顶级导师的优势可能导致自我强化的成功循环。研究还指出，虽然顶级导师的指导对学生有益，但单纯依靠引文指标评价学术成就可能存在偏差，应更关注学术公平性和机会均等。
阅读更多
AP5 是 Common Lisp 的一个扩展，允许用户以更“规范性”的级别进行编程，更关注机器做什么而不是怎么做。它结合了 Lisp 和 Gist 规范语言的优点，并提供了注释机制来控制性能。AP5 使用关系模型表示数据，并支持一阶逻辑语言进行数据访问和操作。程序员可以定义关系、规则和约束，并通过注释优化程序性能。手册详细介绍了 AP5 的语法、数据库操作、规则、类型、等价性和实现细节，并提供了大量的示例和说明。
阅读更多
博主Ruben Schade在整理网络书签时发现，多年积累的链接大部分失效或被篡改，引发了他对网络内容保存意义的思考。他意识到网络是短暂的，即使是互联网档案馆也并非万无一失。尽管他保存了大量可能毫无价值的个人博客、播客和视频，但他认为这些内容构成了个人回忆和历史的宝贵时间胶囊，具有长久的价值，值得保存。最终，他认为保存网络内容的价值在于其历史意义和个人回忆，挑战在于如何高效经济地实现保存。
阅读更多
FindMy.py是一个Python库，它整合了查询苹果FindMy网络所需的一切功能。它解决了现有Find My工具分散、代码来源多样的问题，提供了跨平台、支持多种设备（AirTags、iDevices等）以及多种身份验证方式（包括SMS和Trusted Device 2FA）的统一接口，并支持异步和同步API。该项目目前处于Alpha阶段，API设计可能会有所改变，但核心功能相对稳定。
阅读更多
本文探讨了如何利用凯利公式理性决定是否购买保险。作者批判了人们对保险的常见误解，例如认为保险是哲学问题而非数学问题。文章的核心观点是，保险的目的是避免财富的大幅缩水，从而加速财富的复利增长。作者提出了一个公式，通过计算保险的价值V，来判断是否值得购买。公式考虑了当前财富、保费、事故概率和事故成本等因素。文中还以摩托车保险和直升机飞行保险为例，进行了具体的计算和分析，并讨论了免赔额的影响。最后，作者解释了保险公司如何盈利以及成本的相对性。
阅读更多
随着芯片架构日益复杂和异构集成技术的应用，先进封装中的散热测试变得越来越困难。传统的基于温度点的测试方法已无法满足需求，因为芯片级热效应难以预测，且不同工作负载下的热分布差异巨大。异构集成、更薄的基板和金属层以及各种材料和互连方案的组合，都加剧了测试的复杂性。为了应对这一挑战，业界正在探索更先进的热建模、测试结构和自适应测试策略，并结合人工智能技术，以实现更精确的热特性表征和可靠的设备测试。
阅读更多
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等主流邮箱。
阅读更多
本文并非内联汇编教程，而是总结了避免常见内联汇编错误的六条规则。作者指出，内联汇编易出错，应尽量避免，现代编译器提供了丰富的内建函数替代方案。如果必须使用，则需注意：尽可能使用`volatile`限定符；如果访问内存，则需要`memory` clobber；切勿修改输入约束；不要在内联汇编中调用函数；不要定义绝对汇编标签；使用汇编程序的局部标签特性来避免标签冲突。文章最后鼓励读者通过实践来巩固这些规则，例如检查在线教程中的错误。
阅读更多
本文探讨了针对分类/提取、摘要和翻译等常见任务的大语言模型评估方法。作者指出，现成的评估方法通常与特定应用的性能关联性较弱，缺乏区分度。文章详细介绍了分类任务中的召回率、精确率、ROC-AUC、PR-AUC以及分布分离等指标，并阐述了如何通过自然语言推理（NLI）模型、奖励模型和长度检查来评估摘要任务。此外，文章还讨论了使用chrF、BLEURT、COMET和COMETKiwi等指标评估翻译质量，以及如何衡量版权抄袭和毒性。最后，作者强调了人工评估的重要性，并建议根据风险级别调整评估标准。
阅读更多
爱尔兰罗斯多汉岛上一个由19世纪印度归来的外科医生创建的异域花园，讲述了一个引人入胜的故事。岛上种植了来自南半球的奇花异草，形成了独特的微气候。尽管经历了房屋焚毁和所有者更迭，这些外来物种顽强地生存下来，与本土植物共同构成一个独特的生态系统。如今，岛屿的生态修复工作面临挑战，既要保护这些历史遗迹，又要恢复本土生物多样性，这需要法律、政策和公众参与的共同努力。
阅读更多
开源矢量图形编辑器Inkscape 1.4版本预计将于10月发布。此版本带来了新功能、用户界面改进、新的和改进的文件格式支持以及代码库的重要更改。新版本改进了对话框，包括扩展和滤镜库，并改进了Swatch对话框和渐变编辑器。核心功能方面，形状构建器工具现在支持光栅图形，文本编辑工作流程也得到了改进。界面和内部变化包括可自定义的画布控件和新的图标主题“Dash”。此外，命令行界面也新增了一些功能和选项。Inkscape 1.4为过渡到GTK+ 4奠定了基础，GTK+ 4预计将在1.5版本中实现，同时带来新的颜色管理系统。
阅读更多
Rec Room发布了新的可复制游戏《BonkysInferno》。这款游戏基于“午夜之前”的环境，玩家需要用Bonky的锤子将对手击落到熔岩或激光围栏外以获得最高分数。游戏包含可收集系统、伤害系统、Bonky的锤子机制、游戏系统和HUD等功能，所有这些都使用电路和Rec Room Studio构建，并允许玩家复制和修改游戏。开发团队鼓励玩家使用Maker Pen探索电路，并使用Rec Room Studio进行更深入的自定义。
阅读更多
一项最新研究揭示，我们严重低估了鸟类撞击建筑物后死亡的数量。以往的研究主要依赖于发现的尸体数量，但许多鸟类在撞击后并不会立即死亡，而是会在受伤后数日甚至数周内死亡。研究人员结合发现的尸体和康复组织的数据，估计每年美国因撞击建筑物而死亡的鸟类超过10亿只。这凸显了评估鸟类死亡数量的难度，以及需要改进数据收集和分析方法的重要性，以更好地保护鸟类。
阅读更多