Finite-time blowup with smooth forcing for 3D incompressible Euler, Boussinesq, and IPM

Is truth futureproof? On the possible futures of mechanized proofs

Adversarial examples for fast hash functions

MRS-LAB: signature-parameterized math lab in Zig - comptime algebra, exact integer arithmetic.

Double-double: 31 digits of precision without leaving the FPU

Curvature Beziers: Improving on a timeless recipe

Double-double: 31 digits of precision without leaving the FPU

Music Theory for Programmers

Moving integer division to floating-point is trivial

Ten advances in mathematics and theoretical computer science