Richard Hamming's elegant solution to unreliable communication turns a simple parity trick into a self-correcting system, ...

@article{roffe_decoding_2020, title={Decoding across the quantum low-density parity-check code landscape}, volume={2}, ISSN={2643-1564}, url={http://dx.doi.org/10. ...

I originally created this as a short to-do list of study topics for becoming a software engineer, but it grew to the large list you see today. After going through this study plan, I got hired as a ...

Code concatenation that uses two or more short component codes is a significant method for designing powerful codes. Concatenated classical codes are not only asymptotically good in theory, but also ...

Abstract: In this paper we report on work done to formalize coding theory in the Lean theorem prover, released by Microsoft Research and Carnegie Mellon University in 2015. We formalize definitions ...