Folia 头版

81 条 · 实时读取 Neon
人工智能

Amid criticism, Meta reins in new AI tool that automatically accessed public Instagram images

面对公众对隐私问题的强烈担忧,Meta 已撤回了其新推出的 AI 图像生成工具 Muse Image 中自动访问公开 Instagram 照片的功能 。该功能允许用户利用公开的 Instagram 图片作为参考来创建新的 AI 图像,但在推出不到一周后便因引发好莱坞工会及用户的顾虑而被叫停 。

2026-07-13
人工智能

Apple files lawsuit accusing ChatGPT maker OpenAI of stealing trade secrets

苹果公司已在加州联邦法院对人工智能公司 OpenAI 提起诉讼,指控其利用窃取的苹果商业机密来构建针对 ChatGPT 的专用硬件业务 。该诉讼特别指出,两名前苹果员工目前任职于 OpenAI,涉嫌利用在职期间获取的内部信息协助被告开发相关硬件产品 。尽管苹果公司与 OpenAI 此前曾就 Siri 集成达成过合作意向…

2026-07-13
人工智能

AI Boosts Research Careers but Flattens Scientific Discovery

一项针对4130万篇学术论文的分析显示,使用AI工具的科学家在发表数量、引用量和晋升速度上显著优于同行,但导致科学探索范围收窄和原创性下降 。该研究由芝加哥大学社会学家 James Evans 领导,结果于1月14日发表在《自然》期刊上 。分析数据集包含1980年至2025年间发表的英文论文 。数据显示,使用AI的科学…

2026-07-12
互联网

Understanding the Odin Programming Language

独立游戏开发者兼编程教育家 Karl Zylinski 撰写的新书《Understanding the Odin Programming Language》旨在帮助具备一定编程经验的读者掌握该语言的基础与高级概念 。该书最新版本为 Version 1.10,此前多个版本的更新日志涵盖了语法修正、章节重写及示例代码优化等…

2026-07-12
数码硬件

Unauthenticated RCE in Motorola's MR2600 Router

安全研究人员在摩托罗拉(Motorola)MR2600 Wi-Fi 5 路由器中发现了一个严重的未认证远程代码执行(RCE)漏洞 。该缺陷源于固件上传与验证过程中的认证逻辑错误,使得攻击者能够绕过身份验证机制并刷入恶意固件 。

2026-07-12
互联网

Yt-Dlp Sequence Diagrams

文章介绍了由 Ilograph 工具生成的多个系统架构图,内容涵盖了基于 AWS 的无服务器后端、容器化分布式负载测试系统以及 Stack Overflow 在 2016-2019 年期间的本地系统架构 。这些图表详细记录了请求依赖关系、DNS 配置、代码组织方式及身份验证等技术细节 。此外,内容还提及了 Ilogra…

2026-07-12
科技

AI notetakers promise easy meeting recaps,, but some professionals question their use

尽管人工智能(AI)会议记录工具承诺能自动生成会议纪要,但部分专业人士对其引发的数据隐私和安全隐患表示强烈担忧 。这些工具会将会议中的一切言论转化为数据进行存储或用于模型训练,可能导致机密人员信息、商业策略、贸易秘密甚至可能被视为有罪供述的言论落入他人手中 。

2026-07-12
互联网

IT administrators are "fed up" with Microsoft's "useless" apps and Windows 11

IT 管理人员已对微软及其 Windows 11 系统中的应用程序感到极度不满 。这种负面情绪主要源于系统预装的软件被视为垃圾产品,导致管理负担加重 。

2026-07-12
人工智能

Old and new apps, via modern coding agents by Terry Tao

著名数学家陶哲轩(Terry Tao)近期展示了如何利用现代人工智能编码代理,将早在 1999 年编写的 Java 数学可视化工具迁移至 JavaScript。这一迁移过程仅需数小时即可完成 。在审查生成的代码时,团队发现了旧版应用中两个此前未被察觉的缺陷,但 AI 生成版本的总体质量与原版持平 。

2026-07-12
人工智能

News outlets urge a judge to sanction OpenAI in a high-stakes AI copyright fight

《纽约时报》、《每日新闻》等多家媒体机构已联合向联邦法官提出申请,要求对 OpenAI 实施制裁 。这些原告方在涉及 ChatGPT 使用数百万篇新闻报道进行 AI 训练的版权侵权诉讼中,指控被告故意隐瞒和销毁关键证据,存在“发现违规”行为 。

