Bringing NumPy's type-completeness score to nearly 90% (pyrefly.org)

Screenshot of pyrefly.org: Bringing NumPy's type-completeness score to nearly 90%

First screen, captured 1 year ago.

Looks similar

Screenshot of pyrefly.org: Python developers are embracing type hints

Python developers are embracing type hints (pyrefly.org)

279 points by ocamoss 1 year ago | 445 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

Screenshot of kobzol.github.io: Adding runtime benchmarks to the Rust compiler benchmark suite

Adding runtime benchmarks to the Rust compiler benchmark suite (kobzol.github.io)

107 points by lukastyrychtr 3 years ago | 26 comments

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 peter.eisentraut.org: Grouping digits in SQL

Grouping digits in SQL (peter.eisentraut.org)

85 points by ingve 3 years ago | 12 comments

Screenshot of wasmi-labs.github.io: Engineering of the fastest WebAssembly interpreters

Engineering of the fastest WebAssembly interpreters (wasmi-labs.github.io)

124 points by herobird 1 month ago | 15 comments

Looks similar

Python developers are embracing type hints(pyrefly.org)

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

Adding runtime benchmarks to the Rust compiler benchmark suite(kobzol.github.io)

TypeChat(microsoft.github.io)

Grouping digits in SQL(peter.eisentraut.org)

Engineering of the fastest WebAssembly interpreters(wasmi-labs.github.io)