#TYPEd - Twitter Hashtag

3 days ago

Attic find from 1929. Letter unsigned, from "Director of Education". Reads: *'This should make the government realise all the brains do not lie outside the teaching profession"* #typed #succint

swearyprof's tweet photo. Attic find from 1929. Letter unsigned, from "Director of Education". Reads:
*'This should make the government realise all the brains do not lie outside the teaching profession"*
#typed #succint https://t.co/WXWg6453Ic

1

0

122

TBBrick 🧱 @TBBrick

5 months ago

@rpg42069 @SleeperNFL @grok You #typed it

0

1

0

134

CryptoLar @CryptoLarBrasil

7 months ago

ZKP Verification: Lean and Clean, with Christiano Braga A clean, efficient approach to verifying zero-knowledge proofs through formal methods. #TYPED #Crypto

CryptoLarBrasil's tweet photo. ZKP Verification: Lean and Clean, with Christiano Braga

A clean, efficient approach to verifying zero-knowledge proofs through formal methods.

#TYPED #Crypto https://t.co/88KxTerSBI

0

7

1

0

127

CryptoLar @CryptoLarBrasil

7 months ago

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

0

7

2

0

212

CryptoLar @CryptoLarBrasil

7 months ago

Happy to announce @bugarela, creator of Quint. Sharing how formal specifications can meaningfully guide LLM workflows. #TYPED #AI #FormalMethods

CryptoLarBrasil's tweet photo. Happy to announce @bugarela, creator of Quint.

Sharing how formal specifications can meaningfully guide LLM workflows.

#TYPED #AI #FormalMethods https://t.co/rRBzmrfJdo

0

11

2

0

800

CryptoLar @CryptoLarBrasil

7 months ago

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

1

13

8

0

335

CryptoLar @CryptoLarBrasil

7 months ago

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

0

17

6

0

1K

CryptoLar @CryptoLarBrasil

7 months ago

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

1

15

5

0

491

Wஒரம் בַּרדָס💫 @Uccaihsrava

8 months ago

Kalki.. Not only he's richest in world.. But also a brilliant investor.. In business.. #typed with that money.. #art tweets

Wஒரம் בַּרדָס💫 @Uccaihsrava

8 months ago

1500 billion.. Was the gig payment.. In white cash.. No kali era tax cud harm it.. #can be spent in any era.. DNA passcoded

0

74

0

2

0

31

九喇嘛～クラマ～🏀🦎👹🎀🐒🎹✈️🥄 @E4O6yw8p7b2XsM5

8 months ago

可愛い可愛い可愛い可愛い #乃木坂46_ビリヤニ #typeD #中西アルノ #通常版 #菅原咲月

乃木坂46

@nogizaka46

8 months ago

【ニュース更新】 40thシングル��ビリヤニ」ジャケットアートワーク公開！ https://t.co/iywGtJqvzI

108

18K

2K

575

10M

0

3

0

1

11K

ホーリー【通称】 @madbear369

9 months ago

初めてここに行った。この店は、一応、何店舗かあるチェーン系列のアジア料理店のようだ。初めて来店した所、私を含めて、一人で来た男性客が多かった。ここはVariety豊かだった！ア��ア料理のつまみや一品料理も豊富で、かなり親しみ易い。 #グルメ #スワズ #ランチセット #TypeD

madbear369's tweet photo. 初めてここに行った。この店は、一応、何店舗かあるチェーン系列のアジア料理店のようだ。初めて来店した所、私を含めて、一人で来た男性客が多かった。ここはVariety豊かだった！ア��ア料理のつまみや一品料理も豊富で、かなり親しみ易い。
#グルメ #スワズ #ランチセット #TypeD https://t.co/iaVa7T68kh

0

5

0

182

FIAT宇ー野(うーの)

@fiatuno_

9 months ago

#ルチアーズ土曜半日しごおわにKTMT!! #にじいろDays リリースイベント …何気にハトは初めてのリリイベ!! ………そして集合時間直前に買ってもらった整理券は、まさかの9番!!(　 Д )　ﾟ　ﾟ #TYPEc #TYPEd #ナンバー9番ちゃん☀️🍁️

1

9

0

460

getHarsh() @getHarshOnline

10 months ago

An #agent is a policy over #typed #tools. Power scales with the depth, safety, and observability of those tools - not the cleverness of a generic UI clicker.

0

1

0

59

まうむん♡🐦 @mtmtmt303

10 months ago

本日9/3リリース🎉･:*:･｡「#火の鳥」 #typeC #風花ロマン #typeD #灼熱グラデーション D-DAY🐦‍🔥🐦‍🔥🐦‍🔥🐦‍🔥🐦‍🔥🐦‍🔥🐦‍🔥 USEN 推し活リクエストで原田波人の火の鳥をリクエストしよう！ https://t.co/9k3fRom3pi #USEN推し活リクエスト #推しリク #原田波人

0

17

2

0

215

まうむん♡🐦 @mtmtmt303

10 months ago

9/3リリース✧*｡本日フラゲ日🐦‍🔥 「#火の鳥」 #typeC #風花ロマン #typeD #灼熱グラデーション D-1🐦‍🔥 USEN 推し活リクエストで原田波人の火の鳥をリクエストしよう！ https://t.co/9k3fRomBeQ #USEN推し活リクエスト #推しリク #原田波人

0

12

3

0

250

まうむん♡🐦 @mtmtmt303

10 months ago

9/3リリース✧*｡「#火の鳥」 #typeC #風花ロマン #typeD #灼��グラデーション D-2🐦‍🔥🐦‍🔥 今夜21:00 「 #いいねイマうた原田波人です」 USEN 推し活リクエストで原田波人の火の鳥をリクエストしました！ https://t.co/9k3fRom3pi #USEN推し活リクエスト #推しリク #原田波人

0

16

3

0

230

まうむん♡🐦 @mtmtmt303

10 months ago

9/3リリース✧*｡*˚✧₊ 「#火の鳥」 #typeC #風花ロマン #typeD #灼熱グラデーション D-3🐦‍🔥🐦‍🔥🐦‍🔥 USEN 推し活リクエストで原田波人の火の鳥をリクエストしました！ https://t.co/9k3fRomBeQ #USEN推し活リクエスト #推しリク #原田波人

0

10

2

0

169