News for hackers. Stuff that matters.

A comment on Ask HN: Time to update my skills. What should I do?. Parent comment

Re:Ask HN: Time to update my skills. What should I do? by bsaul on Tuesday August 11, 2015 @05:11PM (#10044417)
sorry, i'm not a native english. i meant formal proofs.
[ Parent | on HN ]
Re:Ask HN: Time to update my skills. What should I do? by AreaGuy on Tuesday August 11, 2015 @11:29PM (#10045873)
Ah, no problem. Thanks for clarifying! I thought it might be some terminology I did not know.
[ Parent | on HN ]