Tarit 是一个高性能、开源的微虚拟机（microVM）平台，专为安全、短暂的 AI 智能体和强化学习（RL）工作负载而设计。与共享内核的标准容器不同，Tarit 通过在每个任务中运行独立的 KVM 支持的微虚拟机来实现硬件级隔离，从而确保了强大的安全性。 该平台由三个核心组件组成： * **vmm：** 一个基于 Rust 的轻量级虚拟机监控程序（hypervisor），支持毫秒级启动、实时快照以及挂起/恢复功能。 * **orch (taritd)：** 一个多节点编排器，提供类似 PaaS 的控制平面来管理集群，包括预热池、使用审计以及 SSH/PTY 访问。 * **proto：** 一个定义通信协议的共享 crate，允许用户将 VMM 与自定义编排器集成。 Tarit 专为突发式、高频执行而设计，具有按需分页内存、写时复制（copy-on-write）快照和极小的设备开销，以最大限度地减少启动延迟。它在性能上优于 Firecracker 等传统工具，支持在不暂停客户机的情况下进行实时快照，并提供出站过滤和 API 透传 PTY 等高级功能。Tarit 采用模块化设计，用户可以根据自身基础设施需求，仅采用虚拟机监控层或完整的管理编排栈。
每日HackerNews RSS
抱歉。
美国联邦航空管理局（FAA）已恢复波音公司为其737 Max和787梦想客机签发适航证的权限。此前，在2018年和2019年发生致命空难后，该项权力曾被撤销。 虽然FAA已于去年9月开始试行“共同责任模式”，但近期数据证实，无论是由制造商还是监管机构签发证书，波音的生产质量始终保持一致。因此，FAA认为将全面认证权限归还给该公司是安全的。 这一决定对波音而言是一次重大的信任投票。此前，由于最初的空难事件以及2024年1月发生的舱门脱落事故，波音多年来一直面临严苛的监管审查。波音表示，将继续在FAA的监督下运营，以确保其飞机保持安全并符合所有质量标准。
美国联邦航空管理局（FAA）已恢复波音公司为其 737 MAX 和 787 梦想客机签发适航证的权限。此前，受 737 MAX 空难（2018–2019年）及随后的 787 生产质量问题影响，该权限曾被暂停。
在随后的 Hacker News 讨论中，用户们对这一举措的意义展开了辩论：
* **技术上的区别：** 评论者澄清说，“适航证”仅用于证明单架飞机符合其获批的设计标准，并不等同于对飞机设计本身的认证（即“型号合格证”）。
* **暂停权限的缘由：** 专家指出，FAA 当初撤销该特权，很可能是为了确保波音内部的认证团队能够免受管理层缩减成本的压力，特别是在波音因工厂质量控制和安全文化受到严厉审查的情况下。
* **争议与质疑：** 许多参与者担心现在恢复波音的这一权力为时尚早，称之为“引狼入室”。也有人认为，FAA 是对近期生产质量调查的结果感到满意；而批评者则持怀疑态度，认为波音目前过度追求“金融化”而忽视工程卓越，这仍是未来安全的一大风险。
每个人都对人工智能感到怪异，除了那些强行向我们推销它的人。 Everybody's Weirded Out by AI–Except the People Who Foist It on Us
3 天前
本文探讨了人工智能革命的双刃剑效应，警告人类未来可能陷入类似《蠢蛋进化论》（Idiocracy）的境地，即人类依赖于自身已无法理解的自动化系统。尽管人工智能在速度和成本效率上带来了前所未有的提升，但这些收益是以牺牲质量和基础人类知识为代价的。然而，许多用户认为这种退化是必要的权衡，并将其与印刷机或计算器等历史性变革相提并论。 除了哲学层面的担忧，本文还强调了公众对人工智能物理基础设施日益增长的抵触情绪。由于数据中心对当地资源（包括噪声污染、水资源消耗和能源成本上升）造成负面影响，不同政治立场的人群对此都愈发不满。此外，鉴于市场对人工智能生成内容的实际消费需求存疑，许多专家预测当前的人工智能热潮是一个不可持续的投资泡沫。归根结底，社会正处于十字路口：是优先考虑自动化的便利，还是冒着核心人类能力退化的风险，并承受大规模资源密集型基础设施带来的实质性代价？
抱歉。
技术社区正在讨论 Lobste.rs 网站近期迁移至 SQLite 一事。尽管这一举动因其相较于 MariaDB 或 PostgreSQL 等传统客户端-服务器数据库的简洁与高效而受到赞赏，但也引发了重大的技术与文化辩论。
**技术顾虑**
批评者指出，SQLite 的预写式日志（WAL）可能会导致“数据库膨胀”问题。如果持续的重叠读取阻止了系统执行自动检查点以清理 WAL 文件，文件可能会无限增长，从而可能引发拒绝服务（DoS）攻击。虽然一些人认为通过适当的优化可以解决这一问题，但另一些人则质疑在 Web 应用中使用 SQLite 的明智性，理由包括单写入序列化、并发性受限以及管理单节点架构的开销等。
**社区动态**
讨论也延伸到了 Lobste.rs 自身的独特性上。作为一个以技术为核心且有据可查地对人工智能相关内容持怀疑态度的邀请制平台，它经常被拿来与 Hacker News 进行比较。批评者认为该网站是一个封闭、精英主义的单一文化群体，而支持者则看重其极高的技术信噪比，以及通过刻意的、小规模的社区管理来保持其对编程专注度的做法。
此网站正在使用安全服务来抵御在线攻击。您刚才的操作触发了安全防护机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
抱歉。
Flock Safety 首席执行官 Garrett Langley 近期缓和了对反对其车辆监控公司的激进组织的立场。此前，Langley 曾将名为“DeFlock”的反对组织称为“恐怖组织”，并指责批评者意在“将无法无天常态化”。在针对警察不当行为和隐私问题的报道引发公众强烈抵制后，Langley 现已对其过往言论表示遗憾，并承认关注隐私的批评具有合理性。 尽管这场争议促成了左翼和右翼批评者的联合，但 Flock 的业务仍在持续增长，年收入达 5 亿美元，且人工智能监控工具的系列产品也在不断扩张。尽管部分警察部门已弃用该技术，但其他部门仍坚持使用。 与此同时，反监控倡导者并未受阻。DeFlock 继续通过其广受欢迎的移动应用程序绘制摄像头位置，并正准备在 102 个城市开展“全国行动周”。虽然 Langley 现在欢迎就安全与隐私的平衡进行讨论，但像 Will Freeman 这样的活动人士坚持认为，大规模监控是一种从根本上不可接受的权衡，这表明关于美国街道监控的冲突远未解决。
Flock Safety 首席执行官 Garrett Langley 此前曾将活动人士贴上“恐怖分子”的标签，对此他已公开致歉。然而，许多 Hacker News 评论者认为，在遭遇公众强烈抵制后，这一举动不过是虚伪的公关补救措施。
此次讨论反映了外界对 Flock 庞大监控网络深切的忧虑。用户指出，Flock 的功能远不止识别车牌；它还能记录车辆细节，通过蓝牙或 Wi-Fi 信号追踪个人行踪，并曾被用于监控合法抗议活动以及协助联邦移民执法。批评者认为，该公司缺乏必要的防范机制，其运作方式如同“天罗地网”，实际上是将公共场所变成了一座露天监狱。
评论者对隐私权的流失表示愤慨，并指出在许多欧盟司法管辖区，这种对公共场所的私人监控行为是违法的。尽管一些用户承认该技术在追踪车辆盗窃方面具有一定效用，但舆论主流对这种大规模监控模式持极度批评态度。许多发言者主张，如果没有严格的司法监督（例如要求获取数据必须获得搜查令），就不应允许私营企业大规模记录公民的行踪。此次讨论凸显了公众对监控技术公司与公众之间权力失衡的普遍焦虑。
抱歉。
Zilog Z80 于 1976 年 7 月发布，是计算机史上的一座里程碑。该处理器由 Federico Faggin 和 Masatoshi Shima 在离开英特尔后开发，旨在作为英特尔 8080 的高性能且二进制兼容的演进版本。
Z80 的血统可追溯至 Datapoint 2200 以及随后的英特尔 8008 和 8080 处理器。虽然 8008 和 8080 开创了 8 位微处理器的先河，但它们受限于复杂的电源要求和繁琐的电气接口。Z80 通过采用单一 5V 电源、简化总线逻辑，并增加了内置动态随机存取存储器（DRAM）刷新、变址寄存器以及强大的块传输指令等高级功能，解决了这些问题。
除了在早期家用计算机中取得的技术成就（最著名的是作为 CP/M 机器和 GameBoy 的核心）之外，Z80 还成为工业和嵌入式应用中的常用组件。其多功能性和生命周期令人瞩目；在许多架构逐渐被淘汰的同时，Z80 保持了近 48 年的生产记录，直到 2024 年才最终停产。Z80 的遗产在于其在微机革命中发挥的关键作用，以及对系统工程产生的深远影响。
Zilog Z80 处理器近期迎来了 50 周年纪念，这在经历过 8 位机时代的程序员群体中激起了一阵怀旧与技术赏析的热潮。
对许多人而言，Z80 是他们接触计算的“第一语言”。讨论中强调，从基础原理出发去学习其指令集——往往通过反复尝试、纠错以及研读硬件手册——为他们打下了坚实的计算机体系结构基础，即便在现代开发中依然受用。爱好者们分享了为 ZX Spectrum、TRS-80 以及各类自制套件手写汇编代码的回忆。
Z80 的长寿是一个核心话题；它至今仍在生产，并持续驱动着德州仪器（TI）图形计算器等设备，服务于当今数以百万计的学生。尽管现代硬件已转向 RISC-V 等更复杂的架构，但 Z80 因其简洁性、相比 8080“近乎完美”的指令集改进，以及在开启无数技术职业生涯中所扮演的角色，而被人们深切怀念。这篇讨论帖不仅是对一块硅片的致敬，也展现了它即便历经岁月，依然持续影响着全球工程师的心智。
此交互式仪表板旨在提供由该项目追踪的 ICE Air 航班的动态视图，使用户能够可视化常见航线、每周的转运和遣返航班、第三国中转航班，并追踪自 2020 年以来的历史航班趋势。 交互式仪表板导航指南：使用左侧的下拉菜单按月份和地点进行筛选。如需进行更精细的分析，请点击图表中的任意数据点，以对页面上的其他要素进行交叉筛选。点击“清除所有筛选器”可随时清除所有筛选条件。如需在页面间切换，请选择页面顶部的标题标签。 此仪表板将定期更新；最后更新日期位于左下角。请注意，识别航班需要多层验证过程。为确保研究结果的准确性和完整性，我们将航班数据与多种来源进行交叉比对，因此，随着新发现的出现，可能会对数据进行追溯性修订。
抱歉。
SpaceX 股价跌至新低，一个月内市值蒸发 1 万亿美元。 SpaceX stock drops to a new low and loses $1T in value in a month
3 天前
SpaceX 正面临严重的市场低迷，股价首次跌破 135 美元的首次公开募股（IPO）价格。自 6 月创纪录上市以来，该公司市值已缩水约 1 万亿美元，其中包括在 6 月 16 日达到峰值后出现的 3,200 亿美元跌幅。 近期受发动机故障影响，备受瞩目的星舰（Starship）发射被迫取消，加剧了这一跌势。这次挫折令投资者感到担忧，因为星舰项目是 SpaceX 未来的核心，涉及美国国家航空航天局（NASA）的阿耳忒弥斯登月任务以及下一代“星链”（Starlink）卫星的部署。 即将到来的锁定期解禁进一步打击了投资者信心。随着公司 8 月份首份季度报告的发布，超过 9.11 亿股股票将获准上市交易，引发了对进一步稀释股权的担忧。目前股价已跌破 125 美元，由于市场对这家航空航天巨头的短期增长势头失去信心，早期 IPO 投资者的持仓已处于亏损状态。
抱歉。