从 104 条资讯中精选 36 条内容

GPT-5.6 破解 30 年数学难题 8.0/10

GPT-5.6 通过精心设计的提示词解决了凸优化领域一个 30 年未决的复杂度问题。

来源: hackernews · mbustamanter · Jul 18, 13:00

标签:#artificial-intelligence,#mathematical-optimization,#theoretical-computer-science,#machine-learning-research,#complexity-theory

LG 显示器静默安装软件 8.0/10

LG 显示器通过 HDMI 连接时，未经用户同意即通过 Windows Update 自动安装软件，获取完整系统权限且无沙箱隔离。

来源: hackernews · baranul · Jul 18, 10:21

标签:#security,#privacy,#windows,#hardware,#supply-chain

Kimi K3 颠覆 AI 格局 8.0/10

Kimi K3 以五十分之一的成本达到西方前沿模型水平，标志着 AI 模型商品化加速并引发监管担忧。

来源: hackernews · sbochins · Jul 18, 17:32

标签:#artificial-intelligence,#machine-learning,#china-tech,#model-distillation,#open-source-ai

Meta 拟百亿出租算力给 Anthropic 8.0/10

Meta 正与 Anthropic 谈判，拟以两年 100 亿美元规模出租 AI 数据中心算力。

来源: telegram · zaihuapd · Jul 18, 01:14

标签:#AI infrastructure,#cloud computing,#Meta,#Anthropic,#data center

AI 编码代理 NP-hard 问题对决 7.0/10

Fable 5 在 NP-hard 问题上击败 GPT-5.6 Sol 的实证基准测试，分析了/goal 指令对性能的影响。

来源: hackernews · couAUIA · Jul 18, 11:00

标签:#AI-coding-agents,#benchmark,#NP-hard,#Claude,#GPT-5.6

AI 冲击 Stack Overflow 流量数据 7.0/10

数据可视化显示 Stack Overflow 流量在 ChatGPT 发布后加速下滑，引发关于 AI 与多年社区管理不善何者为真因的争论。

来源: hackernews · secretslol · Jul 18, 11:12

标签:#Stack Overflow,#community-decline,#AI-impact,#data-visualization,#platform-dynamics

运河底的计算机 7.0/10

一篇关于 Linn Products 公司在 1980 年代尝试构建革命性能力架构计算机系统的详细历史记述，该项目最终因摩尔定律和通用硬件经济学而失败。

来源: hackernews · Kudos · Jul 18, 08:33

标签:#computer-history,#hardware-architecture,#capability-machines,#moores-law,#business-history

SpaceX 与五角大楼洽谈 AI 算力合作 7.0/10

SpaceX 正与五角大楼谈判，拟提供价值数十亿美元的 AI 算力服务。

来源: telegram · zaihuapd · Jul 18, 01:44

标签:#SpaceX,#AI infrastructure,#defense tech,#cloud computing,#Pentagon

台积电公布 2028 年 A14 制程路线图 7.0/10

台积电宣布 2028 年投产 A14 制程，较 N2 性能提升 15%或功耗降低 30%，并计划 2026 年末推出 A16 制程。

来源: telegram · zaihuapd · Jul 18, 05:00

标签:#semiconductor,#TSMC,#process-technology,#chip-manufacturing,#Moore's-Law

美拟设 AI 独立监管机构 7.0/10

特朗普政府考虑设立类似 FINRA 的独立机构审查顶尖 AI 模型安全性。

来源: telegram · zaihuapd · Jul 18, 05:45

标签:#AI监管,#政策,#美国,#AI安全,#行业治理

SK 海力士 CEO 预警内存危机 7.0/10

SK 海力士 CEO 预警 2027 年将出现史上最严重内存短缺，2030 年后需求仍将超过供应。

来源: telegram · zaihuapd · Jul 18, 06:30

标签:#semiconductor,#memory,#supply-chain,#SK-Hynix,#HBM

AI 代理本地搜索工具 Wigolo 6.0/10

