bluesky — jake — 30 Sep 2026
definitely going to be new AI-enhanced areas which are totally underserved now, and will be high value.
#formal-verification #economics-of-ai
definitely going to be new AI-enhanced areas which are totally underserved now, and will be high value.
but even here I think jevons strikes: formal verification gets so much cheaper, that people want it everywhere!
because few people can do it (employment already ⬇️): salary ⬆️