| 1. | | Reinvigorating AI research in the U.S. by building leading, open models at home (atomproject.ai) |
| 1 point by pmaddams 5 days ago | past | discuss |
|
| 2. | | Wolfram MCP Service (wolfram.com) |
| 1 point by pmaddams 12 days ago | past | 1 comment |
|
| 3. | | Memory Safety (memorysafety.org) |
| 76 points by pmaddams 86 days ago | past | 145 comments |
|
| 4. | | A Message from AI Research Leaders: Join Us in Supporting OpenReview (openreview.net) |
| 2 points by pmaddams 3 months ago | past |
|
| 5. | | Tinker: General Availability and Vision Input (thinkingmachines.ai) |
| 1 point by pmaddams 3 months ago | past |
|
| 6. | | Secureblue: A security-focused desktop and server Linux operating system (secureblue.dev) |
| 14 points by pmaddams 3 months ago | past |
|
| 7. | | NotebookLM built and shipped a 4.8-Star Flutter App in 7 Months [video] (youtube.com) |
| 2 points by pmaddams 3 months ago | past |
|
| 8. | | Dyad v2.0.0 (juliahub.com) |
| 2 points by pmaddams 3 months ago | past |
|
| 9. | | NIST Draft Cyber AI Profile (nist.gov) |
| 3 points by pmaddams 3 months ago | past |
|
| 10. | | The rpki-client project needs financial support (undeadly.org) |
| 2 points by pmaddams 4 months ago | past | 1 comment |
|
| 11. | | Behind the Scenes of the 60 Minutes Story about Khan Academy (khanacademy.org) |
| 1 point by pmaddams 6 months ago | past | 1 comment |
|
| 12. | | Google DeepMind Formal Conjectures (google-deepmind.github.io) |
| 2 points by pmaddams 8 months ago | past |
|
| 13. | | The Climate Modeling Alliance (caltech.edu) |
| 7 points by pmaddams 10 months ago | past |
|
| 14. | | Keep Leaks Alive (donorbox.org) |
| 3 points by pmaddams on Jan 8, 2024 | past | 1 comment |
|
| 15. | | LLM Is Like a Box of Chocolates (arxiv.org) |
| 1 point by pmaddams on Dec 28, 2023 | past |
|
| 16. | | Towards Developmental Interpretability (lesswrong.com) |
| 1 point by pmaddams on Dec 28, 2023 | past |
|
| 17. | | A framework for applied category theory in the Julia language (algebraicjulia.github.io) |
| 5 points by pmaddams on Dec 28, 2023 | past |
|
| 18. | | Kami: A Platform for Hardware Specification and Verification (github.com/mit-plv) |
| 2 points by pmaddams on Dec 28, 2023 | past |
|
| 19. | | Science Questions with Surprising Answers (wtamu.edu) |
| 2 points by pmaddams on Dec 25, 2023 | past |
|
| 20. | | Mustard Watches: An Integrated Approach to Time and Food (cnrs.fr) |
| 3 points by pmaddams on Dec 5, 2023 | past |
|
| 21. | | How to Think Computationally About AI, the Universe, and Everything [video] (ted.com) |
| 4 points by pmaddams on Nov 30, 2023 | past | 1 comment |
|
| 22. | | Fast Symbolic Computation for Robotics (symforce.org) |
| 6 points by pmaddams on Nov 16, 2023 | past | 2 comments |
|
| 23. | | Download Fedora Silverblue 39 (fedoraproject.org) |
| 3 points by pmaddams on Nov 7, 2023 | past |
|
| 24. | | Creating an executable paper is a journey through Open Science (nature.com) |
| 1 point by pmaddams on Nov 7, 2023 | past |
|
| 25. | | Join the Global Encryption Coalition (globalencryption.org) |
| 2 points by pmaddams on Nov 7, 2023 | past |
|