2026-07-12
互联网

Death of the Status Update: Why 55% of Americans Stopped Posting on Social Media

一项由 Incogni 发起的针对美国公众的调查结果显示,55% 的美国受访者表示已停止在社交媒体上发帖 。该调查于 2026 年 6 月 1 日至 9 日进行,样本涵盖 1000 名美国人 。这一数据反映出公众对社交媒体的态度正从娱乐转向负担,超过半数的受访者认为维护在线存在感更像是一项“工作”而非乐趣 。

2026-07-12
互联网

Show HN: Mindwalk – Replay coding-agent sessions on a 3D map of your codebase

一款名为 Mindwalk 的开源可视化工具现已推出,旨在让用户在代码库生成的三维地图上回放编码代理的操作会话 。该工具能够重现如 Claude Code、Codex 等人工智能代理在执行任务时的搜索、阅读和编辑路径,并通过光效直观展示这些操作轨迹,帮助用户理解代理对任务的认知过程 。

2026-07-12
数码硬件

A dock that wakes up reliably

长期以来,笔记本电脑连接扩展坞后无法可靠唤醒的问题一直困扰着用户。尽管 Intel 在发布 Thunderbolt 4 标准时明确承诺解决此类问题 ,但实际使用中的系统唤醒表现仍不稳定 。2022 年发布的 CalDigit TS4 扩展坞也未能避免这一状况,作者在使用该设备时依然遭遇了唤醒失败的情况 。

2026-07-12
人工智能

Mesh LLM: distributed AI computing on iroh

Mesh LLM 是一个基于 iroh 网络构建的分布式人工智能计算系统,旨在通过聚合多台设备的 GPU 资源,将本地或分散的计算能力整合为一个兼容 OpenAI API 的统一接口,从而降低使用大语言模型的门槛和成本 。该系统允许用户利用现有硬件运行大型语言模型,无需购买昂贵的高端 GPU。

2026-07-11
数码硬件

RISCBoy is an open-source portable games console, designed from scratch

RISCBoy 是一款完全从头开始设计、基于开源理念的便携式游戏机,旨在重现类似 Game Boy Advance(GBA)的游戏体验 。该项目的核心硬件采用 iCE40-HX8k FPGA 芯片,其逻辑单元为 LUT4 基础结构,包含 7680 个逻辑元素 。

2026-07-11
互联网

Show HN: Ant – A JavaScript runtime and ecosystem

在 Hacker News 上,作者发布了一个名为 Ant 的 JavaScript 生态系统的演示项目。该系统构建于一个拥有自有 JavaScript 引擎的运行时代码之上 。Ant 旨在成为现有 JavaScript 堆栈的端到端替代方案,并正在寻求社区反馈以完善其功能 。

2026-07-11
互联网

Prefer strict tables in SQLite

SQLite 数据库在 2021 年 11 月发布的 3.37.0 版本中引入了新的"STRICT"表功能,旨在通过强制严格的类型检查来防止插入错误 。该特性要求用户在创建新表时添加 STRICT 关键字,以增强数据完整性并减少潜在的软件缺陷 。

2026-07-11
创业公司

Sixtyfour (YC P25) Is Hiring

