互联网有时会让人感到冰冷而孤立，我们只是在沉默中消费内容。为了营造一个更具人文关怀和连接感的数字环境，作者鼓励用户在进行在线互动时“留下痕迹”。 无论是博客文章、技术论坛还是软件工具，不要仅仅是浏览然后离开。花点时间留下评论：提供赞美、建设性的批评、简单的“这很有用”，或者反馈工具为何无法满足你的需求。 这种做法有三个主要益处： 1. **人际连接：** 它肯定了创作者的价值，让他们知道自己的作品被看到并受到赏识，从而消除在真空环境中创作的孤独感。 2. **筛选价值信息：** 你的反馈向他人传达了解决方案是否可靠，或工具存在哪些具体缺陷，这有助于社区在数字乱象中进行甄别。 3. **个人成长：** 通过记录你的经历，你建立了一份“学习足迹”——这是一份关于你的工作、兴趣和问题解决历史的数字踪迹，它将成为你未来宝贵的参考资源。 归根结底，这些微小的参与行为将使互联网变成一个更有意义、更有帮助的地方。
每日HackerNews RSS
留下痕迹 Leave a Trace
4 天前
抱歉。
作者以斯德哥尔摩的一家本地游戏俱乐部作为“第三空间”的案例，阐述了一场更广泛的危机：那些必不可少的、无偿的社交空间与活动正在消失。 这些“第三空间”（如俱乐部、社区中心）以及各类活动（如探访亲友、参与社区事务）对于社会健康至关重要，但它们产生的“正外部性”却无法被市场货币化。由于当前的经济体系迫使人们为了支付基本生活开支而优先考虑工资劳动，我们已经失去了参与这些无偿且有益于社会的活动所需的时间与自由。 尽管政府目前的定向拨款在一定程度上保留了部分空间，但作者认为这只是一种脆弱且权宜的修补方案。对于任何无法开具发票的事物，经济系统依然视而不见。作者提出的解决方案是进行根本性的经济变革，例如实行全民基本收入，将生存需求与工资劳动剥离。通过提供基本保障使“无偿选择”成为可能，我们可以超越那种将人类时间完全绑定在市场生产上的体系，从而让经济能够自然地支撑起那些目前正艰难生存的社会公益——例如社区俱乐部与家庭团聚时光。
本次讨论围绕《经济看不见的房间》（The room the economy can’t see）一文展开，文章强调了市场动态如何将利润置于基本社会公益（特别是青少年的“第三空间”）之上。
**核心主题包括：**
* **市场盲点：** 参与者指出，由于青少年俱乐部、社区中心和公共公园等社会公益设施无法盈利，市场难以维持其生存。这些空间往往被高价值房地产或分区限制所挤压。
* **“效率”的代价：** 许多评论者指出，现代经济旨在优化个人经济收益，这迫使人们将工作置于社区活动之上。这种“金融化”导致了时间的匮乏，使人们因疲惫或经济拮据而无力维持自发的社会结构。
* **拟议解决方案：**
* **全民基本收入（UBI）：** 有人建议全民基本收入可以为人们建立社区提供所需的“余地”。然而，怀疑论者认为，UBI 并不能解决组织这些空间所缺乏的意愿或领导力。
* **公共/公民支持：** 许多人强调，政府资金或土地使用政策对于保护非商业空间至关重要。
* **文化转变：** 另一些人认为，这种衰退与其说是经济问题，不如说是文化碎片化、安全顾虑以及代际偏好转向数字空间的结果。
**摘要：Modeloop 工程使命** 现代嵌入式软件开发正面临严峻挑战：对于超过一亿行代码的系统而言，手动编码已不再具备可扩展性与安全性。为解决这一问题，Modeloop 将三种相互竞争的力量——基于模型系统工程（MBSE）的严谨性、敏捷开发的速度以及超大规模代码库——整合进统一的工作流程中。 传统上，“V 模型”工程因规范与验证之间的断层而支离破碎，手动转换不可避免地会导致缺陷。Modeloop 通过将模型从静态工件转化为“实时、可执行的契约”来弥合这一鸿沟。通过将模型作为单一事实来源，Modeloop 能够自动生成实现代码及相应的测试工具集。 这种方法以持续、自动化的验证取代了缓慢的手动开发周期。在人类管理的大规模代码容易产生隐蔽性系统故障的时代，Modeloop 将代码生成定位为安全关键型工程的必要基础，而非可选的优化手段。通过确保每次变更都能得到即时验证，Modeloop 能够在不牺牲现代复杂系统所需严谨性的前提下，实现高速度开发。
抱歉。
谷歌正在将安卓系统变成一个“懈怠”的操作系统。你怎么看？ Google is turning Android into a 'sloperating' system. Your thoughts?
4 天前
Android 17 现已发布，标志着向将人工智能深度集成于软硬件的“智能系统”转型。主要更新包括：
* **AI 集成：** 新的 AppFunctions API 允许 AI 智能体（如 Gemini）直接执行应用特定的工作流，并可通过全新的 Jetpack 库和 AI 驱动的编码工具获得开发者支持。
* **自适应优先开发：** Android 17 转向自适应优先标准，取消了针对大屏可调整大小功能的开发者选择性退出机制（API 37+）。引入了应用气泡（App Bubbles）、气泡栏（Bubble Bar）及交互式画中画等多种多任务处理功能。
* **Compose 优先：** Android 开发现已转为“Compose 优先”，所有新工具和库均专为 Jetpack Compose 构建，而旧版 View 组件则进入维护模式。
* **性能与隐私：** 改进包括提升稳定性的严格内存限制、提高效率的分代垃圾回收机制，以及通过针对联系人、照片和本地网络的系统级选择器增强隐私保护。
* **安全性：** 新增防护措施包括支持后量子密码学以及更严格的动态代码加载规则。
建议开发者立即使用最新的 Android Studio Canary 版本测试兼容性，因为 Android 17 引入了重大的行为变更，并对目标 SDK 为 37 的应用提出了更严格的要求。
抱歉。
请启用 JavaScript 并关闭任何广告拦截器
抱歉。
UCCL-EP 是一个旨在实现异构硬件配置下高性能专家并行（Expert Parallelism）的库，它绕过了原 DeepEP 库对硬件的严格限制。 DeepEP 依赖于“GPU 发起通信”（IBGDA），即由 GPU 直接指挥网卡（NIC）。这种方式在 NVIDIA 专用硬件上运行良好，但在缺乏 GPU 可控队列的其他互联架构（如 AWS EFA 或 HPE Slingshot）上则无法使用。 UCCL-EP 通过将通信逻辑与硬件解耦来填补这一空白。它保留了 DeepEP 的“契约”——即单向写入、有序信号以及静默/栅栏（quiet/fence）操作，但用 CPU 代理（CPU proxy）取代了硬件直接触发机制。在这种模式下，GPU 将命令描述符写入主机内存中的环形缓冲区，CPU 上一个专用的“代理”线程会监控这些队列，并将相应的命令分发给网卡。 关键在于，数据路径依然保持优化：网卡仍执行直接内存访问（DMA）至 GPU 高带宽内存（HBM），确保 CPU 不会触及实际的模型激活值。这一设计使得 UCCL-EP 能够在任何加速器与网卡的组合上实现高性能专家并行，在非 NVIDIA 基础设施上可带来高达 2 倍的吞吐量提升。
抱歉。
挪威一项旨在绕过恶劣海况的重大隧道工程正迈向 2027 年的开工日期。该项目涉及复杂的“钻爆法”作业，需要开挖约 300 万立方米的岩石，并建造一道临时挡水墙。由于当地道路条件较差，所有建筑材料都将通过海运送达。 挪威沿海管理局目前正在评估三家主要承包商的最终投标书：AF Gruppen、Eiffage Génie Civil 以及由 Skanska 和 Vassbakk & Stol 组成的联合体。在挪威议会于 6 月 19 日敲定预算，并经过合同授予后的静默期后，该项目已正式步入正轨。 该项目早在几十年前就已提出，克服了多年的经济争论，并于 2013 年正式被纳入国家交通规划。继 2021 年获得政府最终批准后，该隧道现定于 2031 年向船只开放。
抱歉。
**SimpleRelay** 是一款自托管的多租户 SMTP 中继解决方案，旨在通过多个上游提供商集中处理出站邮件路由。该方案基于 FastAPI、Postfix、PostgreSQL 和 Docker 构建，用户可通过统一的 Web 面板管理各种 SMTP 账户（如 Gmail、SendGrid、Amazon SES）。
**主要功能：**
* **智能路由：** 根据发件人地址自动路由邮件，并支持各服务商的健康监测及 DNS 验证（SPF/DKIM/DMARC）。
* **强大的管理能力：** 提供安装向导、可搜索的邮件日志，以及全面的管理员控制功能，包括用户管理、代理分配（SOCKS5/HTTP）和全局发送限额。
* **安全性：** 通过强制 IP 白名单实施严格的访问控制，防止开放中继滥用。
* **易用性：** 适用于家庭实验室或企业环境，无需在每台设备上逐一配置 SMTP 凭据。所有服务均可指向同一个本地中继实例。
SimpleRelay 是开源软件（MIT 许可证），可通过 Docker Compose 快速部署。用户可以在 `relay.mailtoinbox.vip` 测试完整功能，或将其本地部署，从而简化服务器、摄像头及监控工具的邮件管理。
抱歉。
自 2016 年开源以来，ClickHouse 已发展成为全球最受欢迎的分析型数据库。它并非基于现有系统，而是从零构建而成，是高质量软件工程与透明化开发的典范。
该项目始于 2009 年，最初是一系列旨在解决 MySQL 无法处理的实时数据处理挑战的实验。通过结合列式存储、实时合并树和高性能 C++，创造者构建了一个能够即时分析海量数据集的系统。
ClickHouse 以其“第三级”开源理念脱颖而出，优先考虑模块化且文档完善的代码、公开的路线图以及对贡献者的积极支持。该项目既是 C++ 开发的教育中心，也是性能优化的沙箱，每一项实验都经过严谨的审查。
从最初作为网页分析的定制解决方案，到如今成为行业标准的数据库，ClickHouse 证明了基于第一性原理进行构建并公开分享这一过程，能够影响一代又一代的软件工程。该项目始终致力于服务贡献者，确保即使是早期的努力也能得到重视并被整合到生态系统中。
Hacker News 上关于庆祝 ClickHouse 十周年的讨论显示，开发人员普遍认为它是处理分析工作负载时，替代 Elasticsearch 和臃肿 PostgreSQL 设置的高性能、高性价比方案。
用户经常提到，促使他们迁移的主要原因是性能的显著提升（查询时间常从秒级缩短至毫秒级）以及存储成本的大幅节省（往往能达到 S3 级别的效率）。尽管初期采用曾受到地缘政治偏见或对项目缺乏了解的影响，但目前的共识是，ClickHouse 是处理大流量分析、日志和时间序列数据的“坚如磐石”的工具。
社区强调，ClickHouse 并非 PostgreSQL 的通用替代品，而是用于联机分析处理（OLAP）任务的理想伴侣。虽然部分参与者对“开放核心”商业模式及其 JSON 数据摄取的复杂性表示担忧，但整体评价极为正面。开发人员称赞该项目严谨的工程设计、频繁的更新，以及其可观测性堆栈与 Grafana 等工具的无缝集成，这些都巩固了它作为突破传统关系型数据库限制、扩展数据基础设施的首选解决方案的地位。
Raku 基金会于 2026 年 5 月 1 日在荷兰成立，是一个由成员驱动的专门组织，旨在监管 Raku 编程语言。该语言此前由 Perl 和 Raku 基金会共同管理，如今独立运营，以便更好地管理其生态系统、筹款和社区治理。 该基金会的成立在战略时机上旨在应对欧盟的《网络韧性法案》(CRA)。通过在欧盟境内运营，基金会能够作为“开源软件管家”，在确保符合新兴法规的同时，管理 Raku 规范、支持 Rakudo 实现并培育其日益壮大的社区。 该组织由五名成员组成的初始执行委员会管理，强调成员驱动的民主模式。诚邀当前及未来的贡献者登记加入正式成员身份，以参与决策和年度选举。基金会将继续支持 Raku 的核心使命，即提供一种由“roast”测试套件和 *zef* 模块生态系统支持的高级、多范式编程语言。
抱歉。