Y Hacker News new | ask | show | jobs

user: masterq created: 2014-04-27 karma: 6 [ my public key: https://keybase.io/masterq; my proof: https://keybase.io/masterq/sigs/WKX-Kd2vyJXaAEfDlW-Yjtq65UgAgqV3zKyZPqNCkps ] submissions: ATS2 and VeriFast avoid some of FreeBSD vulnerabilities 1 points | 0 comments If you are using Windows or Linux, you must buy SyncStitch with only 64,800 JPY 2 points | 0 comments Hands-on VeriFast with STM32 microcontroller Osaka 3 points | 1 comments Hands-on VeriFast with STM32 microcontroller 1 points | 0 comments History of Ajhc Haskell Compiler (Japanese) [pdf] 4 points | 0 comments C2ats – An utility to generate ATS interface from C code 3 points | 0 comments Functional IoT Meetup #0 2 points | 0 comments Metasepi's going year and coming year, 2015 1 points | 0 comments Kick-R: Get your own R instance with 36 cores on AWS 3 points | 0 comments Metasepi Project needs donations on Bitcoin 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments