Blog | Michael Zhang

about / blog /

2025

Yet another blog reboot

November 18, 2025
BearcatCTF 2025 Writeups

February 2, 2025

2024

CRDTs in Agda

December 16, 2024
The advent of code language

December 2, 2024
Reflections on my first type theory talk

October 19, 2024
Old blog posts

October 8, 2024
Visual examples of hcomp

September 18, 2024
Boolean equivalences

June 28, 2024
Agda syntax highlighting in my blog!

June 27, 2024
Coping with refactoring

June 21, 2024
My Venture into Dance Dance Revolution

May 2, 2024

2023

Path induction: a GADT perspective

October 23, 2023
Thoughts on personal organization

August 31, 2023
Formally proving true ≢ false in Homotopy Type Theory with Agda

April 21, 2023
Developing on projects without flake.nix on NixOS

April 20, 2023
Getting a shell in a Docker Compose container without any shells

March 29, 2023

2022

Rust's Impure Path

October 30, 2022
Decentralized Identity, a Middle Ground

October 30, 2022
UIUCTF 2022 Writeups

August 1, 2022
Mastery-Based Learning

July 24, 2022
Installing NixOS on ZFS with encryption

May 9, 2022
Clangd in Nix

March 3, 2022
The Cyber Grabs CTF: Unbr34k4bl3 (942)

February 2, 2022

2021

End-to-end encryption is useless without client freedom

October 31, 2021
Tracking links in email

June 17, 2021

2020

Password managers

April 1, 2020

2019

Accept server analogy

March 4, 2019
Magic forms with proc macros: Ideas

February 1, 2019

2018

Twenty years of attacks on rsa with examples

October 26, 2018
Setting up IRC with Weechat

October 18, 2018
Web apps

May 28, 2018
Fixing tmux colors

April 23, 2018
Cleaning up your shell

February 25, 2018
My new life stack

February 1, 2018

2017

OverTheWire: Narnia

May 24, 2017
UIUCTF 2017 Writeups

May 1, 2017
VolgaCTF 2017 Writeups

March 26, 2017
EasyCTF 2017 Wrap-up

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

February 16, 2017
Why I think HTML is a programming language.

January 14, 2017
Watch out, returning users!

January 7, 2017
Wi-Fi Problems when Installing Linux on ASUS machines

January 3, 2017

2016

XinIRC development

December 30, 2016
Lightning Speed Run

December 1, 2016
H4CK1T CTF 2016

October 2, 2016
CSAW CTF 2016 Quals

September 18, 2016
So. I started a blog.

September 7, 2016

2015

Pwnable.kr: fd (1)

October 20, 2015
A Much-Needed Apology

March 19, 2015

2014

How to accomplish something.

December 28, 2014

© 2025 • Michael Zhang

Press Esc or click anywhere to close