Blog

CRDTs in Agda
The advent of code language
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