诺伯特·D·拉基和大卫·D·霍姆斯在1950年代初发明了标志性的彩色条电视测试图样,并于1956年获得专利,但几乎未获得公众认可。在彩色条出现之前,广播公司使用黑白测试图样,最著名的是RCA 1938年的“印第安人头像”图像,描绘了刻板的美洲原住民形象。彩色条最初用于校准早期彩色电视,至今仍是视频制作中调整颜色、色度和亮度的重要工具。其设计在SMPTE指南下多次演变(1954年、1978年、1990年以及2002年的高清电视更新),采用彩色块、对齐条和校准脉冲的排列。除了技术用途,彩色条还成为流行文化符号,出现在HQ Trivia、艾略特·史密斯的歌曲以及Netflix的隐藏测试内容中。尽管现代电视需要较少校准,彩色条仍活跃于专业环境,并作为电视历史的怀旧象征。霍姆斯在2005年的一封信中提到,他的发生器在全球有数万台在用。尽管无处不在,两位发明者都未因这项被数百万人看到的发明获得广泛知名度。

Hacker News 新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 测试图历史:彩条如何成为电视标配 (2020) (tedium.co) 4分 由 andsoitis 1小时前 | 隐藏 | 过往 | 收藏 | 1条评论 帮助 gnabgib 1小时前 [–] (2020) 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

在商业或工程数据,或社会科学中,你可能要处理成百上千个不同数据类型的字段——文本、数字和日期——分布在数十张表中,每张表有数千(或数百万)行。为了保持理智,不必为每个字段或每次新数据库查询调整格式设置至关重要。Ultorg 通过实时分析数据并得出精心调优的默认值,消除了这种艰苦的手工劳动。例如,标签放置、表列宽、文本字段尺寸、小数精度和分页都会自动处理。你可以用更少按键查看所有数据。

``` Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Ultorg:关系型数据库的用户界面 ( ultorg.com ) 8 分 由 Ivoah 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

研究人员使用 AI 代理将 4,071 个 CPython 函数翻译为 Lean,生成了 613,318 行机器检查代码。每个函数按行复制,针对 Python 在数万个输入上进行测试,完成证明,并接受独立审查。该项目发现了 418 个 bug,其中约 55 个可能因普通 Python 代码导致崩溃或内存损坏。它覆盖了 CPython 可检查函数的 15.7%,并包含 18,898 个定理和引理。一个关键经验是,有效的证明仍可能薄弱或基于不切实际的假设,因此审查者会询问损坏的实现是否可能通过,并针对真实 Python 测试陈述。该项目开源并欢迎贡献。

Hacker News 新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 形式化 CPython ( broyojo.com ) 11 分 由 carnevalem 3 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

作者质疑美国27%工作日为远程工作的说法。在线调查(SWAA、CHPS)报告约29%,而电话/面对面调查更低:ATUS约20%,CPS为14.3%。作者认为在线样本偏向远程工作者,这一点得到不可远程岗位中远程工作率高得不切实际(如食宿业20%)的支持,并通过重新计算得出只有约25%的工作真正可远程,低于调查暗示的远程工作比例。因此ATUS近20%的估计更可信。影响证据有限且混杂:工作者重视远程工作;可衡量岗位的随机对照试验显示正面、无影响或负面结果;长期研究提示学习和跨团队创新减少。总体而言,远程工作可能增加剩余,同时降低测得的工资/GDP,长期创新影响不确定但可能较小。

Hacker News 链接了一篇 Substack 文章,标题为“有多少人在家办公?”,互动量一般。评论讨论远程办公体验和对 AI 驱动岗位替代的担忧。一位评论者说每周在家办公两天效果很好。另一位认为远程工作容易被自动化,因为机器人可以完成其中的很多任务。第三位认为不必恐慌,不是所有人都需要持续社交接触,老板可能感到受威胁。第四位将恐惧描述为管理焦虑,建议放松,提出若工作消失可能出现的极端经济后果,并认为 AI 替代可能仍很遥远。他们还指出某个人的远程工作不能代表所有在家工作者或其人口特征。

安德鲁·科里布科提出一个情境预测,而非预言,设想特朗普2.0的欧亚战略可能包括与俄罗斯、伊朗和中国的重大交易,以稳定欧亚并支持2028年MAGA回归。对俄罗斯,美国将从1997年后加入北约的国家撤军,可能取消其核保护伞,并入股俄罗斯能源资产,同时俄罗斯对欧出口恢复。对伊朗,华盛顿将解除能源制裁,从海湾撤军,并避免在以色列对伊朗再次开战时进行干预。对中国,美国将切断对台湾的支持,促成统一。次要影响包括避免将TRIPP用作北约后勤走廊,承认分裂的也门,提出将克什米尔控制线作为边界,以及将兵力从东北亚转移至东南亚,同时日本实现核武装。该文旨在激发政策讨论,不代表ZeroHedge的观点。

债券市场警告AI数据中心建设者,借款成本更高、信贷更紧,犹如信用卡利率上调。政治转变——关键州的民主党州长和民主党国会——可能推迟或取消数据中心项目,暂停令可能影响45%的计划美国产能。Coreweave是压力例证:其债券收益率超过16%,CDS飙升。即使Nvidia、Broadcom和Amazon等健康公司也出现CDS上升,预示未来融资成本更高。尽管如此,AI债务发行仍强劲——今年2960亿美元,预计明年4400亿美元。特朗普政府支持持续增长。关键风险是AI支出能否足够快地产生现金;超大规模云服务商第三季度报告负自由现金流。美国银行预计AI信贷发行将在2027年达到6850亿美元峰值,随后在2028年降至5310亿美元;若民主党政策拖慢项目,存在下行风险。

Hacker News 新帖 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 CoreWeave 债券收益率突破 16%,AI 信用压力上升 ( cnbc.com ) 24 分 由 lxm 40 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 Refreeze5224 5 分钟前 [–] 现在就看看 Anthropic 能不能卖出足够多的垃圾债券,来覆盖其 5 亿美元的不可取消义务。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

美国宣布黎巴嫩驻底特律领事易卜拉欣·查拉拉为不受欢迎人物,要求其48小时内离开,据报道原因是其旧社交媒体帖文将1983年贝鲁特海军陆战队兵营爆炸称为“英勇抵抗”、批评美国对叙利亚的占领、称赞巴勒斯坦囚犯逃脱,并使用亲巴勒斯坦图像。该爆炸造成241名美国人员死亡,与一个后来与真主党有关联的伊朗支持组织有关。查拉拉的争议发生在其出席迪尔伯恩阿拉伯裔美国人政治行动委员会活动之后。文章还指出美黎关系紧张:参议员林赛·格雷厄姆在黎巴嫩陆军司令拒绝将真主党定性为恐怖组织后,结束了2025年与他的会面;美国特使汤姆·巴拉克建议武装黎巴嫩军队以打击真主党。文章还补充,以色列最近对黎巴嫩的战争造成数千人死亡,以色列仍占领黎巴嫩约7%的领土。

美国正寻求遏制先进AI芯片向中国转移,包括通过位置验证。出口限制后,芯片仍通过走私抵达中国,例如2026年一起涉及3亿美元GPU服务器被误标为马来西亚和新加坡的逮捕案件。众议院3月通过的一项法案将要求对先进AI芯片进行位置验证,立法者敦促在美中峰会前进行全院投票。合规可能涉及防篡改硬件信任根、密码学签名或芯片指纹识别。基于ping的位置验证测量信号到可信服务器的传输时间以估算芯片位置;固件更新可让现有芯片支持。它可能威慑走私并帮助定位转移后的芯片,但无法追踪离线、存储或不活跃的芯片,需要物理审计。该方法还容易受到密钥提取或信号阻断影响,促使采取制造指纹等深度防御方法。研究人员建议优先关注顶级数据中心GPU,同时指出中国企业仍可远程访问境外芯片,以及中国自身的芯片制造可能降低追踪的重要性。总体而言,位置验证可能成为先进AI芯片出口的标准尽职调查要求。

黑客新闻 最新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 打造 AI 芯片 "Find My" 的竞赛 (ieee.org) 9 分 由 oldnetguy 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 reasonableklout 11 分钟前 [–] 今天才知道这项技术存在。 这很有趣: > 为了遏制这个问题,该国正在转向位置验证。去年三月,美国众议院外交事务委员会通过了一项法案,要求对先进 AI 芯片进行位置验证。在九月下旬的美中峰会之前,立法者呼吁对该法案及相关法案进行全体投票。 通过的法案是《芯片安全法案》。我不确定参议院是否会等到中期选举新成员就职后再对该法案进行全体投票。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

卢比奥表示,以色列足够富裕,可以在没有美国融资的情况下购买美国武器,并指出这一想法是由以色列人提出的,援助可能在2027年结束。这些言论紧随特朗普在中期选举前提出的结束每年近40亿美元对以色列援助的提议,背景是伊朗战争引发的愤怒以及美国对以色列支持的下降。共和党最终仍输掉了中期选举;一些前MAGA评论人士说特朗普背弃了“美国优先”,称其与以色列相关的政策为“以色列优先”,并认为援助转向可能是一招棋。伊朗外交部长阿巴斯·阿拉格奇表示,特朗普认识到美国人对以色列感到反感,并厌倦了地区“无休止的战争”。

由罗恩·约翰逊领导的参议院共和党人正在寻求推迟周二的共和党领导层选举,以便在为少数党选择领导人前审查中期选举的失利。约翰逊的信函已获得足够签名,可强制就推迟举行党团投票;信中称,共和党需要就候选人如何执政并应对民主党进行辩论。图恩预计将寻求连任,且暂无公开挑战者,尽管一些保守派希望他离开;参议员里克·斯科特表示自己不会再次参选,但尚未表态支持图恩。民主党目前至少掌握54个参议院席位,也面临内部不安:杰弗里斯尽管遭到活动人士反弹,仍可能成为众议院议长,且多名新当选民主党人不愿承诺支持舒默担任多数党领袖。除非党团批准推迟,共和党将于周二投票。

团队在 Kafka 收据之上构建了 ClickHouse 报表。数据流存在重复、迟到文档和间歇性管道停机。四种方案失败:插入时求和重复计算了重复数据;宽表重算读取了太多行;内存键字典无法容纳;读时聚合太慢。最终设计将聚合视为其文档的函数,而非运行总和。每个文档确定性地映射到一个小型“cell”(register、shift、hour)。窄表按 register/document 排序存储所需列,而脏 cell 日志记录被触及的 cell。可刷新视图仅重算脏 cell,并在 ReplacingMergeTree 中存储带版本的结果;shift 由 cell 组装。重复投递按 document key 折叠,迟到文档将其旧 cell 标记为脏,最长一天的中断可自动追上。报表保持快速,因为它们读取紧凑 cell,而非数十亿文档行。权衡包括 75–115 秒延迟、超过一天需手动恢复、副本重算竞争、重试插入可能丢失标记,以及指标必须可合并。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 聚合是一个函数,而不是求和 ( alnovis.io ) 5 分 由 alnovis 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Beep Locator 是一个 Python Web 应用,使用多个基于浏览器的监听设备三角定位神秘间歇蜂鸣声。受 BeepBeep 论文启发,它使用 WebSockets、麦克风录音、chirp 对齐和蜂鸣检测。设备首先通过声学测距或粗略手动放置估计位置,然后监听蜂鸣。拍手可用于测试。检测到的声音显示在地图和日志中,并支持重放和确认神秘蜂鸣。确认后,系统跟踪该蜂鸣并细化其可能位置。通过 Claude Code 迭代构建,包括可热替换的监听器代码以及重新定位和建议监听器放置等功能,它在约 40 厘米内定位到一氧化碳探测器。该项目还展示了编码代理如何通过连接设备运行并分析音频获得感官输入。

一篇 Hacker News 帖子题为“定位神秘蜂鸣声的来源”,链接到 Simon Willison 的网站。评论讨论了查找隐藏蜂鸣声的工具与方法。其中提到 MKBHD 演示的 FOTRIC TD2e 声学成像相机,价格约 1000 美元,可能为一次性使用而租用。还有人建议通过把一半箱子移到另一间房并监听蜂鸣声,进行 O(log n) 的物理二分查找。回复里有笑话或替代方案,例如调谐到老鼠吱吱声的猫用 HUD。另一位评论者称赞 Simon Willison 的浏览器声音项目。总体来说,这是一场关于定位蜂鸣声来源的实用与幽默讨论。

美国食品药品监督管理局(FDA)现在要求所有GLP-1药物(包括Ozempic、Wegovy、Mounjaro和Zepbound)的标签警告潜在增加的非动脉炎性前部缺血性视神经病变(NAION)风险,这是一种罕见的“眼部中风”,可导致一只眼睛突然、永久性视力丧失。FDA审查了126项试验,涵盖134,253名患者,发现15例可能的NAION病例,GLP-1药物与对照组的发生率分别为每10万人年6.4例和3.8例。一项Sentinel队列研究发现每10万人年26–32例;与SGLT-2抑制剂相比,增幅不具统计学意义,但与DPP-4抑制剂相比具统计学意义。FDA表示,严谨的观察性研究一致显示GLP-1药物的NAION风险高于DPP-4或SGLT-2抑制剂,但动物研究未发现机制。EMA此前将司美格鲁肽的NAION风险标记为极罕见。FDA建议患者出现单眼突然视力丧失时就医,并建议临床医生在发生NAION时考虑停药。风险因素包括吸烟、糖尿病、高血压、睡眠呼吸暂停、贫血和肾病。

文章认为,雷德利·斯科特的疫情电影《狗星》票房失利,部分原因是新冠疫情侵蚀了致命病毒电影所依赖的公众信任。该类型传统上依赖于一种知识层级:病毒虽不可见,但科学家能看见它,应急权威带有道德清晰性。疫情打破了这份契约——暂定判断被呈现为既定科学,政策被包装为流行病学必需,异议被视为人格缺陷。福奇作为机构、媒体、大学和制药业联盟的象征,成了这种越界的代表;他对社交距离规则和补助金监管的承认,加上最近的参议院藐视投票,巩固了自动公信力的丧失。观众如今质疑起源叙事,区分科学与政策,权衡强制措施的成本,并不信任信息控制。对科学家的信任从87%(2020年)降至77%(2026年),党派差距明显。文章总结,该类型并未死亡,但其“轻松版”已死:未来的疫情电影必须通过展示不确定性、机构激励和知识的生产史来赢得前提,而非依赖“科学家说”作为足够的剧情引擎。

赞助商正在离开进步派播客《I've Had It》,此前主持人 Jennifer Welch 和 Angie Sullivan 在周四一期节目中笑了一则关于挖出 Charlie Kirk 的玩笑。一段视频在网上传播,促使 Cash App、Casper、Zenni、Honeylove、iRestore、Nobl Travel、HexClad 等终止赞助;不同媒体的统计数字不同。一些公司表示他们目前并未赞助该节目。Welch 和 Sullivan 周六道歉,称该玩笑不敏感并捐款给 Everytown for Gun Safety,但余波未平。Welch 后来拒绝与 Turning Point USA 的 Andrew Kolvet 对话,称抵制行动旨在向金主展示他们能够"取消左派",同时声称新增了 30,000 名订阅者。Erika Kirk 批评"左派播客"在不点名节目名称的情况下嘲笑政治暗杀。此次争议紧随 Welch 此前关于 Kirk 的言论,Kirk 于 2025 年 9 月在 Utah Valley University 被枪击身亡,年仅 31 岁。

一名安全研究人员在 Prusa Buddy 固件中发现了 14 个漏洞(约 23 个缺陷),包括通过 Prusa Connect 的远程代码执行链,以及 USB/FAT、G-code、MMU 和 EEPROM 错误。借助 AI 辅助模糊测试和逆向工程,他们在真实硬件上实现了完全控制器接管。Prusa 在 Buddy 固件 >7.0.0 中修复了所有问题并协同披露;CVE 尚未分配。十五款打印机型号(包括 MK4S、MK4、XL、CORE One、MINI)受影响,应进行更新。研究人员称赞 Prusa 响应迅速、合作良好的处理方式——快速验证、诚实的时间线和致谢——并对比其他厂商的糟糕响应。他们还反思 AI 工具让安全研究的深度变得更加民主化,使非专业人士也能发现深层嵌入式漏洞,同时警告不要用低质量的 AI 生成报告淹没开源项目。完整 write-up 和 PoC 代码正在发布,以便给用户时间修补。

黑客新闻 新的 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 永远不给你打印出来 ( dixken.de ) 5 分 由 ta988 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

作者批评 TLS/ACME 的复杂性和频繁的证书续期,认为防止被动窃听并不需要完整的证书颁发机构模型。他们提出“抗议证书”:一种有效且由 CA 签名的证书,其 RSA 公钥模数包含可读消息。文章概述了 RSA 密钥生成以及在保留可用密钥的前提下将文本嵌入模数的方法,指出可能的 base64 对齐问题和安全权衡,包括熵降低以及素数可能过近或私钥指数过小的风险。它还指出续期可通过重新提交 CSR 自动化,并认为现代 TLS 前向保密使这种密钥即使在私钥可能被泄露的情况下也适用于公开网站。

Hacker News 的一个帖子讨论了 “Horrible public key tricks”(maurycyz.com)。评论者 tptacek 认为所有严重攻击者都是中间人——常通过诱使受害者转移自己的流量(例如 DNS 注入)——而且仅被动的攻击者已经灭绝;他还说未认证的 TLS 会话不能称为“安全”。另一位用户询问转移流量在实践中意味着什么;tptacek 提到了 DNS 注入。embedding-shape 描述了攻击者策略,比如让网络在没有“保护”的情况下无法使用、提供免费服务,或推动替代性私有网络。mplewis 用消防栓类比反驳因一个缺陷就否定整个系统。

在美国斡旋下,乌克兰、俄罗斯与美国将在阿布扎比举行三方会谈前,特朗普总统表示乌克兰未来边界可能不同,暗示尽管泽伦斯基总统拒绝放弃东部领土,仍可能出现领土妥协。特朗普乐观表示战争很快结束,并将功劳归于自己。俄罗斯的关键要求包括承认其领土和乌克兰不加入北约;莫斯科将其存在描述为安全缓冲。国务卿马可·卢比奥表示,讨论包括乌克兰和欧洲的战后安全架构。欧洲领导人不会完全被边缘化:欧盟代表已确认,预计法方官员将出席,但他们主桌角色仍不明确。克里姆林宫认为已吞并的顿巴斯地区、克里米亚及其他被占领土不可谈判。

根据LendingTree对人口普查数据的分析,南卡罗来纳州在2024年美国各州Z世代成年人净迁移中领先,净增18至27岁居民22,843人。约60,223名Z世代成年人迁入,37,380人迁出。可负担的生活成本、就业增长和经济机会正吸引年轻工作者前往查尔斯顿、哥伦比亚和格林维尔;邻近夏洛特也有帮助。传统中心出现流失:加利福尼亚流失58,109名Z世代成年人,新泽西37,556名,伊利诺伊20,031名。2024年约有1070万Z世代成年人跨州迁移,其中38.1%正在上大学。LendingTree研究员Matt Schulz表示,低生活成本和有前景的就业机会是南卡罗来纳州吸引职业初期年轻人的关键原因。

卡尔·帕特森·施密特是芝加哥菲尔德博物馆的著名爬虫学家和馆员,1957年9月26日在辨识一条boomslang蛇时被咬伤后去世。他没有寻求治疗,而是详细记录了自己的症状,最终死于呼吸麻痹。专家认为他可能没有意识到这次咬伤致命,而且当时美国没有boomslang抗毒血清。除了他骇人听闻的死因,施密特的遗产还包括将博物馆的爬虫学藏品从8000件扩展到50000件,命名200多个亚种,推进动物地理区域研究,并发现Dunn's earth snake等独特物种。他的贡献在菲尔德博物馆继续受到纪念。

一篇 Hacker News 帖子链接到 CBS News 关于一位著名科学家被蛇咬死并在日记中记录经历的文章。该帖有六分和一条评论。在那条评论中,一位用户回忆把蓝瓶水母尸体涂抹在手臂上,然后感到灼痛、腋窝酸痛(他们归因于淋巴结),以及整天的低度头痛。他们指出自己的实验不如冲浪者被拖曳的触手缠住严重,但仍然觉得有趣。

一位叔叔用Claude Fable 5.2一次性完成了侄子Aiden梦想中的清版动作游戏。它生成了一款有趣的12关、18名角色、支持4人游玩的游戏,包含过场动画、美术、音频和测试。6月的早期版本表现较弱,但Fable 5.2生成了好得多的结果,大约使用了175张图片和140段音频,并进行了自动化试玩测试。家庭试玩过程中增加了特殊技能、可解锁的亲属与宠物,以及最终救出化为天使的曾祖母。该项目使用了约3.4亿个token。里程碑:AI如今可以制作完整、有趣的多关卡游戏。

Hacker News 的帖子提到 Fable 5.2 一次性完成侄子梦想中的游戏,有评论者将它与 Opus 5.5 在 DX Ball 风格游戏上的表现作比较。Opus 5.5 感觉更有趣,而 Fable 5.2 的游戏元素更好,但尽管提示如此,它仍改变了机制。评论讨论了 AI 生成游戏的美学、未来可能正常化、一个允许敌人被无限踢的 bug,以及约 300 美元的 API 成本估算。其他人提到 token 上下文改进、对重新实现旧 Mac 游戏的兴趣,以及关于 AGI 和“LLM glazer”工作的玩笑。总体结论是,AI 能快速生成可玩的游戏,但对需求的遵循、打磨、成本和质量仍然是问题。

由 Philly Bike On Your Left 组织的自行车抗议针对了费城六家由犹太餐厅老板拥有的餐馆,称其为“锡安主义场所”并要求其关闭。示威吸引了数百名反抗议者、警察、言语冲突、肢体冲突,以及至少一次逮捕。它发生在水晶之夜周年纪念日前后。组织者表示他们反对店主支持以色列,而非其犹太身份,并否认知道周年纪念日日期。市和州官员谴责这种针对为恐吓,而费城 DSA 则捍卫活动人士挑战锡安主义意识形态的权利。顾客和支持者挤满被针对的商家,Huda 出现长队。一位老板表示,他在 10 月 7 日后为以色列儿童筹款,因此被针对。文章认为,抗议模糊了反锡安主义与恐吓犹太商家业主,并将其描述为威权主义。

请启用JS并禁用任何广告拦截器

Hacker News 上的一个讨论串链接到一篇《福布斯》文章,内容涉及黄仁勋的丑闻,以及他妻子可能分得一半财富的猜测。评论者讨论可能的地缘政治动机,认为中国或美国都可能从削弱黄仁勋对芯片政策的影响力中获益。其他人讨论其时机是否与即将到来的美中事件有关。有人提到英伟达股价反应,以及如果其妻子获得大额股权的财务影响。讨论串还涉及常见主题:权势高管落入美人计、财富集中与离婚财产再分配、如果资产转移给妻子可能的慈善捐赠、婚前协议担忧,以及英伟达股价是否应受影响。总体而言,讨论混杂了八卦、地缘政治阴谋、市场影响和社会评论,而非已确认的事实。

Exact 是一个 pre-1.0 跨平台运行时:UI 使用 Contract 编写,数据逻辑使用 TypeScript 或 Rust 编写;编译器烘焙出紧凑的计划。Web 使用约 20 KB 的运行时和真实 DOM;macOS、iOS 和 Linux 使用带有原生渲染(AppKit、UIKit 或 GPU)的 Rust runner/layout kernel,无 webview 或 JavaScript 桥接。一份源代码可运行于 Web、macOS、iOS 和 Linux。AI 代理可通过 `scripts/agent.mjs` 使用十种操作构建、运行、检查和测试应用;Contract 测试在不同主机上运行不变。它强调速度预算、首像素前无 JavaScript 以及能力的惰性加载。呈现默认遵循平台惯例,布局和命名使用 CSS;Web 是奇偶校验 oracle。它支持许多应用和功能,Windows 和 Android 仍为部分支持,某些能力被有意省略。设置需要 Rust、Bun、Chrome、Xcode 和固定的 Hermes bundle。Exact 每日变化,无 API 稳定性。

Hacker News 讨论了 Expo 团队推出的新跨平台 UI 框架 Exact。评论者称其雄心勃勃,指出其代理可以控制 UI 时机,并且 Android 支持预计稍后推出。一名评论者认为它可能影响巨大,可能推动原生、更高效应用的复兴,并减少 Electron 的臃肿,同时警告称它仍是一个长期押注,有许多细节需要解决。另一个担忧是对 AI 模型编写代码的重度依赖,这可能使框架的实用性因模型而异。

本文档是一份讽刺性"通告",声称经认证的SSH远程命令执行是严重漏洞。实际上,它描述的是SSH的预期行为:拥有有效凭据的用户连接到22端口,进行认证,并以该账户的权限运行命令,输出结果被返回。它将许多OpenSSH版本列为"受影响",但该行为由RFC 4254规定,已存在数十年。安全控制记录成功是因为使用了有效凭据,而非任何控制失效。概念验证使用的是普通SSH命令。夸大的CVSS评分、"不会修复"状态和待定CVE都是玩笑的一部分。最后一节明确指出不存在真实漏洞,无需补丁,远程命令执行是SSH的设计目的。总之:这不是零日漏洞或缺陷,而是正常的、经授权的SSH功能。

一篇 Hacker News 帖子链接到 ssh2rce.com,该网站展示了一个看似 SSH 远程代码执行的问题。评论者指出这是一个玩笑:拥有有效凭据的远程攻击者可以在 SSH 服务器上执行任意命令,这本质上是正常的 SSH 行为。原帖作者承认有很多线索,并表示最终的 FAQ 会更明确地解释。反应包括称赞和一个幽默的建议:改用 telnet。

近期联邦裁员涉及健康、安全、教育、移民、税务和气象机构。疾病控制与预防中心裁减约2400名员工,包括彻底取消国家职业安全与健康研究所及其他中心;卫生与公众服务部还裁减了儿童与家庭管理局、老年人与残疾人管理局及能源援助人员。国土安全部取消了民权办公室和监察员办公室。国税局计划大幅裁员,影响税收合规与收入。教育部裁减了民权与研究人员。国家卫生研究院、食品药物管理局和国家海洋和大气管理局也出现裁员,社会保障署计划裁员7000人。服务于儿童、老年人、移民、工人、患者和低收入家庭的项目面临监管、研究、客户服务和公共卫生保护的削弱。影响包括HIV/慢性病和职业安全服务减少、幼儿教育/儿童保育中断、移民案件延迟、税务延误、教育研究缺口、天气预报能力减弱以及潜在的社会保障积压。

``` 黑客新闻 新帖 | 往期 | 评论 | 提问 | 展示 | 工作 | 提交 登录 追踪 DOGE 削减造成的危害 ( clasp.org ) 54 分 由 Alien1Being 19 分钟前 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助 happyopossum 5 分钟前 [–] 有人可能会质疑这种说法的暗示:人员裁减总是等于对社会造成危害。如果真是这样,那么每个美国人都应该直接为联邦政府工作,从事某种社会项目——任何少于这个的都会是有害的。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

