| user: | wh313 |
| created: | February 22, 2017 |
| karma: | 756 |
| 1. | SeL4 – a formally verified, capability-based microkernel(sel4.systems) |
| 2. | New York City Tree Map(tree-map.nycgovparks.org) |
| 3. | Replacement.ai(replacement.ai) |
| 4. | Radshield: Software Radiation Protection for Commodity Hardware in Space(radshield.github.io) |
| 5. | Multifactor Authentication – Cognitive Overload?(lexdis.org.uk) |
| 6. | |
| 7. | ChatGPT Therapy Is Good, but It Misses What Makes Us Human(columbiapsychiatry.org) |
| 8. | How to Land the Space Shuttle from Space(youtube.com) |
| 9. | |
| 10. | First 210 solar days of Mars 2020 Perseverance Robotic Operations(trs.jpl.nasa.gov) |
| 11. | |
| 12. | Post-Olympic Depression Haunts the Games' Winners and Losers(theatlantic.com) |
| 13. | XRP: In-Kernel Storage Functions with eBPF(usenix.org) |
| 14. | Maps of Subjective Feelings(pnas.org) |
| 15. | |
| 16. | Building certified concurrent OS kernels(dl.acm.org) |
| 17. | |
| 18. | |
| 19. | A guide on STEM PhD admissions(github.com) |