News for hackers. Stuff that matters.

A comment on 'Rent-a-person who does nothing' in Tokyo receives endless requests, gratitude. Parent comment

Re:'Rent-a-person who does nothing' in Tokyo receives endles... by Blikkentrekker on Thursday January 14, 2021 @03:53PM (#25782321)
I would trust any type system that doesn't require me to prove that my sorting algorithm maintains the length of the vector it sorts.
[ Parent | on HN ]

There are no comments on this comment yet.