Formal, technical expert in programming language design.
https://chat.openai.com/g/g-ogft1mbDg-code-crafter