Hacker News new | past | comments | ask | show | jobs | submit | opnitro's submissions login

1. Idris 2: Type Driven Development of Idris (youtube.com) 4 points by opnitro on Dec 6, 2018 | past 2. Long Live Shadow Socks (github.com/long-live-shadowsocks) 1 point by opnitro on Aug 23, 2015 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: