1. X
  2. Aws Albarghouthi
Log inSign up
Aws Albarghouthi
2,157 posts
user avatar
Aws Albarghouthi
@awsTO
cs.wisc.edu/~aws
Joined October 2009
1,011
Following
2,396
Followers
RepliesRepliesMediaMedia
  • user avatar
    Aws Albarghouthi
    @awsTO
    11h
    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
    Image
    GitHub - qqq-wisc/tzap: A very fast and scalable quantum circuit optimizer
    From github.com
  • user avatar
    Aws Albarghouthi
    @awsTO
    Jul 30
    🔥
    user avatar
    Austen Allred
    Gauntlet AI
    @Austen
    Jul 28
    Friday at 2 PM Pacific: @dexhorthy and I are live-streaming a discussion about the (incredible) results from the new SlopCodeBench benchmark, and what it means for engineers. Completely fascinating. Register to attend here: gauntletai.com/ai-first-org/n…
  • user avatar
    Aws Albarghouthi
    @awsTO
    Jul 28
    Nice to see SlopCodeBench the #2 topic on HN right now, right under Dario's statement. Go @GOrlanski! repo: github.com/SprocketLab/sl… paper: arxiv.org/abs/2603.24755
    Image
  • user avatar
    Aws Albarghouthi
    @awsTO
    Jul 25
    I really need a language with the low-level control of Rust and the proof capabilities of Lean.
  • user avatar
    Aws Albarghouthi
    @awsTO
    Jul 12
    It took me a few hours to write a Lean formalization of the theorems and proofs in a recent paper of ours. I used Fable + 5.6 Sol. I found the exercise shockingly eye opening. I don't think we should publish papers without Lean proofs at this point.

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Advertisement
Advertisement