λ. Aaron Weiss

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!

Archive
RSS Icon by David Gandy of FlatIcon.com
  • Reasoning with Types in Rust
    In 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.
  • Bridging the System Configuration Gap
    In 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.
  • A Brief History of Pdgn
    As its founder, I detail the history of the PdgnCo IRC network, a self-proclaimed bastion of democratic autonomism on the web.
  • Worker Appreciation Day
    In 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.
  • Write-Up: λ1
    In this writeup from the first HSCTF, I walk through the solution to my Haskell reverse engineering problem entitled 'λ1'.
  • Write-Up: awe
    In this writeup from the first HSCTF, I walk through the solution to my unsolved reconnaissance problem entitled 'awe'.
  • HSCTF Write-Ups
    After 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.