Ah you should have just said you use arch. But it's a very weak programmer that ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

noosphr 4 months ago | parent | context | favorite | on: Coalton is an efficient, statically typed Lisp wit...

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.

cjfd 4 months ago [–]

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.

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact