A collection of resources for linux reverse engineering

A C implementation of the Lawn data structure

Emery Berger publications

earlyoom - Early OOM Daemon for Linux

Notes on how we potentially could build reliable, scalable and maintainable computer systems.

Papers from the computer science community to read and discuss.

A tool to help with minimization of Rust code

A precise specification for "Rust lite / MIR plus"

a structural diff that understands syntax 🟥🟩

GoodbyeDPI — Deep Packet Inspection circumvention utility (for Windows)

Memory Management ToolKit

Kani Rust Verifier

A rich terminal UI for GitHub that doesn't break your flow.

An opinionated list of resources for learning Haskell

Guidelines for low-level cryptography software

A music theory guide written in Rust.

Mirror of Software Foundations in PDF

Applied offensive security with Rust - https://kerkour.com/black-hat-rust