vetronauta

3 ms·

1.
by vetronauta 2mo ago
Mu.
2.
by vetronauta 2mo 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
3.
by vetronauta 2mo ago
Do you have specific strategies on handling equivalent mutants?
4.
by vetronauta 2mo 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
5.
by vetronauta 2mo 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
6.
by vetronauta 4mo 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
7.
Leanstral 1.5(docs.mistral.ai)
310 points by vetronauta 4mo ago|149 comments
8.
by vetronauta 5mo ago
https://en.wikipedia.org/wiki/Buddhas_of_Bamiyan https://en.wikipedia.org/wiki/List_of_destroyed_libraries
9.
by vetronauta 5mo ago
If writing code is tactics, architecture is strategy. The end goal is just the desired outcome.
10.
Magit manuals are available online again(github.com)
128 points by vetronauta 1y ago|58 comments