yeah, but it would only be right 1/n! of the time, and given how often spec.test tests before quitting, this probably works for vectors of length up to 5

You could probably use spec to converge on some behavior, in a genetic algorithm sort of way. See http://gigasquidsoftware.com/blog/2016/07/18/genetic-programming-with-clojure-dot-spec/

You probably wouldn't want all the genetic algorithm stuff. Just divide and conquer over the sort space. But you could probably look at some of her code for generating data.

They can literally read your mind now: http://neurosciencenews.com/fmri-imagination-6814/

That's awesome

On the Unhappiness of Software Developers - https://arxiv.org/abs/1703.04993

tl;dr: devs are an, on average, slightly happy population.