Математика: an idiot's guide

Отличный блог Good Math, Bad Math.
На самом деле не только про математику, но про computer science вообще.

Автор в популярной форме объясняет чем отличается Тьюринг-полнота от тьюринг-эквивалентности, все что вы хотели знать но боялись спросить о теории сложности (что именно означает O в записи O(n)), NP-полнота и прочие базовые понятия, с некоторыми из которых я, например, либо знаком был как-то вскользь, либо знал но забыл давно.

Конечно, книжки надо читать, но на них не всегда есть время и соответствующее настроение. А в легком формате блога оно идет на ура в качестве послеобеденного чтива.

Ну и про Хаскель, теорию категорий и лямбда счисление там посты имеются в изрядных количествах.

Few picks, так сказать:
Basics: Recursion and Induction
Why oh why Y? (Про fixed-point комбинатор и рекурсию)
Basic Computational Complexity
Monads and Programming Languages