vetronauta

21 ms·

1.
by vetronauta 7d ago
Few months ago I was debugging an integration with a no-code library that ships code in a custom binary format. I still smile thinking at the following test I read assertThrows(RuntimeException.class, () -> callFoo(notABinaryFile)); &#x2
2.
by vetronauta 7d ago
Do you have specific strategies on handling equivalent mutants?
3.
by vetronauta 9d ago
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
4.
by vetronauta 11d ago
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
5.
by vetronauta 2mo ago
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 unava
6.
Leanstral 1.5(docs.mistral.ai)
310 points by vetronauta 3mo ago|149 comments
7.
by vetronauta 3mo ago
https://en.wikipedia.org/wiki/Buddhas_of_Bamiyan https://en.wikipedia.org/wiki/List_of_destroyed_libraries
8.
by vetronauta 3mo ago
If writing code is tactics, architecture is strategy. The end goal is just the desired outcome.
9.
Magit manuals are available online again(github.com)
128 points by vetronauta 10mo ago|58 comments