Welcome to my programming and gaming channel! I usually stream my work on the Idris2 compiler and play some games to relax.