Monday assorted links

1. Andrej: “Software 1.0 easily automates what you can specify. Software 2.0 easily automates what you can verify.”

2. Transgenerational Epigenetic Inheritance.

3. “The national [cow] herd is now the smallest since the 1950s.” (FT)

4. California housing remains stalled.

5. “Being hunted by hounds is strangely exhilarating.”

6. The orca wars escalate.

7. The right-leaning candidate is slated to win in Chile.