Hacker News new | ask | show | jobs
by agomez314 1097 days ago
It did not. Learning git in-depth beats any amount of proof-solving skills you might have in traditional, day-to-day software engineering. Doing proofs makes you a better thinker _in general_, but doing it in isolation (i.e without communication skills or team skills) can actually be detrimental.