Hacker News new | past | comments | ask | show | jobs | submit | mchouza's favorites login
   submissions | comments
1. SMT Solving on an iPhone (washington.edu)
174 points by sidereal 11 months ago | 35 comments
2. [dupe] British-owned .EU domains may be turned off on Brexit (dot-eu-is-going.uk)
58 points by eicnix on June 18, 2018 | 58 comments
3. LibBF – a small library to handle arbitrary precision floating point numbers (bellard.org)
159 points by gbrown_ on Mar 6, 2018 | 60 comments

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: