Has Carmack coded anything interesting since he got into functional programming?