Both explanations have their place in math instruction, but according to a large-scale 2025 study of upper elementary math instruction, the use of precise mathematical terminology may matter more than ...

Integer partitions arise naturally in additive number theory, algebraic geometry, combinatorics, mathematical physics, and representation theory. We have identified a surprising role for partitions in ...

I’m in Regensburg this week attending a workshop on Interactions of Proof Assistants and Mathematics. One of the lecture series is being given by John Harrison, a Senior Principal Applied Scientist in ...

The Random123 library is a collection of counter-based random number generators ( "CBRNGs") for CPUs (C and C++) and GPUs (CUDA and OpenCL), as described in Parallel Random Numbers: As Easy as 1, 2, 3 ...

Note: Some of the code here is old and was written when I was learning C++. It might be possible that code is not safe or making wrong assumptions. Please use with caution. Pull requests are always ...

This blog entry is an excuse for continuing our discussion of cartesian closed categories (CCCs) and the λ-calculus in a slightly more organized way. Let’s focus on more or less “traditional” aspects ...