Blog

Boolean equivalences in HoTT
Agda syntax highlighting in my blog!
2024-06-27 ·
#agda #meta
Coping with refactoring
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