Gen AI, Performance Optimization, Formal Verification, Symbolic Execution, Static Analysis, Metaprogramming, Functional Programming, Applied Category Theory