Hacker News new | ask | show | jobs
by exceptione 29 days ago
Thanks, that would indeed be helpful.

  > (It's marijn, not merijn.)
oeps, sry!
2 comments

First time I have seen this name.

Wikipedia is intriguingly inconsistent - claims that Marijn is the Dutch variant of Marinus meaning 'marine' like Marius, Mario etc. but other pages claim Marius is more likely to be from 'mars' or 'male' than 'marine'.

I've taken the liberty of correcting the typo in your GP comment. I hope that's ok!
thx!