HN Explorer

ghettoimp

↗ HN profile [ 78.9 ms ] full profile
Karma
839
Created
December 30, 2015 (10y ago)
Submissions
0
  1. The Verified CakeML Compiler Back End [pdf] (cs.cmu.edu)
    39 points 11
  2. How AWS uses automated reasoning to help you achieve security at scale (aws.amazon.com)
    1 points 0
  3. Facebook has been collecting call history, sms data (theverge.com)
    2 points 1
  4. Formal specification of IEX (stock exchange) auction logic (medium.com)
    2 points 0