Jeremias, The Omniscient Code Deity | GenAI Works