Performant type-checking for python. Contribute to facebook/pyre-check development by creating an account on GitHub. (more…)

From one perspective, categories are just another algebraic structure, like groups, monoids and rings. They are these abstract things that have some abstract equational axioms and operations. They are the next stop on our magnificent category journey. A m... (more…)

replace_me - Modify your own source code with this piece of Python black magic... (more…)

Activation functions are crucial components of neural networks. Here's an overview of the different types and how to use them. Code included. (more…)

This is part 4 in a series of posts on writing JIT compilers for BF. (more…)