chozang

5 ms·

1. 1.▲
   by chozang 2y ago

   Bonus points for mentioning Spin. My "Software Engineering" course in 1987 in grad school would have been more accurately titled, "Using the Spin Model Checker". Except when I was looking for it, I had never came acros
2. 2.▲
   by chozang 2y ago

   The article mentions in passing the Pirahã and Dan Everett, author of "Don't Sleep - There Are Snakes". The Pirahã have a very interesting language and culture, and the furor that Everett's writings incited is fascinat
3. 3.▲
   by chozang 2y ago

   I would consider doing that, but we have a house now, plus my wife likes being near the city.