Posts about mathematics:

2023 Project Review

17 January, 2024

Reflections on 2023's hobby projects.

Nominal Sets

4 July, 2023

Developing a variable binding library for Rust, based on the theory of nominal sets.

Nominal Sets: Appendix A (Proofs)

4 July, 2023

The proofs for my Nominal Sets article.

Conditional Probabilities and Obnoxious White Guys

5 May, 2019

In this Twitter thread, Eugenia Cheng talks about how she presented at a conference for women in STEM, and was confronted by a white guy who felt ‘called out’ by some of her anecdotes. Apparently, she described interactions with obnoxious individuals in a professional setting, and noted that they were all white guys. Ironically, the guy raised the issue in such a way that he was added to the list of anecdotes.