森海塞尔无线麦克风使用 BA2015 电池组,其实质就是两节封装在塑料壳内的镍氢(NiMH)五号电池。尽管结构简单,但这些电池组的售价却非常昂贵(通常在 80 到 100 美元之间),其目的是防止用户误将不可充电的碱性电池放入昂贵的专用充电座中进行充电。该电池组包含一个价值 0.02 美元的 NTC 温度传感器以实现此安全功能,而实际的电池管理则由麦克风内部完成。 作者对这种高溢价感到不满,于是通过 3D 打印定制外壳,并使用标准的松下镍氢电池和 10kΩ NTC 传感器,对该电池组进行了逆向工程。虽然该项目证明了制作 DIY 替代品在技术上是可行的,且成本远低于官方版本,但作者认为这对大多数用户来说并不实用。组装这些精密组件并确保安装稳固的过程非常耗时,且最终成品的耐用性也不如市面上的第三方商业替代品。最后,作者强调,尽管市面上存在合规且更便宜的第三方替代品,但森海塞尔为这些基础电池组制定的定价策略仍然难以令人信服。

```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录克隆 Sennheiser BA2015 电池组 (brixit.nl)14 点,由 zdw 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论帮助 amelius 17 分钟前 [–] > 结论 > 完全可以做到这一点,但做出来的电池组甚至不如市面上能买到的第三方电池组稳固。考虑到需要花时间去摆弄连接用的回形针,还要把温度传感器的引线缠绕在微小的塑料片上,自行打印电池大概并不划算。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索: ```

在最近的一次采访中,唐纳德·特朗普总统谈到了不断上涨的燃料和化肥成本,明确承认其政府对伊朗的封锁是造成这一结果的原因。特朗普将这些经济负担描述为防止伊朗获得核武器所必需的权衡,并断言一旦冲突结束,经济压力就会消散。 在为其行动辩护时,特朗普将目前在伊朗和委内瑞拉的行动称为“军事演习”而非“战争”,并否认了他此前竞选时避免新冲突的承诺,坚称他从未做出过此类保证。他强调美国相对较低的死亡人数是成功的证明,并将自己的努力描述为对世界至关重要的“美国优先”服务。 在整个采访过程中,特朗普在经济政策上保持着强硬立场,批评美联储可能加息,称其扼杀了经济增长。他的言论表现为对常规术语的排斥——将高浓缩铀重新命名为“核尘埃”——并在与采访者发生冲突后突然离场。归根结底,总统的立场依赖于选民的信任,要求他们为了他未来繁荣的承诺而忍受当前的经济困难。

Podman 6 在 CLI 管理虚拟机提供程序(如 WSL、QEMU、libkrun 或 applehv)的方式上进行了重大改进。 在之前的 Podman 5 中,CLI 主要仅识别 `containers.conf` 中设为默认的机器提供程序。这经常导致使用不便,因为通过其他提供程序(例如 Podman Desktop)创建的机器,若没有特定标志,很难通过标准的 Podman CLI 命令进行访问或管理。 Podman 6 转向了与提供程序无关的模式。主要变化包括: * **统一管理:** `stop`、`start` 和 `rm` 等命令现在可以按机器名称无缝跨所有提供程序运行,消除了 Podman 5 中常见的“虚拟机不存在”错误。 * **全局可见性:** `podman machine ls` 命令现在默认显示所有支持的提供程序中的所有机器,不再需要 `--all-providers` 标志。 * **灵活创建:** 用户现在可以在初始化机器时,通过 `podman machine init` 的新 `--provider` 标志直接指定非默认的提供程序。 这些更新简化了用户体验,使得在单一 CLI 工作流中管理各种虚拟化环境变得更加容易。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Podman 6:机器可用性改进 (podman.io) 16 分,daesorin 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 darcien 15 分钟前 [–] 有人知道为什么分享这个 2025 年的公告吗?看起来像是推迟了且尚未发布? https://blog.podman.io/2026/05/podman-6-release-delayed/ 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

请启用 JavaScript 和 Cookie 以继续。

Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 怀孕期间补充维生素D3与10岁时的认知表现(jamanetwork.com) 18 分,由 supermatou 发布于 51 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助 pkoird 1 分钟前 [–] 我不确定是否有研究展示过人类因日照不足而产生的普遍影响。考虑到维生素D的种种益处,以及近期人类行为转变导致的日照减少(乘车出行、空调、使用防晒霜等),人类必然正在经历前所未有的生理或心理变化。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

在这篇文章中,作者迈克尔·斯奈德(Michael Snyder)指出,美国家庭正面临前所未有的、且日益恶化的生活成本危机。他强调,平均每月抵押贷款还款额首次突破2000美元,较2021年激增了44%。更令人担忧的是,美国家庭目前在医疗保险上的月平均支出已超过2200美元,甚至高于其抵押贷款还款额。 斯奈德认为,政府管理不善和系统性问题是导致这一经济衰退的原因。他指出,全球冲突推高了能源成本,并提到近期的紧张局势已使普通家庭在汽油和公用事业开支上额外增加了数百美元。这种日益增长的财务压力反映在创纪录的家庭债务水平以及15年来的最高信用卡逾期率上。 作者总结道,这些因素加上男性劳动力参与率的显著下降,预示着一场“慢动作的经济崩溃”。他警告称,美国家庭所感受到的经济压力并非暂时现象,而是长期政策失败的结果,且这种压力在未来很可能会加剧。

