Top Tweets for #typeD
Drop time: @erickpintor from Informal Systems.
He’s bringing real-world Quint Specifications Guiding LLMs — showcasing how formal specs push AI development into overdrive.
Sign up in our bio.
#TYPED #AI #LLMs #Tech
Happy to announce @bugarela, creator of Quint.
Sharing how formal specifications can meaningfully guide LLM workflows.
#TYPED #AI #FormalMethods
New speaker drop: @olivmath_ .
He’s bringing Backtesting Cryptography — real F/OSS action: contributing to and maintaining cryptography libraries that the ecosystem actually relies on.
This one hits deep.
Sign up via the link in our bio.
#TYPED #Crypto
Second speaker drop: @coproduto from https://t.co/s2BwKiap1R
He’s bringing Formal Specs-Driven Development. Real-world, real-company implementation of formal specifications in production workflows.
Zero theory-only. All practice.
Sign up via the link in our bio.
#TYPED #Crypto
First reveal: @TheEduardoRFS !
He’s bringing Sharing & Optimality, a deep dive into the most hardcore fundamentals of functional programming.
Sign up via the link in our bio.
#TYPED #Crypto
1500 billion.. Was the gig payment..
In white cash.. No kali era tax cud harm it..
#can be spent in any era.. DNA passcoded
【ニュース更新】 40thシングル「ビリヤニ」ジャケットアートワーク公開！ https://t.co/iywGtJqvzI
#ルチアーズ
土曜半日しごおわにKTMT!!
#にじいろDays リリースイベント
…何気にハトは初めてのリリイベ!!
………そして集合時間直前に買ってもらった整理券は、まさかの9番!!( Д ) ﾟ ﾟ
#TYPEc
#TYPEd
#ナンバー9番ちゃん☀️🍁️
本日9/3リリース🎉･:*:･｡
「#火の鳥」
#typeC #風花ロマン
#typeD #灼熱グラデーション
D-DAY🐦🔥🐦🔥🐦🔥🐦🔥🐦🔥🐦🔥🐦🔥
USEN 推し活リクエストで原田波人の火の鳥をリクエストしよう！ https://t.co/9k3fRom3pi #USEN推し活リクエスト #推しリク #原田波人
9/3リリース✧*｡ 本日フラゲ日🐦🔥
「#火の鳥」
#typeC #風花ロマン
#typeD #灼熱グラデーション
D-1🐦🔥
USEN 推し活リクエストで原田波人の火の鳥をリクエストしよう！ https://t.co/9k3fRomBeQ #USEN推し活リクエスト #推しリク #原田波人
9/3リリース✧*｡
「#火の鳥」
#typeC #風花ロマン
#typeD #灼熱グラデーション
D-2🐦🔥🐦🔥
今夜21:00
「 #いいねイマうた原田波人です」
USEN 推し活リクエストで原田波人の火の鳥をリクエストしました！ https://t.co/9k3fRom3pi #USEN推し活リクエスト #推しリク #原田波人
9/3リリース✧*｡*˚✧₊
「#火の鳥」
#typeC #風花ロマン
#typeD #灼熱グラデーション
D-3🐦🔥🐦🔥🐦🔥
USEN 推し活リクエストで原田波人の火の鳥をリクエストしました！ https://t.co/9k3fRomBeQ #USEN推し活リクエスト #推しリク #原田波人
9/3リリース✧*｡
「#火の鳥」 #typeC #typeD
#風花ロマン #灼熱グラデーション
D-4🐦🔥🐦🔥🐦🔥🐦🔥
USEN 推し活リクエストで原田波人の火の鳥をリクエストしました！ https://t.co/9k3fRomBeQ #USEN推し活リクエスト #推しリク #原田波人
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
240.7M followers
Barack Obama
@barackobama
119.2M followers
Donald J. Trump
@realdonaldtrump
111.7M followers
Cristiano Ronaldo
@cristiano
110.9M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.7M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
91M followers
KATY PERRY
@katyperry
87.8M followers
Taylor Swift
@taylorswift13
81.7M followers
Lady Gaga
@ladygaga
73.2M followers
Virat Kohli
@imvkohli
70.2M followers
Kim Kardashian
@kimkardashian
69.9M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
64M followers
Neymar Jr
@neymarjr
62.9M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.9M followers
Selena Gomez
@selenagomez
60.9M followers
X
@x
60.8M followers