How Meta Uses OCaml

The article introduces Pyrefly, an open-source Python type checker and IDE extension developed in Rust.

The article discusses five interesting facts about Buck2, Meta's recently open-sourced build system that serves as a successor to Buck.

The article discusses the developer tools used at Meta to manage large-scale software development, emphasizing open-source solutions.

Buck2 is Meta's new open source large-scale build system designed to enhance build efficiency and speed.

The article discusses Superpack, a compression technique developed by Facebook to manage app size in mobile applications.

The article introduces AL, a new declarative language developed by Facebook for creating checkers to detect bugs in code using the Infer static analyzer.

The article discusses Facebook's ongoing commitment to open source, highlighting new projects and tools developed by their engineers.

Flow is an open-source static type checker for JavaScript designed to enhance developer productivity and code quality through static typing.

Hack is a new programming language developed by Facebook for the HHVM runtime, designed to enhance PHP development with static typing and modern programming features.

The article discusses the evolution of Thrift, an open-source software framework released by Facebook for enabling communication between different programming languages.