作者探讨了高斯近似 $e^{-z^2} \approx \frac{1 + \cos(\sin(z) + z)}{2}$ 的行为,指出该近似在实轴上虽然准确,但在虚轴上会显著发散,表现得如同 $e^{e^y}$。 这引出了对双指数函数 $e^{e^x}$ 幂级数的分析。该级数中第 $n$ 项的系数为 $e \cdot \frac{B_n}{n!}$,其中 $B_n$ 是第 $n$ 个贝尔数(代表标记集合的划分),而 $n!$ 是排列数。由于集合划分数量的增长速度几乎与排列数相当,该级数的收敛速度非常缓慢。作者提供了一个简单的 SymPy 实现来计算这一比值,并以利用 Lambert $W$ 函数进行的渐近分析作为总结,用以描述当 $n$ 增加时 $\frac{B_n}{n!}$ 的增长情况。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 置换的分区 (johndcook.com) 5 分,由 ibobev 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

这篇文章以工程师的视角,对当前人工智能行业(特别是 Anthropic 和 OpenAI 等公司)进行了尖锐的批判。作者认为,硅谷所谓的“前沿”模型更多是基于企业傲慢和市场营销,而非真正的性能提升。 通过大量数据驱动的测试,作者指出西方“高级”模型已不再具备高昂成本或严格速率限制的合理性。相反,作者强调了像 Qwen 3.7 Max 这类模型的优势,称其在实际软件开发中提供了更高的可靠性、实用性和透明度。 作者将当前市场形容为一种由吹捧者和盲目烧钱的企业构成的“OnlyFans 经济”,指责其在过度炒作的早期技术上挥霍资本。通过对比开源和中国模型在实用性能上的领先,以及西方供应商组成的“卡特尔”垄断,文章警告许多公司正将数百万资金浪费在无效的 AI 集成上。最终,作者呼吁采取更务实的开发方法,敦促同行抛弃对这些平台的个人崇拜,将重心回归到实际的工程价值,而非硅谷营销那套“空洞的福音”。

这篇 Hacker News 讨论聚焦于对美国人工智能产业的批判性审视,特别是关于使用中国 AI 模型这一“禁忌”。 参与者讨论了在企业应用中规避中国模型究竟是针对国家行为体和知识产权盗窃的合理安全预防措施,还是由监管维持的一种保护主义“卡特尔”策略。许多评论者认为,像 DeepSeek 这样的中国模型在处理常规编码任务时,具有极高的成本效益,且在功能上与昂贵的西方替代品不相上下,甚至更胜一筹。 对话凸显了以下几点之间的张力: * **实用主义与地缘政治:** 用户指出,尽管一些公司担心“回传数据”或安全风险,但许多中国模型可以自托管,从而减轻了这些顾虑。 * **市场动态:** 一些人对美国前沿模型的高昂成本表示不满,并暗示西方科技巨头依赖大规模资本投入,最终可能需要通过“救助”或冒险的金融策略来维持。 * **行业“垃圾内容”:** 该讨论串还触及了 AI 相关言论质量下降的问题,指出日常用户与深陷炒作周期的人群之间存在“难以逾越”的语言鸿沟。

美国与伊朗为结束百日战争所进行的谈判仍处于僵局,在达成和平协议方面几乎没有取得进展。主要障碍在于伊朗要求解冻其240亿美元的资产,但特朗普政府拒绝提前解冻。据报道,美国官员正推动将这些资金用于海湾国家受伊朗袭击后的重建项目,而不是直接交给德黑兰。 伊朗官员批评美国“随意更改规则”且信息前后不一。与此同时,冲突仍在升级:美军拦截了多次伊朗的导弹和无人机袭击,并针对伊朗对霍尔木兹海峡海上交通的威胁,打击了伊朗的雷达站点。 尽管霍尔木兹海峡持续被封锁,这对全球供应链造成了严重影响,并中断了全球约10%的石油供应,但原油价格仍保持在每桶100美元以下。随着对近期达成协议的预期减弱,市场正出现“新闻疲劳”迹象。目前Polymarket预测达成永久和平协议的几率仅为7%,解决冲突的前景依然渺茫。

