| user: | hexhex |
| created: | September 23, 2014 |
| karma: | 169 |
| 1. | |
| 2. | Shared scooters don’t last long(qz.com) |
| 3. | The Philosopher Who Says We Should Play God(nautil.us) |
| 4. | First flight of ion-drive aircraft(nature.com) |
| 5. | Idris to PHP – Yes, really(github.com) |
| 6. | Logic and Proof – learning proving with Lean(avigad.github.io) |
| 7. | Boolean Blindness(existentialtype.wordpress.com) |
| 8. | How I made the switch to AI Research (2017)(medium.com) |
| 9. | Coinbase will support Segwit2x, but not Bitcoin Gold(blog.coinbase.com) |
| 10. | |
| 11. | |
| 12. |