Links of the day 20 - 10 - 2014

Today's links 20/10/2014 : Deep learning, Distributed System Model Checking, Man in the middle SSL attack, Buffer Bloat Benchmark

• Stanford Unsupervised Feature Learning and Deep Learning Tutorial : everything is in the title :) 
• TLA : Domain specific language for verifying complex and concurrent system by Leslie Lamport.  
• SSLsplit : tool for man-in-the-middle attacks against SSL/TLS encrypted network connections. 
• RRUL test suite : buffer bloat benchmark suit for analyzing network performance under the heavy workloads that typically induce bufferbloat and other networking problems.