pxpipe: 通过将文本渲染为图像来减少 LLM 输入 Token
pxpipe 是一个本地代理,通过将系统提示词和工具文档等密集文本上下文转换为紧凑的 PNG 图像,将 Claude Code 的输入 Token 使用量减少了 59-70%。
Valve 开源 Steam Machine 电子墨水显示屏 “Inkterface”
Valve 已开源 Steam Machine 可选电子墨水显示屏(即 “Inkterface”)的硬件和软件规格,允许用户自行构建自定义前面板。
半成品产品:初创公司失败案例研究
Ovens Inc. 的一个警示案例说明了销售、工程与创始人愿景之间的脱节如何导致技术债和产品失败。
WorldGen:一种快速的文本到 3D 场景生成器,用于创建沉浸式 360° 环境
WorldGen 是一款工具,能够在几秒钟内从文本提示或图像生成沉浸式 3D 场景,支持 Gaussian Splatting 和网格两种输出,适用于 VR、游戏和仿真。
SearXNG: 面向用户和 AI Agent 的隐私保护元搜索引擎
SearXNG 是一款免费、开源的元搜索引擎,它聚合了来自多个搜索服务的搜索结果,且不会追踪或对用户进行画像分析,这使其成为注重隐私的个人以及本地 AI agent 工具调用的热门选择。
对欧洲议会的间谍活动:PEGA 委员会成员遭 Pegasus 植入攻击
前 MEP Stelios Kouloglou 在担任调查间谍软件滥用行为的委员会成员期间,多次感染了 NSO Group 的 Pegasus 间谍软件,这可能导致欧盟议会的机密会议程序被泄露。
claude-scientific-writer:一个用于生成可发表的科学论文和经验证引用的资助提案的深度研究与写作工具
一个深度研究与写作工具,能够生成可发表的科学论文、资助提案和临床报告,并通过实时文献检索和经验证的引用提供支持。
超越提示-响应循环:基于 LLM 的编程新范式
开发者正在尝试使用自主式框架、规格说明驱动的工作流以及“驾驶员-领航员”模式,以克服传统 LLM 聊天界面固有的心流中断问题。
GLM5.2 在 AMD MI355X 上的性能表现:以更低成本实现高吞吐量
Wafer 证明了 AMD MI355X 可以为 GLM5.2 提供 2626 tok/s/node 的服务能力,在保持竞争力的性能的同时,其成本比 NVIDIA Blackwell GPU 低 2 倍以上。
PostgreSQL 与 OOM Killer:为什么严格的内存超量分配(Strict Memory Overcommit)至关重要
Ubicloud 解释了为什么使用严格的内存超量分配 (vm.overcommit_memory=2) 可以通过将系统范围的 OOM killer 终止转化为优雅的、针对单个连接的分配失败,从而防止灾难性的 PostgreSQL 中断。
Wordgard: 来自 ProseMirror 作者的新型语义富文本编辑器
Wordgard 是一个开源 JavaScript 库,用于构建高度可定制、基于 schema 的富文本编辑器,重点在于多功能编程接口和函数式设计。
AI 与机器人综述:代理工作流、本地大语言模型与类人机器人市场
近期发展凸显了向自主代理群体的转变,高性能本地大语言模型(如 GLM-5.2)的崛起,以及预计到 2050 年类人机器人市场将达到 7.5 万亿美元。
可视化地球最深的洞穴:来自 xkcd 3266 的洞见
xkcd 第3266幅漫画提供了对全球最深洞穴的对比可视化,突出显示了如贝加尔湖沉积层和最深金矿等极端深度。
新世界螺虫的回归:根除历史与当前疫情
新世界螺虫在巴拿马无菌昆虫屏障崩溃后,向北穿越中美洲重新进入美国,标志着数十年未见的再度入侵。
揭开制造业的神秘面纱:为何工厂只是房间
对制造业可及性的技术探讨,论证将工厂视为‘只是房间’的框架能够鼓励下一代设计师和工程师从消费转向创造。
结束 AI 信心秀:从炒作走向实际影响
Elena Verna 认为,“AI 信心秀”——为社交和职业利益而展示 AI 掌握的表演——制造了一个虚假的生产力基准,打击了真实用户的积极性,并侵蚀了对技术的信任。
国际棋联对GM弗拉基米尔·克拉姆尼克实施伦理违规制裁
国际棋联伦理与纪律委员会对前世界冠军弗拉基米尔·克拉姆尼克实施了一年活跃禁赛并要求其进行社区服务,原因是其网络欺凌以及对其他棋手进行无依据的公开作弊指控。
阿里巴巴因涉嫌后门和安全风险禁用 Claude Code
阿里巴巴因担忧所谓后门以及专有数据泄露给美国 AI 提供商的风险,禁止在工作场所使用 Claude Code。
本地智能权利运动:保护个人设备上的开放 AI
本地智能权利运动为在个人设备上运行开放 AI 模型争取法律保护,主张现有法律已足以遏制滥用,而许可证制度将威胁个人计算自主权。
美国商务部指令 DAO 216-26 与差分隐私禁令
美国商务部长发布了 DAO 216-26 指令,禁止在人口普查和 BEA 数据中使用差分隐私及其他现代噪声注入技术,导致数据效用和受访者保密性面临风险。
当且仅当 P != NP 时,市场才是竞争性的
一篇新的研究论文认为,市场竞争性和信息效率是互斥的,算法串通的出现是由计算能力的增强所驱动的。
为什么瑞士提供 25 Gbps 住宅光纤,而美国却落后
瑞士能够实现 25 Gbps 对称光纤是因为监管机构强制开放接入、点对点的基础设施,而美国和德国则依赖自然垄断的 incumbent,限制竞争并推高价格。
CarPlay 与车载信息娱乐控制权的争夺战
关于 Apple CarPlay 和 Android Auto 的争论凸显了用户对一致、基于手机的界面的需求,与汽车制造商对控制软件生态系统以获取数据和订阅收入的渴望之间的根本冲突。
Bramble 本地优先密码管理器:开源 P2P 同步,基于 Nostr
Bramble 是一款开源密码管理器,将数据本地存储,并通过由 Nostr 中继协调的点对点 WebRTC 层在设备间同步,消除云端托管的保险库副本。
Meta AI 重组与智能体开发(Agentic Development)的失败
Mark Zuckerberg 承认 Meta 近期的重组和对 AI 智能体开发的押注并未如预期般加速进度,凸显了公司在 AI 自动化方法上的战略错位。
为什么 AI 传道者在 LinkedIn 上泛滥低价值帖子
AI 传道者通过重复的、充满炒作的内容主导 LinkedIn 动态,这些内容几乎没有价值,这种现象受到自我宣传、自动发布工具和平台奖励机制的驱动。
crustc 将整个 rustc 编译器翻译成 C
crustc 是一个概念验证项目,它把完整的 rustc 1.98.0‑nightly 源码转换为 4600 万行 C 代码,生成一个可用的 Rust 编译器,并且可以使用 GCC 和 make 构建。
美国劳动力参与率跌至除 COVID 时代外的 50 年低点
美国劳动力参与率已降至除 COVID-19 大流行外的 50 年最低水平,反映出提前退休、AI 驱动的招聘摩擦以及系统性经济失望的复杂交织。
高质量软件的 Short Leash AI 编码方法
Short Leash 方法是一种针对专家级开发者的严谨的 AI 辅助编码方法,它优先考虑人类监督、手动 diff 分析和双层审查,以在安全关键型系统中维持软件质量。
西班牙将 Palantir Technologies 列入公共和私营部门合同黑名单
西班牙政府已指示国有实体将 Palantir Technologies 列入黑名单,原因是国家安全顾虑以及与美国新政府的地缘政治紧张。
zkGolf:形式化验证零知识电路的竞争性优化
zkGolf 是一项比赛,挑战参与者使用 Lean 编写成本最低(分配和约束最少)的形式化验证零知识电路,并通过 API 让自动化代理参与竞争。
Podman v6.0.0 发布说明
Podman v6.0.0 引入了使用 Netavark 和 Pasta 的现代化网络,扩展了 Quadlet 功能,并增强了 Podman Machine 的多提供商支持。
EFF 与盟友呼吁 FTC 拒绝 X Corp. 申请豁免 2022 年隐私同意令
电子前沿基金会 (EFF) 与合作伙伴团体敦促 FTC 拒绝 X Corp. 申请豁免 2022 年强制执行持续隐私合规的同意令,理由是更名和领导层更替并不能消除该公司历史性的数据滥用义务。
Linux 内核回归:挂起时未擦除 LUKS 加密密钥
Linux 6.9(2024 年 5 月)引入的回归导致 LUKS 磁盘加密密钥在 suspend‑to‑RAM 期间仍保留在内存中,使其易受冷启动攻击。
蛋业价格操纵与企业不当行为的代价
蛋业被指控进行价格操纵和基准操纵,企业所缴纳的罚款远低于非法活动带来的利润。
sem:一种语义化版本控制工具,能够在实体层面(而非行)跟踪代码更改
基于 Git 的语义化版本控制工具,能够在实体层面(函数、类、方法)而非文本行跟踪更改。
Safari Technology Preview 247: 引入 Safari MCP Server
Apple 为 Safari Technology Preview 247 引入了 Model Context Protocol (MCP) server,允许 AI agent 直接检查 DOM、网络请求和控制台日志,从而实现 Web 调试自动化。
EXAPUNKS:Zachtronics 出品的编程解谜游戏
EXAPUNKS 是 Zachtronics 的解谜游戏,玩家为执行代理(EXAs)编写低层代码以入侵网络,采用模拟 1990 年代黑客文化的美学。
FreeGraphPaper.net:基于浏览器的矢量 PDF 方格纸生成器
FreeGraphPaper.net 是一个免费、无需登录的工具,可在广泛的 ISO 与美制纸张尺寸上生成比例真实的矢量 PDF 方格、点阵、等距和六边形网格。
Mail Memories 桌面应用 – 本地拯救 Gmail 照片附件
Mail Memories 是一款一次性 $29 的桌面工具,能够在本地扫描 Gmail 账户,提取所有照片附件,并将其保存到用户电脑上,整个过程不使用任何云服务。
Vite+ Beta 发行版:统一的 Web 开发工具链
Vite+ Beta 引入了一个统一的工具链,将运行时、包管理器以及 Vite、Vitest、Rolldown 等核心前端工具整合为单一、统一的工作流。
agent-scripts:跨本地工作区的共享代理指令和可移植工作流技能的集中中心
一个用于在本地工作区之间管理共享 AI 代理指令、可复用技能和可移植辅助脚本的集中式仓库。
page-agent:一种客户端 GUI 代理,可通过基于文本的 DOM 操作实现对网页界面的自然语言控制
一个 JavaScript 库,通过基于文本的 DOM 操作实现对网页界面的自然语言控制,使开发者能够将 AI 副驾驶直接嵌入网页中。
ai-website-cloner-template:使用 AI 编码代理将网站逆向工程为 Next.js 代码库的可复用模板
使用 AI 编码代理将网站逆向工程为 Next.js 代码库的可复用模板,实现设计提取和组件重建的自动化。
PeerTube:去中心化且联邦化的视频平台
PeerTube 是一个开源、联邦化的视频平台,利用 P2P 共享来降低服务器负载,然而在创作者变现和大规模采纳方面面临重大挑战。
Immich 3.0 发行说明 / 新功能
Immich v3.0.0 引入了非破坏性移动端编辑、自动化工作流构建器预览、实时视频转码,以及对 Android 和 iOS 后台备份的显著改进。
英飞凌在德累斯顿开设智能功率工厂,提升欧盟技术自主性
英飞凌在德国德累斯顿开设了一座价值五十亿欧元的微芯片工厂,旨在降低欧洲对亚洲和美国在功率管理及 AI 基础设施方面的半导体依赖。
Slopo:使用嵌入模型检测非精确代码重复
Slopo 是一款 CLI 工具,利用嵌入模型在不同模块和文件之间识别非精确代码重复,优先检测传统复制粘贴检测器常漏掉的相似代码。
Inkwell:针对电子墨水设备优化的自托管 RSS 阅读器
Inkwell 是一款自托管的 RSS/Atom 阅读器,通过预渲染文章为静态 HTML,优化了 Kindle 电子阅读器的加载和渲染性能。
ISAT_with_segment_anything: 基于 Segment Anything 的交互式半自动图像分割标注工具
一种交互式半自动图像分割标注工具,使用 Segment Anything Model (SAM) 来加速标注数据集的创建。