Twitxy Saved

Guido Appenzeller

Verified account a16z

@appenz

At a16z investing in AI & Infra. 2x founder & CEO. CTO at Intel & VMware. CPO at Yubico. Tweets are my own.
Silicon Valley, CA guido.appenzeller.net Joined January 2008
302 Following 11K Followers 3.8K Posts

Latest posts 5

Guido Appenzeller Verified account @appenz
For a broad set of tasks, the speedup of a quantum computer is polynomial at best.

Super cool result and this explains partially why we haven’t found many interesting applications of quantum computers.

psi.inc/research/aaron…
psi.inc A proof of the Aaronson-Ambainis conjecture A proof of the Aaronson-Ambainis conjecture about quantum speedups on random inputs, with a complete formalization in Lean.
9 replies 11 reposts 81 likes 21K views View on X
Guido Appenzeller Verified account @appenz
Astra and $500 in tokens to build the chip-level logic (FPGA) and software for a fully functional Satellite TV receiver. Crazy!

Amazing work @ivan_makarov !
Ivan Makarov Verified account @ivan_makarov Nov 1
Full and flawless sat tv reception on agent's built of sdr on ad9361+xc7z020

🤯🤯🤯

it took gpt-6-astra 72h to get protocol right with no full documentation, and then stream the video+audtion on on-traget web app
View quoted post on X
1 replies 3 reposts 38 likes 2.1K views View on X
Guido Appenzeller Verified account @appenz
The more I am looking at AI for semiconductor design, the more it seems to me that:

1. RTL generation is just coding
2. 100% of RTL will be generated by agents
3. This means frontier models will dominate

And to be clear, we still need specialized tools for those agents that do verification, physical simulation, layout etc.