sharkdp Karma 992 Created 10 years ago About http://david-peter.de Recent Submissions 1. ▲ Show HN: Numbat – A programming language with physical dimensions as types (numbat.dev) 146 points · 2 years ago · 113 comments All submissions on HN · View profile on HN