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.”
The quest to save Stephen Hawking’s voice
Presentation Skills Considered Harmful (2013).