Netlify 首席技术官 Dana Lawson 认为,代理式人工智能(Agentic AI)的兴起正在重塑软件工程,使工程师的角色从编写代码转向精通“代理体验”(AX)。随着人工智能赋能“平民开发者”通过对话意图构建应用程序,传统工程师的价值已不再体现在语法上,而在于系统架构、商业策略和监督能力。 Lawson 强调,工程如今已演变为“生产的引导者”。在代理驱动的世界中,要获得成功,就需要重新思考系统设计,使其具备可被代理理解、事件驱动的特性,并能够处理意图而非仅仅是 API 请求。通过构建防护栏、确保可审计性并坚持“人在回路”(human-in-the-loop)的原则,工程师能够提供必要的判断力和品味,从而有效引导 AI 代理。 归根结底,Lawson 认为 AX 并非要取代开发人员,而是为了增强他们的能力。通过梳理架构并消除 AI 的阻碍,工程师同时也为人类创造了更好的系统。工程的未来在于设计稳健、可信且可扩展的环境,让机器与人类无缝协作,将意图转化为安全且高价值的成果。

最近的一场 Hacker News 讨论对 Netlify 首席技术官 Dana Lawson 关于“写代码不再是工作重点”的论断进行了批评。评论者的态度大多持怀疑和不屑,许多人认为 Lawson 以及 CTO 群体通常缺乏对软件工程的深层理解。 参与者将 CTO 分为两类:一类是能够赢得尊重的实干型领导者,另一类是更看重企业形象胜过技术深度的“职场政客”。批评者称 Lawson 的言论“脱离群众”,认为这反映出领导层与开发工作实际情况日益脱节的普遍趋势。 除了对领导层的批评,讨论还涉及了软件基础设施格局的变化。一些用户指出,像 Netlify 这样作为 AWS 等平台抽象层的服务正逐渐被视为多余,导致企业转向自托管解决方案。归根结底,该讨论反映了行业对那些轻视编程本身价值的高管观点所持有的愤世嫉俗的态度。

本文认为,英国警务工作已受到“多元、平等与包容”(DEI)意识形态的侵蚀,导致公正执法被所谓的“政治正确”叙事所取代。 作者以基督徒及警察社区辅助人员(PCSO)卢克·萨尔蒙斯(Luke Salmons)的案例为例:他因在强制性多元化研讨会上就伊斯兰教提出礼貌性的后续问题而遭到停职,最终选择辞职。萨尔蒙斯因“思想不正确”而受到调查,这反映出一种质疑特定意识形态即被视为职业生涯终结的病态文化。 文章将这种意识形态的渗透与执法失败联系起来,例如亨利·诺瓦克(Henry Nowak)遇刺案。当时袭击者谎称自己遭遇种族歧视,警方竟将诺瓦克铐住而非对其刺伤进行救治,最终导致其死亡。作者指出,多年来侧重“白人特权”和“无意识偏见”的培训重塑了警方的优先级,导致了“双重标准”执法——即警察担心被指控犯有仇恨罪,反而高于对公共安全的保障。 尽管英国首相基尔·斯塔默否认存在偏见,并批评将这些执法失败与大规模移民联系起来的观点,但作者认为,此类政策已经损害了法治。报告最终得出结论:警方已沦为特定意识形态的执行者,为了政治正确而牺牲了客观公正。

作者将他与亚历山德拉的关系描述为一种“包罗万象”的联结,这种满足感使他不再需要公共博客等外部渠道。这种联结的核心在于一种基于相互尊重与共同成长的、以项目为导向的思维模式。 这对伴侣借鉴创业文化,采纳了“周五演示”的习惯,即每周分享彼此在个人创作上的小成就。无论是展示一个新的播放列表、一个着陆页,还是讨论一盆室内植物,这些简短的分享环节都极大地促进了双方的亲密度、创造力和共同进步。通过优先考虑这种内部的“展示与交流”,作者发现自己的重心更加聚焦于真正重要的事情,从而加速了个人发展。 最终,作者认为最好的关系应如同一场相互支持、激进的身份熔炉。这种深度的对齐并非相互依赖,而是让双方都能将自己的想法“交付”给对方,从而创造出一个包容肆意创造与成长的安全空间。通过将欲望的范围缩小到当下和伴侣的支持,作者找到了一种更高效的成长方式,并意识到最深邃、最能拓展视野的体验,恰恰蕴含在与爱人共享的和谐日常之中。

