The PCP theorem, a jewel of theoretical computer science, establishes that any NP statement can be assessed by a randomized verifier who only checks a vanishing fraction of the proof (indeed, a constant # of characters!)

This has had incredible impact, most notably on how ML reviews are conducted

Layers of north cascades always amazes me!

Is it Mt Baker on the left end of the image? Great Photo!

Here’s the link to join DMLR starter pack

go.bsky.app/BNWnrSu

Please join in our data centric ML starter pack! Shoutout to Jifan for making this.