All Posts

2021

• Folding a Global Linear Id from CUDA Dimensions and Indices Oct 04, 2021

2020

• C++20 Compile-time Metamath Proof Verification using C'est Nov 14, 2020

2019

• Swapping the Contents of n Variables Jan 08, 2019

2015

• The Maximum Score in Super Don Quix-ote Jun 24, 2015

2012

• Building, say, indices<6,4,2,0,-2,-4> Dec 03, 2012
• A compile-time FFT in C++11 Sep 02, 2012

2011

• Diagonal Selection Feb 06, 2011

2010

• Scanners! Sep 06, 2010
• Fragrant Fortran Feb 23, 2010