Dev News Daily — Software news, read and annotated by a working engineer

The model is not the bottleneck: two essays on what still needs a human

A developer on why coding agents stay weak while models improve, and a mathematician on why LLM proofs stay inside the hull of known ideas: both locate the scarce part outside the model.

Serguey Asael Shinder10 Oct3 min read

Security

pgAdmin 9.18 fixes four CVEs, including an auth bypass

pgAdmin 4 v9.18 closes an authentication bypass and two connection-string injections that redirect the connection, and the exported password, to a host of the caller's choosing.

Serguey Asael Shinder17 Sep3 min read

OpenAI publishes a misalignment disclosure framework and six reports

A process for tracking, investigating and disclosing model behaviour, plus six cases observed over the last six months.

Serguey Asael Shinder16 Sep2 min read