Ссылки #411
На этой неделе в подборке: самодельный трекер задач с ИИ-ассистентами, собственная система контроля версий в Anthropic, ускорение DuckDB 2.0 в цифрах и статья о надёжности и ИИ в Lean.
🤖 Агенты
Трекер задач, в котором работают ИИ: TaskForge, Obsidian, Syncthing и пара ассистентов | Блог 3DRaven Самостоятельный трекер задач хранит записи в Markdown-файлах и синхронизирует их между телефоном, ноутбуком и Linux-боксом через Syncthing; с задачами работают TaskForge, Obsidian и ИИ-ассистенты. Для управления используются CLI и MCP, а описание разбирает введённые правила и ошибки, возникшие при настройке этой системы.
💻 Разработка
Redesigning source control at Anthropic \ Anthropic Рост числа слияний более чем в десять раз превратил систему контроля версий в главное узкое место разработки Anthropic. Компания рассказывает, как за пять месяцев перешла на собственную систему контроля версий; подробности её устройства и результаты миграции в представленном описании не указаны.
🗄️ Базы данных
Why DuckDB 2.0 is faster | MotherDuck Сравнение DuckDB 2.0 alpha и 1.5.5 на одном ноутбуке показывает ускорение рекурсивных CTE до 90 раз, обработку VARIANT в шесть раз быстрее, чем JSON-текста, и асинхронный ввод-вывод на S3 в 2,4 раза быстрее. Статья разбирает изменения движка и объясняет, как моделировать данные, чтобы получить эти улучшения.
🌱 Наука
What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI | What’s new Одного заголовка недостаточно для описания: текст статьи обрывается до изложения её содержания.
А ещё
- Свой AI-агент из почты, systemd и LLM | Блог 3DRaven
- End-to-end encrypted relays for OCapN — Spritely Institute
- Plannotator - Plan & Code Review for AI Coding Agents
- Better HTTP/1 connection reuse - The Go Programming Language
- GitHub - andmetoo/koona-pin: Local-first bookmark library for Windows and Linux. Save the page you’re on from Chrome, Edge or Firefox in one click; your links stay in a SQLite file on your computer. · GitHub
- nobody should type code by hand anymore. here’s what’s left.
- A modern web app in c | Corey Prophitt
- Breaking out of the “brain fry” spiral of AI
- Strengthening our defenses against distillation attacks \ Anthropic
- Pensieve: local code search and MCP context for AI coding agents
- Passkeys are a trap. Do not use them. - by The Hack
- MASS: Recursive Self-Improvement through Multi-Agent Self-Supervision
- Why Are Coding Agents So Dumb? · mtlynch.io