初创公司 Sixtyfour(Y Combinator 第 25 期毕业生)正在其位于旧金山的办公室招聘一名嵌入销售与增长团队的现场职位 。该角色主要负责利用公司的数据丰富平台为客户生成定制数据集样本,以此展示平台能力并协助客户达成交易 。Sixtyfour 的核心产品是 AI 研究代理(AI research age…

2026-07-11
互联网

UPI: Anatomy of a Payment Transaction

2026年6月,印度统一支付接口(UPI)处理了超过2,272亿笔交易,确立了其作为全球最大实时支付系统的地位 。尽管市场格局中PhonePe和Google Pay两家应用占据了约五分之四的UPI支付份额 ,但资金流转机制由NPCI中央交换机主导,该机构遵循“先借记付款方,后贷记收款方”的固定顺序处理每一笔交易 。

2026-07-11
互联网

We scaled PgBouncer to 4x throughput

ClickHouse Managed Postgres 团队介绍了一种优化方案,旨在解决单线程 PgBouncer 在多核 CPU 环境下的性能瓶颈。该服务默认采用单线程架构运行,在配备 16 个虚拟核心的机器上仅占用一个核心,导致其余计算资源闲置 。为充分利用服务器硬件能力,ClickHouse Managed Po…

2026-07-11
互联网

Show HN: Learn by rebuilding Redis, Git, a database from scratch

一个名为“Show HN”的在线平台推出了旨在帮助用户掌握编程技能的新项目,其核心理念是通过从零开始重新构建核心系统来深化理解 。该平台提供了超过 80 个涵盖后端、前端及全栈开发职业路径的结构化课程 。课程内容涉及从 Redis 的 SET/GET 处理到数据库管理、Git 版本控制以及操作系统内核等具体系统的构建项…

2026-07-11
人工智能

晚点独家丨唐杰内部信称将开启 Touch High(摸高)计划,“不登顶,就是失败”

智谱 AI 创始人唐杰近日发布一封内部信,宣布公司正式启动“Touch High(摸高)计划”,明确未来战略将继续聚焦于通用人工智能(AGI)研究,而非短期商业变现 。信中列出了长程任务、自治智能体系统等四大技术攻关方向,并强调公司将投入百亿级资源攻坚机械可解释性 。

2026-07-11
创业公司

Moss (YC F25) Is Hiring

由 Y Combinator(YC)资助的初创公司 Moss 目前正招募一名高级或首席 SDK 工程师 。该公司致力于解决语音 AI 在检索过程中的延迟问题,旨在提供亚 10ms 的实时语义搜索层 。该职位的核心职责包括跨平台 SDK 的架构设计与性能优化 。

2026-07-10
数码硬件

价格战后,启境提供了一个非典型样本

2026年上半年中国乘用车市场累计发布新车达 630 款 。在持续三年的价格战将汽车制造业平均利润率压至 3.2%、行业陷入配置内卷的背景下,由广汽与引望联合打造的新品牌启境推出了首款大五座 SUV GX7 及猎装车型 GT7。

2026-07-10
人工智能

Alarm over launch of facial recognition in UK shops that instantly alerts police

英国零售连锁企业 Sainsbury's、B&M 及 Spar 正在联合部署由 Facewatch 提供的实时面部识别监控系统 。该系统能够在检测到严重罪犯时立即向警方发出警报,这一举措已在英国超过 100 家相关企业中实施 。民权组织对此表示强烈反对,警告称此举标志着零售业监控与刑事化进程的“危险升级”。

2026-07-10
互联网

In Emacs, Everything Looks Like a Service

Emacs 编辑器具备编排高于操作系统内核的应用程序和实用程序的能力 。其内置库涵盖了 URL、Socket(TCP/UDP)、SMTP 以及 SQLite,分别用于处理用户界面、通信和本地数据库功能 。Elisp 作为一种动态编程语言,允许用户在运行时进行高度即兴的编程和行为编排 。

2026-07-10
人工智能

AI-generated videos to maximally drive a target brain region

洛桑联邦理工学院(EPFL)开展了一项结合人工智能与神经科学的研究项目,旨在利用 AI 生成的视频最大化地驱动目标大脑区域 。该技术通过视觉刺激实现对脑部活动的精确调控 。

2026-07-10
人工智能

Ben Bernanke Joins Anthropic Oversight Trust

Anthropic公司宣布前美联储主席、2022年诺贝尔经济学奖得主本·伯南克加入其长期利益信托(LTBT)。该机构是一个独立组织,旨在监督Anthropic负责任地开发先进人工智能,确保技术发展长期造福人类 。伯南克的任职将为公司在评估AI对劳动力及全球经济影响方面提供关键的经济专业见解 。

2026-07-10
人工智能

Build your own vulnerability harness

Cloudflare分享了其Project Glasswing项目的最新进展,介绍了一种基于多模型协作的企业级漏洞发现与验证系统 。该系统通过解耦底层大模型架构,利用独立的发现引擎(VDH)和验证系统(VVS),并采用不同模型进行交叉验证以消除偏见,实现了对跨仓库依赖的自动化安全审计 。

2026-07-10
人工智能

‘A lot of red flags’: plans for New Zealand’s first datacentre spark concern as locals demand greater transparency

新加坡公司 Datagrid 在新西兰南部 Makarewa(因弗卡吉尔以北)获批建设该国首个人工智能数据中心 。该项目总投资额达 35 亿新西兰元,约合 20 亿美元 。该中心占地约 49 公顷,预计将于今年开始动工,并于 2028 年投入运营 。当地居民对项目可能带来的巨大电力与水资源消耗以及噪音污染表示担忧,并呼…

2026-07-10
创业公司

Show HN: I built a free app for New Yorkers to save money on groceries

一位开发者在 Hacker News 上发布了一款名为 Show HN 的免费应用程序,旨在帮助纽约居民通过自动堆叠优惠券、现金返还和返利来降低杂货支出。该应用目前仅覆盖纽约市约 690 家商店,且无需用户登录即可使用 。此外,该软件集成了基于训练过的 Llama 模型的 AI 购物助手功能 。开发者同时向社区提出一个…

2026-07-10
人工智能

Building a real-time AI tutor for 5-year-olds

作者团队历时一年开发了一款专为 4 至 9 岁儿童设计的实时人工智能辅导系统 。该系统涵盖阅读、数学及英语作为第二语言(ESL)等教学内容,旨在解决有效教学面临的技术挑战 。为应对这些挑战,团队构建了一套自定义的辅导框架,利用流式解释器执行动作并结合异步规划模型进行前瞻性推理 。此外,系统集成了无感知的安全审查机制以确…

2026-07-09
人工智能

GLM 5.2 is nearly as accurate as a human book keeper

开源大模型 GLM 5.2 在英国中小企业季度增值税(VAT)申报测试中的表现评估显示,该模型能以低于人类会计师 1% 的成本处理复杂的会计合规工作 。尽管存在少量非财务影响的分类错误,其生成的增值税申报表净额与真实值仅相差 7 便士(约 0.10 美元),近乎完美地完成了任务 。

2026-07-09
互联网

Interview with Mitchell Hashimoto about Ghostty and Zig

Hashicorp 联合创始人 Mitchell Hashimoto 近日接受 Hacker News 专访,详细介绍了其最新开源项目——终端模拟器 Ghostty 的开发背景与核心技术路线。作为 Vagrant、Terraform 等知名工具的创始人,Mitchell Hashimoto 目前正专注于 Ghostty…

2026-07-09
人工智能

GPT-5.6

OpenAI 最新一代人工智能模型被命名为"GPT-5.6"。该模型的发布动态及技术细节集中展示于指向其官方部署安全文档、开发者 API 指南以及 X (Twitter) 用户帖子的链接中 。

2026-07-09
人工智能

ChatGPT Work

OpenAI 发布了名为“ChatGPT Work”的新功能或更新,旨在帮助用户处理更具雄心的工作任务 。该消息源自 Hacker News 社区的讨论 。

2026-07-09
创业公司

Wildcard (YC W25) Is Hiring a Founding Engineer

由 Y Combinator(YC)W25 期孵化的初创公司 Wildcard 正在招募其第一位工程师 。该公司致力于构建面向电商和零售品牌的代理型商业优化平台,旨在帮助品牌在 AI 购物代理环境中提升可见性与转化率 。创始人 Kaushik Mahorker 拥有 Scale AI 背景,他表示该职位将深度参与产品与…

2026-07-09
人工智能

AI Content Is Everywhere on Social Media, Especially LinkedIn

研究公司 Pangram 发布了一份基于其 Chrome 扩展程序收集数据的新报告,分析了主要社交媒体平台上人工智能(AI)生成内容的普及情况 。该数据集涵盖了自 2026 年 4 月 24 日以来的超过 1,002,627 条帖子 。

2026-07-09
人工智能

Show HN: Reverse-engineering web apps into agent tools

开发者展示了一款基于浏览器的 AI 代理工具,该工具能够自动将 Web 应用的认证 API 端点、方法、认证方式及响应/输入模式转化为大型语言模型(LLM)可用的工具描述 。该技术旨在解决现代软件 API 复杂、安全标准不一以及传统计算机使用方式效率低下的问题,实现无需修改源代码即可让 AI 深度集成到各类产品中 。

2026-07-09
人工智能

Police detain 2 teens after a joy ride in a Waymo in Northern California

美国圣马特奥县(San Mateo)警方近日拘捕了两名涉嫌在无人驾驶汽车内违规行为的青少年。据《美联社》报道,这两名涉事者均为 15 岁 。他们在乘坐一辆由 Waymo 运营的自动驾驶车辆期间饮酒,并使用水弹枪向车内射击 。

2026-07-09
创业公司

Launch HN: Context.dev (YC S26) – API to get structured data from any website

Y Combinator第S26期孵化出的初创公司Context.dev正式发布了其核心产品——一款旨在帮助开发者从任意网站轻松获取结构化数据的API接口 。该服务允许用户通过发送URL,直接获得包括Markdown、HTML格式内容或网页截图在内的多种形式的数据输出 。此外,平台还支持提取特定元数据,并提供了基于JS…

2026-07-09
人工智能

Hy3

腾讯近日发布了其最新的多模态大模型 Hy3,并公开了相关的研究页面 。该消息在 Hacker News 社区引发了关注,目前已有 28 个点赞和 12 条评论 。

2026-07-09
互联网

Opinionated and Easy Pi.dev Configuration

开发者 Mario Zechner(即 Pi 的创建者)推出了名为 LazyPi 的新工具,旨在简化其开发的 Pi 编程代理的配置流程 。该自动化工具允许用户仅通过一条命令即可完成安装和设置 。LazyPi 能够一次性部署超过 60 个社区精选技能、67 种主题以及记忆功能等核心特性 。此外,该工具还集成了对 MCP(…

2026-07-09
互联网

Stop Using reCAPTCHA – It's Not a Real Captcha

文章指出,reCAPTCHA 并非真正的验证码(Captcha),并建议停止使用该系统 。这一观点源自 Hacker News 社区的一篇讨论,其标题直接呼吁用户放弃对 reCAPTCHA 的依赖 。

2026-07-09
创业公司

Show HN: LastShelf – an emergency map of your family's documents bills& contacts

一位开发者在父亲确诊癌症后,面对家庭医疗与财务管理的混乱局面,开发了一款名为 LastShelf 的紧急文档地图工具 。该产品旨在自动发现、记录并分发关键的生活文件、账单及联系人信息 。目前该项目正在 Hacker News (Show HN) 平台上展示 。为收集用户反馈,项目方提供首年免费服务作为激励措施 。

2026-07-09
人工智能

晚点独家丨特斯拉三代 Optimus 初步定型,马斯克给供应链定下量产红线

6 月底,埃隆·马斯克评审通过了第三代 Tesla Optimus(Optimus Gen 3)人形机器人项目 。该项目虽经历多次延期且硬件设计仍在迭代优化中,但目前已初步定型并进入具体订单阶段 。针对供应商产能建设,马斯克下达了明确指令:要求供应链在 9 月将周产量提升至 1000 台,并在年底前达到每周生产 200…

2026-07-09
人工智能

Ways to think about token pricing

当前人工智能基础模型行业正面临严重的 Token 供应短缺,但这一供需失衡局面预计将在未来几年内随着市场出清而达到新的平衡 。在供给侧,数万亿美元的数据中心资本支出正在持续涌入,同时推理效率也在快速提升,不同新模型之间的 Token 使用效率存在巨大差异 。需求侧的产能紧张目前主要由软件开发领域单一用例的产品 - 市场…

2026-07-09
互联网

TLS certificates for internal services done right

文章探讨了为内部服务配置TLS证书的两种方案,并对比了使用私有顶级域名配合自签名证书与使用公共域名配合Split-Horizon DNS的优劣 。作者推荐后者,即通过结合VPN、WAF和ACME协议实现自动化证书管理,从而避免客户端信任问题并保障安全 。

2026-07-09
人工智能

Why we're moving off Cloudflare Durable Objects

AI 代理上下文容器平台 Wire 近日宣布决定从 Cloudflare Durable Objects (DO) 迁移至其自主研发的运行时架构。尽管该平台将继续使用 Cloudflare 的其他服务,但受限于 DO 存在的结构性瓶颈——包括向量索引分离导致的额外网络跳数、计算与数据存储位置不匹配、部署节点在创建时即被…

2026-07-09
互联网

Show HN: Analog Watch

在 Hacker News 论坛上,一位用户发布了一篇标题为“Show HN: Analog Watch”的帖子 。该文章介绍了名为 Analog Watch 的目标项目及其官方网站 https://analog.watch。此外,文中还提供了该项目评论页面的链接供读者访问 。

2026-07-09
互联网

YouTube defends video that falsely claims Sydney massacre survivor is ‘crisis actor’

在澳大利亚政府就反犹太主义蔓延问题举行的听证会上,谷歌高管 Rachel Lord 作证称,一段错误声称悉尼大屠杀幸存者 Arsen Ostrovsky 是“危机演员”的视频符合平台标准并将继续保留 。该视频由四名男子制作,指控 Ostrovsky 为情报资产并宣称大屠杀系“假旗行动”,同时提及他拥有戏剧学位等细节以支…

2026-07-09
互联网

PostHog Open Sourced

PostHog 宣布将其打造为一款全栈、开源的产品构建平台。该平台集成了产品分析、网络分析、会话回放、功能标志(Feature Flags)、实验测试及错误追踪等多种工具 。此外,其功能列表还涵盖了调查表(Surveys)、数据仓库(Data warehouse)、数据管道(Data pipelines)、AI 可观测…

2026-07-09
数码硬件

Rescue mission launches to save NASA telescope that’s falling back to Earth

美国国家航空航天局(NASA)已向 Katalyst Space Technologies 支付 3000 万美元,委托其发射 Link 航天器以捕获并拯救因太阳风暴导致轨道衰减、面临坠毁风险的 NASA Swift 天文台 。该望远镜当前运行高度为 224 英里(约 360 公里)。此次任务计划将 Swift 的轨道…

2026-07-09
互联网

Transparency efforts behind the Helium Browser

Helium 浏览器项目在透明度、隐私保护及用户同意机制方面做出了核心努力,旨在构建安全且尊重用户隐私的互联网浏览环境 。该项目通过公开所有源代码及远程组件并采用 copyleft 许可证发布来确保开放性 。其构建过程保持完全透明,直接从公共仓库进行编译且不包含任何专有二进制文件 。

2026-07-09
人工智能

Introducing Muse Spark 1.1

Meta Superintelligence Labs 今日发布了最新的多模态推理模型 Muse Spark 1.1,该模型专为代理任务设计 。Muse Spark 1.1 在工具使用、计算机操作、编码以及多模态理解方面均实现了显著提升 。新发布的模型拥有 100 万 tokens 的上下文窗口 。

2026-07-09
互联网

Meta plans billions for first AI data center in Canada, largest outside the US

社交媒体巨头 Meta 宣布将在加拿大阿尔伯塔省的斯特奇恩县(Sturgeon County)投资建设其在美国境外规模最大的人工智能数据中心 。该项目总投资额超过 91 亿美元 。作为该项目的配套基础设施,还将投入约 4200 万美元用于相关建设 。

2026-07-09
互联网

Is It Safe to Host HTML That Runs Its Own JavaScript?

ShareMyPage 平台在托管用户上传的包含 JavaScript 的 HTML 代码时,不依赖传统的代码清洗技术,而是基于“所有页面均为恶意”的原则构建防御架构 。该平台利用无源沙箱 iframe 和独立的无 Cookie 域名来隔离执行环境,确保即使发生沙箱逃逸,攻击者也无法窃取用户会话或注入恶意内容 。

2026-07-09
人工智能

A new way to reflect on how you use Claude

Anthropic推出了名为“反思”(Reflect)的Beta版新功能,旨在帮助用户追踪、可视化并优化其使用人工智能的模式 。该工具通过仪表盘展示过去 1 至 12 个月的使用数据,包括高频任务及协作维度,并提供关于如何更有效地与 AI 互动的建议 。

2026-07-09
半导体

Reverse-engineering Nvidia's CUDA-checkpoint for faster cold starts

研究人员对 NVIDIA 闭源驱动中的 cuda-checkpoint 功能进行了深入分析,揭示了其冻结和恢复 CUDA 进程状态的内部机制 。该功能通过将 GPU 状态序列化至主机内存来保存运行中进程的上下文,并在需要时完全重建以恢复执行 。逆向工程发现,checkpoint(检查点)与 restore(还原)操作的…

2026-07-09
数码硬件

This air conditioning strategy is the sweet spot for saving energy and money, experts say

多位专家指出,将恒温器调高几度是在保证舒适度同时实现能源效率最大化的理想策略 。美国能源部数据显示,每天在离家期间调整温度设定值 7-10 华氏度(约 4-6 摄氏度)持续 8 小时,可节省高达 10% 的年度冷暖费用 。Patrick Phelan 补充称,仅将调高恒温器 1 华氏度(约 0.6 摄氏度),即可节约大…

2026-07-09
人工智能

Show HN: FableCut – A browser video editor AI agents can drive (zero deps)

一款名为 FableCut 的零依赖浏览器端非线性视频编辑器已在 Hacker News 发布,其核心特性是允许 AI Agent(如 Claude Code)通过 MCP 或 REST API 直接驱动剪辑操作 。该项目将完整的时间线暴露为 JSON 文档接口,支持人类与 AI 协同编辑时间轴 。在功能方面,Fabl…

2026-07-09
人工智能

Files over tools: how we built our agent with a virtual filesystem and bash

Knock 公司于 2026 年 3 月发布了 Knock Agent,这是一款用于管理客户消息资源的 AI 智能体 。该产品的核心架构创新在于摒弃了传统的“工具 - 类型”映射模式,转而采用基于虚拟文件系统和 Bash 脚本的机制,使智能体能够通过文件系统发现上下文并执行操作 。

2026-07-09
人工智能

AI builders outnumber AI governance hires 7:1 in Europe

Axipro 对八个欧盟国家发布的 3,519 个与人工智能相关的职位进行了分析,结果显示招聘比例中每雇佣一名 AI 治理人员,就有近七人用于构建 AI。此次调查覆盖了比利时、法国、德国、爱尔兰、意大利、荷兰、西班牙和瑞典 。在各国具体数据方面,瑞典的差距最大,比例为 16:1;其次是法国的 11:1;而爱尔兰的比例最…

2026-07-09
互联网

Just Pay the Subscription

文章探讨了移动应用程序采用订阅制商业模式的合理性,认为这是保障独立开发者持续维护软件并为用户提供价值的最佳方式 。作者指出,对于需要云端服务和持续更新的应用,一次性买断已不现实且对双方均不利 。为此,呼吁用户停止抱怨并直接付费支持喜欢的应用 。

2026-07-09
数码硬件

Indonesian farmer goes viral using a drone as transportation

一名印度尼西亚农民因一段使用无人机作为交通工具的视频在网络上走红 。视频记录了该男子驾驶载具飞越爪哇岛上空的过程,并最终安全抵达目的地 。这一事件展示了无人机技术在非传统应用场景下的实际运用 。

2026-07-09
互联网

A Road to Lisp: Why Lisp

文章探讨了 Lisp 编程语言的独特优势,指出尽管其未能成为主流通用语言,但其在 Emacs、AutoCAD 等复杂系统中仍具有不可替代的价值 。这种地位源于 Lisp 赋予程序员定义新语法和构建领域特定语言(DSL)的能力 。Paul Graham 提出的 Blub 悖论解释了为何习惯其他语言的程序员难以理解 Lis…

2026-07-09
人工智能

Show HN: Arcaide – Explore code with multi-level call graphs

开发者在 Hacker News 上介绍了一款名为 Arcaide 的新工具,旨在解决传统调用图在面对大型代码库时存在的架构上下文丢失和规模膨胀问题。该工具通过构建“多级别”调用图,将控制流分析从函数级扩展至类、包等高层单元 。Arcaide 利用大语言模型(LLM)进行语义分析,以检测遥测数据并识别外部依赖关系 。最…

2026-07-09
互联网

Show HN: 18 Words

在 Hacker News 平台上,一款名为"18 Words"的在线文字挑战游戏已正式上线 。用户可直接通过网页访问并体验该游戏 。该平台提供了揭示字母、暂停及重新开始等核心功能 。此外,玩家还可以在游戏中分享自己的分数 。

2026-07-09
互联网

Show HN: 92% of US city websites fail Ada accessibility

AccessLumens Research于近日发布了一份关于美国地方政府网站无障碍状态的报告,指出在《美国残疾人法》(ADA)Title II条款规定的截止日期——即服务5万人口以上的州和地方政府需符合WCAG 2.1 Level AA标准的2026年4月24日之后,仍有大量城市网站存在合规问题 。该研究扫描了包括2…

2026-07-09
人工智能

How Version Control Will Evolve for the Agent Boom

在人工智能(AI)智能体成为主要代码生产者的背景下,传统的 Git 版本控制系统正面临如何演进的挑战。文章指出,会话日志——包含提示词、工具调用及决策过程的内容——现已成为软件开发中最重要的工件,必须与代码一同存储在仓库中以保留开发意图并提高准确性 。

2026-07-09
创业公司

TrueBiz (YC S22) – Senior Software Engineer – Remote (US) – Full-Time

Y Combinator(YC)S22 孵化期的初创公司 TrueBiz 正在招聘一名远程工作的高级软件工程师 。该公司旨在通过该职位扩充其技术团队并丰富产品功能 。TrueBiz 开发了一款用于验证商业实体真实性及风险的 API,目前已与 Visa、Mercury 等合作伙伴建立了合作关系,处理大量的支付和入驻流程请…

2026-07-09
互联网

My Thoughts on the Bun Rust Rewrite

Zig 软件基金会(ZSF)成员发表文章,回顾并批评了开源项目 Bun 在被 Anthropic 收购后从 Zig 语言转向 Rust 重写的全过程 。作者指出,Bun 团队在开发期间存在“糟糕的管理”、“不切实际的期望”以及缺乏同理心等问题 。

2026-07-09
互联网

Why developers are ditching GitHub for Codeberg and self-hosting alternatives

尽管 GitHub 的用户数量和代码库规模持续增长,但部分知名开源项目已开始迁移至 Codeberg 等替代平台或采用自托管模式 。这一趋势主要源于用户对 GitHub 频繁宕机、AI 功能强制整合以及公司政治立场的不满 。目前市场上存在 GitLab、Bitbucket 等多种替代方案,反映了开发者对代码托管服务多样…

2026-07-09
人工智能

碰一下升级,蚂蚁 Agent 商业系统浮出水面

7月8日,支付宝宣布“碰一下”完成AI功能升级并正式开放其智能体网络 。此次升级旨在打通线下交易闭环,构建由线上入口、物理触点及全栈AI支付体系组成的Agent商业系统 。目前,“碰一下”已连接4亿用户与超3000万个线下AI触点,覆盖千余家品牌商户 。

2026-07-09
人工智能

Benchmarking coding agents on Databricks' multi-million line codebase

Databricks 在其拥有数百万行代码的庞大库上进行了内部基准测试,旨在评估不同人工智能(AI)编码代理在真实工程任务中的表现及成本效益 。研究结果表明,单纯依据 Token 成本进行决策具有误导性,必须通过任务级基准测试来优化模型选择策略 。

2026-07-08
人工智能

Separating signal from noise in coding evaluations

OpenAI 发布了一份详细审计报告,指出广泛使用的编程基准测试 SWE-Bench Pro 存在显著问题 。该报告揭示约 30% 的测试任务存在问题,导致无法准确反映模型的真实能力 。主要缺陷类别包括测试标准过于严格、提示词定义不清以及误导性提示等 。此外,审计还发现部分任务的测试覆盖率较低 。

2026-07-08
互联网

Cloudflare Drop

Cloudflare 推出了名为“云盾”(Drop)的新产品,旨在帮助开发者在本地环境中更便捷地测试和集成其服务。该工具通过提供模拟环境及命令行界面(CLI)支持,降低了使用 Workers、R2 和 KV 等服务的门槛并提升了工作效率 。该产品发布后在社区平台上获得了广泛关注,相关讨论帖在 Hacker News 上…

2026-07-08
人工智能

Grok 4.5

SpaceX AI 今日正式推出了其最新且性能最强的语言模型 Grok 4.5 。该模型专为编码、智能体(agentic)任务及知识工作场景进行了优化设计 。在代码生成和复杂工程任务方面,Grok 4.5 展现了卓越的表现能力 。

2026-07-08
人工智能

Show HN: Microsoft releases Flint, a visualization language for AI agents

为解决人工智能智能体在生成数据图表时可靠性不足的问题,微软发布了名为 Flint 的开源可视化中间语言 。该工具通过提供基于语义类型的高级规范及布局优化引擎,使 AI 能够自动生成高质量且易于理解的图表 。Flint 目前已集成至 Data Formulator 项目,并提供 MCP 服务器接口供开发者直接接入各类智能…

2026-07-08
人工智能

Australia dock workers call for 28-hour week in AI talks

随着人工智能和自动化技术在澳大利亚港口物流领域的扩展,当地码头工人工会向全球最大港口运营商之一 DP World 提出倡议,要求实施每周 28 小时的工作制且薪资保持不变 。该诉求针对的是正在测试利用 AI 工具管理员工和工作日程的 DP World。此外,该公司还计划使用 AI 辅助远程起重机和无人驾驶车辆等自动化项…

2026-07-08
互联网

硅谷大佬的青春期圣经和科幻底色

文章分析指出,以埃隆·马斯克、杰夫·贝佐斯等为代表的硅谷科技领袖,其商业理念与行为模式深受青春期阅读的科幻作品及宗教经典影响 。不同领袖的精神底色存在显著差异:埃隆·马斯克受《银河系漫游指南》及其宗教背景熏陶,将火星移民视为现代版“诺亚方舟”,旨在拯救人类文明 。彼得·蒂尔推崇《圣经》与 J.R.R.托尔金的《指环王》…

2026-07-05