I write things sometimes! This place used to be a mess of pretty low quality content, but now I'm trying to produce better posts about programming languages, academia, and occasionally politics. Updates will probably still be sporadic, but hopefully a lot better!
-
September 30, 2018In this quick writeup, I write a bit about the graduate applications cycle and share my application materials from Fall 2016, including my NSF Fellowship application.
-
February 25, 2018In this post, I explore how Rust's type system provides programmers with powerful reasoning principles. In doing so, I attempt to present an accessible explanation of an idea known as free theorems and its relationship with noninterference, a common security property.
-
June 4, 2017In this post, I walk through a talk I gave at NEPLS on my research enabling system administrators to update high-level, declarative system configurations through the ordinary use of a shell.
-
February 10, 2015As its founder, I detail the history of the PdgnCo IRC network, a self-proclaimed bastion of democratic autonomism on the web.
-
October 20, 2014In this op-ed for the Daily Collegian, I extol the hard work of dining workers and encourage students to support them in their endeavors to achieve economic justice.
-
June 3, 2014In this writeup from the first HSCTF, I walk through the solution to my Haskell reverse engineering problem entitled 'λ1'.
-
May 25, 2014In this writeup from the first HSCTF, I walk through the solution to my unsolved reconnaissance problem entitled 'awe'.
-
May 25, 2014After the successful completion of the first ever HSCTF, a high school computer security competition, I give a quick overview of the competition and announce the winners.