#
DIFF.BLOG
New
Following
Discover
Jobs
More
Top Writers
Suggest a blog
Upvotes plugin
Report bug
Contact
About
Sign up
The home for great developer writing.
We surface the best developer writing from thousands of independent blogs, updated daily.
Join Diff.blog
TOPICS
How to try the ty type checker
1
·
Python Developer Tooling Handbook – pydevtools.com
·
July 6, 2026, 12:15 p.m.
type-checking
Programming Tools
mypy
Ty
Summary
This guide provides instructions on trying out the ty static type checker and language server in your project, especially for those looking to migrate from mypy. It briefly mentions prerequisites such as needing uv.
Read full post on pydevtools.com →
MORE POSTS LIKE THIS
How to migrate from mypy to Pyrefly
Python Developer Tooling Handbook – pydevtools.com ·
Jul 27, 2026
Migration Tools
type-checking
ContentBuilder Explained: The Secret Behind SwiftUI's Type-Checking Speedup
Fatbobman ·
Aug 12, 2026
Computing
Swift
Give Any Agent Plugins Client Long-Term Memory
Hindsight Blog ·
Aug 12, 2026
hindsight
agent-plugins
Announcing the fpm-find plugin for searching fortran-lang's package index
Fortran Lang Discourse ·
Aug 11, 2026
fpm-find plugin
Fortran package index
Unification and impl search
osa1.net - All posts ·
Jul 31, 2026
Haskell
Rust
New on CTAN: beastie
Ctan ·
Aug 3, 2026
CTAN
beastie package
Discover more posts →
AUTHOR
RECENT POSTS FROM THE AUTHOR
Choose how you want to continue.
Continue with GitHub
Continue with Google