```Hacker News新帖 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交登录最好的关系是包罗万象的。(andys.blog)8积分 由 andytratt 在 2 小时前发布 | 隐藏 | 往日 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

**Lathe** 是一款开源工具,旨在将大语言模型(LLM)的角色从“代你完成工作”转变为“交互式导师”。它允许用户按需生成手把手的多阶段技术教程,专为主动式、手动学习而设计。 **工作原理:** * **生成与交互:** 利用 LLM 技能(兼容 Claude Code、Cursor 和 Codex),你可以通过指令(例如 `/lathe build a 3D Slicer`)让 Lathe 创建教程。随后,你需要手动完成代码编写,从而在实践中获得“顿悟”时刻。 * **生态系统:** 基于 Go 语言开发的命令行界面(CLI)用于管理你的教程库,而本地网页界面(运行于 `localhost:4242`)则提供无干扰的阅读体验,并包含进度追踪、侧边笔记和练习题等功能。 * **验证:** 你可以使用内置技能来验证教程步骤、扩展课程内容,或者在遇到困难时向 LLM 提问以获取解答。 * **透明度:** 每篇教程都会注明其来源、所使用的 LLM 模型以及撰写时采用的“语调”(角色设定)。 Lathe 专为那些倾向于“在实践中学习”的人而打造。虽然它无法替代人类编写的内容,但在探索传统文档尚不存在的新兴领域时,它是一个非常有效的工具。

**Lathe** 是一款开源工具,旨在帮助开发者主动学习新的技术领域,而非依赖大语言模型(LLM)代劳。Lathe 不会直接生成成品代码,而是通过创建基于原始资料的定制化教程,引导用户进行动手实践。 该工具采用 Go 语言编写并集成了 LLM,能够生成交互式的浏览器学习环境。用户只需向 Lathe 输入具体目标(例如“用 Erlang 构建一个 3D 切片机”),即可获得包含侧注、练习和引文的结构化课程。该平台鼓励用户主动参与,要求用户亲自阅读并手动编写代码。 主要功能包括: * **引导式学习:** 带有滚动同步目录的交互式界面。 * **验证机制:** 内置工具用于检查代码的编译与运行情况。 * **可扩展性:** 可按需添加新章节,解决了教程过时或不完整的问题。 Lathe 的设计初衷并非取代人类编写的教程(创作者仍建议将后者作为首选学习资源)。相反,它旨在填补小众或高级课题在缺乏优质人工指导时的空白,利用 LLM 帮助用户“更好地思考”,而不是仅仅跳过学习过程。

比特币目前正发出自2018年以来最强烈的超卖信号,促使分析师预计其有望迎来向7万美元反弹的修复性行情。近期导致比特币一度跌破6万美元的波动,主要是受地缘政治紧张局势、降息预期减弱,以及资金向热门人工智能板块IPO转移的影响。 尽管市场低迷,但各项指标显示行情正处于筑底阶段。短期持有者遭受的剧烈亏损,以及价格大幅偏离200周移动平均线,在历史上通常是市场恐慌性抛售和趋势即将反转的信号。此外,高达26亿美元的空头仓位积累,如果市场需求企稳,可能会引发“空头挤压”,从而加速价格回升。 迈克尔·塞勒(Michael Saylor)重新定义了当前的形势,他将比特币社区归纳为四种互补的力量——极简主义者、资本家、技术专家和基本面分析者,并指出这四者的共同影响对于长期增长至关重要。虽然比特币近期的表现逊于正在降温的科技板块,但分析师仍持乐观态度,认为一旦当前由人工智能驱动的“狂热”消退,资本将回流至比特币。专家指出,要实现可持续的上涨趋势,美国和韩国市场的关键溢价必须转正,以标志着机构和散户需求的复苏。

这份摘要基于作者使用 Claude Code 进行数月实验的经验,分析了使用大语言模型(LLM)进行复杂编程的经济可行性。 对于简单且具备容错能力的查询,大语言模型的使用成本几乎可以忽略不计;但作者指出,“代理式”(agentic)编程则完全是另一回事。在复杂的代码库中实现功能,需要递归且高强度的“思考”模型,这会消耗大量不可见的“暗令牌”(dark tokens)。此类任务计算成本高昂,按 API 费率计算,单次查询往往需要 25 至 75 美元。 当前的消费者订阅方案(如每月 100 美元的计划)在很大程度上补贴了这些使用量。作者估算,其实际运营成本的“补贴系数”是订阅费的 2.5 到 12 倍。因此,尽管大语言模型辅助编程是提升生产力的强大工具,但就目前而言,将其作为独立的商业模式并不具备经济可持续性。作者警告称,随着各公司转向 IPO 并优先考虑盈利能力,这种“暴力计算”的盛宴很可能会结束。他还指出,Anthropic 近期的模型迭代似乎正在降低递归强度,以控制不断膨胀的基础设施成本。归根结底,大语言模型在编程领域的成功并非源于真正的智能,而是通过在具有严格逻辑约束的领域内应用了大规模计算。

最近的一场 Hacker News 讨论对“Anthropic 和 OpenAI 等公司每获得 100 美元订阅收入就要亏损超过 1000 美元”的说法提出了质疑。怀疑者认为该数字缺乏事实依据,且忽略了 API 盈利模式与消费者订阅模式之间的细微差别。 辩论的主要议题包括: * **盈利模式:** 许多参与者认为,人工智能公司将订阅服务作为“亏本引流”或成本价服务,而通过 API 使用获取高额利润。 * **技术通缩:** 评论者认为,随着硬件效率的提高以及模型变得更小且功能更强,人工智能的“真实成本”将不可避免地下降,最终实现成本趋于稳定。 * **硬件演进:** 一些人推测,人工智能的未来可能转向具有“硬编码”权重的专用任务芯片,这可能消除经常性的订阅费用。 * **市场怀疑:** 其他用户则持谨慎态度,认为当前的高额支出反映了一种旨在上市前推高估值的“炒作周期”,并将此与网约车应用曾经的“补贴”时代相提并论。 最终,参与者对于当前的人工智能商业模式能否长期持续,或者行业是否正面临重大市场回调,仍存在分歧。

此请求旨在倡导官方推出 Linux 版 Claude 桌面应用,并强调目前缺乏官方支持的现状正迫使专业开发者依赖不安全的第三方社区重打包版本。 **Linux 支持的必要性:** * **技术就绪:** Anthropic 已为 Claude Code 维护了 Linux 存储库,并在“Cowork”智能体架构中使用 Linux 环境,原生 Linux 版本的相关基础设施已基本就绪。 * **开发者阻碍:** 插件开发需要在 Claude Desktop 扩展中进行测试。由于缺乏 Linux 图形界面,开发者被迫切换操作系统,这严重降低了生产力。 * **安全隐患:** 目前超过 27% 的专业开发者使用 Linux。由于缺乏官方渠道,用户常将敏感凭据和 API 密钥输入到非官方的社区构建版本中,带来了巨大的安全风险。 **建议:** 作者请求 Anthropic 提供官方签名版 Linux 安装包(如适用于 Ubuntu/Debian 的 `.deb` 文件)。考虑到资源可能有限,作者提出了一种“折中”方案:在产品路线图中发布官方声明、对主流社区项目进行安全审计或认可,并就如何安全处理凭据提供指导。作者敦促维护团队给予合理的回复,而非选择静默关闭请求。

Hacker News 用户正积极呼吁 Anthropic 发布官方 Linux 版 Claude 桌面应用。尽管目前已有社区维护的项目,但用户认为官方构建版本对于实现与 macOS/Windows 的功能对等至关重要,例如集成日常流程、跨对话记忆搜索以及更好的 Artifacts UI 渲染。 这场讨论突显了 Linux 社区在偏好上的分歧。许多高级用户依赖 Claude CLI,但也有人认为它缺乏桌面客户端所具备的沙盒安全性和界面优势。注重安全性的用户讨论了授予 AI 工具广泛文件系统访问权限的风险,并提议使用 Docker、`bwrap` 或 `jai` 等沙盒解决方案来降低这些风险。 总的来说,共识在于:由于 Anthropic 现有的内部基础设施已支持 Linux,公开版本是目前迫切需要补齐的短板。然而,怀疑论者仍对基于 Electron 的桌面应用所消耗的大量资源持保留态度,并质疑其相比现有的网页版或 CLI 替代方案,是否真的能提供足够的实用价值来抵消其带来的系统负担。

Javier 介绍了一种测量 Qt Quick 中从触发项目可见性到其实际显示在屏幕上之间延迟的 C++ 方法。这有助于识别那些组件渲染滞后于预期的“感知”掉帧。 该方法通过子类化 `QQuickItem` 来监控 `visibleChanged` 信号。为了确保准确性并避免因无关动画引发的过早测量,该过程使用了 `ensurePolished` 来标记项目何时准备好进行渲染。通过连接到 `QQuickWindow::afterFrameEnd`,系统能够捕捉到项目被交换至显示器的精确时刻。 由于原始毫秒数可能会产生误导,该方案通过将经过的时间除以显示器的刷新率(例如 60Hz 时约为 16 毫秒)来计算掉帧数。这提供了一种标准化的性能指标。此外,作者强调在 C++ 构造函数中将项目的可见性设置为 `false`,以确保 `visibleChanged` 信号在 QML 实例化期间能够可靠地触发。这一工具为开发者提供了一种衡量 UI 响应速度并优化渲染性能的通用方法。

Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录QQuickItem 需要多久才会变得可见?(kdab.com)5 分,由 jandeboevrie 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

该范式 在拓扑导向编程(Topos-Oriented Programming)中,世界即范畴,场所即其中的对象,而值则是截面(section):它是不可变的,由其内容标识。所有行为皆存在于态射(arrows)之中。同一性是个例外,仅在你需要时才被要求。逻辑是内禀的:真值是子对象分类器 Ω,而未知数是海廷(Heyting)核心的一员,而非一种错误。根据米田引理(Yoneda lemma),事物由其关系决定;类型检查器、优化器和分配器均基于此运作。阅读《拓扑导向编程》。

Yon 是一门全新的实验性编程语言,由开发者在三周内创建,旨在探索拓扑斯理论(topos theory)、范畴论和系统编程的交叉领域。该语言受米田引理(Yoneda Lemma)和利奇格点(Leech lattice)启发,通过基于 OCaml 的前端和 MLIR“topos”方言编译为原生代码。 其主要技术特点包括一个映射到利奇格点的内容寻址堆,实现了自动去重、常数时间相等性比较以及对垃圾回收的需求消除。并发通过进程隔离的“空间”(Spaces)进行处理,并经由共享内存通信。该项目包含一本 21 章的配套书籍和一个经过回归测试的编译器,采用 AGPLv3 协议开源。 此次发布在 Hacker News 上引发了激烈讨论。尽管开发者将 Yon 描述为一次推动编程中符号推理边界的尝试,但一位知名评论者指出,其文档过度依赖模糊的 AI 生成文案且缺乏明确动机,建议作者在寻求社区采纳前先厘清核心概念。

请启用 JavaScript 和 Cookie 以继续。

所提供的文本记录了一场关于“大语言模型(LLM)导致软件工程职业前景受损”这一文章的激烈讨论。这场讨论反映了科技界内部的严重分歧。 许多参与者表达了焦虑,认为大语言模型正在使领域专业知识和编程技能商品化,导致一种“逐底竞争”,即速度和投资回报率被置于质量、架构和安全性之上。人们普遍担心,随着实现成本变得低廉,人类软件工程师(尤其是非专业领域人员)的市场将会大幅萎缩,从而可能导致大范围的职业流失。 相反,另一些人则将大语言模型视为强大的工具,认为它是能力的倍增器,使工程师能够专注于更高级的产品设计、架构和复杂问题的解决。这些乐观主义者认为,“品味”、责任感以及监督人工智能生成内容的能力仍然是人类独有的,是机器无法取代的关键角色。 归根结底,目前的共识表明,尽管传统编程的“黄金时代”可能正在发生变化,但这一职业正在演变。未来可能会奖励那些能够从单纯的实现转向高级系统设计和有效人工智能编排的人,尽管许多人仍然对更广泛的社会和经济影响感到担忧。

德国在其国防现代化进程中达成了一个重要里程碑,首架F-35A战斗机已成功安装普惠公司(Pratt & Whitney)的F135发动机。这一进展标志着该飞机已从机体结构转变为作战系统,距离最终测试与交付更近了一步。 这批订单共计35架战斗机,总值约84亿美元,是德国替换老旧“旋风”(Tornado)战机机队战略的核心。F-35A凭借其独特的隐身能力以及北约核共享任务的认证被选中,其性能被认为优于现有的欧洲替代机型。 F135发动机是西方战斗机中动力最强劲的发动机,其集成还通过特殊的进气道和尾喷管设计增强了战机的隐身性能。在完成地面运行测试和软件集成后,该机将进行飞行测试,随后加入欧洲日益壮大的F-35机群网络。此次采购显著提升了德国空军在争夺激烈的空域执行任务的能力,并加强了北约内部的集体空战协同作战水平。

早期实验 —— 请预见破坏性变更。是否曾想过在 VPS 或任何地方运行类似 Cloudflare Workers 的处理程序,且无需 Node.js、Bun 甚至 Docker? `curl -fsSL https://kyushu.dev/install | bash` 什么是 Kyushu? Kyushu 是一个开源 CLI,让你能够编写 JavaScript 或 TypeScript 处理程序,将其构建为自包含的 WebAssembly 二进制文件,并使用一条命令 —— `kyu` —— 在任何地方运行。 * 无需 Node、Bun 或 Docker —— 仅需单个二进制文件 * Cloudflare Workers 风格 API —— 熟悉的 fetch 处理程序 * 可自托管 —— 运行在 VPS 或任何地方 * WebAssembly 沙盒 —— 与宿主机隔离 [阅读文档] 人们在说什么(大概吧) “但是……为什么呢?” JD John Doe,Node.js 开发人员,NaN 年经验 “我喜欢 Docker” JS Jane Smith,高级 YAML 工程师 “你听说过 Bun 吗?” BJ Bob Johnson,AI 提示词大师主厨

