Blog | Michael Zhang

about · blog · cv ·

2025

Yet another blog reboot

BearcatCTF 2025 Writeups

2024

The advent of code language

Reflections on my first type theory talk

Visual examples of hcomp

Boolean equivalences

Agda syntax highlighting in my blog!

Coping with refactoring

My Venture into Dance Dance Revolution

2023

Path induction: a GADT perspective

Thoughts on personal organization

Formally proving true ≢ false in Homotopy Type Theory with Agda

Developing on projects without flake.nix on NixOS

Getting a shell in a Docker Compose container without any shells

2022

Rust's Impure Path

Decentralized Identity, a Middle Ground

UIUCTF 2022 Writeups

Mastery-Based Learning

Installing NixOS on ZFS with encryption

The Cyber Grabs CTF: Unbr34k4bl3 (942)

2021

End-to-end encryption is useless without client freedom

Tracking links in email

2020

Password managers

2019

Accept server analogy

Magic forms with proc macros: Ideas

2018

Twenty years of attacks on rsa with examples

Setting up IRC with Weechat

Fixing tmux colors

Cleaning up your shell

My new life stack

2017

OverTheWire: Narnia

UIUCTF 2017 Writeups

VolgaCTF 2017 Writeups

EasyCTF 2017 Wrap-up

So, you can detect whether I use an ad-blocker or not, eh?

Why I think HTML is a programming language.

Watch out, returning users!

Wi-Fi Problems when Installing Linux on ASUS machines

2016

XinIRC development

Lightning Speed Run

H4CK1T CTF 2016

CSAW CTF 2016 Quals

So. I started a blog.

2015

Pwnable.kr: fd (1)

A Much-Needed Apology

2014

How to accomplish something.

© 2026 • Michael Zhang

Press Esc or click anywhere to close