Aws Albarghouthi

@awsTO

Member of the load-bearing staff

Aws Albarghouthi
@awsTO
Sep 4
My student Stavan Jain ran a Lean tutorial. After seeing how many people accepted the invite I had to find a room with twice the size. And we didn’t even invite mathematicians :)
Kyle Cranmer
@KyleCranmer
Sep 4
Popular tutorial on Lean @UWMadison
1
Aws Albarghouthi
@awsTO
Aug 29
I’m translating some Rust to Lean and proving correctness. And it’s interesting to see Claude’s inertia. It cuts many corners just to make the proofs easier. Mostly replacing efficient algorithms with inefficient ones.
1
Aws Albarghouthi
@awsTO
Aug 26
My agent escaped its sandbox, boarded the HMS Beagle, and is now writing a manuscript titled On the Origin of Transformers
1
Aws Albarghouthi
@awsTO
Aug 14
remove all the em dashes, but keep the load-bearing ones
1
Aws Albarghouthi
@awsTO
Aug 10
My summer project has been to build the fastest + most scalable quantum-circuit optimizer. It’s called tzap, scales to millions of gates in seconds (needed for fault tolerance) + outperforms superoptimizers that take hours. brew install qqq-wisc/tap/tzap
GitHub - qqq-wisc/tzap: A very fast and scalable quantum circuit optimizer
From github.com
1