Why if TYPE_CHECKING? (vickiboykis.com)

Screenshot of vickiboykis.com: Why if TYPE_CHECKING?

First screen, captured 2 years ago.

Looks similar

Screenshot of danielchasehooper.com: Why Swift's type checker is so slow

Why Swift's type checker is so slow (danielchasehooper.com)

64 points by misonic 2 years ago | 36 comments

Screenshot of danielmangum.com: Understanding every byte in a WASM module

Understanding every byte in a WASM module (danielmangum.com)

167 points by hasheddan 2 years ago | 32 comments

Screenshot of blog.edward-li.com: Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers

Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers (blog.edward-li.com)

364 points by edwardjxli 1 year ago | 144 comments

A blog post comparing Pyrefly (Meta) and ty (Astral), two new Rust-based Python type checkers, against each other and tools like mypy and Pylance.

python type-checking rust pyrefly

Screenshot of microsoft.github.io: TypeChat

TypeChat (microsoft.github.io)

482 points by DanRosenwasser 3 years ago | 145 comments

Microsoft blog post introducing TypeChat, an experimental library that uses TypeScript type definitions to get type-safe structured responses from LLMs.

typechat typescript llm microsoft

Screenshot of darrenburns.net: Terminal Support for Emoji

Terminal Support for Emoji (darrenburns.net)

64 points by willm 3 years ago | 77 comments

Screenshot of pyrefly.org: Comparing Python Type Checkers: Typing Spec Conformance

Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org)

93 points by ocamoss 7 months ago | 34 comments

Looks similar

Why Swift's type checker is so slow(danielchasehooper.com)

Understanding every byte in a WASM module(danielmangum.com)

Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers(blog.edward-li.com)

TypeChat(microsoft.github.io)

Terminal Support for Emoji(darrenburns.net)

Comparing Python Type Checkers: Typing Spec Conformance(pyrefly.org)