Simon Willison’s Weblog

11th May 2018 - Link Blog

Pyre: Fast Type Checking for Python (via) Facebook’s alternative to mypy. “Pyre is designed to be highly parallel, optimizing for near-instant responses so that you get immediate feedback, even in a large codebase”. Like their Hack type checker for PHP, Pyre is implemented in OCaml.

Posted 11th May 2018 at 5:47 pm

Recent articles

Qwen 3.8 27B on my laptop can interpret model weights, too - 3rd November 2026
The U.S. Census Bureau and “Super Intelligence” - 2nd November 2026
The October inflection point for vibe game development - 28th October 2026
Battle Drones - a vibe coded RTS with audio-based multiplayer - 20th October 2026

This is a link post by Simon Willison, posted on 11th May 2018.

facebook 118 python 1,293 static-typing 12 mypy 10 ocaml 5

Monthly briefing

Sponsor me for $10/month and get a curated email digest of the month's most important LLM developments.

Pay me to send you less!

Sponsor & subscribe