Austin Adams

computer science grad student

Recent Blog Posts

  • Proof of the Expectation Value of Z for a Qubit State
    April 16, 2022
    It has been a few years since I wrote a post on this blog, so I wanted to share a fun proof, even if it’s a little trivial.$ \newcommand{bra}[1]{\langle #1 |} \newcommand{ket}[1]{| #1 \rangle} \newcommand{bramket}[2]{\langle #1 | #2 \rangle} \newcommand{bramket}[3]{\langle #1 | #2 | #3 \rangle} $ For many quantum applications, you care about $\bramket{\psi}{Z}{\psi}$. That is, the expectation value of the Pauli operator $Z$. I’m a computer scientist, so $\ket{\psi}$ is a qubit state for me, but this is defined for any quantum state $\ket{\psi}$.
  • Fixing Spotify on HiDPI on Ubuntu
    December 2, 2020
    The official “Spotify for Linux” page states: Spotify for Linux is a labor of love from our engineers that wanted to listen to Spotify on their Linux development machines. They work on it in their spare time and it is currently not a platform that we actively support. These brave engineers should be commended …for their incredible eyesight: For those of us with HiDPI displays, here’s how to make the Spotify UI readable on Ubuntu.
  • Acing a C Homework Using Inline Assembly
    February 7, 2019
    In courses taught in Java (such as a data structures class), you can build pretty robust autograders for homeworks — after all, the student’s code runs in the JVM, which prevents it from doing spooky things like corrupting memory or branching to weird places. So you can run the grader instantly after submission on a service like Gradescope and boom, they’ve got their grade. But C homeworks provide students a lot more opportunities to write… unconventional solutions.