Top Tweets for #Typesystem
Elixir v1.20, released, introduces a set-theoretic gradual type system enabling optional type annotations without altering old codebases, with direct compiler integration.
#elixir #erlangvm #typesystem #backenddevelopment #cloudnative
https://t.co/GIJNnEYLGQ
Is writing a "data.vector.unboxed" instance in Haskell the programmer's version of speed dating? 💻❤️
Source: https://t.co/ptpQ8vyaj9
#TypeSystem #LearnHaskell #HaskellProgramming #FunctionalProgramming #write #haskell
Java vs Rust: Strings Unwrapped 🧵
➡️ String in Java = Immutable UTF-16
➡️ String in Rust = Growable, heap-allocated UTF-8
🔒 Java handles memory GC
🧠 Rust enforces ownership & borrowing
#Java #RustLang #DevDifferences #MemorySafety #TypeSystem
Are Haskell type sizes classified info – 'byte'-size only?
Source: https://t.co/nommKS2lgY
#FP #TypeSystem #SoftwareEngineering #FunctionalProgramming #determine #haskell
Both sessions are now available online. Watch here:
1. Type Testing Do We Really Need It? - Matan Cohen
https://t.co/ynLoVXRbS9
2. #TypeSystem Shenanigans - @ronenamiel
https://t.co/sx33mBQwyD
Right now: full house at our meetup—#TypeScript Deep Dive: From Type System Wizardry ✨ to Type Testing Mastery!
Matan Cohen & @ronenamiel are leading us through type testing, building complex types, and pushing TypeScript’s type system to its limits with live coding magic.
Just another reason why optional data - and a compiler to help you reason about it - are useful in the real world #fsharp #typesystem #statictyping
A Custom #TypeSystem for #DesignLeadership’s Diverse and Evolving Body 🧬
When creating a #visualidentity for its new program, any old #typeface wouldn’t do. #Designer Polina Kirei devised a #customtype #system: DLX #Future.
Read the full story on PRINT: https://t.co/kRRLfPcEn9
Want typings without writing ? take @FableCompiler for a ride , #fsharp #feliz #react #typesystem #javascript without #typescript
CppNorth 2023 Session Announcement
C++ as an Optimizing Assembler - a Performance Talk by Levo DeLellis
https://t.co/QuGfoLr1KQ
Register today at https://t.co/ePmLBPcsM6
#Assembler #Cpp #Typesystem #cppnorth
CppNorth 2023 Session Announcement
Building Interfaces That Are Hard to Use Incorrectly by Andreas Weis
https://t.co/M1vi0Jj4Eo
Register today at https://t.co/ePmLBPcsM6
#Cpp #Design #Typesystem #cppnorth
CppNorth 2023 Session Announcement Typical C++, But Why? by @bjorn_fahller
https://t.co/0IsquvDZEV
Register today at https://t.co/ePmLBPcsM6
#cpp #typesystem #compiling
#29LT Ada #biscriptual #typesystem got awarded the ‘Certificate of Typographic Excellence’ by Type Directors Club @typedirectors #TDC69 Competition.
.
Will be published in The World’s Best Typography Annual, Typography 44.+ Exhibited in TDC’s eight globally-touring exhibitions
I'm delighted to share that our paper "Type-Checking CRDT Convergence" will appear in @PLDI'23 🎉
In the paper, we present Propel 🚀 the first #typesystem for CRDTs verification. It captures crucial properties of CRDTs (e.g., commutativity)
in the type of user-defined functions
#Perec is a tribute to the multifaceted work of Georges Perec, but over time it has become a versatile #typesystem offering a diverse palette of easily combinable forms. And now it speaks many more languages! 🗨️
👉Try it! https://t.co/Y4hJCIvXxt
READ 29LT Ada Article :
.
https://t.co/R2k02hMnWx
.
Sharp / Flat / Round #biscriptual #fonts #variablefont #typesystem
.
Ruqah bases #arabictype echoed by semi-cursive #Latin
.
Using the latest Arabic type technology to deliver endless letters combination and elevation kerning
watch how amazing the utility types of TypeScript are in this short video:
#typescript #typesystem
https://t.co/0Hpts0PfOY
♛ A celebratory #TBT Throwback Thursday 4 @parachutetype 's multi-awarded #PFRegal #typesystem on the occasion of its Grand Prix #RedDotDesignAward 10th #anniversary ♛
https://t.co/3dhBjS1Yvq
#typography #typeface #typedesign #font #superfamily #typefoundry
#parachutefonts
One of the secrets of understanding #typescript #typesystem is to relate it to set theory, one of the best resources for the same:
https://t.co/PyIKW170CJ
Last Seen Hashtags on Sotwe
打针实践
Seen from United States
manisatravesti
Seen from Turkey
snapchatcheating
Seen from Indonesia
pashtosex
loli
Seen from United Kingdom
hawaii
Seen from United States
ميقا_حصريات
Seen from Canada
nolimit() +filter:native_video since:2026-05-08
Seen from United Kingdom
19금
Seen from Japan
ثنائي_بدوي
Seen from Germany
Most Popular Users
Elon Musk 
@elonmusk
240.2M 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.2M 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
61.1M followers
X
@x
60.9M followers
Selena Gomez
@selenagomez
59.9M followers