Pyrefly: High-Performance Python Type Checker and Language Server
By
brianzelip
Toasted just enough. A reliable bake, gently seasoned.
Summary
Pyrefly is a high-performance Python type checker and language server that offers rapid type checking capabilities (over 1.85 million lines of code per second) and powerful IDE integration features including autocomplete and instant error feedback. It's designed for developers working with large codebases and includes VSCode extension support.
Key quotes
· 4 pulledType check over 1.85 million lines of code per second.
Get lightning fast autocomplete, and catch errors with instant feedback in your favorite editor.
Scale with Confidence
Developer Delight
You might also wanna read
uv 0.8.13 Introduces Experimental Code Formatting Feature Using Ruff
The latest uv release (0.8.13) introduces an experimental 'uv format' command that brings Python code formatting directly into the uv toolki
pydevtools.com·9mo ago
Researcher's "ADHD" tool for Claude Code claims 2x improvement; experts call for more evidence
Solo researcher Udit Akhouri released a third-party Agent SDK tool called "ADHD" for Claude Code on Reddit, claiming it helps coding agents
bit.ly·5h ago
Microsoft Foundry Skill: Reusable Guidance for Coding Agent Workflows
The Microsoft Foundry Skill is a meta-skill for coding agents that provides reusable guidance for Foundry agent workflows. It helps standard
Erlang Ecosystem Foundation Launches Central Company Registry
The Erlang Ecosystem Foundation has launched a new canonical company registry at registry.erlef.org. The registry aims to serve members, spo
aislop: Open-source CLI tool detects low-quality code patterns left by AI coding agents
aislop is an open-source CLI tool (MIT-licensed) that detects low-quality patterns left behind by AI coding agents like Claude Code, Cursor,
github.com·2d ago
wterm: A DOM-based Web Terminal Emulator Powered by Zig and WebAssembly
wterm is a web-based terminal emulator that renders directly to the DOM, providing native text selection, copy/paste, find functionality, an
wterm.dev·2d ago