🐙 This repo is insane! Around 800 Computer Science online courses ranging from intro to machine learning to probabilistic graphical modeling to math for CS.

I am sure there is at least one useful course for everyone.

https://github.com/Developer-Y/cs-video-courses#math-for-computer-scientist

🐦🔗: https://twitter.com/omarsar0/status/1349781013405294596

**Adrian Philipp** · Nov 03, 2020, 09:29

Adrian Philipp boosted

**Marko Dimjašević** @mdimjasevic@mamot.fr · Nov 03, 2020, 09:29

Nov 03, 2020, 09:29

Marko Dimjašević @mdimjasevic@mamot.fr

@yogthos, there is a number of long-lived and widely-used sorting algorithm implementations that were proven to be incorrect: https://web.archive.org/web/20200922054357/http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/

As programmers, We have to become aware of ever-growing size and complexity of software we develop, and consequently give up on the "trust me, I know what I'm doing"-mode of operation. We should embrace techniques that help us to deal with the sheer complexity of software, and #functionalprogramming and #typetheory are such techniques.

@magthe