OCaml Programming Tutorials & Engineering Articles

The article introduces significant upgrades to Codex, highlighting the launch of GPT-5-Codex, which enhances coding capabilities, real-time collaboration, and task management across various develop...

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.

This article details the experience of porting the YJIT Ruby compiler from C to Rust at Shopify, highlighting the challenges and advantages encountered during the transition.

The article discusses how two interns at Slack, Nicholas Lin and David Frankel, contributed to enhancing the security of millions of lines of code written in Hack by developing a static analysis to...

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

The article discusses an architectural design for a library focused on Bayesian modeling and inference using modern functional programming languages.

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.