Hacker News new | ask | show | jobs
by natded 1679 days ago
No problem, I enjoy reading about type theory and trying to apply them in practical programming as a hobby.