Timeline for What's the point of learning equivalence relations?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 9, 2020 at 3:37 | comment | added | Alexander Woo | Back when I was an undergrad, CS students were expected to include in their comments a proof that their code was correct in all cases, and write proofs that algorithms worked as expected. Having programmers who can do that definitely meant much cleaner code with much fewer bugs. Then again, back in those days, it was considered shameful to release code with any bugs at all; nowadays it's just another minor thing to fix on the next release. | |
| Sep 8, 2020 at 23:34 | review | First posts | |||
| Sep 9, 2020 at 17:05 | |||||
| Sep 8, 2020 at 23:28 | history | answered | guest | CC BY-SA 4.0 |