Max Feldman

numbers guy

building with YC F26

[Max Feldman @_maxfeldman]

Excited to share that @asherdfeldman and I won first place overall at the Vibecheck formal methods hackathon yesterday! Had a great time meeting super cool people and learning from everyone there. We built Sound and Complete, a verified tool to help guitarists practice call-and-response blues.

Thanks to @maxvonhippel, @qd_forall and everyone else who helped put on this fantastic event!

There are some large winds and great people moving FM forward, excited for what is to come!

[Max Feldman @_maxfeldman]

@juliver @dydema Lets go!!!

[Max Feldman @_maxfeldman]

@aneeshkethini 👀

[Aneesh Kethini @aneeshkethini]

Today we’re launching Hue (YC F26).

We give your agent a simulated version of the environment it works in, so you can test changes in realistic worlds and ship with confidence.

[Max Feldman @_maxfeldman]

@Dattakaligotla Massively bullish on this!

[Max Feldman @_maxfeldman]

First they ignore you, then they laugh at you, then ...

[Max Feldman @_maxfeldman]

Rumor is P = NP, specifically there is a promising route to 3-SAT in O(n^{808017424794512875886459904961710757005754368000000000})

[Joscha Bach @Plinz]

What?! P might equal NP after all...

[Max Feldman @_maxfeldman]

@VivekSoneja @aucert_official @rajesh4654 Bullish on this!

[Max Feldman @_maxfeldman]

@uxduck This is sick!

[Max Feldman @_maxfeldman]

@jasonhywang @LarkAgents 👀👀

[Max Feldman @_maxfeldman]

@begimher @cristian_le0 @Armorer_Labs 🙌

[Max Feldman @_maxfeldman]

@KlausCodes @Simulithic @itsnotryan @ycombinator Excited to try this out!

[Max Feldman @_maxfeldman]

@alymoursy @VeezaAI 👀

[Max Feldman @_maxfeldman]

@asa_sakana_fish my bet: these guys

[Max Feldman @_maxfeldman]

@SaiVamshi1818 Massive

[Max Feldman @_maxfeldman]

@lukedwagner12 @neomatterai @MainwaringLuke @ycombinator 😎

[Max Feldman @_maxfeldman]

@BenjaminBekken fact: these guys are going to win

[Max Feldman @_maxfeldman]

@runtimesi 👀

[Max Feldman @_maxfeldman]

Rumor is P = NP, specifically there is a promising route to 3-SAT in O(n^{808017424794512875886459904961710757005754368000000000})