Yes but mostly learning novel technologies, and try it in some very small project or snippets. These days I'm reading the little typer and there's a dependent

Yes but mostly learning novel technologies, and try it in some very small project or snippets. These days I'm reading the little typer and there's a dependent type language named Pie in it. It's really a pleasant to read. Things like this I probably no chance to learn and use at work for tens of years. So I have to do it off-work.