48
2
A Message from AI Research Leaders: Join Us in Supporting OpenReview (openreview.net)
1
Tinker: General Availability and Vision Input (thinkingmachines.ai)
2
Secureblue: A security-focused desktop and server Linux operating system (secureblue.dev)
1
NotebookLM built and shipped a 4.8-Star Flutter App in 7 Months [video] (youtube.com)
1
Dyad v2.0.0 (juliahub.com)
2
NIST Draft Cyber AI Profile (nist.gov)
3
The rpki-client project needs financial support (undeadly.org)
1
Behind the Scenes of the 60 Minutes Story about Khan Academy (khanacademy.org)
1
Google DeepMind Formal Conjectures (google-deepmind.github.io)
3
The Climate Modeling Alliance (caltech.edu)
2
Keep Leaks Alive (donorbox.org)
1
LLM Is Like a Box of Chocolates (arxiv.org)
1
Towards Developmental Interpretability (lesswrong.com)
1
A framework for applied category theory in the Julia language (algebraicjulia.github.io)
1
Kami: A Platform for Hardware Specification and Verification (github.com/mit-plv)
1
Science Questions with Surprising Answers (wtamu.edu)
2
Mustard Watches: An Integrated Approach to Time and Food (cnrs.fr)
5
How to Think Computationally About AI, the Universe, and Everything [video] (ted.com)
4
Fast Symbolic Computation for Robotics (symforce.org)
1
Download Fedora Silverblue 39 (fedoraproject.org)
1
Creating an executable paper is a journey through Open Science (nature.com)
2