calebh Karma 511 Created 14 years ago About Senior Member of the Technical Staff at Draper Laboratory in the formal methods group.Website: https://helbl.ing/ All submissions on HN · View profile on HN