每日HackerNews RSS

## 使用随机程序模糊测试优化器 本项目探索使用模糊测试器自动检测负载/存储指令优化器中的正确性错误。核心思想是生成随机程序,对其进行优化,然后验证优化后的版本是否产生与原始版本相同的结果。 程序生成器创建包含随机负载、存储和“逃逸”指令(跟踪值而不写入内存)的基本块。一个简单的解释器模拟程序执行,跟踪堆状态。验证的关键在于确保在优化前后堆保持一致,并在非别名和别名场景下进行测试。 最初使用功能完整的优化器进行测试,未发现任何错误。然而,禁用一项关键优化——处理别名写入——*立即*触发了崩溃,证明了模糊测试器的有效性。断言失败提供了一个清晰的堆差异,精确地指出了别名问题。 未来的改进包括更复杂的程序生成(不同的数据类型、部分别名)、使用 Hypothesis 进行基于属性的测试以自动缩小测试用例,以及利用 Z3 等求解器进行更精确的程序编码。这种方法提供了一种强大的方式来发现手动测试遗漏的边缘情况。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 玩具优化器的模糊测试器 (bernsteinbear.com) 18 分,由 chunkles 1 天前发布 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

马克·范登伯格是一位在纽约州普莱西德湖运作的一人团队,是美国队将在意大利2026年冬季奥运会上使用的雪车的设计者。作为美国雪车/钢架雪车技术与装备总监,范登伯格在自己的Mount Van Hoevenberg工作室中从头开始设计和制造每一辆雪车——这个工作室基本上是他从空房间里自己建造的。 他在2010年意外地为荷兰队制造了一辆雪车,后来在2014年为加拿大队赢得金牌做出贡献,从而开始了这一独特的职业生涯。现在,通过他的“M-USA”项目,他正与美国制造商合作,创造出价值高达15万美元的尖端雪车(加上180万美元的冰刀!),完全依靠捐款——美国队无需为此支付任何费用。 范登伯格创新的设计,利用碳纤维、凯夫拉和“秘密内芯”,预计将为美国队带来显著的竞争优势。他目前正在意大利协助安装,希望他的作品能推动美国队获得奖牌成功。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 为美国奥运会雪车队制造雪车的人 (adirondackexplorer.org) 12 分,由 wrsh07 1 天前发布 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 dogman1050 1 天前 [–] 在 1990 年代,NASCAR 赛车手杰夫·博丁对美国雪车队缺乏成功感到兴趣,因此他协调了将赛车技术和训练应用于这项运动。这花了大约十年时间,但他们取得了成功。细节是关键,小事就能产生差异。https://www.jalopnik.com/switching-pit-stops-for-push-starts...回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## Unsloth Dynamic v2.0:重大LLM量化升级 Unsloth发布了Dynamic v2.0,对其LLM量化方法进行了重大升级,在5-shot MMLU和KL散度等基准测试中取得了领先成果。这使得在不损失过多准确性的情况下运行和微调量化LLM成为可能,并与流行的推理引擎(如llama.cpp、Ollama等)兼容。 主要改进包括针对所有模型类型(包括MoE和非MoE)的智能动态层选择,以及特定于模型的量化方案。新的格式,如Q4_NL、Q5.1和Q5.0,提高了效率,尤其是在Apple Silicon和ARM设备上。 该更新使用了超过150万token的校准数据集来提高聊天性能,并将KL散度作为比困惑度更准确的指标。基准测试表明,Dynamic v2.0通常可以匹配或超过全精度模型和QAT版本的性能,重点在于平衡准确性和磁盘空间效率。未来的GGUF上传将使用这种新方法。

## Unsloth AI 模型更新与基准测试 - 摘要 Unsloth AI 最近发布了 Qwen3.5 语言模型的动态量化更新版本,格式为 GGUF,在各种位宽上实现了最先进的性能。基准测试显示显著改进,35B 模型 Q4 量化版本在 RTX 5080 16GB GPU 上以 62.98 token/秒的速度运行,上下文窗口为 200k。 此次更新涉及一种改进的量化方法,解决了早期版本中发现的问题。虽然困惑度 (PPL) 和 KLD 散度并非始终是实际性能的完美指标,但这些更改旨在提高整体质量。讨论围绕量化级别(Q2、Q3、Q4 等)对性能的影响,通常在量化执行良好时,更大的模型更受欢迎。 用户正在尝试在各种硬件配置上运行这些模型,包括使用部分卸载到系统内存等技术,在 VRAM 有限的配置上运行。社区正在积极测试和比较 Unsloth 的量化版本与 Bartowski 等其他版本,并就基准测试差异的实际意义进行讨论。

