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,
Exploding Git Repositories, Kate Murphy made a “git bomb”.
A Eulogy for Eudora
Universal Paperclips, beware: a clicker game.