vibehacker
News
Devin Docs ·

Devin Coach flags wasteful prompts before you send them, as Cognition ties usage limits to output

Coach checks drafts in Devin's input box and suggests a fix inline, such as planning first on a big open-ended build, dropping Ultra for a one-line change, or splitting bundled tasks into parallel child sessions; admins can set it to warn only (the default), require confirmation, or turn it off. It ships alongside Cognition's efficiency score, which estimates human engineering hours per session against cost and can automatically raise a user's spending limit (TokenPost).

More news

View all

Lean now ships a proof-checking kernel that Claude wrote and proved consistent

Lean v4.35.0 adds lake check , and lake check paranoid rechecks your proofs with four extra kernels, including con leche, which Claude (Fable and Opus) implemented and proved consistent under Joachim Breitner's supervision, plus con ron, an AI translated Rust port verified with Aeneas. Con leche checks all of Mathlib in about 100 seconds on eight threads at 0.69x the official kernel's instruction count (GitHub)…

Google Research open-sources Harness², which rewrites an agent's prompts, tools, and skills per task

Harness² keeps model weights fixed and instead proposes edits to eight harness parts (system prompt, guardrails, memory, tool guidance, subagents, skills, scripts, plugins), probes them on the same task, and keeps what the run evidence supports, then saves those lessons for later tasks; it runs on OpenCode or Codex ( substrate cx ) under Apache 2.0. One step lifted GLM 5 and Gemini 3.5 Flash by up to 11.5 points on WorkBuddy Bench, per the paper, though Google says it isn't an officially supported product…

HybridAgent: open 8B and 14B agents that think in latent space and call tools in plain text

Stanford and Together AI's HybridAgent uses a small HybridLink adapter to switch between silent latent reasoning and normal text tool calls, and the authors report 10.4% better scores across 11 benchmarks with 35.5% to 54.7% fewer tokens; the latent thoughts stay inspectable. Code, data, and Qwen3 based 8B and 14B checkpoints are out under MIT, though the 8B still trails frontier models on Humanity's Last Exam (GitHub)…

Shipback lets Claude Code or Cursor deploy to cPanel-style SFTP hosts with a one-command undo

The MIT licensed CLI and MCP server backs up every server file a deploy overwrites, and restore puts them back but stops if someone edited a file live since. Its agent tools deliberately omit mirror delete and skip backup, a deploy only runs the exact plan the agent previewed, and SFTP passwords stay in the OS keychain, never in the model (Show HN, Oct 18)…

Cohere plans to buy AISLE, the AI bug hunter behind 500+ CVEs, and launch Cohere Cyber

Cohere signed a letter of intent for Prague based AISLE, whose autonomous systems found all 12 CVEs in OpenSSL's January release and 18 of 24 in curl's latest, and says it wants to use those verifiable security problems to evaluate and train future models. The deal hasn't closed and terms weren't disclosed; AISLE CEO Ondrej Vlcek will lead the new Cohere Cyber unit (AISLE's post)…

Cohere Blog

Spotted something we missed? Start a thread.