Top Tweets for #FStar
Math + automated theorem solving is exciting. Yet even if ATS were infallible, how do we get provably aligned AI?
Anyone know what a formal spec for superalignment might look be? Got any higher-order lemmas?
Seems quite intractable to me.
#lean #fstar #formalverification #ATS
我在 @Bantr_fun 的 @Firestarter_fun 活动里目前排第48，月度快照还有3天，$60000 USDT 的 $FSTAR 奖励将按��作者分发
这次真正感受到他们的公平模型：无机器人、无隐藏预装，需求驱动，曲线是一步一步自然走出来的
竞争不再是压力，而是动力
准备好内容、稳定输出、冲榜拿分，谁还在榜上冲 #FSTAR #launch #creator
Want to dive deeper into F* and its impact on modern software security? 🤔
Read out this insightful blog:
👉 https://t.co/ZgAcM0zgbz
#FStar #Programming #SecureCode
Already #FamilyStar tho choopinchar kada raa 😂����
Commercial bomma Summer solo rls on This Year's Best Date Still Single digit Opening
Sare Inni Maatalantunav Memu #Ante closing g #Dasara opening tho kottinatu kanisam Mee #Fstar closing ni #Vd12 tho kottandi
#SaripodhaaSanivaaram
Openings ante ela undalo e sanivaram na kodukulaki #VD12 tho cupistham 🔥🔥#VijayDeverakonda
https://t.co/VwGpyeBvUT
Hearts and feelings sometimes have 2 different feelings!
#MrunalThakur #FamilyStar #gtbank #GTA6 #f1jp #FStaR #sultanray
This #drone transform into a driving #robot via @nowthisnews
#FSTAR #UnmannedAerialVehicles #UAVs #Robotics #HybridVehicle #Innovation #Tech #Technology
Really pleased to announce that @alocascio_'s work (w/ Marco Stronati and yours truly @LabosNomades) on automated extraction of #Fstar specs to #QCheck PBTs will see the light at the ML family workshop during @icfp_conference!
https://t.co/iTr6zkLbke
This project This Project Token , in its importance, definitely exceeds all the others several times. I am so interesting with this project. https://t.co/j6G07SuSjD #FederalMoney #FDRL #FSTAR #Fzero #cryptocurrency #rewards #Blockchain
Last Seen Hashtags on Sotwe
stjosephsceltics
Seen from United States
きもの体験
Seen from United States
Yorubakings
Seen from United States
EnViernesMeDescontrolo
Seen from United States
travesti türk
Seen from Turkey
PanterasRojas
Seen from United States
بشوفكـ
Seen from United States
ReimagineTaste
Seen from United States
yesdoctorccm
Seen from United States
70JahreDRV
Seen from United States
Most Popular Users
Elon Musk 
@elonmusk
241.5M followers
Barack Obama
@barackobama
119.1M followers
Cristiano Ronaldo
@cristiano
113.6M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.5M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.7M followers
KATY PERRY
@katyperry
89.5M followers
Taylor Swift
@taylorswift13
83.4M followers
Lady Gaga
@ladygaga
74.9M followers
Virat Kohli
@imvkohli
72.6M followers
Kim Kardashian
@kimkardashian
70.7M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
65.6M followers
Bill Gates
@billgates
64.9M followers
Selena Gomez
@selenagomez
62.6M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.8M followers