Blog

Reflections on my first type theory talk
Old blog posts
Visual examples of hcomp
Boolean equivalences
Agda syntax highlighting in my blog!
2024-06-27 ·
#agda #meta
Coping with refactoring
2024-06-21 ·
#engineering
My Venture into Dance Dance Revolution
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
2023-04-20 ·
#linux #nixos
Getting a shell in a Docker Compose container without any shells
2023-03-29 ·
#docker #linux
Rust's Impure Path
2022-10-30 ·
#rust
Decentralized Identity, a Middle Ground
2022-10-30 ·
#web
UIUCTF 2022 Writeups
2022-08-01 ·
#ctf
Mastery-Based Learning
2022-07-24 ·
#education
Installing NixOS on ZFS with encryption
Clangd in Nix
2022-03-03 ·
#nixos
The Cyber Grabs CTF: Unbr34k4bl3 (942)
End-to-end encryption is useless without client freedom
Tracking links in email
Password managers
Accept server analogy
2019-03-04 ·
#computers
Magic forms with proc macros: Ideas
2019-02-01 ·
#computers #web
Twenty years of attacks on rsa with examples
Setting up IRC with Weechat
2018-10-18 ·
#irc
Web apps
Fixing tmux colors
2018-04-23 ·
#computers
Cleaning up your shell
My new life stack
OverTheWire: Narnia
2017-05-24 ·
#medium-blog
UIUCTF 2017 Writeups
2017-05-01 ·
#medium-blog
VolgaCTF 2017 Writeups
2017-03-26 ·
#medium-blog
EasyCTF 2017 Wrap-up
2017-03-24 ·
#medium-blog
So, you can detect whether I use an ad-blocker or not, eh?
2017-02-16 ·
#medium-blog
Why I think HTML is a programming language.
2017-01-14 ·
#medium-blog
Watch out, returning users!
2017-01-07 ·
#medium-blog
Wi-Fi Problems when Installing Linux on ASUS machines
2017-01-03 ·
#medium-blog
XinIRC development
2016-12-30 ·
#medium-blog
Lightning Speed Run
2016-12-01 ·
#medium-blog
H4CK1T CTF 2016
2016-10-02 ·
#medium-blog
CSAW CTF 2016 Quals
2016-09-18 ·
#medium-blog
So. I started a blog.
2016-09-07 ·
#medium-blog
Pwnable.kr: fd (1)
2015-10-20 ·
#medium-blog
A Much-Needed Apology
2015-03-19 ·
#medium-blog
How to accomplish something.
2014-12-28 ·
#medium-blog