GenCAD
GenCAD是MIT研究人员开发的图像条件CAD生成模型，能够从图像输入生成完整的参数化CAD命令序列。该模型结合自回归Transformer编码器、对比学习和潜在扩散模型，不仅生成3D实体，还输出可编辑的CAD程序，为自动化设计和工程设计提供了精确且可修改的解决方案。
阅读全文 →2026-05-18 科技新闻
每日科技资讯精选
2026-05-18 周一
🔥 Hacker News 热门科技新闻
2026-05-18
来源: news.ycombinator.com
I turned a $80 RK3562 Android tablet into a Debian Linux workstation
作者将80美元的Doogee U10安卓平板（RK3562芯片）成功改造成Debian Linux工作站。无需解锁bootloader，直接从SD卡启动Debian 12系统，拔出SD卡即可恢复Android。项目通过逆向工程实现，支持Wi-Fi、蓝牙、触摸屏、音频、NPU本地推理等功能，提供完整构建系统，已发布可下载镜像。
阅读全文 →Ask an Astronaut: 333 hours of Q&A footage with astronauts
"Ask an Astronaut"是由ISS in Real Time团队创建的可搜索档案库，收录了过去20多年国际空间站上宇航员的真实问答记录。该平台包含10,132个问题和333小时的采访录像，所有数据源自NASA的公开视频库。用户可通过AI驱动的语义搜索功能，快速找到感兴趣的问题并跳转到相应的录像片段。
阅读全文 →Prolog Coding Horror
这篇文章讨论Prolog编程中常见的反模式和错误做法，包括：丢失解决方案、滥用全局状态、不纯的输出以及使用低级语言构造。作者通过"恐怖阶乘"示例展示了这些问题，并建议程序员保持代码纯净性，使用声明式构造和约束而非过时的低级谓词，以编写更通用、更可靠的Prolog程序。
阅读全文 →Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely
两架EA-18咆哮者电子战机在美国爱达荷州Mountain Home空军基地航展表演中发生空中相撞事故。两名飞行员及时弹射逃生，未造成人员伤亡。事故原因正在调查中，航展活动已暂停。这是一起罕见的军用飞机航展事故。
阅读全文 →A Good Lemma Is Worth a Thousand Theorems
数学家Doron Zeilberger认为，好的引理价值远超深刻定理。定理往往是研究终点，而引理则具有广泛应用价值。文章以Szemerédi正则引理为例，说明其推动了多个重大突破（包括Green-Tao素数定理），促成至少两项菲尔兹奖。作者总结："引理才是数学的真正工作者，定理只是管理者"。
阅读全文 →Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep
Semble是一款专为AI代理设计的代码搜索库，相比传统grep+read方式可节省约98%的Token用量。它能在250毫秒内完成代码库索引，查询响应仅需1.5毫秒，检索准确率达0.854，媲美专用代码Transformer模型。该工具纯CPU运行，无需API密钥、GPU或外部服务，支持MCP服务器集成，可被Claude Code、Cursor、Codex等AI编程助手直接调用。
阅读全文 →Magical Realism: "Northern Exposure" 25 Years Later (2015)
本文发表于2015年，回顾经典美剧《北国风云》（Northern Exposure）播出25周年。文章从魔幻现实主义视角分析该剧独特的叙事风格，探讨其如何将超现实元素融入日常生活场景，创造出一部兼具哲学深度与人文关怀的电视杰作。
阅读全文 →Cannibalistic attacks between gray seals leave telltale "corkscrew" injuries
科学家发现灰海豹之间存在同类相食行为，这种攻击会在受害者身上留下独特的"螺旋形"伤口。研究人员通过分析这些特殊的伤口特征，确定了导致多起恐怖海豹死亡事件的真凶竟是同类海豹。这一发现揭示了灰海豹种群中前所未知的掠食行为模式。
阅读全文 →Mercurial, 20 years and counting: how are we still alive and kicking? [video]
本文是FOSDEM 2026会议演讲，探讨分布式版本控制系统Mercurial创建20年来如何在Git竞争中保持活力。演讲分析了项目历史、社区贡献、大公司参与的影响，以及Mercurial对版本控制领域的贡献。尽管在2010年代输掉了与Git的流行度之争，Mercurial仍持续发展并影响着现代版本控制工具。
阅读全文 →