Hacker News 中文摘要

文章指出，函数式编程虽擅长确保程序局部正确性，但开发者常误将其工具（如静态类型）直接套用于系统层面设计。作者以分布式系统为例，强调程序与系统是不同范畴，过度依赖类型检查等机制可能导致对全局属性的盲目自信。各编程社区都存在类似认知偏差，但函数式编程因其强大的局部验证工具更容易忽视系统级问题的复杂性。

美国面临钨供应危机，未来国防、半导体和核聚变技术发展将大幅增加钨需求。目前美国严重依赖中国供应，但钨因其高熔点、硬度和密度在钻探工具、穿甲弹等军事和工业领域不可或缺，急需制定自主供应战略。

Sandboxels是一款像素模拟游戏,提供沙盒式实验环境。用户可自由组合200多种元素,如沙土、水、岩浆等,观察其物理化学反应。游戏包含多种工具和元素类别,支持互动操作如加热、冷却、混合等,适合探索元素间的交互效果。

超级碗广告宣传Ring摄像头构建AI监控网络，引发对隐私和监控的担忧。

该网站提供了一个"生活工资计算器"，帮助用户估算不同地区全职工作者为满足家庭基本生活需求所需的工资水平。用户可按州、城市或都会区查询12种家庭类型的最新生活工资数据，最近更新于2025年2月10日。该工具旨在解决低收入工作者难以维持当地基本生活标准的问题。

GitHub出现服务故障，影响了Issues、Actions和Git操作功能，官方正在处理该事件并提供了订阅更新通知的选项。

OpenAI开始在美国测试ChatGPT免费版和Go订阅层的广告功能，但Pro、商业、企业及教育版无广告。广告不会影响回答内容，用户对话隐私受保护。此举旨在通过广告收入支持免费服务，同时保持用户信任。用户可选择升级付费计划或关闭广告。测试将遵循此前公布的广告原则，平衡服务可及性与质量提升。

谷歌研究发现，急刹车事件可作为道路事故风险的有效指标，通过分析此类事件能识别高风险路段。该研究为提升道路安全提供了新方法。

攻击者正在Ivanti EPMM系统中植入休眠后门，这些"沉睡外壳"可长期潜伏，在特定条件下被激活，构成严重安全威胁。该漏洞需要引起重视并及时修复。

爱尔兰男子Seamus Culleton持有效工作许可且无犯罪记录,却在美国移民拘留所被关押5个月面临遣返。他2009年通过免签入境美国后逾期居留,但与美国公民结婚后申请永久居留权并获得工作许可。律师称其是"模范移民",却在随机移民清查中被捕,导致错过绿卡面试,现被关押在条件恶劣的拘留中心。律师认为政府无理由继续拘留他。