Loading…
Topic
Open Source
561 posts about Open Source. Every summary links to the original.
- 561 posts
- 36 companies
The Good Stuff
Paid picks we use ourselves. Links carry a referral code — a subscription through one earns us a commission at no extra cost to you.
Newest first
Posts
amazon.science
EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
AWS has introduced M9g and M9gd EC2 instances powered by Graviton5 CPUs, featuring the formally verified Nitro Isolation Engine to enforce virtual machine isolation. To prove the engine's correctness, engineers developed 330,000 lines of machine-checked mathematics using the Isabelle/HOL proof assistant. The system architecture separates hypervisor policy from isolation mechanisms, requiring the deprivileged Nitro Hypervisor to route all guest state modifications through the minimal Rust-based engine. Functional verification uses a restricted language subset called micro Rust, Separation Logic contracts specifying total correctness, and weakest-precondition calculus from the open-source AutoCorrode library. Finally, high-level transition relations and noninterference proofs ensure that memory integrity and guest confidentiality are preserved across every execution step.
ClickHouse Agents: Claude-powered agentic analytics, now in public beta
ClickHouse announced the public beta of ClickHouse Agents, a fully managed agentic analytics service in ClickHouse Cloud powered by Claude. It provides a no-code builder for agents grounded in live ClickHouse data, plus a managed chat experience in the Cloud console, so users need no SQL or separate hosting setup. Built on LibreChat, the service supports natural-language questions, SQL and visualizations, sandboxed Bash, Python, and JavaScript execution, shareable artifacts, skills, memories, MCP-compatible connections, and multi-agent workflows. Claude Sonnet and Haiku are pre-configured, while enterprise controls include SSO, encrypted message storage, and governed data access. ClickHouse says its internal deployment handles roughly 70% of data warehouse queries and processes more than 45 million tokens daily, confirming its view that real-time analytics is a natural context for high-volume agent workloads.
How an Agent Built a 3D Paris Gallery by Chaining Two Hugging Face Spaces
A coding agent built a 3D Paris gallery by chaining two Hugging Face Spaces: an image-generation Space produced dark-background monument images, and VAST-AI/TripoSplat reconstructed each single image as a 3D Gaussian splat. It then handled integration work by correcting the splats’ Y-down orientation, auto-framing monuments, compressing .ply files to .ksplat at about one-third the size, and building and deploying a static Three.js viewer. The Spaces’ agents.md files provided schemas, call and polling templates, file-upload instructions, and authentication guidance, allowing the agent to call them without a client library. The same pipeline produced six-monument galleries for Egypt and Japan after the prompts changed. The account presents callable, documented multimedia components as a way to reduce integration work and make new multimedia applications cheaper to create.
amazon.science
Bridging intent and execution in agentic systems
AI agent performance increasingly depends on the harness mediating interactions between language models and tools rather than raw model reasoning. To address mismatches between model intent and harness execution, the authors developed Simple Strands Agent, an open-source single-agent harness. The architecture implements robust tool-interface practices, such as condensing middle log outputs from bash commands, enforcing line-aware string replacements with ambiguity checks, and returning diff files after edits for verification. Evaluated across benchmarks like SWE-Bench-Verified, SWE-Bench-Pro, and Terminal-Bench 2, these model-harness alignments yielded consistent performance gains across frontier models without task-specific tuning. The findings show that model families require tailored interface codesign alongside stable evaluation infrastructure to achieve optimal benchmark reliability.
Works on my machine: how we use AI to reproduce reported bugs
Sentry maintains 159 open-source SDK packages across multiple languages, leading to high triage volume and significant boilerplate setup overhead when reproducing reported bugs. To streamline this workflow, the team developed a Claude skill that parses GitHub issue URLs to extract language, framework, and SDK versions. The skill generates a reproduction branch, sets up minimal boilerplate using ecosystem package managers like uv or npm, attempts execution, and opens a pull request with explicit run instructions. By allowing the model to exit early when encountering overly complex environments, the tool reliably prepares reproducible playgrounds without stumbling on edge cases. This workflow saved several hours in testing scenarios like Django HTTPS proxy bugs while avoiding excessive bot noise through scoped human interaction.
The Open Source Community is backing OpenEnv for Agentic RL
OpenEnv is becoming a community-coordinated, open-source tool for building agentic execution environments such as terminals and browsers, with the stated goal of helping train open-source agents. Starting now, a committee including Meta-PyTorch, Reflection, Unsloth, Modal, Prime Intellect, Nvidia, Mercor, Fleet AI, Microsoft, Hugging Face, and RadixArk will coordinate the project, which now lives at huggingface/OpenEnv and is supported or adopted by numerous AI organizations. Technically, OpenEnv is being narrowed to an interoperability and protocol layer: environments expose a Gymnasium-style reset(), step(), and state() API through client/server deployments, standard HTTP or WebSocket protocols, Docker packaging, and MCP compatibility. It does not define rewards or training loops; those remain in specialized libraries, while OpenEnv connects harnesses, environments, and trainers across ecosystems. Planned work includes external rewards, dataset-backed tasksets, harness integrations, end-to-end examples, and automatic environment validation.
ClickHouse appoints new leader for Asia Pacific and expands global go-to-market leadership team
ClickHouse announced an expansion of its global go-to-market leadership team, appointing Ed Lenta as Vice President, Asia Pacific and Japan (APJ). Based in Singapore, Lenta will lead regional go-to-market efforts and accelerate adoption of ClickHouse Cloud and the open-source database, following leadership roles at Databricks, AWS, and VMware. The company also appointed Takeshi Kaneko as Country Manager of Japan and added executives for financial services, public sector, global solutions architecture, and revenue strategy and operations. ClickHouse said the appointments support its growth after surpassing $250 million in annual run-rate revenue, more than triple the prior year, and exceeding 4,000 customers, including more than 1,000 net new customers in one quarter.
Nemotron 3.5 Content Safety: Customizable Multimodal Safety for Global Enterprise AI
Nemotron 3.5 Content Safety is NVIDIA’s 4B-parameter model for evaluating user prompts, optional images, and optional assistant responses together, with multilingual coverage and enterprise-specific policy enforcement. It extends Nemotron 3 by accepting natural-language custom policies, producing optional auditable reasoning traces, and supporting binary verdicts, category-labelled verdicts, or THINK mode; disabling THINK preserves the default low-latency path. Built on Google Gemma 3 4B IT with a LoRA adapter and a 128K context window, it uses the Aegis 2.0 taxonomy of 13 core categories and 10 subcategories, and targets deployment on GPUs with 8GB or more of VRAM. The accompanying multimodal, multilingual dataset includes concise reasoning traces, while reported results average 96.5% on Multilingual Aegis, 88.8% on RTP-LX, and about 85% across the evaluated benchmark set.
Multigres v0.1 Alpha: an operating system for Postgres
Multigres v0.1 alpha is an open-source release of a system intended to provide Vitess-grade horizontal scaling, high availability, and operational simplicity for Postgres. It manages Postgres instances with sharding, connection pooling, automatic failover, and backup orchestration, while this release adds advanced pooling, automatic failovers, and a Kubernetes operator. Its high-availability protocol builds on unmodified Postgres replication, supports user-defined durability policies, resolves split-brain scenarios without losing succeeded commits, and permits replica changes while running. The release is suitable for experimentation but not production workloads: v0.1 is single-shard, sharding is absent, the custom-resource API may change, backward compatibility is not guaranteed, and performance benchmarks are still in progress.
Supabase Series F
Supabase has raised a $500M Series F at a $10B pre-money valuation, led by GIC. Existing investors participated, Stripe invested again, and Georgian and Salesforce Ventures joined as new investors; the funding will accelerate open-source and Postgres tooling, support growth, and provide employee liquidity. Supabase is also releasing Multigres v0.1 alpha, an open-source, self-hostable scalable operating system for Postgres designed to provide high availability and operational simplicity; a future release is intended to add Vitess-grade horizontal scaling. The alpha is ready to try but not production-ready, with production-readiness expected in a few months. Over the past year, database launches grew 600%, more than 60% of new databases came from AI tools, and nearly 10 million developers built on Supabase.
Click-a-thon 2026: 24 hours, Bengaluru, and the fastest analytical database on the planet
ClickHouse announces Click-a-thon 2026, its first in-person hackathon in India, scheduled for Bengaluru on August 1–2, 2026. The event invites working tech professionals to form teams of two to four for a 24-hour build with four tracks—Real-Time Analytics, Observability, Data Warehousing, and Agentic AI and Analytics—and a ₹10,00,000 prize pool. Its stated purpose is to bring developers together to build practical systems under tight constraints and experiment with ClickHouse alongside modern open-source tools. The post points to ClickStack for observability, Langfuse for LLM tracing and evaluation, and LibreChat for model and agent interfaces, while describing combinations such as streaming ingestion, materialized views, projections, analytical queries, and tool-using agents over data. Applications close June 25, with shortlists planned for the first week of July; the team captain applies on behalf of the team.
Expanding Project Glasswing
Project Glasswing is expanding its collaboration from roughly 50 initial partners to approximately 150 new organizations across more than 15 countries. These partners must meet security requirements, and many operate critical infrastructure or maintain software used widely, with a major attack estimated to affect more than 100 million people for most. The program follows partners’ use of Claude Mythos Preview to scan codebases, finding more than 10,000 high- or critical-severity flaws, while some now use it to write patches and run pre-release checks. Its broader purpose is to help defenders adapt to powerful cyber models by providing tools and infrastructure, then shifting support toward disclosure, fixing, and deployment of patched software. General access will require safeguards against misuse that have yet to be developed.
Introducing Mellum2: A 12B Mixture-of-Experts Model by JetBrains
JetBrains is releasing Mellum2, a 12B-parameter Mixture-of-Experts model trained from scratch on natural language and code. It targets latency-sensitive, high-throughput workloads including routing, retrieval-augmented generation (RAG), summarization, sub-agents, and coding features. The model has 12B total parameters but activates 2.5B per token, with its architecture keeping total capacity high while making inference more efficient for real-time use. Released under the Apache 2.0 license, Mellum2 is described as competitive with similarly sized open models on code generation, reasoning, science, and math benchmarks while delivering more than 2x faster inference. Its text-and-code focus supports high-throughput production workloads and private deployments where proprietary code or internal data may be involved.
Reinforcement learning is an infrastructure problem
Reinforcement learning for post-training large language models has become infrastructure-constrained as teams move to multi-node configurations for larger models like Qwen 3 30B and Kimi K2.6. The RL loop divides into three independent infrastructure challenges: training with reliable forward and backward passes, high-performance inference rollouts, and thousands of concurrent sandbox environments for policy execution. Weight synchronization between trainer and rollout engine becomes the critical bottleneck in multi-node setups, with RDMA offering up to 100x speedup over TCP and significant cost savings per step. Teams commonly get stuck maintaining glue code, queueing for cluster time, and under-utilizing GPUs when sandbox buffers are not correctly sized. Modal addresses these with RDMA-connected clusters via a single rdma=True keyword, fast container boot, and the new open-source Modal Training Gym library that abstracts common scaffolding into under 100 lines of code.
Open House 2026 Day 2: 10 years of open source and what the ecosystem is building next
Open House 2026 Day 2 recaps ClickHouse’s tenth year as an open-source project and the ecosystem forming around its data platform. The event reported more than 2,600 contributors, nearly 48,000 GitHub stars, over 200 integrations, and the launch of the House Mates partner program. Announcements included Fivetran’s generally available ClickHouse Cloud destination, a Google Cloud Dataflow Pub/Sub template, Sigma’s public-beta connector and ETL Cache Layer, and a ClickHouse dbt Fusion adapter available in alpha through the CLI. The recap also describes MCP and agent-oriented observability work, including a ClickStack MCP server that translates investigations into optimized ClickHouse queries. Internal testing reported up to 25% fewer tool calls, 2.5 times greater consistency, and nearly 20% better evaluation results.
Open House observability announcements: MCP server, AI Notebooks, and ClickStack Cloud
At Open House, ClickHouse announced three observability updates: ClickStack Cloud entered private preview, AI Notebooks entered beta for Managed ClickStack, and a ClickStack MCP server was introduced in open-source ClickStack. ClickStack Cloud is a fully managed, serverless platform that accepts OpenTelemetry data through a managed endpoint, while Managed ClickStack is generally available for teams controlling collectors, ingestion, compute sizing, schema design, and tuning. AI Notebooks provide a persistent, shareable investigation workspace in which prompts, queries, charts, reasoning steps, findings, branches, intermediate results, and generated queries remain visible and editable. The MCP server exposes the investigative tools used by Notebooks to external agents, routing requests through optimized searches, aggregations, and visualizations rather than relying entirely on ad hoc SQL generation; it can also persist findings in dashboards. Together, the announcements present a choice between managed convenience, operational control, and programmable observability workflows.
Thank you for building with us
At its 2026 user conference in San Francisco, ClickHouse reports surpassing 4,000 customers and $250 million in annual run-rate revenue, while marking nearly ten years since Alexey Milovidov open-sourced the database. The company attributes its growth to a community of contributors and describes use across AI products, financial services, observability, analytics, and infrastructure. New offerings include ClickHouse Agents, a fully managed agentic analytics service powered by Anthropic’s Claude; CostBench, an open benchmark using each warehouse’s real billing model; and House Mates, a partner program launching with more than 50 partners across six continents. Additional updates include Managed Postgres in public beta, Managed ClickStack and Langfuse for AI-era observability, generally available full-text search, and automatic JOIN optimization, with cost-performance identified as the central constraint for high-concurrency, low-latency workloads.
ClickHouse tops $250M ARR and 4,000 customers, launches Claude-powered agents at Open House 2026
At Open House 2026, ClickHouse announced that its serverless cloud offering exceeded $250 million in annual run-rate revenue and reached 4,000 customers, with ARR more than tripling year-over-year and more than 1,000 net new customers added since January. The company launched ClickHouse Agents, a fully managed, no-code agentic analytics service powered by Anthropic’s Claude, with a chat interface, sandboxed code interpreter, artifacts, skills, memory, multi-agent workflows, and MCP-compatible integrations. It also published CostBench, an open benchmark applying each vendor’s real compute billing model to the same workload; ClickHouse Cloud was reported to have 23x better cost-performance than the nearest cloud data warehouse. Other announcements included Managed Postgres in public beta, managed ClickStack, generally available full-text search, cross-region replication, and the House Mates partner program.
amazon.science
Amazon Research Awards recipients announced
Amazon Research Awards has announced 70 award recipients across 49 universities in 11 countries for its fall 2025 funding cycle. The funded research spans six distinct tracks: AI for Information Security, Agentic AI, Automated Reasoning, AWS Cryptography, Cybersecurity and Anti-Abuse Technologies, and Sustainability. Each selected academic team receives unrestricted financial grants, AWS Promotional Credits to access specialized cloud AI and machine learning services, and access to more than 700 Amazon public datasets. Awardees are paired with an Amazon research contact who provides advisory support, consultation, and access to company training sessions. Furthermore, the program explicitly encourages recipients to publish their discoveries, deliver presentations at Amazon offices worldwide, and release associated software implementations under open-source licenses.
Reachy Mini goes fully local
Reachy Mini’s conversation app can now run its speech stack locally instead of sending audio to a server, avoiding cloud, API keys, and data leaving the machine. The tutorial uses speech-to-speech as a cascaded VAD → STT → LLM → TTS pipeline exposed through a Realtime API-compatible /v1/realtime WebSocket, with Silero VAD v5, Parakeet-TDT 0.6B v3, Qwen3-TTS, and a selectable LLM backend. It shows llama.cpp serving Gemma 4 E4B with parallel slots, 64k context, flash attention, and full sliding-window attention, then covers vLLM, MLX, Transformers, hosted Responses API endpoints, and network connection to a wireless robot. Once the backend and app are connected, conversations run through the local loop, while individual stages can be exchanged to trade latency, quality, language coverage, and hardware choices.
Related topics
All topics →Weekly digest
The best engineering reads, once a week.