Finding signal on Twitter is more difficult than it used to be. We curate the best tweets on topics like AI, startups, and product development every weekday so you can focus on what matters.
One thing that I no longer hear much talk about: Whether AI | Tech Twitter
Press Space to continue
One thing that I no longer hear much talk about:
Whether AI would help with formal verification go mainstream. Formally verifying programs is pretty hard and is a niche skillset!
Doesn't seem like AI has made a difference in that field. Worth asking: why?