Hacker News new | ask | show | jobs
by 19870213 2068 days ago
In Dutch, Tinus usually is short for Martinus (or Martijn, Maarten or Martin, though those are also considered 'full' names).