Don't waste your back pressure ·

kept by eddie jan 19

Providing AI agents with automated feedback loops (back pressure) enables them to self-correct on long-horizon tasks, increasing engineer leverage.

Use boring languages with LLMs
Using boring languages like Go with LLMs reduces variance in training data, leading to more predictable and reliable code generation.
also on Elm, #rust, #programming-languages, #software-engineering, #developer-tools
A new software engineering paradigm – Blog
Using formal verification, AI agents can generate code and machine‑checked proofs, removing the need for human code review and overcoming the AI‑generated‑code bottleneck.
also on Lean, #rust, #software-engineering, #developer-tools
When the Hard Part Stops Being Hard
Using an LLM to mechanize proofs in Lean cut months of work to weeks, showing that PL research can now be produced far faster, reshaping publication expectations.
also on Lean, #programming-languages, #software-engineering, #developer-tools
Bun 1.4 | Bun Blog
Bun 1.4 rewrites the runtime in Rust, adds built-in headless browser automation, image and markdown APIs, boosts Node.js compatibility, and reduces CPU and memory usage.
also on Playwright, #rust, #software-engineering, #developer-tools
A new era for software testing - <antirez>
LLM agents can perform manual QA testing via markdown instructions, catching regressions and psychological issues, raising software quality beyond traditional automated tests.
also on Playwright, #automation, #ai-agents, #software-engineering, #developer-tools