开源Mac清理工具「小扫帚」发布：卸载应用连残留一起删，免费无广告不联网
开发者近日在V2EX发布Mac清理工具「小扫帚」（英文名Broomy）1.0版本，代码已在GitHu...
loy的文章
600KB 单文件开源工具：把 SSH 服务器挂载成 Windows 盘符
开发者因常用的 SSHFS-Win Manager 在 Windows 11 24H2 上无法连接（...
MiniMax 开源新模型 M3.1 Flash：428B 总参数、23B 激活，权重已上线 HuggingFace
MiniMax 新一代模型 M3.1 Flash 的权重已上传至 HuggingFace 平台，托管...
Anthropic 用 Claude 实现大规模形式化验证：1.8亿行证明覆盖123个开源库
Anthropic 与形式化验证公司 Theorem 合作，利用 Claude 对 123 个真实开...
Anthropic 灰度测试新订阅额度：周限额降 20%，五小时限额升 19%
据 Linux.do 社区消息，Anthropic 正在对订阅额度进行灰度测试，部分用户的额度结构出...
开源工具CATT发布：让AI Agent与服务集成测试可在CI中复现
开发者近日在Hacker News开源了消费级Agent测试工具CATT（Consumer Agen...
X推15X统一订阅60美元/月引热议：退订Claude转投Grok值不值？
X平台推出全新的15X统一订阅套餐，定价每月60美元，并在半年期内提供40%的优惠折扣。该套餐整合了...
告别验证码：工作量证明让WordPress实现100%垃圾机器人拦截
一位企业吹哨人举报平台的创始人为满足欧盟数据隐私法要求，寻求一种无Cookie、不嗅探用户、轻量级、...
高中生从零手写10万行代码，打造3D开放世界游戏Hedra
Hacker News用户maxilevi近日分享了自己在高中时期从零开始编写的3D开放世界游戏He...
ZFS文件系统互动博物馆上线：动画图解内部机制，AI智能体集群打造
一位长期深耕存储领域的工程师近日发布Uberblok，一个以互动方式展示ZFS文件系统内部机制的在线...
微软攻克31年数学难题：AI智能体协助证明KLS猜想
微软研究人员宣布解决存在31年之久的Kannan-Lovász-Simonovits（KLS）猜想，...
Crystal 1.22.0 发布：原生事件循环全面落地，aarch64-linux 晋升一级平台
开源编程语言 Crystal 正式发布 1.22.0 版本，包含自 1.21.1 以来的 251 项...