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 alexanderdmitri on Thursday January 14, 2021 @02:53PM (#25781549)
once you've started on Idris you've crossed the line over from kinky to deviancy

source: there are several people in my weekly support group for exactly this reason, it gets out of control

[ Parent | on HN ]
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 ]