F*: A general-purpose proof-oriented programming language

Apple Reference Image: A New Approach for Verified Photography

Hackers Got Inside a Flock Camera. Its Data Shows How the System Works

Building a Linux GPU Driver for the M4 Mac Mini in One Month

We got admin access to Baseten's production GitHub

Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations