Stories by pmaddams

Memory Safety

A Message from AI Research Leaders: Join Us in Supporting OpenReview

Tinker: General Availability and Vision Input

Secureblue: A security-focused desktop and server Linux operating system

NotebookLM built and shipped a 4.8-Star Flutter App in 7 Months [video]

Dyad v2.0.0

NIST Draft Cyber AI Profile

The rpki-client project needs financial support

Behind the Scenes of the 60 Minutes Story about Khan Academy

Google DeepMind Formal Conjectures

The Climate Modeling Alliance

Keep Leaks Alive

LLM Is Like a Box of Chocolates

Towards Developmental Interpretability

A framework for applied category theory in the Julia language

Kami: A Platform for Hardware Specification and Verification

Science Questions with Surprising Answers

Mustard Watches: An Integrated Approach to Time and Food

How to Think Computationally About AI, the Universe, and Everything [video]

Fast Symbolic Computation for Robotics