Tagged "developer tools" | alecor.net

2026-03-11

Python Type Checkers Cheatsheet: mypy, Pyright, ty, Pyrefly

A practical comparison of the four main Python type checkers in March 2026 (mypy 1.19, Pyright 1.1.408, ty 0.0.21 beta, Pyrefly 0.55 beta): how they differ on inference and unannotated code, the...

Cheatsheets · cheatsheets Python type checking mypy Pyright ty Pyrefly static analysis developer tools CI English
2026-02-11

AGENTS.md Cheatsheet: Writing Instructions for AI Coding Agents

A practical cheatsheet for AGENTS.md: what it is, where the files go and which one wins, what to put in and leave out, a realistic example, a monorepo layout, how Codex, Copilot, Cursor, Gemini...

Cheatsheets · cheatsheets AI agents coding agents AGENTS.md developer tools Codex GitHub Copilot monorepos English