Ugh. That looks like AI this, LLM that, Agent this.
Where are the databases, the distributed systems, where is the software verification?