Why Lean 4 replaced OCaml as my Primary Language| OCaml
TLDR: I made Filli (this is a link), a Lua/python-like embeddable language written in C23 (or C99 with GNUisms; compiles as C++ too!). The license is permissive. It’s sandboxable, like Lua. I…| Abandonculture
HPC news headlines often highlight the latest hardware speeds and feeds. While advances on the hardware front are important, improving the ability to write software for advanced systems is equally […]| HPCwire
Highlights from the December 2024 release of Chapel 2.3| chapel-lang.org
