开源

Skills for Real Engineers 是一个由 matt pocock 开发的 Shell 脚本集合，旨在为工程师提供实用的自动化工具。该项目拥有广泛的应用场景，可以显著提高开发效率。

GitHub 上有人把 TypeSafe 创始人 Diogo Almeida 的那份《Jev 工程学》设计笔记做了完整中文翻译，连原结构带七张插图一起保留。翻译者自称与 TypeSafe 无隶属关系，是独立汇编。对国内开发者来说，这大概是第一次能无障碍读 Jev 那套"为 coding agent 而作"的完整蓝图。 整份笔记从一个问题开场：如果语言模型没有 KV c...

2026 上海开源软件应用创新大赛正火热报名中。近日，中国商飞为本次大赛的「AI+工业软件赛道」出了两道硬核赛题。 中国商飞全称中国商用飞机有限责任公司，2008 年 5 月在上海成立，是国家大型飞机重大专项中大型客机项目的实施主体，著名的 C919 大型客机就来自中国商飞。C919 大型客机 2023 年 5 月完成首次商业飞行，...

NativeScript 是一个强大的跨平台移动应用开发框架，支持多种前端技术栈和后端平台，提供了丰富的功能和高度的灵活性，使开发者能够使用自己熟悉的技术和工具快速构建高质量的移动应用。

Cloudflare 把 Python Workers 标记为正式可用（GA）。这事从两年前说要做到现在，终于落定——Python 从此是 Cloudflare 开发者平台上的头等语言，能接 Workers AI、R2、D1、Hyperdrive、Durable Objects、Queues、Workflows 全套绑定，还能直接跑 FastAPI、Django、Flask 这些框架。 技术上走的...

AMD 的市值周一短暂突破了 1 万亿美元——对芯片设计公司来说，挤进这个俱乐部的屈指可数。但媒体对它评价仍是“永远处于劣势的一方”（perpetual underdog），因为在 AMD 头顶还压着英伟达这座近 5.5 万亿美元的市值高山，它只是把老对手英特尔（6400 亿）甩在了身后。 涨上去最直白的原因是搭上了 AI 这班车。AMD 入局...

ModStart 是一个基于 Laravel 模块化极速开发框架。模块市场拥有丰富的功能应用，支持后台一键快速安装，让开发者能快的实现业务功能开发。 系统完全开源，基于 Apache 2.0 开源协议，免费且不限制商业使用。 功能特性 丰富的模块市场，后台一键快速安装 会员模块通用且完整，支持完整的API调用 大文件分片上传，进度条显...

IceCubesApp是一个SwiftUI驱动的Mastodon客户端，具备多平台支持和丰富的功能，为iOS、macOS、iPadOS和visionOS提供无缝体验。

X-AnyLabeling 是一款轻量高效、跨平台的统一数据标注桌面应用，支持文本、图像、视频及多模态数据标注。它内置 SAM、YOLO、GroundingDINO、CLIP 等前沿 AI 模型，提供自动标注、旋转框检测、实例分割、姿态估计、OCR、点云标注等能力，并支持多格式灵活导出，已成为计算机视觉领域备受关注的开源标注工具。

Recommenders 是一个由 Linux Foundation of AI and Data 主导的开源项目，提供了丰富的推荐系统实战案例和最佳实践，涵盖数据准备、模型构建、评估、优化和生产部署等全流程。

SpaceXAI（改名的 xAI）发布了 Grok 4.7，官方口径是"最擅长编码和知识工作的模型"——比同级模型快两倍、便宜一半。这句话与其说是技术宣言，不如说是价格战的开场白：它和 Grok 4.6 同价同步，直接对标的就是 Claude 那几家。 论据藏在榜单里。CursorBench 4.0 是专门压长时编码任务的基准，Grok 4.7 官方给的宣传数据...

Vaultwarden是一个用Rust语言编写的Bitwarden兼容服务器，旨在为需要自托管服务的用户提供一种轻量、高效的选择，同时支持Docker部署。