I did not think of becoming an all rounder. I would rather be Kurt Godel. Even Einstein wanted to learn from him, and spent time talking to him. #KurtGödelSociety #computingscience #LogicProgramming #philosopher #geniuses
#geniuses #philosopher #LogicProgramming #computingscience #kurtgodelsociety
I have asked #ChatGPT to solve problems we typically give our students at #LogicProgramming exam, and it mostly passed. I guess it's time to seriously reconsider the way we check knowledge, and what kind of knowledge is required from a human being vs. a computer...
Add #Mercury to the languages in which I have contributed a Sutherland-Hodgman example to #RosettaCode:
Sutherland-Hodgman polygon clipping - Rosetta Code https://rosettacode.org/wiki/Sutherland-Hodgman_polygon_clipping#Mercury
#LogicProgramming #ComputerGraphics #DeclarativeProgramming
(I’m still stunned by that oatmeal-for-brains who OBJECTED to my contributing a #Ratfor example, because it wasn’t in the latest #Fortran revision. And such a fool runs ‘Fortran’ websites? Computer programming is a sick field.)
#fortran #ratfor #declarativeprogramming #computergraphics #LogicProgramming #rosettacode #mercury