software engineer wandering through the realms of
program synthesis · type theory · formal methods
building the Vanara Programming Language
cultivating a digital garden of interconnected thoughts
posting some ideas on PL. Program Synthesis and AI on :