## Linear models: reversing the predictors and the predicted

Consider $n$ observed data points $(x_1,y_1),\dots, (x_n, y_n)$. We think they might satisfy a linear model $y = ax + b$. Finding the coefficients $a$ and $b$ is called linear regression, and the most typical way to find them is the method of least squares: that is, we find $a$ and $b$ that minimize the […]

## Relax, PhDs: applying to 100+ jobs is normal

Applying for jobs after a PhD and my postdoc was one the weirdest things I ever did. I haven't written too much about it before, but because it is so bewildering I thought I'd give out some stats on how my application process went. The most obvious statistic is the number of jobs to which […]

## A short survey of von Neumann regular rings

I've talked a lot about von Neumann regular rings on this blog, so I thought I'd write an informal short survey on them, collecting some facts we've already seen and many new ones. It should give you an idea of what von Neumann regular rings are. Most of the facts that I did not explicitly […]

## Roger Ming's theorem on von Neumann regular rings

We say that an associative ring $A$ is von Neumann regular if for every $a\in A$ there exists a $x\in A$ such that $axa = a$. That is a rather strange condition, isn't it? But, you can think of $x$ as a pseudoinverse to $a$. This weakening of inverses has a homological counterpart: if every […]

## University of California: Goodbye Elsevier

On July 10, 2019, the University of California gave up its access to Elsevier journals. According to Elsevier, The contract ended in December 2018. Since then, while working to find a solution, we have continued to provide access without payment to University of California campuses. Unfortunately, we've been unable to come to an agreement. The […]

## Some thoughts on proof assistants

A proof assistant is a computer program that takes as input a proof in a formal language and outputs true if and only if the proof is a valid proof in a formal system. An example would be first-order logic with its inference rules. Proof assistants are supposed to tell you whether your proof is […]