马萨诸塞州一名法官驳回了林赛·克兰西的双重危险抗辩,拒绝撤销其三起谋杀案,允许就其三名子女2023年死亡案重新审判。此前陪审团以11比1支持精神失常却陷入僵局,导致审判无效;唯一持不同意见的陪审员迈克尔·德斯龙维尔认为克兰西知道自己在做什么。威廉·沙利文法官认定审判无效具有明显必要性,并拒绝了辩方要求质询德斯龙维尔、获取电话记录或审查陪审员遴选材料的请求,理由是担心胁迫和陪审员隐私。他还驳回了检方要求对辩方律师下达禁言令的请求,同时提醒律师遵守职业操守。克兰西的辩护认为其患有产后精神病;检方则称其行为是故意的。预计新的审判日期将被确定;法官倾向于2027年3月,但辩方律师表示无法在6月前进行审判。

两名渔民11月6日在南加州外海的太平洋救起一名皇家加勒比船员,他是“Ovation of the Seas”上的钢琴师,他在水中约九小时。他于凌晨约2:30落水,中午在卡塔利娜岛外约15–20英里处被发现。渔民将他拉上船,呼叫救援,纽波特海滩救生员将他送回岸上。他被送医,预计会存活。一名救援者说,超级厄尔尼诺带来的异常温暖海水可能帮助他存活。该船此前正在进行洛杉矶—卡塔利娜岛—恩塞纳达四晚航程,并按计划于当天上午返回洛杉矶。海岸警卫队正在调查他如何落水,皇家加勒比表示正在支持该船员并尊重其隐私。

