| 1. | | Oxford and King’s developing prototype for rapidly deployable ventilator (oxvent.org) |
| 2 points by hexhex on March 21, 2020 | past |
|
| 2. | | Shared scooters don’t last long (qz.com) |
| 2 points by hexhex on July 2, 2019 | past |
|
| 3. | | The Philosopher Who Says We Should Play God (nautil.us) |
| 1 point by hexhex on May 3, 2019 | past |
|
| 4. | | First flight of ion-drive aircraft (nature.com) |
| 1 point by hexhex on Nov 25, 2018 | past |
|
| 5. | | Idris to PHP – Yes, really (github.com/edwinb) |
| 3 points by hexhex on Aug 27, 2018 | past |
|
| 6. | | Logic and Proof – learning proving with Lean (avigad.github.io) |
| 1 point by hexhex on Aug 7, 2018 | past |
|
| 7. | | Boolean Blindness (existentialtype.wordpress.com) |
| 2 points by hexhex on June 19, 2018 | past |
|
| 8. | | How I made the switch to AI Research (2017) (medium.com/tom-b-brown) |
| 2 points by hexhex on March 5, 2018 | past |
|
| 9. | | Coinbase will support Segwit2x, but not Bitcoin Gold (coinbase.com) |
| 3 points by hexhex on Oct 24, 2017 | past |
|
| 10. | | Ex Machina's Scientific Advisor – Murray Shanahan [video] [] (youtube.com) |
| 3 points by hexhex on June 29, 2017 | past |
|
| 11. | | Ask HN: Which realisation changed your view of the world, but seems trivial now? |
| 1 point by hexhex on April 4, 2017 | past | 2 comments |
|
| 12. | | Teaching creative computer science: Simon Peyton Jones [Video] (youtube.com) |
| 2 points by hexhex on Feb 19, 2017 | past |
|
| 13. | | Show HN: Don' buy shit on Amazon with Amazon contemplate (chrome.google.com) |
| 1 point by hexhex on Jan 27, 2017 | past |
|
| 14. | | Automated deducted proof of the square root of a prime number is irrational (nevidal.org) |
| 2 points by hexhex on Sept 28, 2016 | past |
|
| 15. | | Moving Fast with Software Verification at Facebook [pdf] (fbcdn.net) |
| 1 point by hexhex on March 14, 2016 | past |
|
| 16. | | MIT on how to cheat on a Google interview [pdf] (csail.mit.edu) |
| 6 points by hexhex on March 3, 2016 | past | 1 comment |
|
| 17. | | An Introduction to Quantum Computing for Non-Physicists (2000) [pdf] (arxiv.org) |
| 74 points by hexhex on April 22, 2015 | past | 3 comments |
|
