DougMerritt (log😅 = 💧log😄)dougmerritt@mathstodon.xyz
Aug 8, 2026, 4:44 PM@screwlisp
BTW that guy (Alex Shinn), based on ireggex and his github and SRFIs there, appears to be bright and talented. I don't know anything else about him, but it's possible you might want to recruit him.