Модель C-интерфейса в Quint помогла найти больше десяти ошибок в SQLite SQLite должна отклонить десериализацию базы, пока идёт транзакция чтения. Но в тесте вместо ошибки SQLITE_BUSY, означающей, что база занята, произошло падение. Паван Намби из сообщества Turso моделировал в Quint отдельные контракты C-интерфейса SQLite: что операции должны делать по документации. Quint генерировал последователь…

Звонки Discord на Cloudflare: почему сервер поближе не всегда лучше Сервер в Рейкьявике снизил задержку местных звонков, но пинг иностранных участников вырос в 2,7 раза. У Discord весь звонок обслуживает один сервер: если он оказался в Исландии, участники из Германии тоже отправляют пакеты туда и обратно. Перенос трафика из Роттердама в Амстердам добавил другую проблему. У пользователей французско…

Doom на виртуальной машине Turso: память в таблице, кадры в строках запроса Вся память Doom помещается в одну запись таблицы: двоичное значение BLOB на 64 МиБ. Указатель в C становится смещением внутри этого значения, а чтение и запись памяти игра выполняет командами базы данных. Команда Turso написала компилятор vdbecc: LLVM переводит исходный C-код в промежуточное представление, а vdbecc превращ…

Перенос MiniJinja с Rust на Go силами Opus и Codex Около десяти часов работы агента и примерно 45 минут активного участия автора. Так Армин Ронахер оценивает основной перенос MiniJinja с Rust на Go. MiniJinja собирает текст по шаблонам. Он начал с Opus 4.5 внутри Pi, а оставшиеся исправления тестов передал GPT-5.2 Codex. Рабочая среда оставалась той же; Go-реализацию сверяли с сохранёнными результ…

Что можно настроить в ИИ-агенте Pi? Армин Ронахер пользуется Pi и добавляет нужные возможности через расширения. В его описании устройства агента есть три составляющие: — ядро читает, записывает и редактирует файлы, запускает команды; — расширения добавляют функции и могут сохранять свои данные в сессии; — ветки беседы позволяют отдельно отладить проблему и вернуть в основную сессию краткий переск…