11851 分
HackerBooks 聚合 Hacker News 评论中的书籍推荐
HackerBooks 是一个社区驱动的数据库，根据书籍在 Hacker News 评论中出现的频率对书籍进行排名，并使用 AI 辅助流程将条目链接回原始讨论。
阅读全文 →
2169 分
证明柏拉图表示假设：为什么“优质视角”的表现优于规模
Randall Balestriero 和 Yann LeCun 的最新研究为柏拉图表示假设提供了数学证明，表明在不同模态上训练的 AI 模型可以收敛到对世界的共同理解。研究表明，使用“优质视角”（对同一场景的多次观察）允许模型比标准大语言模型中使用的下一标记预测方法更高效地 42 倍实现这种对齐。
阅读全文 →
3476 分
JavaScript 框架的 AI 成本
一项关于 AI 智能体构建 Pokémon 应用程序的基准测试显示，框架的复杂性显著影响生成成本（Token 和时间）以及最终生成的 Web 应用程序的性能。
阅读全文 →
4578 分
联想“加密”指纹USB驱动器实际上缺乏数据加密
对联想指纹认证USB驱动器的拆解显示，该设备并未使用加密技术来保护数据；相反，它仅作为一个物理门禁，切换到未加密的内部SD卡连接。
阅读全文 →
7204 分
Copper：一种具有 Ruby 风格语法的极简底层语言
Copper 是一款作为 C 语言底层替代方案设计的个人编程语言，它将受 Ruby 启发的语法与面向对象特性和泛型相结合。虽然它为引导程序开发和系统级任务提供了独特的架构设计，但其目前的文档在内存模型和生产就绪程度方面仍留下了若干技术疑问。
阅读全文 →
8319 分
OmniDiff：一款用 Rust 构建的内容感知差异对比工具
OmniDiff 是一款开源工具，能够跨多种文件类型（包括代码、图像、字体和 PDF）提供结构感知对比。它超越了传统的基于行的差异对比，旨在突出文件内部精确的修改内容。
阅读全文 →
9347 分
巴西法院因律师在法律文件中隐藏提示词注入行为处以罚款
巴西一家劳动法院对两家律师事务所开出罚单，原因是它们被发现在法院诉状中嵌入了隐藏的提示词注入指令，旨在操纵法院的生成式人工智能审查系统。
阅读全文 →
11392 分
数学从手工艺到技术的转变面貌
随着人工智能展现出产出突破性数学证明的能力，该领域正面临从手动构建证明的“手工艺”向技术驱动学科的转变，人类的价值正转向选择研究方向和结构化综合。
阅读全文 →
terrytao.wordpress.com
12155 分
使用 AFL++ 优化模糊测试：更好的缺陷发现策略
有效的 AFL++ 模糊测试不仅仅是运行工具；它还需要特定的环境配置、持久模式等架构选择，以及用于绕过构建复杂性并最大化缺陷可见性的“hacksaw”技术。
阅读全文 →
13188 分
Nibnib：一种针对微控制器解压缩优化的图像格式
Nibnib 是一种专门设计的图像格式，通过利用基于增量的调色板和确定性的成对解码算法，旨在低功耗硬件（如 RP2350 微控制器）上实现极高的解压缩速度。
阅读全文 →
14193 分
Seoul Biosys 发布无稀土白光微型 LED
Seoul Biosys 已开始量产采用 WICOP 技术生产的白光微型 LED。该技术无需稀土荧光粉和传统封装，旨在降低成本并实现超小型显示屏。
阅读全文 →
15107 分
phoria2：用于业务仪表盘的轻量级 WebGL 2 库
phoria2 是一个专门为高密度业务可视化（如金融仪表盘）设计的 WebGL 2 库。它与通用 3D 引擎的不同之处在于，它提供了显著更小的代码占用，并采用了一种优先考虑多图表视图效率的渲染模型。
阅读全文 →
16104 分
Unicode 符号如何创建“花式”域名及其带来的安全风险
现代网络浏览器使用 IDNA2008 标准化流程将复杂的 Unicode 字符转换为标准的 DNS 字符串，允许用户使用如 ℡ 或 № 等符号访问网站。虽然这实现了独特的 URL，但也因增加了区分合法网站与钓鱼企图的难度而带来了安全风险。
阅读全文 →
18190 分
锌蠕变被确定为阿雷西博望远镜坍塌的根本原因
美国国家科学、工程和医学院的一份2024年报告指出，电缆锌合金套筒中的长期“锌蠕变”是2020年阿雷西博天文台305米望远镜坍塌的主要原因。
阅读全文 →
19116 分
研究人员开发出3D热隐身斗篷，可使物体在红外摄像头中“隐形”
工程师们创造出一种3D打印的混合材料，能够将热流绕过物体，使其在红外传感器中不可见，同时保护物体免受极端温度的影响。
阅读全文 →
20113 分
电网断电期间双向电动汽车充电面临的障碍
虽然车辆到家庭（V2H）技术允许电动汽车在停电期间为房屋供电，但大多数现有系统并不支持“双向”充电——即在汽车为房屋供电的同时，利用太阳能电池板为汽车充电。目前，此功能仅限于少数特定配置，例如 Tesla Cybertruck。
阅读全文 →
21173 分
父子俩在 Altoids 薄荷糖罐中打造微型计算机
一位父亲和他的 12 岁儿子花了两个月时间，在 Altoids 薄荷糖罐内开发了一套微型计算机系统，经历了硬件挑战、3D 打印和多次焊接迭代。
阅读全文 →
22715 分
挪威利用景观基础设施反击政治言论
在唐纳德·特朗普对挪威地位发表贬低言论后，该国的旅游局强调其高质量的公共厕所作为国家自豪点，引发了关于公共基础设施、国家财富与软实力交织的讨论。
阅读全文 →
23262 分
一家自筹资金的文件转换SaaS服务的20年历程
文件转换服务Zamzar的创始人分享了他们运营自筹资金SaaS服务的20年经验，重点介绍了扩展到数百万用户以及应对当前AI驱动自动化时代的挑战。
阅读全文 →
24465 分
帕特里克·斯图尔特的让-吕克·皮卡德如何塑造“制度自由主义”
帕特里克·斯图尔特在《星际迷航：下一代》中对舰长让-吕克·皮卡德的塑造，成为了“制度自由主义”的文化原型——即相信强大的、甚至是军事化的机构可以被公正地运用来保护普遍权利并维持繁荣社会。
阅读全文 →
25227 分
电气化如何可能减少全球 50% 的能源需求
通过用高效的电力替代方案取代低效的化石燃料供暖和交通系统，全球能源需求可能会显著降低。专家表示，电气化解决了目前作为热量浪费掉的“隐藏的 80%”能源消耗问题。
阅读全文 →
27146 分
电子邮件加密的光谱：平衡安全性、可用性与易用性
电子邮件安全涉及多个加密层级，每层针对不同的威胁。从连接层级的 TLS 到零访问加密和端到端加密，每种方法都在对抗对手的保护、系统可用性和用户体验之间进行权衡。
阅读全文 →
28476 分
普利茅斯警长在合同取消后亲自拔掉 Flock 摄像头电源
在 Flock Safety 公司未能回应正式的合同取消要求后，普利茅斯警长 Eric Fadden 下令物理断开这些摄像机的连接，凸显了在持续的隐私争议中企业合作的崩溃。
阅读全文 →
30223 分
Frontier Airlines 客户报告包含准确预订数据的复杂网络钓鱼邮件
用户报告了一波看似来自 Frontier Airlines 的网络钓鱼邮件，其中包含高度特定且准确的预订详情。讨论认为这些数据可能是通过共享客户服务软件、后端分销系统或航班状态查询中的漏洞获取的。
阅读全文 →