Highest Rated Comments


iCanHelpU26 karma

Sounds more like they're just douchebags, but not in that way

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

huh? what's up?

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.

iCanHelpU21 karma

thanks for your response!