Looks like it's part of a larger effort to invest in semiconductors: https://gov.texas.gov/business/page/texas-chips-office https://gov.texas.gov/business/page/

Looks like it's part of a larger effort to invest in semiconductors: https://gov.texas.gov/business/page/texas-chips-office https://gov.texas.gov/business/page/texas-chips-office The Texas state government's annual budget is well over $300 billion, so it's not a huge amount of money for them.