moshcode 0.117.0 adds parallel AI agent work queues gated by verify commands

·1 views

The moshcode 0.117.0 release introduces a 'work' command that runs many AI coding agents against tasks, where a task counts as done only when its verify command exits with code 0. Each worker runs headless in its own git worktree, and failed attempts are requeued with the verifier output or moved to an inbox after three tries. The author used 50 Claude workers to fix 139 locally failing tests, finding that 138 were PWA tests crashing on missing dependencies and one was a real failure caused by a test inheriting the host's PATH and HOME. All 19 resulting tasks passed on the first attempt, reducing local failures from 139 to zero. The author plans to extend the verifier beyond tests to typechecks, URL checks, and eventually Lean proofs.

Read the full story at DEV Community

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

Ozil Goal AI Turns a Single Portrait Into a Football Goal Video

A developer has launched Ozil Goal AI, a web tool that generates a short football clip from one uploaded portrait, modeled on Mesut Özil's goal against Ludogorets. Users choose from four kits or keep their own clothing, pay a one-time fee starting at $12.99, and receive a 15-second vertical 720p MP4 by email via a private order link. The site runs on TanStack Start, React, and Cloudflare Workers, using an existing third-party video model. Playable example videos are shown on the homepage so visitors can judge output quality before paying. The creator states the project is independent and not affiliated with Özil or any club.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Sorting Polar policies before choosing an Oso alternative

Oso Cloud has been acquired by Tiny, with the deal closing on October 1, and Oso says the Cloud service will keep running as normal. Most of the Oso team has moved over to Temporal. The author, writing from the marketing team at Permit, stresses that the announcement does not force any team to migrate immediately. Teams weighing a move should export their Polar policies and categorize each rule as RBAC, ReBAC, or ABAC before comparing vendors, and should also account for list filtering separately. The piece recommends running old and new systems in parallel and logging disagreements until none remain before cutting over.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Receipt Sorter: an offline bookkeeping tool for freelancers using a local vision model

A developer built Receipt Sorter, a command-line tool that turns folders of receipts and invoices, including PDFs and phone photos, into renamed files, an accountant-ready CSV, and a category summary. It runs entirely on the user's laptop using Qwen2.5-VL 7B served through Ollama, so client documents never go to a cloud service. The target users are freelancers, consultants and small agencies who want to avoid tedious sorting and avoid uploading financial records to third parties. The tool validates extracted amounts, dates and categories, and routes uncertain documents to a review folder. In the author's test, a deliberately blurry receipt was misread with high confidence, which the author flagged as a key limitation for bookkeeping use.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Siete 'implantes RAG' invisibles que dan forma a las respuestas de ChatGPT

Un artículo técnico explica que ChatGPT puede ofrecer información actualizada gracias a RAG, la técnica de Generación Aumentada por Recuperación, que consulta fuentes externas en tiempo real. El texto describe estas fuentes como 'implantes' de conocimiento invisibles que complementan lo que el modelo aprendió durante su entrenamiento. Ilustra el problema con un negocio de café en Costa Rica, que necesitaría datos de 2024 que un modelo con corte en 2023 no tendría. Luego presenta siete tipos principales de estas fuentes, como bases de datos de conocimiento general y documentación técnica. Finalmente, sugiere cómo los emprendedores podrían replicar este enfoque en sus propios proyectos profesionales.

0 comments Read more at DEV Community