CoreDump: Trio at a Conference.

Welcome to Core Dump, the one stop for techies, in this episode, the Trio represent Core Dump and Dr Bheemaiah at a leading conference, the audience is awed at such a young group of presenters, the gang of three! Academic circles are embarrassed at the amazing work little children are at, while graduate students, poorly compensated are struggling for six or more years…

Dump: 01.06.2022.20.37.PM

Trio: We are presenting a paper with Dr Bheemaiah on machine genome, transcription and automated reasoning for provable security for IAM , as part of cartesian parametric genomics with IaC. Since we are the mascots to true innovation…, we now have provable transcription, leading to proven functionality. Provable ML.

Gecko: And are your parents coming along, for provable physical security?

Trio: We have gone far beyond ID cards, or the need for parents! actually we have R2D2 with us, big cardboard cutouts of mean looking uniformed men and smart cameras everywhere, there are Wyze cameras on every door, and we are instantly recognized! There is also a huge wolf like guard dog too!

Gecko: So the VPC and authentication is provable, so is the machine learning…

Trio: It just follows from Godels work on provability, besides if a network is Z — Complete, then it is provable, quite axiomatically…, and so transformers are tensorized, computable and provable, so is generative A.I!, all provable if stateful.

Gecko: So essentially complexity and a closed form tensorization do exist even in NP and QP and are provable?

Trio: We are not yet sure of QP though, but as far as NP is concerned, practically yes, much like CAS systems and actually if you have seen ontological proof systems in logic (like Godel’s proof of God), much like cognitive computing a lot is provable, though the proofs can be debatable? But ontologies and cognitive computing have expanded the scoping of provable ML….

Spoiler: Advertising the book, AWS and Automation, Kindle, by Dr Bheemaiah Anil K (Kumar), Buy on Amazon.com