Wyzer 是一门静态类型的编译型编程语言，旨在通过单一的所有权模型统一内存、线程和网络安全。尽管 Rust 等现有语言提供了内存安全性，但它们往往无法解决分布式系统中的死锁和协议不匹配等问题。
Wyzer 通过整合两个核心概念来解决这些挑战：
* **Perceus 内存模型**：提供无需垃圾回收（GC）的高效内存管理，且无需 Rust 借用检查器那样的复杂性。
* **编排式编程（Choreographic Programming）**：允许开发者编写单一的网络规则，并将其编译为各参与系统的代码，从而在设计层面确保跨服务的正确性。
在简洁和明确原则的指导下，Wyzer 致力于消除隐藏的“魔法”。它默认使用不可变变量，通过 `Result` 类型实现清晰的错误处理，并采用避免复杂模板代码的可读语法。
Wyzer 目前是一个处于早期阶段的研究项目。通过将单一所有权规则应用于内存、硬件中断和网络通信，它旨在提供高性能的安全性，同时降低现代系统语言的学习曲线。该项目致力于弥合学术研究与通用编程实践之间的差距，欢迎各界参与贡献。
每日HackerNews RSS
**Wyzer** 是一门新兴的静态类型编译型编程语言，旨在解决 Rust 在分布式系统安全方面的局限性。该语言由一位年轻程序员开发，引入了“编排式编程”（choreographic programming），通过构建过程消除分布式系统中的死锁，确保服务间的通信在语法层面即表现为单一的原子意图。
核心技术特性包括：
* **编排式编程**：提供高级抽象来管理分布式角色间的通信，并自动生成独立的客户端/服务端可执行文件。
* **Perceus 内存模型**：一种旨在实现高效的引用计数系统，既避免了垃圾回收，也无需复杂的借用检查器生命周期管理。
* **线性/仿射类型**：用于管理资源和内存安全。
该项目在 Hacker News 上引起了广泛关注，社区在肯定其对分布式安全这一宏大目标的追求的同时，也提供了建设性的批评。用户指出，目前的文档属于“自下而上”的编写方式，将语言的核心创新掩盖在了琐碎的语法细节之下。开发者已承诺重构文档，以具体的编排式编程示例作为引导。尽管人们对性能和内存循环管理仍持怀疑态度，但社区普遍支持该项目试图超越“2015 时代”语言设计的尝试。
本网站正在使用安全服务来抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因包括提交了特定的词汇或短语、SQL命令或格式错误的数据。
《今日美国》（隶属于甘尼特公司旗下的《今日美国》公司）与数据分析公司 Palantir 之间的合作，在 Hacker News 上引发了广泛的质疑与争论。
用户对此次合作持强烈的批评态度。许多人质疑，对于那些完全可以通过简单的开源数据分析工具完成的任务，是否有必要使用 Palantir 高昂的企业级软件。质疑者认为，此举不过是该媒体在受众流失背景下为了变现而进行的孤注一掷，或是对搜索流量下滑的一种回应；还有人嘲讽道，这种分析最终只会证实其读者群体正在日益萎缩与老化。
此次讨论还反映出人们对现代新闻业现状的普遍不满。许多参与者感叹以社区为核心的地方性报道日渐式微，取而代之的是大量由大众所有权模式主导的空洞文章和同质化内容。讨论中也触及了激烈的政治极化现象：部分用户选择彻底抵制主流媒体，而另一些人则认为，尽管《今日美国》被视为格调不高，但它对普通大众而言依然是必要且易于获取的信息来源。总的来说，这一消息招致了嘲讽，被视为传统媒体公司在数字时代与人工智能泛滥的背景下，为生存而挣扎的又一例证。
请启用 JavaScript 并关闭所有广告拦截器。
这份 Hacker News 的讨论探讨了“人工智能精神病”（AI psychosis）这一日益增长的趋势。用户认为该术语描述了一种“认知投降”，即领导者盲目地将人工智能生成的建议置于资深员工的专业知识或自身批判性判断之上。
评论中的关键观点包括：
* **专业知识的流失：** 参与者表达了不满，认为高管们更倾向于听从缺乏具体现实背景的大语言模型（LLM），而非那些了解自身代码库和基础设施复杂性的工程师。
* **回音室效应：** 许多人认为人工智能充当了“无限确认机器”或终极“唯唯诺诺者”。它为领导者提供他们想听的反馈，从而强化偏见，使他们能够避开困难但必要的人际沟通。
* **对领导力的批评：** 评论者认为这并非一种新的医学现象，而是领导力的系统性失败。他们指出，许多管理者本身就已脱离实际，并优先考虑“效率”而非实质内容；人工智能只是为验证他们既有的缺陷提供了一种新工具。
* **质疑态度：** 一些用户指出，这篇文章本身读起来就像是“人工智能生成的垃圾内容”，这反映了一种更广泛的讽刺：即使是关于人工智能滥用的警告，也越来越多地由它们所批评的工具本身所产生。
请启用 JavaScript 和 Cookie 以继续。
近期一项认为地球生命起源于两次的研究所引发的激烈争论，主要原因在于它重新定义了何为“生命”。研究人员认为，早期的原生细胞依赖热液喷口的金属表面进行代谢，并非真正独立的“生命”有机体。根据这一定义，现代生命的共同祖先（LUCA）是一个前体，随后分化为细菌和古菌两个独立的谱系，因为它们分别演化出了在没有矿物锚定下生存所需的代谢酶。
批评者认为，这只是语义上的“文字游戏”，而非发现了两个独立的起源。他们辩称，依赖环境是所有生命的特征；正如现代生物需要水或特定营养物质一样，原生细胞也需要金属。另一些人则指出，“两次起源”的说法具有误导性，因为这些谱系共享复杂的共同遗传机制。
讨论还探讨了“大过滤器”、生命起源的稀有性以及在其他地方发现生命的可能性。许多参与者得出结论：生命是一个连续体而非二元对立，且今天出现的任何“新”生命，很可能会被现存高度演化的生物圈所淘汰或吞噬。
最新发布的 **pgrust** 0.2 版本引入了高性能查询引擎，其速度比以往版本快 10 倍，在 OLTP（联机事务处理）场景下比 Postgres 快 30%，在分析基准测试中快 300 倍。
Postgres 构建于 20 世纪 80 年代，是为磁盘受限时代设计的。然而，现代硬件的瓶颈往往在于 CPU 和内存吞吐量。Pgrust 通过现代化查询执行模型解决了这一问题：
* **火山模型（Volcano Model）：** Pgrust 最初采用与 Postgres 类似的传统火山模型，即每次处理一行数据。
* **批处理（Batching）：** 通过以 1024 行为单位进行批处理，pgrust 显著降低了函数调用的开销并提高了缓存局部性。
* **算子融合（Operator Fusion）：** 该技术将多个操作合并到一个循环中，消除了冗余的数据移动。
* **SIMD：** 通过利用 CPU 级并行（单指令多数据流），pgrust 可以同时处理多个数值，进一步加速计算。
综合这些优化措施，查询执行时间从 1.3 秒（基础模型）缩短至仅 135 毫秒。Pgrust 将继续突破性能极限，计划在未来利用 JIT（即时）编译来进一步动态优化查询计划。
如需了解更多详情或支持该项目，请访问 pgrust 的 GitHub 仓库。
**pgrust** 项目是一项雄心勃勃的尝试，旨在用 Rust 重写 PostgreSQL。该项目声称通过利用批处理、算子融合和 SIMD 技术，可在分析型工作负载中实现高达 300 倍的性能提升。作者的目标是打造一个生产就绪、可直接替换的数据库，以解决 PostgreSQL 核心中长期存在的性能瓶颈。
该项目在 Hacker News 上引发了激烈讨论，焦点主要集中在以下几个方面：
* **信任与可靠性：** 批评者质疑该项目的“AI 生成”性质（大部分由 AI 智能体开发），并对缺乏传统的人工审查工程严谨性表示担忧。作者则坚持认为，广泛的形式化验证和差异化模糊测试（已在 pgrust 和 Postgres 中发现过漏洞）是其开发流程的核心。
* **许可协议：** 选择 AGPL 协议引发了争议，因为它常被视为大型企业环境的“毒丸”，与 PostgreSQL 宽松的 MIT 风格许可相比，可能会限制其普及。
* **技术可行性：** 尽管支持者称赞其创新和性能潜力，但怀疑论者认为 Postgres 的稳定性和生态系统是不可替代的。另一些人则强调，虽然在特定的内存驻留测试用例中性能表现亮眼，但真实的数据库性能是一个复杂的多层问题，远不止原始速度那么简单。
如果整个工人群体对自己的职业失去了信念，会发生什么？ What happens if an entire class of workers loses faith in their careers
89 天前
亚伦·霍瓦斯（Aaron Horwath）探讨了“知识工作者”群体中日益加剧的存在主义危机，他们愈发感到自己的职业缺乏意义。这种幻灭感源于“工作主义”（Workism）——即人们倾向于从往往缺乏实质性利他价值的工作中寻求精神满足与身份认同。 尽管知识工作者过去一直认为自己的工作是有意义的，但他们现在面临着一种转变：人工智能和极端的抽象化正将他们与工作进一步拉开距离。这种技术颠覆有剥离“混乱中间地带”的风险，即那些让工作变得有回报的人际协作与互动。随着人工智能开始自动化处理策略和创作，这些专业人士不禁怀疑：他们的职业是否仅仅是一场无法逃脱的、以景观为主导的经济中的表演？ 霍瓦斯认为，真正的创造力繁荣于以人为本的协作环境，而非无情、高效的自动化环境。他指出，虽然逃离现代工作的“景观”十分困难，但专业人士可以通过拒绝“工作定义自我价值”的观念来重拾人性。通过优先建立真实的人际关系，并认识到职业产出很少能改变世界，工作者们可以打破“工作主义”的魔咒，专注于在社区中创造真实的价值——即使这种价值仅仅是为侄女织一顶帽子那样简单。
文章《如果一整个行业的从业者对职业失去信心会发生什么》在 Hacker News 上引发了极具争议的讨论。许多用户认为，科技行业普遍弥漫的忧郁情绪，源于行业从追求有意义的、工匠精神式的创新，转变为枯燥乏味、掠夺性的企业工作。
讨论的主要议题包括：
* **目标的丧失：** 批评者认为，科技行业已从追求高尚的创新转变为追求广告收入、数据提取和制造“垃圾内容”的冷漠机器，这让从业者感到自己如同“数字清洁工”。
* **人工智能的影响：** 虽然有些人认为人工智能是“增强”生产力和实现创作民主化的强大工具，但另一些人则将其视为一种威胁——它贬低了人类技能，使劳动力商品化，并将工程师变成了“提示词管理员”。
* **社会幻灭感：** 讨论中相当大一部分集中在更广泛的不适感上。用户指出，现代互联网文化的毒性、现实社区的缺失，以及住房危机和裁员带来的经济不稳定，都是导致当前焦虑的驱动因素。
* **解决方案建议：** 建议范围从个人生活方式的改变——例如远离社交媒体带来的负面信息轰炸、培养实体爱好，或将社区置于事业之上——到结构性的改革，如全民基本收入（UBI），以应对技术进步带来的必然性失业。
Cloudflare 宣布推出 **Kitesurf**，这是一款专为 AI 智能体和自动化任务打造的全新浏览器引擎。传统的浏览器（如 Chromium）是针对人类需求进行优化的，包含标签页、扩展程序和流畅渲染等功能，但对于 AI 智能体所需的大规模自动化任务而言，它们往往过于臃肿且成本高昂。 Kitesurf 构建于 Cloudflare 开发者平台之上，完全运行在 Workers 中，利用 WebAssembly 和 Rust 实现高性能与低开销。其核心特性包括： * **高效性**：在执行 HTML 提取和截图生成等任务时，其 CPU 和内存占用比 Chromium 低 3 到 7 倍。 * **安全性**：采用无状态、隔离的架构设计，每一次页面加载都被视为不可信，从而防止跨会话泄露。 * **智能体优先**：专注于 AI 的实际需求（如 Token 计数、可扩展性和性能），而非视觉呈现的完美。 * **兼容性**：支持 Chrome 开发工具协议（CDP），可与 Puppeteer 和 Playwright 等现有工具无缝协作。 Kitesurf 目前处于测试阶段，可通过 Cloudflare 的 Browser Run 使用。虽然它尚不能在视频播放等任务中取代功能齐全的浏览器，但为智能体网页自动化提供了一种高性价比、高扩展性的解决方案。
抱歉。
### 摘要：SMTP 的 DANE 与 TLSA 实现 DANE (基于 DNS 的命名实体身份验证) 通过在 DNS 中使用 **TLSA 记录**锁定邮件服务器证书，从而保障 SMTP 传输安全。尽管由于其必须依赖 DNSSEC 的严苛前提而较为少见，但它仍是目前最稳健的传输身份验证手段。 **“3 1 1” 标准** 对于 SMTP，推荐的配置为 `3 1 1`： * **3 (DANE-EE)：** 锁定叶子证书（终端实体）。 * **1 (SPKI)：** 对公钥而非完整证书进行哈希（允许无缝密钥复用）。 * **1 (SHA-256)：** 哈希算法。 **实施流程** 1. **生成：** 使用 OpenSSL 提取公钥，将其转换为 DER 格式，并生成 SHA-256 哈希值。 2. **DNSSEC：** 您的域名必须已通过 DNSSEC 签名，且在域名注册商处拥有有效的 DS 记录。未经签名的 TLSA 记录将被忽略。 3. **发布：** 在 `_25._tcp.<您的 MX 主机名>` 处创建 TLSA 记录，值设为 `3 1 1 <哈希值>`。 4. **验证：** 使用 `dig +dnssec` 进行验证，确保响应中包含 `ad` (authenticated data) 标志。 **避免配置不匹配** 大多数故障发生在证书更新导致生成新密钥时。**请务必复用您的密钥对**（例如使用 `certbot --reuse-key`），并遵循“先发布后更换”的轮换策略：在转换完成前，请确保当前哈希值和下一代哈希值同时存在于 DNS 中。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
如何生成 TLSA 记录并修复 3 1 1 不匹配问题 (dmarcguard.io)
meysamazad 发布于 1 天前 | 4 点 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季班！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
开发自托管软件是一个悖论：你越是试图让应用程序高效且易于部署，就越会发现自己是在与用户千差万别的基础设施做对抗。 在优化静态文件服务、缓存和前端渲染时，开发者往往会重复造轮子，去重新实现那些专业级基础设施（如 CDN 或专用反向代理）早已提供的功能。由于你无法掌控用户的托管环境，试图提供精细化控制的结果，只会导致配置碎片化、维护噩梦，以及容易崩溃的“平庸”实现。 最终，这些妥协带来的重担迫使开发者放弃原生的轻量级部署，转而使用将一切打包的“臃肿”容器（Docker）——将反向代理、带有自定义扩展的数据库、缓存以及应用程序本身全部封装进一个不透明的包中。 其结果就像是一台由嵌套代理和进程组成的鲁布·戈德堡机械，让一个简单的 HTTP 请求背负了巨大的开销。你原本旨在构建一款面向大众的轻量级工具，但为了适配多样化且无管理的运行环境，现实必然会驱使你用“容器化”的现状来置换架构的优雅，即便对于实际接收到的流量而言，这套最终呈现的低效技术栈简直是大材小用。
这场 Hacker News 讨论聚焦于“业余级”自托管日益增长的复杂性。讨论的起因是一位用户在应对激增的机器人流量、TLS 终止和缓存时感到力不从心，并据此认为现代网络部署模式对休闲爱好者越来越不友好。
核心议题包括：
* **复杂性的负担：** 许多贡献者认为，现代网络的需求（如强制 HTTPS、反向代理和容器编排）使得自托管变得不必要地困难。一些人认为现代 Web 应用“过度工程化”，缺乏简单且开箱即用的配置。
* **“Caddy 与 Nginx”之争：** 用户就处理 TLS 和代理的最佳方式展开了辩论。虽然一些人提倡使用 Caddy 等轻量且易于使用的工具来简化设置，但另一些人认为，即便是这些工具也需要深厚的基础设施知识（如防火墙、systemd 等）。
* **机器人与安全现实：** 一种普遍的观点是，现代互联网充斥着恶意爬虫和自动化流量。这迫使业余爱好者不得不部署专业级的安全防护（如 Cloudflare），仅仅是为了维持个人网站的在线状态。
* **替代视角：** 一些人认为这些挑战可以通过更好的文档或人工智能辅助配置来解决，而另一些人则建议回归 LAMP 等更简单的技术栈。
美国劳动力市场在七月表现疲软，意外裁减了2.3万个就业岗位，而此前几个月的数据也被大幅下调了10.3万个岗位。随着失业率达到4.1%，且劳动参与率降至2021年初以来的最低点，分析师将当前的经济前景形容为“惨淡”。 报告指出，受伊朗持续冲突导致的能源成本上升以及3.5%的持续通胀影响，经济正处于困境之中。年均仅3.2%的工资增长目前无法赶上生活成本的上涨。尽管医疗保健行业增加了2.2万个工作岗位，但政府教育、零售和金融等领域均出现了普遍的收缩。 尽管数据不佳，但在报告发布后，股票期货价格上涨，债券收益率下降。投资者对此反应积极，预计劳动力市场的降温可能会阻止美联储进一步加息。然而，工资增长与通胀之间的脱节，加上高油价和参与率的下降，凸显了宏观经济中存在的不稳定性。
这份 Hacker News 讨论聚焦于近期的一份报告，该报告称美国 7 月份减少了 23,000 个就业岗位。许多评论者认为这一数字在统计学上微不足道，只是“噪音”，而非真正的“突然反转”。
辩论的核心主题包括：
* **对数据报道的批评：** 数据科学家和专业人士对经济新闻中缺乏误差范围和背景信息表示不满。他们认为，在没有置信区间或经通胀调整的历史数据的情况下发布单一数字，会误导公众并阻碍真正的“数据素养”提升。
* **对方法论的怀疑：** 参与者指出，这些报告通常依赖于回复率不断下降的调查数据，且往往会在数月后进行大幅度的向下修正。一些人怀疑政府统计数据存在政治影响或系统性操纵。
* **经济前景：** 持怀疑态度的人认为，经济正遭受滞胀，头条数据掩盖了劳动力参与率下降、就业不足以及医疗成本上升等深层问题。
* **党派两极分化：** 讨论区反映了深刻的分歧，一些用户将此归咎于政府政策（关税和地缘政治紧张），而另一些人则将这种波动视为典型的市场周期，并将美国近期的表现与加拿大的就业增长进行了不利的对比。