学习路径徽章:磁铁追踪器 为什么每个关节电机都需要磁铁、磁铁由什么制成,以及是谁制造了几乎所有的磁铁。它包括7个简短步骤,从“最强磁铁”到“今日出口管制”,每一步都有快速测验。每一步都会打开相关工具,因此你将在真实事物上学习。更新于 2026年10月29日

关于磁铁与稀土的 Hacker News 讨论指出,氮化铁磁铁早前声称的高矫顽力被证明为假;它们的矫顽力比钕磁铁更低,且容易被氧气腐蚀。美国军方更偏好钴钐磁铁,因为它们不含铁族金属、能耐受湿气/盐水腐蚀,并能在更高温度下抗退磁,尽管它们比钕磁铁弱。另一位评论者询问,氮化铁磁铁的理论强度是否仍能用于竞技伺服电机,尽管它们容易退磁。

索尼娅·索托马约尔大法官在芒特弗农的一场活动上表示,她希望最高法院有朝一日能推翻其2024年在“特朗普诉美国”案中的裁决,该裁决授予前总统对官方行为的广泛刑事豁免权。她称这是她希望在其有生之年推翻的若干裁决之一。索托马约尔在该案中撰写了主要异议意见,卡根和杰克逊大法官加入了该意见,警告该裁决使总统成为“凌驾于法律之上的国王”。她早前在公开讲话中也批评过该裁决。未找到该活动的视频或文字记录;该报道来自在场记者。

联系我们 contact @ memedata.com