Project NOMAD is a free, open-source offline server that allows users to download and access Wikipedia, educational guides, and medical references without an internet connection. It enables the installation of local AI and large language models (LLMs) on any computer, providing a cost-effective alternative to similar products that typically charge hundreds of dollars.

OpenCode is an open source AI coding agent that assists users in writing code within their terminal, IDE, or desktop environment. It supports free models and allows connection to various models from providers like Claude, GPT, and Gemini, while featuring LSP support and multi-session capabilities for parallel agent operation on the same project.

A pull request by tornikeo aims to translate the README of the gstack repository from LinkedIn jargon to plain English. The change is intended to enhance accessibility and understanding for users unfamiliar with the original terminology.

Sashiko is an open-source agentic AI code review system for the Linux kernel developed by Google engineers. It will continue to perform upstream Linux kernel code reviews with ongoing funding from Google.

Leanstral is an open-source code agent designed for Lean 4, aimed at enhancing trust in vibe-coding. It addresses the challenges of human review in high-stakes code generation by facilitating faster engineering processes.

Posted by microflash. Score: 549 points. Comments: 199.

Redox OS provides a comprehensive guide for contributors, outlining the code of conduct, contribution terms, and best practices. It includes resources for development, such as style guidelines, build system instructions, and information on skill levels and priorities for contributions.

Anthropic's Frontier Red Team utilized an AI-assisted vulnerability-detection method to identify over a dozen verifiable security bugs in Firefox. Mozilla engineers have validated these findings with reproducible tests.

MinIO's open-source repository has been archived and is no longer maintained. A fork of MinIO has been created, restoring the admin console and fixing a CVE, allowing users to switch from minio/minio to pgsty/minio while keeping all other configurations the same.

Alibaba released the Qwen3.5 Medium Model series, which includes four large language models (LLMs) that support agentic tool calling. Three of these models, Qwen3.5-35B-A3B, Qwen3.5-122B-A10B, and Qwen3.5-27B, are available for commercial use under the Apache 2.0 license and can be downloaded from Hugging Face and ModelScope.