Page 3: Where the Compiler Remains Silent

The compiler infers, but does not take instructions. There is no syntax for explicit type declarations yet, and the new type ...
GitHub

Weave, a state-of-the-art multithreading runtime

Weave (codenamed "Project Picasso") is a multithreading runtime for the Nim programming language. It is continuously tested on Linux, MacOS and Windows for the following CPU architectures: x86, x86_64 ...
acm.org

Almost-Linear-Time Algorithms for Maximum Flow and Minimum-Cost Flow

Download PDF Join the Discussion View in the ACM Digital Library The maximum flow problem and its generalization, the minimum-cost flow problem, are classic combinatorial graph problems that find ...
Microsoft

FP2: Fully In-Place Functional Programming provides memory reuse for pure functional programs

This research paper was presented at the 28 th ACM SIGPLAN International Conference on Functional Programming (opens in new tab) (ICFP), a premier forum for discussing design, implementations, ...
GitHub

benchLANG: Programming Language Benchmark 2026

benchLANG is a reproducible cross-language runtime benchmark comparing 18 languages across prime sieve, recursive Fibonacci, string lookup, Mandelbrot, and binary tree workloads using pinned Nix ...
USENIX

Parallel Programming Must Be Deterministic by Default

In today's widely used parallel programming models, subtle programming errors can lead to unintended nondeterministic behavior and hard to catch bugs. In contrast, we argue for a parallel programming ...