minkzilla Karma 316 Created 11 years ago About Software Engineer Recent Submissions 1. ▲ Verifying F# with the Fidelity Framework Approach (speakez.ai) 2 points · 1 year ago · 0 comments 2. ▲ Bankruptcy as Implicit Health Insurance (pubs.aeaweb.org) 9 points · 1 year ago · 2 comments All submissions on HN · View profile on HN