您的请求已被阻止，原因是网络策略。请登录或在此处创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处注册或使用您的开发者凭据登录。此外，请确保您的User-Agent不为空，并且是独特且具有描述性的，然后重试。如果您正在提供替代的User-Agent字符串，请尝试改回默认设置，因为这有时会导致阻止。您可以在此处阅读Reddit的服务条款。如果您认为我们错误地阻止了您，或者想要讨论更轻松地获取所需数据的方式，请在此处提交工单。联系我们时，请提供您的Reddit帐户以及以下代码：4b573463-9aac-4251-ad8a-73e00631f765。
每日HackerNews RSS
## 意外的 Ryzen 泄露与科技新闻讨论
一群朋友无意中通过操纵系统信息和提交伪造的 Passmark 基准测试，泄露了 Ryzen 7 9700X3D CPU 的细节。他们最初讨论了编辑 CPUID 指令和 AMD MSR 的技术可能性，强调了他们之间共同的兴趣——这种兴趣通常在在线社区或黑客空间中培养。
这起事件引发了 Hacker News 上关于科技新闻现状的更广泛讨论。许多评论员指出，媒体很容易被误导，尤其是未经核实的基准测试，并质疑许多科技“记者”的专业知识。一些人强调了盖尔-曼失忆效应——在自己专业领域内批判性地分析信息，而在其他领域盲目信任报道的倾向。
这起事件强调了核实信息的重要性以及潜在的错误信息，即使信息来自看似可靠的来源。它也引发了关于独立验证与依赖传统新闻在快节奏的科技世界中作用的争论。
GPT-OSS 120B 在 Cerebras 上以每秒 3000 个 token 的速度运行。
GPT-OSS 120B Runs at 3000 tokens/sec on Cerebras
20 天前
## OpenAI 的 GPT OSS 120B 现已在 Cerebras 上可用 OpenAI 首个开放权重的推理模型 GPT OSS 120B 现已在 Cerebras 上可用，提供显著的性能提升。该 1200 亿参数模型在编码、数学和健康查询等任务的准确性方面可与 OpenAI 的 o4-mini 相媲美，但速度更快。 在 Cerebras 推理云上，OSS 120B 可达到高达每秒 3,000 个 token 的速度——比领先的 GPU 云快 15 倍，将推理任务的完成时间从分钟缩短到秒。Artificial Analysis 的独立测试证实，Cerebras 提供了最佳的速度和延迟，首次 token 响应时间低于一秒，并且具有一流的准确性。 Cerebras 的定价为每百万输入 token 0.25 美元，每百万输出 token 0.69 美元，提供具有竞争力的性价比优势，与中位 GPU 云相比，每美元提供的 token 数量多 8.4 倍。GPT OSS 120B 可通过 Cerebras Cloud、HuggingFace、OpenRouter 和 Vercel 访问。
## Cerebras GPT-OSS 120B 性能与用户反馈
一则 Hacker News 讨论集中在 GPT-OSS 120B 模型在 Cerebras 硬件上令人印象深刻的速度，达到每秒 3000 个 token。用户强调其在快速的基于代理的应用和多工具回合中的潜力。
然而，一个反复出现的问题是，Cerebras 和类似平台（如 Groq）要求用户在尝试使用服务*之后*创建账户——这被认为是一种令人沮丧的“黑暗模式”。关于在免费（但有补贴）访问的情况下，注册是否合理，引发了争论。
一些评论员指出 Cerebras 遭受了巨大的财务损失，并且依赖于资金，特别是来自阿布扎比等来源。虽然硬件昂贵，但有些人认为优化的加速最终可能降低推理成本。尽管对盈利能力存在担忧，用户仍然赞赏通过 OpenRouter 等平台的速度和相对较低的成本，表明如果出现替代方案，转换成本较低。
拉里猫已成为唐宁街10号备受喜爱且长久存在的象征，他经历了六位首相，并且自19世纪初以来一直是居住时间最长的猫。2011年，拉里被收养以解决鼠患问题，这只虎斑猫——官方被称为“首席捕鼠官”——很快以其悠闲的态度和频繁的出场赢得了公众的喜爱，甚至连巴拉克·奥巴马和弗拉基米尔·泽连斯基等世界领导人都被他迷住。 尽管偶尔受到批评（有人称他“太胖太懒”），拉里仍然享有广泛的声誉，拥有大量的社交媒体粉丝，并收到来自世界各地的粉丝邮件。他以迎接客人、“检查安保”和策略性地小睡而闻名，经常在门口附近打盹——这让园丁非常头疼。 在动荡的政治时期，拉里的稳定提供了一种受欢迎的常数，他的外交手腕也颇具传奇色彩，尽管并非所有人都喜欢他（据报道，特蕾莎·梅不喜欢他！）。一部新的第四频道纪录片将探讨英国对这位身居特殊政治地位的动物的迷恋。
这个Hacker News讨论始于一篇《卫报》关于唐宁街猫Larry获得电视关注的链接。然而，对话很快转移到对英国媒体和政治格局的批评。
用户质疑为什么猫的故事会如此突出，而民意调查显示人们对基尔·斯塔默普遍不满，小型政党如RFM和绿党正在崛起。一位评论员认为，英国有太多的财务困境的国家报纸，导致了由政治影响而非利润驱动的耸人听闻。其他人则争论报纸的历史盈利能力和广告的作用。
一种普遍情绪是，政治讨论缺乏实质内容，侧重于抱怨而非解决方案，并且倾向于消极。几位用户指出，媒体更喜欢“轻松”的文章，而不是报道日常的积极事件。最后，发布了YC冬季2026批次的申请信息。
```
v0.2.0 - 2025年11月 依赖类型。SMT验证。原生有限状态机。基于BEAM。一种强类型、依赖类型编程语言，为经过实战检验的BEAM虚拟机带来数学上的正确性保证。构建验证比便利性更重要的系统。现在包含12个完全编译的标准库模块和全面的文档。
```
启用 JavaScript 和 Cookie 以继续。
arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都接受并拥护我们的开放、社群、卓越和用户数据隐私等价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。
## 平等Paxos更新与讨论总结
一篇名为“让民主发挥作用：修复和简化平等Paxos”的最新论文在Hacker News上引发了讨论。作者解决了他们之前的工作中的问题，旨在改进无领导共识协议。原始EPaxos论文的一位评论员赞扬了这一进展，并建议使用TLA+或Ironfleet/Verus等工具进行形式化验证，可能作为硕士论文项目。
进一步的讨论表明，Apache Cassandra项目中的一个衍生协议Accord的完善和正确性证明工作仍在进行中——这是唯一实际应用。对话还涉及“Paxos”术语的历史背景，源于Lamport的“兼职议会”类比，以及分布式系统中事件排序的挑战。
几位用户辩论了比特币共识机制与平等Paxos之间的关系，以及区块链技术对治理的更广泛影响。一个反复出现的主题质疑了计算机科学和政治背景下“民主”的定义，一些人认为领导力对于有效的决策至关重要。最后，有人呼吁讨论市场失灵和解决方案。
## 友好的属性：一种用于简洁数据定义的 Ruby 模式
RailsBilling 的作者，一个用于 Stripe 集成的 Rails gem，详细介绍了一种名为“友好的属性”的新模式，它源于在定义订阅计划时重复代码的挫败感。 最初，创建具有不同名称、间隔和金额的计划需要多行代码，作者使用基于哈希的结构将此过程简化为更易读的一行：`Billing::Plan.find_or_create_all_by_attrs!(1.month => {standard: 10, pro: 50, enterprise: 100}, 1.year => {standard: 100, pro: 500, enterprise: 1000})`。
这种模式通过智能地将各种结构（哈希、数组、单个值）转换为标准的键值属性来简化数据输入。 类型用于推断含义——整数变为金额，符号变为名称，持续时间变为间隔。 它具有灵活性，允许以任何顺序排列参数，甚至允许部分定义（例如，`billing_plan :pro`）。
除了计划创建之外，“友好的属性”在测试和控制台交互中也证明了其用处。 虽然不适合像 JSON 这样的数据存储格式，但它在需要手动数据输入或代码简洁性的场景中表现出色，体现了 Ruby 专注于人类可读、令人愉悦的代码。 作者分享了一个将该模式应用于物联网应用程序访问控制的概念性示例，突出了其在计费之外的潜力。
苹果的“公证”——阻碍开发者和用户的软件自由
Apple's "notarisation" – blocking software freedom of developers and users
20 天前
## 苹果因《数字市场法》合规性面临欧盟投诉
欧盟的《数字市场法》（DMA）旨在提高数字市场的竞争和用户选择，但苹果因其iOS应用程序政策可能破坏这些目标而受到审查。最近的一份投诉，由民间社会组织提出，指控苹果通过其强制性的“公证”流程和对第三方应用商店的限制性要求违反了《数字市场法》。
苹果的公证要求所有应用程序——即使是App Store之外的应用程序——在安装前必须获得苹果的批准，从而有效地维持了对软件分发的控制。与此同时，替代应用商店的高额财务和下载要求（100万欧元的信用证或100万欧盟下载量）不成比例地影响了较小的开发者和非营利项目，例如F-Droid。
该投诉认为，这些做法构成了守门行为，阻碍了互操作性并限制了用户选择——而这些正是《数字市场法》试图解决的问题。倡导者提出了一种去中心化的策展模式，类似于F-Droid，作为一种可行的替代方案，强调透明度、社区审查以及用户对软件验证的控制。此案凸显了《数字市场法》效力的关键考验，在于其挑战科技巨头力量和促进更开放数字生态系统的能力。
## 揭开德古拉城堡的化学成分 来自物质与系统研究所的研究人员正在分析 Cetatea Poenari，即15世纪罗马尼亚的弗拉德三世堡垒——启发德古拉传说的历史人物。该项目旨在了解建造这座雄伟山地堡垒所使用的建造技术和材料，并可能为现代可持续建筑实践提供信息。 研究团队使用X射线荧光和扫描电子显微镜分析了堡垒中的一块砖，结果显示其成分与当地来源的材料一致。该砖主要由硅、铝和铁组成——典型的该地区粘土砖成分，并含有来自附近的喀尔巴阡山脉和阿尔杰什河的微量矿物质。 分析证实，建造者使用了易于获得的粘土和沙子，并在传统的窑炉中以中等温度（750-900°C）烧制砖块。钙的存在表明几个世纪以来，砖块经历了风化和与石灰基砂浆的相互作用。最终，这项研究表明，Poenari 经久不衰的力量并非源于超自然力量，而是源于熟练地利用当地资源和可靠的石工技术。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
血液、砖石与传奇：德古拉城堡的化学 (gatech.edu)
13 分，由 dhfbshfbu4u3 1 天前发布 | 隐藏 | 过去 | 收藏 | 1 条评论
uncoat 1 天前 [–]
是的，关于真正的弗拉德，有一个完全合理的说法，并且你可以声称用于建造他的城堡的材料由于材料科学而更坚固。这些信息对很多人有帮助。但我仍然想知道吸血鬼是否只是大多是仁慈的外星人，他们已经融入了我们的社会，因为我喜欢保持开放的心态。回复
考虑申请YC冬季2026批次！申请截止日期为11月10日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 选择你的第一个买家画像
开始使用买家画像时，最好一开始只关注*一个*。本指南将帮助你选择优先考虑的画像，采用三项评估标准：**产品优势**（你的产品与他们需求的契合度）、**市场规模**（确保可行的细分市场）和**分销策略**（如何真实地触达他们）。
首先，列出最多三个不同的潜在画像。然后，使用问卷评估每个画像，为每个标准打分（-2到+2）。虽然量化方法是可行的，但核心建议是**选择你最了解的画像**。
深入的了解能够带来有效的沟通，并避免在无法建立联系的细分市场中浪费精力。考虑你的上市策略与该画像是否一致——如果这并非你的优势，请避免针对需要复杂销售流程的角色。你能否轻松想象出能引起他们共鸣的内容？
一旦选定，将重点转移到构建引人注目的**价值故事**上——你将如何专门向*这个*画像传达益处。
## 黑客新闻讨论：理想客户画像
最近黑客新闻上进行了一场关于初创公司创建理想客户画像（ICP）的实用性的讨论。虽然链接的文章提出了一份定义该画像的工作表，但评论员警告不要在获得真实客户反馈*之前*过度投入。
许多人同意，从一个狭窄的焦点开始对于获得初始反馈是有价值的，但警告不要“过度拟合”于一个想象中的客户。 几位分享了经验，即过于专注于最初的客户——甚至是一个愿意参与测试的用户——导致构建的产品针对*他们*特定的、最终具有限制性的需求量身定制。
一个关键的收获是**问题导向**的重要性：构建一个产品来解决*你*理解的问题，然后验证付费意愿。 与潜在客户建立真实的联系至关重要，专注于真正的价值而非说服。 有些人甚至认为应该采取更广泛的初始方法，因为最终成功的客户可能是意想不到的。 最终，讨论强调了在初始焦点与现实世界的测试和适应性之间取得平衡的必要性。