Matt Huang (@matthuang) / X

Matt Huang

1,674 posts

Matt Huang

@matthuang

founder @paradigm, founder @tempo, board member @stripe, building & investing at the frontier

San Francisco, CA

Joined June 2009

Pinned
Matt Huang
@matthuang
Apr 7, 2025
Never been more bullish about what's ahead for builders in crypto. Thanks @patrick_oshag and @domcooke for the deep dive.
Patrick OShaughnessy
@patrick_oshag
Apr 7, 2025
For years I’ve asked @matthuang to let us feature him and @paradigm Matt is the steadiest of hands in a very high vol asset class and world He just said he’s more bullish on crypto than any time since 2018, so excited to share our profile with you all, on @joincolossus
Matt Huang
@matthuang
Jul 24
Formally verified compilers will be important in the age of widely available cyber models
Dan Robinson
@danrobinson
Jul 24
Let's build a formally verified compiler together Collaborative automated research can be an amazing tool for formal verification, and vice versa We're launching two new challenges on @paradigm Puzzles to help complete Solidus: a formally verified Solidity compiler in Lean 🧵
Matt Huang
@matthuang
Jul 22
You know what's cooler than solving 1 Erdos problem?
Shouqiao Wang
@Qiaoqiao2001
Jul 22
I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol. I have a math background, but the Codex workflow I used does not require deep mathematical knowledge. Here’s exactly how I approached it, including my prompts 🧵
Matt Huang
@matthuang
Jul 15
Excited to announce that @katiebiber is now the COO of Paradigm, alongside her role as CLO. Katie is a maestro on the many legal-policy matters at the frontier of tech and a force-of-nature operator. @alanapalmedo and I are lucky to have her partnership in running Paradigm!
Matt Huang
@matthuang
Jul 14
Future generations will ask where you stood during the Great Contango of 2028
Tarek Mansour
@mansourtarek_
Jul 14
Today, we launched GPU compute forward curves derived from our prediction market prices. Forward curves are now available on Nvidia B200. H200, and A100 chips. Forward curves track implied future prices. They are how mature commodity markets form expectations, allocate capital,