Show HN: Simple refined types implementation that can prevent Heartbleedgithub.com/tomprimozic56 pointstomp12 years ago