I would say I want him to make a podcast (and would pay like $5 a month for an episode), but considering he thinks hes wasting his free time if all hes doing is learning scheme and implementing Wolfenstein in Haskell, I definitely don't want to take away of his time to educate muggles.
Right, but if it made enough money to fund Armadillo it might be worth his time.
This is a good point, why doesn't he crowdfund Armadillo?