Oliver Dressler - lean-lsp-mcp: Tools for agentic interaction with Lean (Lean Together 2026)

Введение в MCP | Протокол MCP - 01

Прекратите использовать S3. Вместо этого используйте программное обеспечение с открытым исходным ...

Секретный инструмент Google для программирования стал бесплатным (подробный обзор Gemini CLI)

Vectorless RAG - Локальный финансовый RAG без векторной базы данных | Древовидное индексирование ...

Как настроить Claude Code за час и получить второй мозг для решения любых своих задач

Наблюдаемость и оценка эффективности агентов ИИ: простой анализ.

Siddharth Bhat - Tactics for the Linear-Bitwise Fragment of Bitvectors (Lean Together 2026)

Моя команда из нескольких агентов с OpenClaw

Claude Cowork: Освой 95% функций за 19 минут

1С: быстрый старт в ИИ за 15 минут

Дефолт Автономии Долиной

Harry Goldstein - Metaprogramming the Next Generation of Testing Tools (Lean Together 2026)

Sam Altman: AGI is "Pretty Close" | Highlights Video

Antigravity: Полный обзор и 3 реальных проекта (Gemini 3.1 Pro + Claude 4.6 Opus)

Изучите 90% команд агентов Claude Code за 22 минуты (Opus 4.6)

OpenAI is Suddenly in Trouble

Sebastian Ullrich - The Lean module system (Lean Together 2026)

Микросервисы VS Монолит | Просто о сложном

Как сделать сайт за 1 вечер через нейронки, который выйдет в ТОП Яндекса и Гугла

Introducing SurrealDB 3.0