RSS.Social

Tack, Hunt, Pool

follow: @[email protected]

Posts

Learning to Read Chinese Classic Literary Fiction

A Translation of Black Myth: Wukong — Compendium of Creatures

One Thousand and One Hobbies

I, Not Robot

Fiction and Fandoms for Quarantine

The Ultimate Low-Budget Ergonomic Hacker Battlestation

Investing in a Good Note-Taking Application

Time-Travel Debugging in PANDA

Sunset of Eden: Sci-Fi Short Story Based on the Three-Body Problem

DEF CON Quals 2018: It's a Me

My Favorite Films of All Time

Formal Verification: The Gap Between Perfect Code and Reality

Using the LLVM MC Disassembly API

Formal Reasoning in Coq — a Beginner's Guide

Matasano Crypto Challenges, Set 7

Protips for Speed (And Reducing RSI) for Programmers or Mac Users

Looking Towards Summer: Concolic Execution, Fuzzy Panda, and More

Matasano Crypto Challenges, Set 6

DEF CON CTF Qualifier 2017

Generating and Interpreting Bytecode for MITScript — Using Rust