Wigolo 是一款面向 AI 编程代理的本地优先网页搜索工具，支持 MCP 协议，无需 API 密钥和云服务。

来源: github · unknown · Jul 19, 06:30

标签:#AI-tools,#MCP,#local-first,#open-source,#web-scraping

Go 语言 Telegram API 库 6.0/10

一个简化 MTProto 协议复杂度、用于构建 Telegram 机器人和用户客户端的 Go 语言库。

来源: github · iluvx · Jul 18, 07:48

标签:#Go,#Telegram,#MTProto,#Bot Development,#Messaging API

社区需要主动建设 6.0/10

一篇论述活跃社区不会自动形成，而需要有人愿意不计回报地投入精力去培育的文章。

来源: hackernews · barry-cotter · Jul 18, 15:37

标签:#community-building,#social-dynamics,#civic-engagement,#generational-change,#organizational-psychology

Claude Code 专用 Mac 配置指南 6.0/10

一篇关于如何将备用 Mac 配置为隔离环境，供 Claude Code 安全执行命令和完成任务的指南。

来源: hackernews · ykev · Jul 18, 16:12

标签:#AI-agent,#Claude-Code,#DevOps,#security-sandbox,#automation

JPEG 退化动画技术 6.0/10

开发者利用渐进式 JPEG 编码特性，创造出随加载逐帧播放的”退化 JPEG”动画效果。

来源: hackernews · vitaut · Jul 18, 03:14

标签:#image-processing,#jpeg,#web-technology,#creative-coding,#steganography

SQLite 查询计划可视化工具 6.0/10

Simon Willison 开发了一款基于浏览器的交互式工具，使用 Pyodide 和 WebAssembly 解释 SQLite 查询计划。

来源: rss · Simon Willison · Jul 18, 17:19

标签:#sqlite,#sql,#webassembly,#pyodide,#developer-tools

LangChain 开源文档提取服务 6.0/10

LangChain 发布开源文档提取服务，提供 API 和 Web 界面，支持从非结构化文档中使用大语言模型提取结构化数据。

来源: rss · LangChain Blog · Jul 18, 01:05

标签:#LangChain,#document-processing,#LLM,#open-source,#data-extraction

豆包手机战略转型 6.0/10

字节跳动豆包手机调整策略，放弃直接操控头部应用的 GUI 技术，转向要求超级应用通过 MCP 服务开放接口，备货量从 3 万台提升至数十万台。

来源: telegram · zaihuapd · Jul 18, 00:29

标签:#AI硬件,#字节跳动,#MCP协议,#智能手机,#人机交互

OpenRouter 被传收购 6.0/10

AI 模型路由平台 OpenRouter 据传收到多家科技巨头收购意向，估值或超 13 亿美元。

来源: telegram · zaihuapd · Jul 18, 03:45

标签:#AI,#M&A,#OpenRouter,#infrastructure,#startup

B 站开源 AI 伙伴猫娘计划亮相 6.0/10

B 站 WAIC 展示开源 AI 伙伴”猫娘计划”，具备桌面感知与主动对话能力。

来源: telegram · zaihuapd · Jul 18, 06:45

标签:#AI companion,#multimodal AI,#local-first AI,#Live2D,#digital avatar

旧金山责令下架 AI 脱衣应用 6.0/10

旧金山市检察长要求苹果和谷歌下架利用 AI 生成非自愿亲密深度伪造图像的”脱衣”应用。

来源: telegram · zaihuapd · Jul 18, 08:45

标签:#AI伦理,#深度伪造,#平台监管,#应用商店,#隐私安全

韩国提议 AI 全民分红 6.0/10

韩国高官提议用半导体超额利润设立全民 AI 分红制度，引发股市暴跌 5.1%。

来源: telegram · zaihuapd · Jul 18, 14:20

标签:#AI policy,#semiconductor,#wealth distribution,#South Korea,#sovereign wealth fund

手绘故事视频生成工具 5.0/10

一个 GitHub 工具，可将手绘故事插图转换为 35-45 秒的线稿揭示和渐变色动画视频。

