Fediverse, Active Inference, memewit, stackshare, Mapness, Xeng. Product, Engineering, Enterprise Architecture. Formal Verification, Cybersecurity, PQC, Confidential computing, Artificial Intelligence and Security