声明式拖拽（Dragology）是 UIST 2026 最佳论文奖系统，它通过让开发者指定被拖拽元素可到达的未来模型状态，而非编写几何、反馈与动画，使拖放操作更简单。引擎会推测性地渲染这些状态，找到被拖拽元素的位置，并合成平滑的交互。该方法以模型驱动且可组合，提供浮动、吸附和过渡等修饰符。作为 web/SVG 库实现，它支持数学、编程和排列等界面的演示。起源于 Andrew Blinn 的数学游戏想法与 Josh Horowitz 的后续工作，它旨在将语义规则转化为触觉交互，并已应用于 Hazel 等工具及 3D 手柄实验。
每日HackerNews RSS
Declarative Dragging 是一个项目和论文，提出一种声明式的拖放方法，使用推测性/乐观渲染以及用于放置区域和距离的可组合代数，以最少代码使行为可预测。Hacker News 评论者称赞了交互式演示和潜在影响，尤其是如果移植到 HTML；一位作者说存在 Solid HTML 原型。讨论包括对复杂性、在许多可能放置目标下的可扩展性，以及自定义代码是否可能更容易的怀疑。轶事指出拖放常被低估，尤其在较老的 Web 应用中。其他人讨论了相关工具如 Hazel、先前技术、动画和性能问题。总体上，它被视为优雅且有前景，但可能复杂。
硅谷承诺AI将治愈疾病，药企CEO并不买账。 Silicon Valley Promises AI Will Cure Disease. Drugmaker CEOs Aren't Buying It
2 天前
请启用 JavaScript，并关闭所有广告拦截器。
Hacker News 讨论了一篇《华尔街日报》文章，其中硅谷人物承诺 AI 将治愈疾病，而制药公司 CEO 则驳斥 AI 将在数年内治愈大多数疾病的说法。评论者同意 AI 可以作为副驾驶协助药物研究——加速文献综述、靶点选择、实验室流程和试验规划——但认为生物学过于复杂，无法可靠预测药物在人体中的效果。许多人说真正的瓶颈是临床试验、安全性测试和监管证明，而非发现；AI 可以上游提供帮助，但不能替代实验。一些人引用 AlphaFold 和 Anthropic 的湿实验室工作作为有前景的例子，另一些人则警告政治偏见、单一文化和炒作。讨论还涉及官僚主义、激励机制以及药企是否想要治愈而非慢性治疗。总体而言，该讨论串对 AI 包治百病的修辞持怀疑态度，但承认药物研发中有实际、渐进的益处。
PacketHound 是免费、开源（GPLv3）、无广告软件，无需账号或试用。它不收集分析数据；仅进行 DNS 查询和可选的每周更新检查。Windows SmartScreen 警告是预期的，可通过 SHA-256 验证文件。它需要管理员权限来管理 Windows 防火墙并读取安全事件日志。即使 PacketHound 未运行，防火墙规则仍保持活动，被阻止的应用仍被阻止。误拦截可通过“规则”选项卡撤销或删除规则。保护可暂时暂停；阻止规则仍生效。安装程序若最初被阻止可能会失败，但暂停或允许后可重试，后续会被识别。“稍后决定”会保持应用被阻止并再次提示。它与大多数使用 Windows 防火墙的杀毒软件兼容，但与替换 Windows 防火墙的安全套件不兼容。通过 Windows 设置卸载可移除规则并恢复防火墙设置。Bug 和功能可在 GitHub 报告。
关于“Windows 版 Little Snitch”（packethound.app）的 Hacker News 讨论聚焦于 Windows 出站防火墙工具。用户将其与 ZoneAlarm、Sygate、BlackICE 等老产品，以及 Portmaster、Windows Firewall Control、Malwarebytes WFC、Simplewall、Fort Firewall 等现代替代品进行比较。有些人欣赏细粒度的连接控制，而其他人警告称会带来警报疲劳、应用自动更新时的重复提示，以及虚假的安全感。评论者还批评订阅模式和 AI 生成的营销文案。多人指出 Windows 组件会被自动允许，部分人认为这是缺点。总体而言，该帖将 packethound 视为拥挤品类中的又一员，围绕可用性、信任以及出站监控是否值得这种摩擦展开争论。
一个跨党派的上议院议员和下议院议员团体提议，所有在英国销售的智能手机和平板电脑都应安装阻止儿童性虐待材料（包括AI生成内容）的软件，并阻止直播虐待；旧设备可通过强制更新覆盖。该计划由保守党上议员约翰·纳什和工党议员杰斯·菲利普斯领导，建立在政府阻止儿童拍摄或分享裸照的承诺之上。支持者称技术已存在且大型科技公司可实施，而活动人士指出虐待材料移除数量上升，AI生成视频大幅增加。民调显示公众强烈支持，80%支持安装阻止软件。专家还提议使用AI在图像被查看或分享前检测并干扰疑似虐待。政府称正在制定世界领先的网络安全法律并赋予警方新权力，但活动人士警告，若部长们不立法，他们可能推动修正案。
英国上议院提议在所有智能手机上强制安装儿童性虐待材料检测软件，可能通过更新旧设备实现。Hacker News 评论者大多将其批评为监控和审查，警告会出现误报、错误指控和权力滥用。他们举例称家长的医疗照片会被标记，自动化过滤器会误标无害图像。一些人认为“保护儿童”的说法是更广泛监控的掩护，另一些人则指出英国日益增长的威权趋势。评论者还讨论了上议院的合法性、AI检测中的误报以及潜在的寒蝉效应。整体而言，该讨论串表达了强烈的怀疑与警觉。
高盛正在从其银行家和交易员手中收回 Claude Code Goldman Sachs is pulling Claude Code from its bankers and traders
2 天前
高盛已将Anthropic的Claude Code和微软的GitHub限于工程师使用，取消大多数交易员和银行家的访问权限，但Strats仍保留访问。此举源于10月对生产力和风险的审查；香港银行家因地点和合同条款在4月失去了Claude。高盛的内部AI助手仍全公司可用，而第三方编码代理受到限制。交易员曾使用这些工具监控客户资金流、建模头寸和制作材料，引发不满。银行仍与Anthropic合作，并是其IPO的主承销商。 cited risks include 未审查代码、信息屏障违规、对代理编写代码理解不足及token成本。巴克莱则相反，正在向开发者扩展Claude Code，同时裁员。文章认为限制编码代理是合理的，但推出过程突然；企业应指定工程负责人、应用现有控制并记录停用的用例。
高盛正在限制银行家和交易员使用 Claude Code 和 GitHub，仅限工程师访问。此举主要出于安全与合规风险：在装有敏感客户与交易数据、电子邮件、互联网及内网访问权限的工作站上运行半自主编程代理，会带来提示注入与数据泄露的危险。评论者还提到未经审查的代码进入生产环境、操作失误、审计/合规问题以及企业计费问题。有人建议沙箱或远程代理可以降低风险，但指出企业环境常限制沙箱，且远程工具缺乏对用户数据的访问。帖子还将高盛的谨慎与巴克莱在开发者中扩展 Claude Code 使用同时裁员形成对比。总体而言，讨论将高盛的决定视为一种信号：强大的编程代理对处理敏感金融数据的非工程师来说有用但风险高，因此应限制访问或严格管控。
彭博 需要帮助？联系我们 我们检测到来自您的计算机网络的异常活动 要继续，请点击下方的方框以确认您不是机器人。 为什么会发生这种情况？ 请确保您的浏览器支持 JavaScript 和 cookies，并且没有阻止它们加载。 更多信息请查看我们的服务条款和 Cookie 政策。 需要帮助？ 如需与该消息相关的咨询，请联系我们的支持团队并提供下方的参考 ID。 拦截参考 ID：3f8989f0-dba3-11f1-8caa-44bf3ddda318 通过 Bloomberg.com 订阅，全球市场最重要的新闻触手可及。 立即订阅
一个 Hacker News 帖子讨论了 Bloomberg 的报道：流行应用中的广告为警方提供了强大的监控工具。评论者指出 Google Play 政策禁止出售个人和敏感用户数据，包括通过第三方 SDK，并质疑这些规则是否得到执行。他们讨论了天气、游戏、电子邮件和宗教应用如何收集位置数据。建议的缓解措施包括卸载应用、使用带广告拦截器的浏览器、拒绝位置权限以及使用基于 DNS 的广告拦截。其他人指出许多服务以应用优先，仅用浏览器不切实际，且浏览器应用仍可指纹识别用户。该帖还提到 Exodus Privacy 用于识别间谍软件 SDK，以及关于数据经纪人、警务和用户隐私的更广泛担忧。
FuckCaptcha 是一个教育性质、开放参考的项目，记录 CAPTCHA 类型、其上下文及授权研究的相关方法。它提供交互式指南，用于浏览和比较 CAPTCHA 家族、挑战类别、已记录的工具、参考文献与权衡。项目强调负责任的、授权的使用、隐私与透明溯源，难度标签仅作为编辑估算。其仓库包含参考页面、求解器索引、资源与插图，欢迎贡献。该材料旨在用于学习与研究——而非在未授权的情况下规避服务保护。
一个 Hacker News 帖子讨论了一个名为“CAPTCHA 类型及破解方式现场指南”的 GitHub 仓库。评论者指出，reCaptcha v3 是不可见的用户行为画像而非谜题，而且 Google 越来越多地将桌面浏览器与手机号码关联。一些用户说他们使用 AI 解决 CAPTCHA，而另一些人认为现代检测无法即时绕过，大规模抓取需要求解器。多人提到令人沮丧的 reCaptcha v2 复选框循环，尤其是在隐私窗口中，其中一位评论者将重复挑战归因于网站端怀疑而非 reCaptcha 本身。人们对该仓库所称的教育目的表示怀疑，用户开玩笑说它主要帮助机器人和垃圾信息发送者；一位评论者认为内容看起来像 LLM 生成的。总体而言，该帖子讨论了 CAPTCHA 的可用性、隐私问题，以及检测系统与自动求解器之间的军备竞赛。
请启用JS并禁用任何广告拦截器
Hacker News 上的讨论围绕《纽约时报》一篇关于顶尖天体物理学家离开美国的报道展开。评论者指出文章有付费墙，且此前已在荷兰媒体报道。一些人讨论美国物理科学本科生是否越来越多地去国外读博士，理由是经费削减和美国职位减少；另一些人表示怀疑或称本地有所增加。帖子还争论离开敌对环境是否是显而易见的选择，或留下有助于维系社区并为改变而努力。其他旁支话题包括住房可负担性、搬迁、官僚程序和政治极化。总体而言，帖子突显了对美国科研经费和研究人员迁移的担忧，而评论者对原因、规模以及离开是抗议还是个人选择存在分歧。
本文档是一份在家中种植蔬菜的实用指南，尤其关注室内或阳台环境下的水培与容器种植。它综合了多来源的概念、数据与资源。它解释了植物生长取决于光、温度、营养、水分、湿度、基质以及病虫害之间的平衡。光是核心：植物需要适宜的光质、光量与光周期。温度影响代谢速率，可在速度与品质之间进行权衡。植物需要17种必需营养元素，其中氮、磷、钾尤为重要，而在水培中pH值与EC值也很关键。种植基质具有物理、化学与生物学作用。指南还涵盖生长阶段、作物数据、Kratky法、NFT、DWC、Bato桶等技术，以及以人工成本为主的市场园艺经济学。总体而言，它帮助种植者优化可控环境，以获得健康、高产的作物。
一个 Hacker News 帖子介绍了“Show HN：工程师的蔬菜种植”，这是一本将工程思维应用于园艺的指南。该帖获得 189 点和 39 条评论。评论者讨论了陶罐灌溉、自吸苗床、水培、伴生种植、轮作和堆肥等实用方法。一些人争论园艺是否因技术而变得过于复杂：有些人支持自动化传感器和智能体，而另一些人则认为简单的排水良好土壤或传统方法更好。技术话题包括蒸汽压亏缺、光周期现象、温度权衡、害虫、室内种植以及可持续/再生农业。用户还分享了成本、作物损失以及传统蔬菜种植低投资回报率的经验。一个相关项目 Project Canopi 旨在支持在没有现代支持系统的情况下种植食物。总体而言，该帖混合了工程好奇心、实用园艺、对自动化的怀疑，以及对可持续性和韧性的更广泛关切。
本文提出通过范畴论视角看待 e-graph/等式饱和计算。它将图视为函子，并论证有效的图变换应为初始函子——其拉回保持极限的函子，等价于具有非空连通逗号范畴的函子。初始函子保持方程的“解集”，从而证明在保持方程的前提下拉回或扩展图的合理性。文中给出了变换模式（操作引入、同余归约、方程引入），随后演示了交换方块的拼接以及幺半群例子中 f^3=id=f^5 蕴含 f=id。它将初始函子作为图式等式推理的不变、组合式基础，并计划未来更直接地联系 e-graph 与有限积。
一个 Hacker News 帖子链接到《How to prove equations using diagrams, part 1》（79 分，8 条评论）。讨论主要集中在术语：一位评论者吹毛求疵地指出，J 形图中的 J 是指标范畴或“方案”，而不是“形状”，而作者回复说“形状”在标准来源中很常见。其他评论者指出术语各不相同，文章也提到了“索引范畴”。一位评论者询问关于函子或非符号逻辑的资源，另一位则将帖子概括为关于初始函子的范畴论。