AFLGo: Directed Greybox Fuzzing, “Given a set of target locations, AFLGo generates inputs specifically with the objective to exercise these target locations.”
Seven Sketches in Compositionality: An Invitation to Applied Category Theory, by Brendan Fong and David I Spivak. “This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. It aims to give a tour: a gentle, quick introduction to guide later exploration.”
Resource Polymorphism, by Guillaume Munch-Maccagnoni. “We present a resource-management model for ML-style programming languages, designed to be compatible with the OCaml philosophy and runtime model. This is a proposal to extend the OCaml language with destructors, move semantics, and resource polymorphism, to improve its safety, efficiency, interoperability, and expressiveness. It builds on the ownership-and-borrowing models of systems programming languages (Cyclone, C++11, Rust) and on linear types in functional programming (Linear Lisp, Clean, Alms).”
Turbocharging ZFS Data Recovery, “zdb has another new feature that brings its capabilities on par with the kernel: the ability to set global libzpool variables.”
lh-bootstrap, building a disk image with Linux, musl, and skarnet.org tools from scratch.
GEF is “a kick-ass set of commands for X86, ARM, MIPS, PowerPC and SPARC to make GDB cool again for exploit dev.”