ZK12: Zirgen: A Novel DSL for Writing Efficient zk-STARK Circuits - Jacob Weightman

10:05
ZK12: Abstractions for a multi-prover zkVM - Georg Wiese

23:47
The Rust vs C Linux Divide.. Another Rust Maintainer Steps Down.

28:50
ZK12: Circom buses: the power to structure ZK circuits - Albert Rubio

15:20
Hacking This Terrible DRM

10:13
How to recompile Linux (on a Raspberry Pi)

17:59
10 Signs Your Software Project Is Heading For FAILURE

24:52
The Most Useful Thing AI Has Ever Done

25:57