The joyous lion of theoretical computer science Boaz Barak is reporting on Avi Wigderson's book Mathematics and Computation which is on Avi's homepage. I read through an earlier version and it is highly recommended! Let me also recommend Avi's earlier survey on interaction between CS and math.
The CS Education Library project at Stanford is an online library which collects and organizes computer science education materials, and gives them away for free.
The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. Back in July, we implemented a type safe bowling kata in which we could not create a bowling game that would not satisfy the rules of the…
Lectures in the 2016 Seminar on "Proofs, beliefs and algorithms through the lens of Sum of Squares" at Harvard and MIT, see http://www.boazbarak.org/sos/
J. Brings, M. Daun, M. Kempe, and T. Weyer. EASE'18: Proceedings of the 22nd International Conference on Evaluation and Assessment in Software Engineering, (2018)