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 ...

UPDATE: As of 1/9/2024, the Lax virtual machine now supports JIT compilation. Massive shoutout to the incredible SLJIT library for making this possible. JIT support is currently experimental and ...

The recent discussion about the consistency of arithmetic made me want to brush up on my logic. I’d like to learn a bit about axioms for arithmetic that are weaker than Peano arithmetic. The most ...

Faster-than-light neutrinos? Boring… let’s see something really revolutionary. Edward Nelson, a math professor at Princeton, is writing a book called Elements in which he claims to prove the ...