Hacker News: vetronauta

New comment by vetronauta in "How well do agents use test/verification techniques?"

vetronauta — Tue, 08 Sep 2026 04:51:39 +0000

If I understood correctly, the author had the agent perform manual mutation testing (write code, write passing tests, manually change the code to see some tests fail, then revert the change), rather than automated mutation testing. Why not use a mutation-testing framework and consider the build failed if a certain percentage of mutations are not killed?

The article claims that the agents didn’t actually use TDD or mutation testing. While it’s possible for an agent to ignore the TDD procedure even when instructed to follow it, it can’t ignore a build failure.

New comment by vetronauta in "Formalizing Fermat's Last Theorem"

vetronauta — Sat, 05 Sep 2026 18:56:30 +0000

Currently a tiny fraction of what is formalizable is of interest to mathematics; maybe humans will stop doing "serious" mathematics, but mathematics is beautiful and we will not stop playing with math, like we did not stop playing chess.

I would love to see a theory in the spirit of Guerino Mazzola work, but for (combinatorial) games.

New comment by vetronauta in "Does code cleanliness affect coding agents? A controlled minimal-pair study"

vetronauta — Mon, 06 Jul 2026 05:39:29 +0000

I was reading your comment, disagreeing with it but still feeling why this is a good comment. It just occurred to me that this is not science: science must be reproducible and this is just an historical report on artifact that will be unavailable soon.

Leanstral 1.5

vetronauta — Tue, 30 Jun 2026 20:44:56 +0000

Article URL: https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06

Comments URL: https://news.ycombinator.com/item?id=48738938

Points: 310

# Comments: 149

New comment by vetronauta in "Historic co-determination helps monasteries navigate digital change"

vetronauta — Sun, 14 Jun 2026 12:18:22 +0000

https://en.wikipedia.org/wiki/Buddhas_of_Bamiyan https://en.wikipedia.org/wiki/List_of_destroyed_libraries

New comment by vetronauta in "Software Architecture Guide (2019)"

vetronauta — Sun, 14 Jun 2026 06:49:35 +0000

If writing code is tactics, architecture is strategy. The end goal is just the desired outcome.

Magit manuals are available online again

vetronauta — Fri, 14 Nov 2025 12:09:59 +0000

Article URL: https://github.com/magit/magit/issues/5472

Comments URL: https://news.ycombinator.com/item?id=45926037

Points: 128

# Comments: 58