Top Tweets for #LinearTypes
@fede_intern Nice updates! ๐ MLIR/LLVM 19 integration is ๐ฅ. Unified crates = cleaner dev experience. AST refactor for Types sounds ๐. Excited to see how this shapes up! #ConcreteLang #LinearTypes
The GHC developers are very pleased to announce the release of GHC 9.10.1! ๐
https://t.co/YgmWnKvzpR
#Haskell #FunctionalProgramming #LinearTypes #DependentTypes
Nice:
โInterview With Fernando Borretti About Austral - A Systems Programming Language With Linear Typesโ, LambdaClass (https://t.co/Mynn6siWBy).
On HN: https://t.co/eefcdva5W4
#PLDI #ProgrammingLanguages #Austral #Interview #LinearTypes #TypeTheory #Capability
Last Seen Hashtags on Sotwe
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.9M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.3M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.6M followers
KATY PERRY
@katyperry
86.8M followers
Taylor Swift
@taylorswift13
80.6M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.4M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.5M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
61M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers