I see what you did there :)

Sorry why, what happened?

Fun linguistics fact: If you sign something under threat of being beaten and starved, you’re not signing it voluntarily.

One thing I can add here is that leftover peanut sauce unfortunately does not work on an English muffin. Recent finding.

Another day, another violation of the laws against bribery. Any rational and honest jury would convict him on the basis of this evidence.

In this version, quantification (and iota) makes reference to the "restricted" domain of type tau (augmented domain minus the undefined individual of type tau). Defining D_tau^- in a way that makes it correspond 1-to-1 to the classical domain is given as an exercise.

The problem wrt partial type theory was essentially that variables range over things in the augmented domain but universal/existential quantification is given a semantics in terms of the classical domain, and for functional types, these two domains are disjoint!

I think it’s actually a very emotionally astute comment. Trump is a depraved rapist conman thief but he has a certain emotional intelligence.

Was just in Nepal. Two amazing things about the revolution: it was the people vs the corrupt government, and the Army stayed on the side of the people, protecting civilians, even if they were violating the curfew and destroying property. Still only 5 government-side people were killed.

Beautiful graphics!

Omg. Same. DC food dispensaries are already low. My client discussion today was "they are taking our food stamps so we will steal and end up in jail. Same story different era".

This way when they steal the election again it’ll look like gerrymandering is to blame.