## 无缝软件的循环承诺 六十多年来,软件行业不断承诺能够简化创作、降低成本,甚至消除程序员需求的工具——这一循环始终由新技术推动。从 20 世纪 50 年代的 COBOL,旨在供业务用户使用,到 80 年代的 4GL 以及如今的无代码/低代码平台和 AI 代码生成器,核心愿景始终如一: democratize 软件开发。 然而,历史表明这些承诺总是未能完全实现。虽然每一波技术浪潮*都*带来了真正的进步——COBOL 成为主流,无代码技术能够实现快速原型设计——但它们并没有消除程序员的需求。相反,它们转移了复杂性,创造了对*新的*专业技能的需求,以管理、维护和扩展这些系统。核心挑战不是编写代码,而是精确地定义软件应该*做什么*,这项任务需要对问题及其背景有深刻的理解。 大型语言模型 (LLMs) 代表着一个显著的飞跃,但将人类意图转化为可靠软件的基本困难仍然存在。未来很可能出现开发者角色的演变,需要熟练掌握新工具*以及*扎实的软件原理基础。最终,理解至关重要——工具会改变,但清晰的思维、合理的设计和适应性强的解决问题的能力将持续存在。

现代汽车的轮胎压力监测系统 (TPMS) 以明文无线广播数据,包括一个一致的车輛识别码。最近一项研究利用此漏洞,部署低成本接收器分析TPMS信号长达10周,追踪了12辆汽车的数据(潜在可监测数千辆)。 该研究表明,这些易于获取的数据可以泄露驾驶员的敏感信息——包括他们的存在、车辆类型、重量,甚至驾驶习惯。重要的是,收集和分析这些数据所需的设备价格低廉(每个接收器约100美元),使其成为一个容易被利用的隐私风险。 这些发现凸显了当前TPMS设计中一个重大的安全缺陷,并敦促汽车制造商和政策制定者优先开发更安全、更注重隐私的未来车辆系统。

## TPMS 与车辆追踪总结 一则Hacker News讨论围绕着一篇研究论文,该论文详细说明了如何从轮胎压力监测系统 (TPMS) 数据推断车辆移动。用户指出,TPMS信号会广播可识别的信息,可能允许在未经明确同意的情况下追踪车辆,以及其车主。 多位评论者分享了展示这种漏洞的经验。一人回忆说,几年前曾利用TPMS数据结合WiFi信标追踪,构建了一个能够识别工作场所、酒店甚至朋友家的地方的系统。虽然手机硬件地址随机化提供了一些保护,但仍存在其他方法。 对话还涉及通过蜂窝信号收集数据,以及将TPMS数据与销售点 (POS) 系统关联以识别客户的可能性。人们对隐私表示担忧,并建议购买加拿大规格的车辆(TPMS并非总是强制性的)可能是一种解决方法。较新的汽车越来越多地使用轮胎换位来检测低压,未来可能会减少对TPMS传感器的依赖。

🛡️ 安全验证 我们正在检查您的连接以防止自动化滥用 ⏳ 正在验证您的浏览器... 为什么我看到此验证? 有问题吗?联系支持 验证并继续 ✓ 验证完成 此页面将在片刻后自动跳转...

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 [重复] 5300年前的“钻木取火器”改写了古埃及工具的故事 (phys.org) 16点 由 PaulHoule 1天前 | 隐藏 | 过去 | 收藏 | 1评论 帮助 helsinkiandrew 1天前 [–] 之前 (80评论): https://news.ycombinator.com/item?id=46970733 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

2026年2月28日,针对伊朗的协调攻击导致局势急剧升级。以色列对德黑兰发动白昼袭击后,美国军队又发动了独立的空海攻击,目标是伊朗首都的几个部委。这些袭击正值关于伊朗核计划和弹道导弹开发的谈判停滞不前,美国对伊朗不愿妥协日益感到沮丧。 在袭击之前,美国已经在中东集结了大量军事力量,特朗普总统曾警告说,如果无法达成协议,将会有后果。伊朗此前曾表示,将对任何军事侵略做出“果断”回应。 袭击已经影响了全球市场,由于担心潜在的供应中断,油价飙升至六个月高点,这源于伊朗在该石油富饶地区的关键地位以及对霍尔木兹海峡的控制。此前,去年六月美国袭击了伊朗核设施,引发了伊朗的报复行动。

