Ask HN: Software/Web Development resources for mathematicians?

Most programming content online is geared towards generalist. However, as a mathematician, sometimes things make much more sense when present in a neat, abstract way. There are many posts on maths books for software engineers; however, the reverse is not true. Are there any such articles or books you could recommend?

For example, the MIT course: http://web.mit.edu/6.031/www/fa18/classes/10-abstract-data-types/ helped me understand Abstract Data Types much better than any other material I found on blogs.