VIEWS179REPLIES1
Avik Chaudhuri@__avik
@satnam6502 @HarmonicMath Wow! Jealous.
1dViews 179Likes 1
Original post unavailable.
Sentiment
Users are excited about Rustan Leino joining HarmonicMath because they see it as a great hire forming a cool group advancing AI, mathematics, and formal verification.
Pos
100.0%
Neg
0.0%
4 comments with sentiment.
Cluster Engagement
Posts from X
Most Activity
Most Activity
LIKES2
Satnam Singh@satnam6502
@__avik @HarmonicMath Why be jealous. Come join us!
1dViews 115Likes 2
Omar Ahmad@omzeepowa
@satnam6502 @HarmonicMath If you’re in the market for someone who makes jokes cares about power efficiency, I’m your guy
1dViews 92Likes 1
Gavin Bierman@GavinBierman
@satnam6502 @HarmonicMath Great hire!
1dViews 25Likes 1
tetsuo.cpp (no slop)@tetsuo_cpp
@satnam6502 @HarmonicMath @headinthebox @ilyasergey Now this is a cool group. Would have loved to be a fly on the wall for that conversation. 😆
23hViews 4