Member of the load-bearing staff
- Tweets 2,239
- Following 898
- Followers 2,485
- Likes 11,110
Aws Albarghouthi retweeted
We should rebrand Formal Verification to Proof Against the Machine
1
7
59
2,052
Aws Albarghouthi retweeted
I've discovered that all popular quantum computing SDKs / compilers have serious bugs when it comes to handling angles -- floating point strikes again!
IBM's Qiskit, Google's Cirq, Rigetti's quilc, IQM's Qrisp, NVIDIA's CUDA-Q, Xanadu's PennyLane, qBraid's SDK, ...
🧵1/n
3
1
28
1,859
Models are sycophantic, and when they do challenge faulty or incorrect inputs, they're ambiguous and ineffective.
In a new paper w/ multilingual co-authors, we find that people may view LM responses that push back, yet still end up believing false content is true.
ALT A screenshot of the top half of the first page of a paper titled "Pushback in a Haystack: Language Models Respond to Factual Errors Ambiguously and Ineffectively" with authors Li Lucy, Myra Cheng, Svenja Guhr, Kabir Ahuja, Orevaoghene Ahia, Sameep Chattopadhyay, Yike Wang, Valentin Hofmann, Noah A. Smith, Yulia Tsvetkov
2
21
98
4,391
Aws Albarghouthi retweeted
More cake to celebrate Francis Halzen’s well-deserved Nobel Prize @NobelPrize ! 🎂 Proud to be part of UW–Madison Physics @UWMadPhysics, where extraordinary science continues to happen. Here’s to more discoveries—and more milestones worth celebrating—in the years ahead!
3
22
683
I used to Claude to build some security tool. It built the thing. Then at some point it realized it’s debugging a security tool and the guardrails kicked in 😂
1
16
1,164
I've discovered that all popular quantum computing SDKs / compilers have serious bugs when it comes to handling angles -- floating point strikes again!
IBM's Qiskit, Google's Cirq, Rigetti's quilc, IQM's Qrisp, NVIDIA's CUDA-Q, Xanadu's PennyLane, qBraid's SDK, ...
🧵1/n
3
1
28
1,859
IMO, any future experimental claims should come with the entire software stack. Otherwise, take them with a grain of salt and a shot of Guadalajara's heaviest offerings.
5/n
1
2
160
Aws Albarghouthi retweeted
New blog post on PL perspectives by Max Willsey:
Equality Saturation: An “incomplete” project
blog.sigplan.org/2026/10/01/…
2
10
52
2,624
Aws Albarghouthi retweeted
From the (excellent) WSJ obit of Margaret Hamilton: she left behind 2^0 daughters, 2^1 grandsons, and 2^2 great-grandchildren. Total boss behavior.
ALT https://www.wsj.com/science/space-astronomy/margaret-hamilton-who-developed-software-for-first-moon-landing-dies-at-90-07b982a1
2
5
55
1,745
first tzap paper will (conditionally) appear at POPL (arxiv.org/abs/2605.13929)
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.com/qqq-wisc/tzap
1
2
27
1,813
On Wisconsin
BREAKING NEWS
The Royal Swedish Academy of Sciences has decided to award the 2026 #NobelPrize in Physics to Francis Halzen “for decisive contributions to the IceCube Neutrino Observatory and the discovery of high-energy neutrinos of astrophysical origin.”
13
816
