An overview of how to compile an ARM Cortex-M based project with LLVM/Clang and an exploration of the neat features available in the toolchain such as static analysis to identify memory leaks and deadlocks

A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.

Turnstyle is an graphical esoteric programming language based on lambda calculus.

Scripting language for Rust. Contribute to Eliah-Lakhin/ad-astra development by creating an account on GitHub.

A statically-typed linear functional language with graded modal types for fine-grained program reasoning - granule-project/granule

As we approach the final release date for Python 3.13, I’ve seen an uptick in
discussion regarding 3.13’s introduction of an optional GIL. While removing the GIL has been a long time
coming for the average user (I’ve dreamt of this for nearly 20 years), there…

A cyber-physical programming environment. Contribute to digego/extempore development by creating an account on GitHub.

As C++26 is a work in process, we look at several new language features (already supported by Clang and GCC).