rmnull Karma 13 Created 4 years ago About [ my public key: https://keybase.io/rmnull; my proof: https://keybase.io/rmnull/sigs/CF5f-V2kTeHtU7Du-cywp6PlC8kv3X4UoMPkVLXABSo ] Recent Submissions 1. ▲ Ask HN: How are you preventing sloppy verification with AI-assisted coding? 1 point · 5 months ago · 0 comments 2. ▲ Ask HN: How do you get over typed languages? 3 points · 1 year ago · 4 comments 3. ▲ Ask HN: Programming ideas that redefine the way you look at programming 4 points · 4 years ago · 10 comments All submissions on HN · View profile on HN