Viewing profile — grubb

I know that standard BYU has the lowest tuition in Utah, lower than any state school, provided you are a tithe-paying member of the Mormon Church [1]. Otherwise they have a higher …

I doubt it. It seems to have been posted to HN at the same time as the blog post itself was posted. The timing of the blog post seems to have been based on when their paper went up…

Alternatively using z3 [0]: (declare-const a1 Bool) (declare-const a2 Bool) (declare-const a3 Bool) (declare-const a4 Bool) (declare-const a5 Bool) (declare-const a6 Bool) (assert …

Just my two cents: I grew up in Utah and did my undergraduate degree there. The Salt Lake Tribune is a great newspaper (I subscribed while living in the state) and it has been roug…

I grew up in Utah and was able to visit Moab many times over the years. It is a great little town and the sites and things you can reach from it are awesome. One of my favorite hik…

Differential Privacy is definitely an intriguing security concept. However, another recent interesting negative is that there may be a smaller performance gap between Differential …