| 1. | | The search for extraterrestrial life as we don’t know it (scientificamerican.com) |
| 77 points by gkuan on Feb 2, 2023 | past | 97 comments |
|
| 2. | | The search for extraterrestrial life as we don’t know it (scientificamerican.com) |
| 4 points by gkuan on Jan 20, 2023 | past | 3 comments |
|
| 3. | | DARPA Bio-Inspired Restoration of Aged Concrete Edifices (sam.gov) |
| 4 points by gkuan on May 26, 2022 | past |
|
| 4. | | Type Directed Synthesis for RESTful APIs (arxiv.org) |
| 2 points by gkuan on May 25, 2022 | past |
|
| 5. | | Mysten Labs Announces Sui Blockchain (medium.com/mysten-labs) |
| 17 points by gkuan on May 25, 2022 | past | 4 comments |
|
| 6. | | Proposal for Terra Rebirth Passes (fortune.com) |
| 2 points by gkuan on May 25, 2022 | past |
|
| 7. | | MapLab: What It Takes To Map Mars (bloomberg.com) |
| 2 points by gkuan on May 8, 2021 | past |
|
| 8. | | Dfinity Mercury Genesis Event The Internet Computer (dfinity.org) |
| 5 points by gkuan on May 8, 2021 | past |
|
| 9. | | Coz: Finding Code That Counts with Causal Profiling (acm.org) |
| 3 points by gkuan on June 13, 2018 | past |
|
| 10. | | Darpa Assured Autonomy Safety for Learning-Enabled Autonomous System 2017 (darpa.mil) |
| 4 points by gkuan on May 10, 2018 | past |
|
| 11. | | Darpa Assured Autonomy: Continual Assurance of Learning-Enabled Systems (2017) (darpa.mil) |
| 2 points by gkuan on May 8, 2018 | past |
|
| 12. | | SCONE: Secure Linux Containers with Intel SGX (usenix.org) |
| 4 points by gkuan on Nov 15, 2016 | past |
|
| 13. | | The Myth of the Millennial Entrepreneur (theatlantic.com) |
| 4 points by gkuan on July 11, 2016 | past |
|
| 14. | | The Computer Glitch That's Keeping Poor People from Their Money (theatlantic.com) |
| 3 points by gkuan on Oct 20, 2015 | past |
|
| 15. | | How Yelp Is Giving You Bad Advice (citylab.com) |
| 1 point by gkuan on July 9, 2015 | past |
|
| 16. | | A Compositionally Verified Compiler for a Higher-Order Imperative Language [pdf] (mpi-sws.org) |
| 18 points by gkuan on June 25, 2015 | past | 3 comments |
|
| 17. | | Rust release lightning talk (graydon2.dreamwidth.org) |
| 3 points by gkuan on June 24, 2015 | past |
|
| 18. | | A Framework for Implementing and Formally Verifying Distributed Systems [pdf] (washington.edu) |
| 15 points by gkuan on June 19, 2015 | past | 1 comment |
|
| 19. | | Injectable electronics could be used to monitor brain activity (arstechnica.com) |
| 1 point by gkuan on June 15, 2015 | past |
|
| 20. | | The Big Money Behind Tall Buildings (citylab.com) |
| 1 point by gkuan on June 12, 2015 | past |
|
| 21. | | One Reason It’s So Hard to Become a 'Creative Superstar City' (citylab.com) |
| 27 points by gkuan on May 29, 2015 | past | 5 comments |
|
| 22. | | Redditviz – Reddit interest network (2013) (rhiever.github.io) |
| 28 points by gkuan on May 29, 2015 | past | 7 comments |
|
| 23. | | Firefox Maker Battles to Save the Internet–and Itself (technologyreview.com) |
| 1 point by gkuan on May 27, 2015 | past |
|
| 24. | | The Highway Lane Next to Yours Isn’t Really Moving Any Faster (citylab.com) |
| 13 points by gkuan on May 26, 2015 | past | 20 comments |
|
| 25. | | Micro Virtual Machines as Solid Foundation for Language Development (lambda-the-ultimate.org) |
| 63 points by gkuan on May 22, 2015 | past | 5 comments |
|
| 26. | | CarFreeAtoZ: A multimodal transit planning tool for D.C (citylab.com) |
| 3 points by gkuan on May 22, 2015 | past |
|
| 27. | | The Urban Housing Crunch Costs the U.S. Economy About $1.6 Trillion a Year (citylab.com) |
| 1 point by gkuan on May 18, 2015 | past |
|
| 28. | | Sirius: An Open End-To-End Voice and Vision Personal Assistant (clarity-lab.org) |
| 2 points by gkuan on May 14, 2015 | past |
|
| 29. | | Pycket: A Tracing JIT for a Functional Language (lambda-the-ultimate.org) |
| 66 points by gkuan on May 14, 2015 | past | 7 comments |
|
| 30. | | Eve: the dev diary of a programming environment aimed at non-programmers (lambda-the-ultimate.org) |
| 49 points by gkuan on May 14, 2015 | past | 27 comments |
|
|
| More |
