>>107017508
>A rather powerful mentor I speak with says that ultimately things like getting good with algorithms and knowing how to implement your own efficient versions of things doesn't really matter since libraries exist [...] but at the same time feels like a cheap answer since it feels like I'm eschewing a deeper understanding of logic and lower level details in favour of short term gains.
There's a power to pragmatism but the curry-howard isomorphism shows your intuition regarding logic is (provably) correct, which helps to verify your program (for example, a library)

>>535735127
why do you always add t at the end?

*Crickets*

ide spać