OpenBSD 6.2 has been released!
Iris is a Higher-Order Concurrent Separation Logic Framework implemented and verified in the proof assistant Coq.
rv8: a high performance RISC-V to x86 binary translator (PDF), by Michael Clark and Bruce Hoult. Code.
Functor-Oriented Programming, by Russell O’Connor.
“␣;”: A Simply Arited Concatenative Language, very cool.
Exploding Git Repositories, Kate Murphy made a “git bomb”.
Universal Paperclips, beware: a clicker game.