alt Hacker NewsAh you should have just said you use arch.
But it's a very weak programmer that needs a test suite. Real ones prove the consistency of their programs with goose feather and vellum.
Ah you should have just said you use arch.
But it's a very weak programmer that needs a test suite. Real ones prove the consistency of their programs with goose feather and vellum.
I am not sure about the goose feather and the vellum but you do have a point about proving consistency. Fortunately, I also have a coq/rocq project for that kind of stuff so maybe one day I can be a not-so-very-weak programmer.