## 以色列-伊朗冲突 - Hacker News 讨论摘要 Hacker News 论坛讨论了以色列对伊朗的袭击报告以及随后的紧急状态宣布。最初的反应包括对伊朗可能拥有核武器和休眠细胞的担忧,以及对此次行动的支持,认为是对伊朗政权残酷镇压抗议者(最近估计有 35,000 人丧生)的合理回应。 许多评论员表示愤世嫉俗,预测这对政权本身影响有限,并且以色列和美国可能会采取象征性的回应,然后最终进行关系正常化。讨论还涉及美国资金的作用以及更广泛的地缘政治影响,特别是关于航运线路的问题。 一个相关的讨论围绕特朗普过去“反对世界警察”的立场以及干预的潜在人道代价展开,一些人认为代价将低于目前政权下已经丧失的生命。

以色列国防部长以色列·卡茨称,以色列周六上午发动了所谓的“先发制人打击”袭击伊朗,同时全国宣布进入紧急状态。政府宣布进入紧急状态,原因是预计伊朗将以无人机和弹道导弹进行报复。这是一个正在发展中的事件,将会持续更新。

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

## 黑客新闻讨论摘要:美国/以色列对伊朗的打击 一个黑客新闻帖子讨论了美国和以色列最近对伊朗的打击,迅速演变成关于支持以色列的道德和地缘政治影响的争论。 初始帖子链接到《纽约时报》关于这些打击的报道,评论随后被转移到单独的帖子。 讨论的核心在于,考虑到其他选择,美国是否应该与以色列保持一致。 一些人认为,与伊朗相比,以色列是“较小的邪恶”,理由是担心伊朗的神权政治和对全球石油贸易的潜在破坏。 另一些人则批评这两个国家,主张不干涉,并质疑与任何一方结盟的好处。 人们表达了强烈的意见,指责道德谬误和简单的思维方式。 参与者辩论冲突的历史背景、不作为的潜在后果以及以色列作为一个国家的可长期生存能力。 讨论涉及伊朗国内政治以及打击对伊朗公民的影响。

2023年1月,时任美国总统唐纳德·特朗普对伊朗的态度摇摆不定,一方面为可能的军事行动做准备,另一方面又表示愿意谈判。美国加强了在中东地区的军事存在,加剧了冲突升级的担忧。特朗普将可能的袭击理由归结为阻止伊朗政府镇压在12月底爆发的广泛抗议活动。 关于抗议活动造成的死亡人数存在争议,总部在美国的HRANA报告称超过5500人死亡,而伊朗当局称约有3117人死亡。这些抗议活动后来遭到伊朗安全部队的残酷镇压。来自伊朗境内的令人不安的报告浮出水面,包括一位匿名对CNN表示的医生指控,称政府军故意袭击医院内的受伤抗议者,进一步凸显了镇压的严重性。尽管局势紧张,特朗普仍表示伊朗“想要谈判,我们也会谈判”,但未提供具体细节。

## 美国和以色列对伊朗的打击 - 黑客新闻讨论摘要 黑客新闻论坛讨论了美国和以色列最近对伊朗的打击,迅速演变成激烈的争论。最初的评论指出,冲突对所有相关国家来说都是一笔巨大的财政成本,建议这些资源可以更好地用于国内。 讨论迅速陷入指责和煽动性言论。用户就以巴冲突交换了强烈意见,一些人认为这些行动是必要的,另一些人则谴责这是种族灭绝。争论涉及美国参与的潜在动机,声称以色列影响了美国政策,并指责反犹主义。 一些评论被标记,用户互相指责是“僵尸账户”(虚假账户)并发表有害言论。该帖子凸显了对持续的地缘政治局势的深刻分歧和强烈的情绪反应,几乎没有建设性的对话出现。对话涉及潜在的解决方案,如人口迁移,但这些是以讽刺的方式提出的,并没有带来富有成效的讨论。

更多

联系我们 contact @ memedata.com