The Stack - Week 07/2015

A record streak of not posting, but let's try to continue.

Animated GIF

• An algorithm to extract looping GIFs from videos

Apache

• phanan/htaccess

C++

• C++ tutorial for C users

Coq

• A blog engine written and proven in Coq

Development

• GitHut - Programming Languages and GitHub

Docker

• Lets review.. Docker (again)

Domains

• Pronounceable & Recently Expired Domain Names

FOSDEM

• How to Run a FOSDEM Devroom

Games

• InstaDoom: screw #nofilter (RC1)

GL

• opengl-tutorial.org | Tutorials for modern OpenGL (3.3+)
• GLSL Sandbox

History/Space

• Soviet Cosmonauts Carried a Shotgun Into Space

Java

• The Black Magic of (Java) Method Dispatch

Linux

• peco/peco
• "Don't bug me"

Linux/Ruby

• The Self-Pipe Trick Explained

Monads

• Fishy Monad Tutorial

OCaml

• Why OCaml, why now?
• TypeRex > ocp-memprof

Prolog

• ?-Prolog

Puppet

• rodjek/puppet-profiler

Shell

• elves/elvish