To change the execution policy to run PowerShell scripts on Windows 11 (or 10), use these steps: Open Start. Search for PowerShell, right-click the top result, and select the Run as administrator ...
You can now use Microsoft Edit to create and edit text files directly in Command Prompt or PowerShell without switching apps, ...
The numbered files/directories will take you through the workshop in order. First, 1-Intro features a set of slides (Beamer/LaTeX slides rendered as PDF) that discuss the reproducibility crisis in the ...
Variadic templates. Got rid of the arrays created in invoke. All boost removed (except if the nothrow policy shall be used). No backward compatibility to any old or faulty (MS) compilers. This is 24mb ...