Blog

Path induction: a GADT perspective
2023-10-23 ·
#type-theory
Thoughts on personal organization
2023-08-31 ·
#logseq#organization
Formally proving true ≢ false in cubical Agda
2023-04-21 ·
#agda#type-theory
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
2022-05-09 ·
#linux#nixos#setup
Clangd in Nix
2022-03-03 ·
#nixos
The Cyber Grabs CTF: Unbr34k4bl3 (942)
2022-02-02 ·
#crypto#ctf#rsa
End-to-end encryption is useless without client freedom
2021-10-31 ·
#computers#privacy
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
2018-10-26 ·
#crypto#ctf#rsa
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