logoalt Hacker News

exceptionetoday at 3:14 PM2 repliesview on HN

Thanks, that would indeed be helpful.

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

Replies

dangtoday at 6:59 PM

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

Fluorescencetoday at 3:45 PM

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'.