open source
74 published articles
Funding round
Ollama's $88 million bet that open-weight models will do what Docker did for containers
Ollama raised $88 million to make open-weight models the default way to run inference, betting the Docker playbook works for AI. Investors include Benchmark, Theory Ventures, 8VC, and Y Combinator.
2026-07-14
AI Infrastructure
Ollama's 85 percent stat means exactly what you think it means
Ollama's $88 million raise leads with an 85%-of-Fortune-500 stat that sounds like saturation and proves almost nothing. An analysis of why this specific move has become the default opening line of AI infrastructure funding announcements, and what's actually driving the real money into open-weight inference.
2026-07-14
Remote Sensing AI
Smarter tokens just cut satellite AI costs by 3x without losing accuracy
Ai4earth's OlmoEarth v1.1 cuts compute costs by up to 3x over v1 for satellite image analysis, using a smarter token merging technique that maintains performance. The updated models enable cheaper planet-scale map refreshes for partner organizations.
2026-07-13
Lean 4
The $4 theorem prover that embarrasses $300 competitors and found bugs the tests missed
Leanstral 1.5, a 6B active-parameter model, saturates miniF2F, solves 587 PutnamBench problems, and uncovers 5 previously unreported bugs in open-source repositories. At roughly $4 per problem, it undercuts Seed-Prover by 75x and Aleph Prover by 15x, challenging the assumption that formal verification requires massive compute budgets.
2026-07-12
Open Source
Ai2 opened every drawer in the AI cabinet. Here's what came out.
Ai2 released Olmo 3, a fully open model family from 7B to 32B, and dumped the complete training data, code, and tools on the table. Every checkpoint, every hyperparameter, the kind of transparency the field has been demanding and mostly not getting.
2026-07-11
Open Source Infrastructure
Your AI search pipeline is broken. This open-source framework fixes the plumbing.
Teams building AI search infrastructure still spend too much time on plumbing. Search Toolkit unifies ingestion, retrieval, and evaluation into a single open-source framework, eliminating the weeks of integration work needed to stitch together separate tools. It's designed for enterprise use cases like RAG quality, domain-specific retrieval, and agentic search.
2026-07-11
AI Agents
OpenManus killed the AI agent invite wall. Here is how to run it in ten minutes.
OpenManus is an open-source AI agent framework anyone can install and run immediately: no invite code, no gimmicks, just a Python environment and an API key. Here is why you need it.
2026-07-11
Open Source Robotics
LeRobot v0.6.0 trains robots to see the future, then charges nothing for the vision
LeRobot v0.6.0 introduces world model policies that imagine the future during training and vanish at inference, a new rewards API, six simulation benchmarks, and faster data loading. The framework aims to democratize robot learning with leaner code and cloud training options.
2026-07-11
Special Report
Meta AI is giving away billions in AI research. Here is why its rivals should worry.
Mark Zuckerberg is spending billions on a bet: that the best way to build AI is to give it away. This is the story of the lab leading the charge, the people, the philosophy, and the ongoing debate about openness, safety, and a for-profit social media company's role as AI steward.
2026-07-10
Artificial Intelligence
Nvidia's new audio model does five jobs at once and beats the specialists at their own game
Nvidia's Audex unifies audio understanding, generation, and text reasoning in a single model, matching or beating task-specific systems on speech and audio benchmarks without sacrificing text performance.
2026-07-09
Artificial Intelligence
DeepSeek-OCR 2 Brings Visual Causal Flow to Open-Source Document Understanding
DeepSeek-OCR 2 introduces Visual Causal Flow for human-like visual encoding. Now open-source on GitHub, the model supports vLLM and Transformers, dynamic resolution (up to 1,216 visual tokens), and document-to-markdown conversion.
2026-07-09
Artificial Intelligence
Kimi K2.7 Code is faster and cheaper. But open-source coding just hit a wall called GPT-5.5.
Moonshot AI's Kimi K2.7 Code makes big gains on long-horizon coding tasks with 30% less token waste. Yet GPT-5.5 and Claude Opus 4.8 still lead on key benchmarks, highlighting the real-world trade-offs of open-source decisions.
2026-07-09