这篇 Hacker News 帖子讨论了 **Kyushu** 的发布,这是一个用于 JavaScript worker 的自托管 WebAssembly (WASM) 沙箱。该项目旨在提供一个轻量级且安全的运行环境,以便在基于 Web 的技术栈中运行高性能代码。 在讨论中,相关项目 **Nasscad** 的创建者解释了此类技术的主要用例。通过将 3D 几何处理等资源密集型任务卸载到 WASM,开发人员可以直接在浏览器中为 CAD 工具或游戏引擎等复杂应用程序实现接近原生的性能。 帖子中的资深 WASM 开发人员指出,尽管 WASM、容器和微虚拟机 (microVM) 的用途各不相同,但 WASM 仍然是实现隔离和提升性能的关键工具。总的来说,这次讨论突显了一个日益增长的趋势,即利用 WASM 来弥合 Web 技术的灵活性与繁重计算所需的原始算力之间的差距。

关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私政策与安全 YouTube 的运作方式 测试新功能 © 2026 Google LLC

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Firefox 确认正在开发自家的广告拦截器 [视频] (youtube.com) 7 分,由 HelloUsername 发布于 50 分钟前 | 隐藏 | 过往 | 收藏 | 3 条评论 帮助 futune 2 分钟前 | 下一条 [-] 给 ublock origin 运行时框架(即 Firefox)配备一个广告拦截器,这到底意味着什么?! 回复 jqpabc123 18 分钟前 | 上一条 | 下一条 [-] 在 Google 和 Meta 的合作与支持下吗? 回复 gaiagraphia 17 分钟前 | 上一条 [-] 哈哈,想象一下花 20 年才得出这个结论。Brave 在各个方面都已经把他们的市场份额抢光了。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:```

在本期《The Amp Hour》节目中,克里斯(Chris)邀请了传奇安全研究员兼工程师米哈乌·扎列夫斯基(Michał Zalewski,即 lcamtuf)做客。对话涵盖了米哈乌的职业生涯,从他在模糊测试(AFL)和信息安全领域的开创性工作,到他近期向电子教学领域的转型。 讨论的重点是他所著的新书《电路的秘密生活》(*The Secret Life of Circuits*,No Starch Press 出版)。该书旨在通过第一性原理而非单纯依赖抽象微积分来揭开电子学的神秘面纱。米哈乌分享了他的教学方法——即从场效应管(FET)入手,而非传统的先讲双极型晶体管(BJT)——并表达了他对硬件演进的浓厚兴趣。 对话还涉及了多种小众爱好,包括他收藏的老式计算器、计算机技术史上的“死胡同”,以及他最近的实践项目,例如用电流表制作时钟。在反思他所涉足的两个领域时,米哈乌指出,安全研究往往很快过时,而电子学的基础物理原理却是永恒的。听众在六月份使用折扣码 **AMPHOUR26** 购买其新书可享受七折优惠。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 电路的秘密生活:与 lcamtuf / Michał Zalewski 的音频访谈 (theamphour.com) 8 分,由 ChrisGammell 在 1 小时前发布 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助 hasheddan 1 小时前 | 下一条 [-] 很棒的一期节目。lcamtuf 的博客[0]是每一位工程师都应该关注的。不过,如果你正在读这条评论,大概你已经关注了吧 :)[0]: https://lcamtuf.substack.com/回复 bombledmonk 39 分钟前 | 上一条 | 下一条 [-] 很有趣的一期节目。去看看他的领英个人资料,里面有一些好玩的复活节彩蛋,我被逗乐了。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

01 工作即红利。 自主感知、终端交战、可制造硬件——在同一个空间内完成设计与制造。你将拥有的是一套系统,而非一张 Jira 工单。 02 短周期,真实遥测。 靶场时间、靶场数据、靶场修正。我们对所构建的内容进行仪器监测,并根据数据反馈进行迭代,而不是遵循六个月前路线图上的承诺。 03 操作员即用户。 重量、设置时间和人为因素是首要规格。携带装备的人员从第一周就参与其中,而不是等到验收测试时才介入。 04 为负担得起而生。 单发成本、可维护性和可制造性是设计约束条件。我们正在打造美国及其盟友能够大规模使用的武器。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 9 Mothers (YC P26) 正在招聘 (9mothers.com) 29 分钟前 | 隐藏 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

弗兰克-克里斯蒂安·汉塞尔认为,欧盟之所以失败,是因为它是一个人为的、集权的“行政国家”,而非合法的政治实体。他主张,布鲁塞尔试图以一套官僚化的规则制定和再分配体系来取代历史、文化和民族认同,这导致了一种疲惫且不可持续的模式,产生的只是依赖而非团结。 借鉴贡纳尔·海因松的理论,本文强调欧盟的财政和人口基础正在崩溃:老龄化的人口无法支撑一个无休止的债务和福利转移体系。汉塞尔认为,欧洲的未来在于“辅助性原则”——即回归到更小、更具功能的政治空间,优先考虑稳健的货币、地方控制和竞争性治理,类似于瑞士式的邦联制。 最终,作者拒绝了欧盟强推的单一化,转而主张一种“欧洲现实主义”。他呼吁从超国家意识形态转向去中心化的秩序,由主权国家管理自身事务,仅在必要时进行合作。汉塞尔警告说,除非欧洲能摆脱官僚体制的疲态并正视其历史现实,否则它将始终是一个无力且碎片化的空间,受制于外部力量而非其自身公民。

虽然青少年使用 TikTok、Instagram 和 Snapchat 等社交媒体平台主要是为了娱乐以及与亲友保持联系,但政治和新闻资讯仍是其次要动机。 近期针对 1,458 名美国青少年的一项调查显示,不到三分之一的人将关注政治议题视为使用这些应用的主要原因。在这一类别中,TikTok 位居首位,有 29% 的青少年将其用于关注政治,紧随其后的是 Instagram (28%) 和 Snapchat (19%)。即便是在普通新闻获取方面,也将这些平台视为主要来源的受访者不到半数,TikTok 依然以 45% 的比例排名最高。 调查还揭示了人口统计学趋势:相较于白人或拉美裔同龄人,黑人青少年更有可能利用 TikTok 获取新闻和名人动态;而白人青少年则表现出更高的倾向使用 Snapchat 进行日常通讯。归根结底,尽管这些平台覆盖面广,但数据表明,对于普通青少年而言,社交媒体依然是社交与娱乐的空间,而非政治参与的平台。

近期发生的 BGP 路由劫持事件凸显了一个关键漏洞:恶意行为者通过伪造 `AS_PATH` 属性来重定向流量,同时隐藏其真实身份。攻击者通过创建虚假、不合理的路径,或删除信息以冒充合法的源自治系统号(ASN),从而绕过常规安全检查来拦截流量。 解决此问题的方案是一项简单但未被充分利用的 BGP 防护措施:**首个 AS 强制校验(First AS enforcement)**。该规则要求通告路由中的“首个 AS”必须与发送更新的对等方的实际自治系统号(ASN)相匹配。 Cloudflare 的测试揭示了互联网安全中一个令人担忧的差距:全球一半的一级(Tier 1)网络未能强制执行此规则,这通常是因为供应商的默认设置更偏向灵活性而非安全性。尽管 ASPA 等技术有所帮助,但它们并非抵御此类特定伪造路径攻击的万能药。 为了提高全球路由安全性,网络运营商应在所有外部 BGP 会话上手动启用“首个 AS 强制校验”(连接至合法互联网交换中心(IX)路由服务器的会话除外)。通过配置路由器丢弃 ASN 不匹配的更新,运营商可以显著降低路由劫持风险,并增强互联网基础设施抵御恶意操纵的能力。

Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿 | 登录 强制执行 BGP AS_PATH 中的第一个 AS (cloudflare.com) 6 分,由 berlianta 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

arXivLabs 是一个允许合作者直接在我们的网站上开发和共享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们对开放、社区、卓越和用户数据隐私的重视。arXiv 致力于秉持这些价值观,且仅与遵守这些价值观的合作伙伴开展合作。您是否有为 arXiv 社区增值的项目想法?了解更多关于 arXivLabs 的信息。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 高效且无需训练的单图像扩散模型 (arxiv.org) 由 yorwba 于 1 小时前发布,5 点 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

英国央行已确认计划将温斯顿·丘吉尔、简·奥斯汀和艾伦·图灵等历史人物从钞票上移除,取而代之的是野生动物和自然景观的图像。尽管央行称此举是出于公众偏好和防伪需求,但泄露的文件显示,官员们认为这些历史人物具有“争议性”和“精英主义”色彩。 批评人士认为,这一转变体现了“体制俘获”,即进步主义意识形态正驱动一场蓄意行动,旨在侵蚀民族认同并抹去历史。通过将塑造英国历史的人物贴上“有问题”的标签,英国央行加入了一股更广泛的体制潮流,即为了优先考虑现代多元、平等与包容(DEI)的理念,而不惜牺牲对国家过去的尊重。反对者认为此举——甚至包括可能使用非本土物种图像——是一种文化投降,通过用通用图像取代民族英雄来规避争议。批评人士最终认为,通过系统性地剥离这些文化遗产符号,国家正在释放一种信号:即英国人的自豪感是一种负担,这实际上是在助长一种历史疏离和自我抹杀的文化。

几位科学家最近因分发一篇批评美国国立卫生研究院(NIH)管理层的社论,被赶出了一场糖尿病会议。这一事件引发了广泛争议,特别是考虑到该社论发表在《糖尿病护理》(*Diabetes Care*)杂志上,而被驱逐者之一正是该杂志的主编史蒂文·卡恩(Steven Kahn)。 Hacker News 上的评论者认为,此次驱逐行动很可能是出于政治动机,而非正常的政策执行,并指出将会议所属期刊的社论拒之门外具有讽刺意味。该事件引发了人们对美国科研经费现状以及内部批评受到压制的更广泛不满。虽然一些与会者将此事件视为对学术自由的攻击,但论坛中的另一些人则以此为切入点,针对科学政治化以及美国当前文化和社会话语的现状展开了激烈的辩论。

本文探讨了“竞争的规则论”,通过系统性的计算方法来确定迭代博弈中的制胜策略。作者没有依赖传统的、由人类提出的策略(如“以牙还牙”),而是采用计算方法枚举了所有可能的策略——将其建模为有限状态机、元胞自动机或图灵机——以观察它们在“猜硬币”或“囚徒困境”等重复博弈中的表现。 研究表明,竞争本质上受计算不可约性支配;由于这些程序的行为可能变得复杂且不可预测,通常无法通过定理推导出制胜策略。相反,必须运行程序以观察结果。虽然一些制胜策略利用了“简单的技巧”,但另一些则极为复杂。此外,适应性进化可以成功发现能够利用“不可约计算块”来智取对手的高性能策略。 最终,作者认为,由于简单的程序往往会产生复杂、周期性或不可预测的行为,系统枚举是理解竞争动态的唯一可靠途径。这种方法强调,与其通过静态的博弈论分析,不如通过基础计算过程的视角来审视生物、经济和人工系统中的竞争。

抱歉。
联系我们 contact @ memedata.com