My primary research area is universal algebra; current projects focus on lattice theory, computational complexity, and universal algebraic approaches to constraint satisfaction problems. Other research interests include logic, computability theory, type theory, category theory, functional programming, dependent types, and proof-carrying code.
What does a nonabelian group sound like?
The GroupSound project is about harmonic analysis on finite groups. Classical dsp filtering algorithms can be implemented as operations involving functions (e.g., audio signals) defined on a finite group. That is, the group serves as the domain, or “index set,” of the functions. In this project, we explore the idea of using the finite group as an adjustable parameter of a digital audio filter.
When attempting to clone my Octopress repository on a new machine, I had the
Updates were rejected problem that is described on this page.
Based on the information provided on that page, combined with a few other
commands required for Ubuntu machines, this post provides instructions for
cloning an Octopress repository.