iCanHelpU2
Highest Rated Comments
iCanHelpU23 karma
This might be an odd question, but do you use some kind of formal method to verify the correctness of your code. Guaranteed correctness in general is uncomputable.
But I learned some mission critical code is programmatically verified to guarantee some level of correctness. Do you guys use stuff like that? Sorry if this question is vague, but just learning about formal logic now
iCanHelpU21 karma
As a Junior in a Computer Science program, what do you think I can do to maximize my chances of having a fruitful career?
I've worked at a 'dream' company before, and had a terrible experience. I was actually lucky to work directly with someone in higher management, and got to see a corporate reality a lot of people (at my age) won't get to see. Incidentally, that's how I started following you.
iCanHelpU26 karma
Sounds more like they're just douchebags, but not in that way
View HistoryShare Link