本文论证了大型语言模型（LLM）在列表式文档排序中的有效性，并提出了一些复杂问题可以通过转化为文档排序问题来解决。作者以利用补丁差异定位N日漏洞为例，展示了如何将这一安全工程问题转化为文档排序问题。通过将补丁差异（文档）根据其与安全建议（查询）的相关性进行排序，LLM可以高效地定位修复漏洞的特定函数。这项技术已在多个安全会议上得到验证，并被证明可以应用于其他安全问题，如模糊测试目标选择和优先级排序。未来改进方向包括对排名结果进行分析和生成可验证的证据，例如自动生成可测试的漏洞利用程序。
阅读更多
Shunpo 是一款极简的 Bash 工具，旨在通过简单的书签系统加快终端目录导航速度。它让你只需少量按键即可跳转到已保存的目录书签，非常适合经常使用 `cd`、`pushd` 或 `popd` 命令的用户。Shunpo 支持添加、删除、列出书签，以及快速跳转到父目录或子目录。安装方便，只需运行 `install.sh` 即可。
阅读更多
1876年电话发明后，如何通知来电一度是个难题。起初，人们用铅笔敲击话筒，但效率低且损坏设备。托马斯·沃森随后发明了“敲锤”装置，再改进为“蜂鸣器”，但声音刺耳。最终，沃森在1878年发明了双音铃声，成为全球电话的标准，彻底解决了来电提示的问题，展现了早期电话技术发展的历程。
阅读更多
本文介绍了一种用于解决多米诺骨牌平铺问题的算法，该算法的核心思想是将几何问题转化为图论问题，并使用回溯搜索算法结合多种启发式策略进行求解。首先，算法预处理计算所有可能的放置方案，构建一个描述所有可能性二分图；然后，利用回溯搜索算法寻找满足条件的放置方案子集，并通过多种启发式策略，例如优先处理受限网格点、分割网格等，来优化搜索效率。该算法在处理任意形状的网格和多米诺骨牌集时展现出较好的通用性和鲁棒性，作者还讨论了算法的局限性和未来改进方向，例如将问题转化为SAT问题进行求解。
阅读更多
88年前，传奇女飞行员阿梅莉亚·埃尔哈特在环球飞行中失踪，其飞机残骸下落成谜。近日，普渡大学宣布将对太平洋尼库马罗罗岛附近海域一个疑似飞机残骸的物体进行探测。十年前的卫星图像显示该物体存在，但近期已消失在沙土之下。此次探测将采用无损技术，如声纳和磁力仪，逐步确认该物体身份。如果确认是埃尔哈特的洛克希德10E型飞机，这将为这长达88年的谜团画上句号。
阅读更多
本文探讨了如何将逻辑推理转化为有效的书面论证。作者以两个例子说明，一个关于反对使用纳税人资金建造新体育场的论证，另一个关于支持提高最低工资的论证。前者通过清晰地阐述前提、提供证据并建立与结论的清晰联系，构建了一个令人信服的论点；后者则由于缺乏逻辑结构、证据和清晰的前提，导致论证无效。文章强调，即使是看似合理的论点，也需要通过仔细的组织和证据支持才能成为有效的逻辑论证。
阅读更多
arXivLabs是一个允许协作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与坚持这些价值观的合作伙伴合作。如果您有想法可以为arXiv社区增值，请了解更多关于arXivLabs的信息。
阅读更多
本文讲述了爵士乐传奇人物路易斯·阿姆斯特朗1922年到达芝加哥，加入乔·奥利弗乐队的传奇故事。作者理奇·里卡迪通过新书《踩踏吧，我们走吧：路易斯·阿姆斯特朗的早期岁月》生动地还原了阿姆斯特朗从新奥尔良到芝加哥的旅程，以及他在林肯花园首次登台的紧张与兴奋。这段经历不仅标志着阿姆斯特朗职业生涯的转折点，也展现了他谦逊的品格和对导师的尊重。
阅读更多
一对夫妇分享了他们在数字时代培养孩子拥有模拟童年的方法。他们通过精心设计的“模拟游戏室”，提供书籍、棋盘游戏、乐器等，鼓励孩子进行创造性游戏，并限制电子设备的使用。他们注重培养孩子的安全感、自主性和注意力，同时设定清晰的家庭规则，并重视亲子互动。此外，他们还将这种理念融入家居设计中，选择复古色彩，创造温馨舒适的家庭环境。
阅读更多
安全研究人员发现了一个严重的 YouTube 漏洞，可以利用 Google Pixel Recorder 服务泄露任何 YouTube 用户的邮箱地址。攻击者首先通过 YouTube 的 /get_item_context_menu 接口获取目标用户的 obfuscated Gaia ID，然后利用 Pixel Recorder 的共享功能，绕过通知机制，将该 ID 转换为邮箱地址。该漏洞的攻击链较为复杂，但影响范围巨大，最终 Google 支付了 10500 美元赏金。
阅读更多
瑞士苏黎世联邦理工学院的研究人员在构建可扩展的量子计算机方面取得了突破性进展。他们利用集成光子学技术，解决了在基于囚禁离子的量子计算机中，光学元件与离子阱的相互作用导致离子传输不稳定这一难题。通过巧妙的补偿方法，研究人员实现了超过99％保真度的单量子比特逻辑门操作，为构建更大规模、更高性能的量子计算机铺平了道路。这项研究是朝着构建实用量子计算机迈出的关键一步，属于科技领域的重大进展。
阅读更多
Mesa 25.1.1 的 Windows 版本（基于 Visual Studio 和 MSYS2 Mingw-w64 编译）已发布。该版本得到了 Petrosky 公司的赞助，提供了构建机器。本版本修复了许多常见问题，例如缺少 libgallium_wgl.dll、libEGL.dll 和 libvulkan-1.dll 等错误，这些问题通常可以通过重新部署应用程序或运行提供的修复工具来解决。此外，文档详细解释了 MSVC 和 MinGW 版本包之间的差异、包内容、各种驱动程序（如 llvmpipe、GLonD3D12、zink 等）的配置和使用，以及旧版软件兼容性、OpenGL 上下文配置覆盖等问题，并提供了相应的解决方案和环境变量设置方法。
阅读更多
亚马逊在2025年将投入超过1000亿美元用于资本支出，其中大部分（估计超过860亿美元）将用于支持其AWS云服务的AI基础设施建设。这一巨额投资反映了亚马逊对AI的强烈信心，以及对AI市场未来增长的预期。尽管短期内投资与营收比值较高，但亚马逊的财务模型显示，长期来看，AI基础设施的投资回报率非常可观，这解释了亚马逊为何如此大力投资AI领域。
阅读更多
Boom Supersonic公司研发的超音速飞机XB-1近日成功突破音障，并通过NASA的施利伦摄影技术捕捉到了突破音障时的激波图像。此次飞行中，XB-1没有产生可听见的音爆，这为未来超音速商业航空的回归铺平了道路。Boom公司计划在未来几年内推出其商用超音速飞机Overture，该飞机已获得多家航空公司的订单，有望在十年内投入运营，实现更快速、更经济的洲际飞行。
阅读更多
作者总结了开发大型语言模型（LLM）应用的经验教训。LLM擅长将大量文本转换为更精简的文本，不擅长生成比输入更多文本的内容或依赖其预训练数据进行复杂推理。有效的LLM应用应提供LLM所需的所有信息，让LLM进行文本浓缩。作者建议避免使用LLM完成需要人类专业知识的任务（如医疗诊断），并强调LLM应作为人类的辅助工具，而非替代品。
阅读更多
Finley Technologies，一家由Y Combinator和Bain Capital Ventures支持的金融科技初创公司，正在招聘增长合伙人。该职位专注于信贷基金领域，需要候选人具备2-3年的金融经验，具备战略思维、创业精神和强大的沟通能力。成功应聘者将参与制定市场策略、产品路线图等，并有机会与团队协作，共同推动公司发展。
阅读更多
卡内基梅隆大学的研究人员开发了一个名为Genesis的开源机器人模拟系统，该系统能够以比现实世界快43万倍的速度训练机器人。Genesis利用图形卡并行运行多达10万个模拟，显著缩短了机器人学习复杂任务所需的时间，例如抓取物体、行走或操作工具。此外，研究人员正在开发一个基于文本提示生成3D物理模拟的AI代理，让用户只需输入文字就能创建逼真的虚拟环境，这将极大地简化机器人训练过程并降低成本。Genesis采用Python编写，易于使用，并已开源，为机器人研究领域带来了新的突破。
阅读更多
微软为了提升Bing搜索引擎的使用率，竟采取了“障眼法”——当用户在Bing搜索栏输入“Google”时，Bing会呈现一个几乎与Google搜索页面一模一样的界面。这一举动被认为是微软在面对Google搜索引擎压倒性优势下的无奈之举。虽然在桌面搜索市场Bing的份额有所增长，但在移动搜索市场，Google仍占据主导地位。微软此举虽然在短期内可能增加用户数量，但长期来看，这种欺骗用户的行为可能会损害Bing的信誉。
阅读更多
Meta公司设立四个“战情室”紧急分析中国开源大语言模型DeepSeek的技术，DeepSeek以低廉的成本和较弱的芯片实现了与OpenAI的ChatGPT和Meta自家产品竞争的能力，引发了Meta的担忧。分析重点包括DeepSeek降低训练成本的技术和使用的数据。DeepSeek的出现对AI基础设施投资产生了巨大冲击，也导致科技股市场波动。
阅读更多
英国信息专员办公室（ICO）将发布新指南，以应对智能家居设备数据隐私问题。此前，Which？的一份报告发现，一些空气炸锅等智能设备会将用户个人数据发送到中国服务器。ICO表示，消费者感觉家用产品收集了过多的信息，并且对信息的用途和共享方式感到无力控制。新指南将于2025年春季发布，将涵盖如何征求同意、提供隐私信息以及用户行使权利所需的工具等方面。
阅读更多
作者将经典的donut.c程序移植到一块小小的芯片上，实现了无需乘法、仅用移位和加法运算的3D甜甜圈渲染。通过巧妙运用CORDIC算法和ray marching技术，并在Tiny Tapeout 8平台上进行4-tile设计，最终在130nm工艺芯片上实现了硬件渲染。虽然由于资源限制，渲染效果略显粗糙，呈现出多边形外观，但这正是极简硬件设计魅力的体现。
阅读更多
今年，科学家发现了三种新型二维超导材料，它们以意想不到的方式挑战了人们对超导性的理解。这些材料如同魔术般，可以通过调整角度和电场等方式，在绝缘体、导体和超导体之间自由切换。其中一种超导体甚至在磁场中表现出更强的超导性，彻底颠覆了传统的理论认知。这些发现不仅加深了人们对超导机制的困惑，也为开发室温超导体带来了新的希望，有望推动能源和交通等领域的技术革命。
阅读更多
NotaGen是一个AI音乐生成模型，它首先在160万首音乐作品上进行预训练，学习音乐的基本结构和模式。随后，它在包含8948首古典乐谱的精选数据集上进行微调，进一步提升音乐性。为了提高音乐性和提示控制能力，研究人员使用了CLaMP-DPO方法，该方法利用强化学习和直接偏好优化，通过CLaMP 2模型的评价来优化NotaGen。实验表明，CLaMP-DPO有效提高了不同音乐生成模型的控制能力和音乐性。
阅读更多
一位开发者使用OpenSCAD创建了一个高度可配置的3D打印日历模型。该模型巧妙地利用Zeller公式计算任意日期的星期几，并自动调整日期偏移。用户可以自定义渲染月份、列布局、层高，甚至添加自定义节日标记和磁铁孔等。该模型充分展现了OpenSCAD在算法实现和参数化建模方面的强大能力，并支持多语言和多材质打印。
阅读更多
一家大学的研究团队面临一个棘手的系统管理员问题：服务器运行时间过长，需要重启，但频繁重启会影响用户体验。他们通常避免重启，但这次因服务器长时间运行而不得不进行大规模重启。为了避免类似情况再次发生，他们决定制定一个年度重启计划，每年至少重启三次，以配合学校的教学时间表，从而在预防潜在问题与保证用户体验之间取得平衡。
阅读更多
Automattic公司CEO Matt Mullenweg宣布进行公司重组，将裁减约16%的员工。此举旨在提高公司效率，增强盈利能力，并更好地适应竞争激烈的市场环境。受影响的员工将获得遣散费、福利和就业安置资源。Automattic表示，此举是为了确保公司的长期成功，并继续其使互联网民主化的使命。
阅读更多
最近的Hacker News上出现了一系列与游戏开发相关的精彩资源。从像素艺术增强算法到SDL 3的正式发布，再到反向工程《使命召唤》反作弊系统，开发者们分享了各种工具、技术和经验。一些帖子介绍了游戏开发相关的博客、Godot引擎的调试工具、以及开源游戏引擎Tramway SDK。还有关于游戏设计理念的讨论，例如“舒适型游戏”的定义以及关卡设计工具LDtk的介绍。这些资源涵盖了游戏开发的各个方面，从代码到美术，从工具到理念，为游戏开发者提供了丰富的学习和参考材料。
阅读更多
大型强子对撞机（LHC）的实验结果带来惊喜：发现了23种奇特强子，包括五夸克和四夸克态，其结构无法用现有理论可靠地解释。这些奇特强子的发现，如同一个迷人的侦探故事，推动着理论物理学家们发展新的理论模型，例如强子分子模型、紧凑型四夸克模型等。未来，高亮度LHC以及Belle II、BESIII等实验将带来更多数据，为揭开强相互作用的奥秘提供更多线索。
阅读更多
本文探讨了Lisp与Lambda演算之间的关系。Lisp的创造者John McCarthy最初并未完全理解Lambda演算，但他借鉴了Lambda演算的符号，创造了Lisp。Lisp并非Lambda演算的直接实现，而是受到其启发，并结合了IBM 704的硬件特性。文章深入分析了Lisp的早期历史，包括其演算器EVAL的实现，以及car和cdr操作与IBM 704硬件的关联。作者也介绍了Lambda演算的基本概念，并用一个名为ΛΙΣΠ的玩具语言进行举例说明。最终，文章指出Lisp与Lambda演算之间存在着有趣而复杂的关系，为后续深入探讨留下了伏笔。
阅读更多
本文探讨了SQL在测试和复用业务逻辑方面的不足，提出了一种名为“函子”的可组合SQL片段解决方案。通过将查询参数化并依赖接口而非具体表，函子解决了SQL测试的难题，并允许在不同查询中复用业务逻辑，从而提高代码的可读性、可测试性和可重用性。作者还讨论了泛型、业务逻辑泛化以及避免全局变量等方面的扩展，最终实现高效、可测试且易于理解的SQL查询。
阅读更多