git config filter.strip-notebook-output.clean 'jupyter nbconvert --ClearOutputPreprocessor.enabled=True --to=notebook --stdin --stdout --log-level=ERROR'
Create a .gitattributes file inside the directory with the notebooks
Add the following to that file:
| #!/bin/bash | |
| # Compute the Giacenza Media Annua (GMA) of a Revolut account, required by the Italian INPS. | |
| # Dependencies: awk, GNU date, getopts, xargs | |
| # Computation method: https://bit.ly/3avDLu3 | |
| # Thread on Revolut forum: https://bit.ly/3511e5h | |
| # Assumptions: |
If you're encountering ping github.com failing inside WSL with a Temporary failure in name resolution, you're not alone — this has been a long-standing issue, especially when using VPNs or corporate networks.
This issue is now fixed robustly with DNS tunneling, which preserves dynamic DNS behavior and avoids limitations like WSL’s former hard cap of 3 DNS servers in /etc/resolv.conf.
DNS tunneling is enabled by default in WSL version 2.2.1 and later, meaning that if you're still seeing DNS resolution issues, the first and most effective fix is simply to upgrade WSL. Upgrading WSL updates the WSL platform itself, but does not affect your installed Linux distributions, apps, or files.
To upgrade WSL, follow these steps,
| // Approximation of Pi using a simple, and not optimized, CUDA program | |
| // Copyleft Alessandro Re | |
| // | |
| // GCC 6.x not supported by CUDA 8, I used compat version | |
| // | |
| // nvcc -std=c++11 -ccbin=gcc5 pigreco.cu -c | |
| // g++5 pigreco.o -lcudart -L/usr/local/cuda/lib64 -o pigreco | |
| // | |
| // This code is basically equivalent to the following Python code: | |
| // |