Top Tweets for #typechecking
Yeah. I don't really have words for this one. Why Anthropic? Why? #TypeChecking #GCC #Programming #SoftwareDevelopment #Tech #Anthropic #ClaudeCode #AIHype
NITheCS Micro-school: 'Upgrade Your Python Toolkit with uv, ruff, and ty'
Join Dr Dean Brand online on Fri, 20 Feb, 12h00–12h30 SAST for a practical introduction to fast, modern Python tooling powered by Rust.
https://t.co/Wgtped5o9m
#Python #PythonTooling #TypeChecking #Rust
ty is an ultra-fast Python type checker and language server written in Rust. One tool for type checking + IDE support, focused on speed and smooth workflows.
Still in beta, but already a serious alternative.
Would you try it? 👀
#Python #DevTools #TypeChecking #OpenSource
🔎 Check out our new video on Pyrefly’s Pydantic support
Pyrefly currently offers experimental support for Pydantic, bringing improved static type checking and IDE integration to your data models.
📷 Watch the video: https://t.co/l6fmk3e9NB
#Python #TypeChecking #OpenSource
uno de los problemas de typescript es su lentitud en la validación del Typechecking, ningún compilador lo hace, ya que es muy costoso, a nivel de tiempo y desarrollo, pero con la IA se puede hacer algo... #typescript #go #typechecking
ty - https://t.co/lmb2uaOy1t - is not quite ready for primetime but is SO FAST! I can't wait until I can ditch mypy. If you haven't tried it, you definitely should.
#python #typechecking
AIMindUpdate News!
Faster Python type checking is here! See how Pyrefly and Ty, built in Rust, are already outpacing the competition. #Python #Rust #TypeChecking
Click here↓↓↓
https://t.co/88vXhjpzTz
Pythonの最新情報をチェック！Python 3.14がベータ版に、サクっと型の注釈を扱うための新モジュールが追加されました！高速で信頼性の高い型チェックが可能になります。AIやデータ分析も注目です！どんな新しい機能が気に入りますか？ #Python #Python314 #AI #DataAnalysis #TypeChecking #ProgrammingTips
Introducing #Pyrefly: Meta's new #opensource #Python type checker, crafted in #RustLang for maximum performance!
Pyrefly is intended to replace the OCaml-based Pyre type checker previously used for Instagram’s codebase.
Learn more: https://t.co/lJT8TLZA6m
#InfoQ #TypeChecking
Results of analyzing the same code block using Mago, Psalm, and PHPStan.
Which one do you prefer? 👀
#php #rust #typechecking #staticanalysis
Today, we’re announcing the preview release of ty, an extremely fast type checker and language server for Python, written in Rust.
In early testing, it's 10x, 50x, even 100x faster than existing type checkers. (We've seen >600x speed-ups over Mypy in some real-world projects.)
sneak peek to what's coming in Mago 👀👀
#php #rust #typechecking #staticanalysis
https://t.co/ZIVZRvey7B
beartype
Meet Beartype, a pure-Python type checker that's fast, flexible & compliant with PEP standards. Say goodbye to type hint headaches! #Beartype #TypeChecking #Python
Exploring TypeScript's Compiler Internals #Typescript #Compiler #Internals #Parsing #Binding #Typechecking #Ast #Program #Checker #Emission #Diagnostics #Transformation #Api #Customization
https://t.co/r4I8UbxuNr
TypeScript 5.8 がベータ版で登場 | InfoWorld
#TypeScriptBeta #TypeChecking #ConditionalTypes #Microsoft
https://t.co/GLtqGPTSaB
What is that object? 🤔 The IsA operator in Xojo helps you determine the class of an object at runtime. It's like asking, 'Are you a...?' #Xojo #Programming #IsA #ObjectOriented #TypeChecking
structure of expressions and data, and `any`, `never`, `and`, and `or` are fundamental. Types can be verified through subtyping and disjoint-ness tests. #typesafe #typescript #typechecking #JavaScript https://t.co/R2UQc08Q8z
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.8M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.2M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.5M followers
KATY PERRY
@katyperry
86.7M followers
Taylor Swift
@taylorswift13
80.5M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.3M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.4M 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