Hacker News new | ask | show | jobs
by noosphr 19 days ago
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.

1 comments

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.