来源: github · xiejunjie524 · Jul 18, 22:18

标签:#video-generation,#creative-tools,#animation,#hyperframes,#content-creation

计算器 UI 的隐藏复杂度 5.0/10

计算器 UI 看似简单，实则隐藏着处理歧义输入和状态管理的复杂逻辑。

来源: rss · Hackaday · Jul 18, 20:00

标签:#UI/UX,#embedded-systems,#state-machines,#human-computer-interaction,#software-design

AI 越狱工具登 GitHub 热榜 4.0/10

一个用于 AI 聊天越狱的 TypeScript 仓库在 GitHub Trending 上获得 63 星标。

来源: github · unknown · Jul 19, 06:30

标签:#AI safety,#prompt injection,#open source,#TypeScript,#LLM security

Kimi 推出 CLI 编程助手 4.0/10

月之暗面发布 Kimi Code CLI，一款命令行 AI 编程助手，GitHub 上获得少量关注。

来源: github · unknown · Jul 19, 06:30

标签:#AI coding assistant,#CLI tool,#Moonshot AI,#developer tools,#open source

Roblox 自动伪装工具 4.0/10

一款 Roblox 游戏辅助工具，可自动检测表面颜色并即时应用伪装。

来源: github · sanjayragavendra · Jul 18, 12:33

标签:#Roblox,#game-hack,#computer-vision,#automation,#gaming

Gleam 入驻 Tangled 引困惑 4.0/10

Gleam 编程语言宣布入驻去中心化 Git 平台 Tangled，但社区对背景信息感到困惑，且平台存在可用性问题。

来源: hackernews · nerdypepper · Jul 18, 15:44

标签:#Gleam,#decentralized-git,#Tangled,#developer-tools,#AT-protocol

Elixir 官网改版上线 4.0/10

Elixir 编程语言官网发布全新设计，默认采用深色模式。

来源: hackernews · bbg2401 · Jul 18, 15:32

标签:#Elixir,#Web Design,#Programming Languages,#UI/UX,#Open Source

古老 Python 框架复活 4.0/10

沉寂 21 年的 Python Web 框架 Quixote 六小时前刚提交了新代码。

来源: rss · Simon Willison · Jul 18, 05:27

标签:#python,#web-frameworks,#computer-history,#legacy-software,#open-source

作家批评 ChatGPT 扼杀创作 4.0/10

作家戴夫·艾格斯应萨姆·奥尔特曼邀请向 OpenAI 员工演讲，称 ChatGPT 正在扼杀整整一代人的创作声音。

来源: rss · The Verge · Jul 18, 20:54

标签:#AI ethics,#creative writing,#ChatGPT criticism,#generative AI,#cultural impact

谷歌开源 3D 表情符号 4.0/10

谷歌在世界表情符号日开源了其 3D 表情设计供公众使用。

来源: rss · The Verge · Jul 18, 16:40

标签:#design,#open-source,#Google,#emoji,#3D-graphics

高速旋转无人机隐形术 4.0/10

研究人员展示了一种细长框架的无人机通过高速旋转产生视觉模糊效应，从而实现近乎隐形的效果。

来源: rss · Hackaday · Jul 18, 11:00

标签:#drone,#robotics,#perception,#engineering,#visual-effects

飞秒激光切割蟋蟀横截面 4.0/10

一项创客项目展示使用飞秒激光烧蚀技术制作蟋蟀精确横截面以用于扫描电子显微镜观察。

来源: rss · Hackaday · Jul 18, 08:00

标签:#femtosecond-laser,#bioimaging,#maker,#scanning-electron-microscopy,#precision-manufacturing

柬航采购 20 架 C909 飞机 4.0/10

柬埔寨国家航空与中国商飞签署 20 架 C909 飞机采购协议，成为首家批量采购该国产机型的外国载旗航司。

来源: telegram · zaihuapd · Jul 18, 11:36

标签:#aviation,#business-news,#china-trade,#cambodia,#regional-jets